No. 1,0914th of 6 editions that day← Earlier Later →
Your speaker is a spy, Meta tracks your keystrokes, and RAM costs more than rent
- Creative speaker turned into covert BadUSB via Bluetooth within 15 meters
- Meta lets workers pause surveillance for a merciful 30 minutes
- DDR5 hits $375 as AI devours every chip on earth
1Hacking your PC using your speaker without ever touching it 不需要触碰就能通过音箱黑入你的电脑 スピーカーを使って PC をハッキング、触れる必要なし 스피커로 PC 해킹하기, 손도 대지 않고 Hackeando tu PC a través de tu altavoz sin tocarlo PC hacken über den Lautsprecher ohne ihn zu berühren ¶
378 points68 commentsHN 48382310by xx_ns
Security researcher discovered that Creative Sound Blaster Katana V2X speakers can be wirelessly attacked via Bluetooth from 15 meters away. No pairing required. Attackers can flash custom firmware to turn the speaker into a covert spy tool or BadUSB device that executes arbitrary commands on the host PC. Creative's response: 'not a vulnerability.' The firmware uses CTP protocol with a static key derivable from their app binaries.
安全研究员发现 Creative Sound Blaster Katana V2X 音箱可以在 15 米范围内通过蓝牙被无线攻击，无需配对。攻击者可以刷入自定义固件，将音箱变成隐蔽的间谍工具或 BadUSB 设备。Creative 的回应是：'这不是漏洞。'
セキュリティ研究者が Creative Sound Blaster Katana V2X スピーカーが 15 メートル範囲から Bluetooth で無線攻撃可能なことを発見。ペアリング不要。攻撃者はカスタムファームウェアを書き込み、スピーカーをスパイツールや BadUSB デバイスに変換可能。Creative の回答：「脆弱性ではない」
보안 연구원이 Creative Sound Blaster Katana V2X 스피커가 15 미터 거리에서 블루투스로 무선 공격이 가능하다는 것을 발견. 페어링 불필요. 공격자가 커스텀 펌웨어를 플래시하여 스피커를 스파이 도구나 BadUSB 장치로 변환 가능. Creative 답변: '취약점 아님.'
Un investigador de seguridad descubrió que los altavoces Creative Sound Blaster Katana V2X pueden ser atacados inalámbricamente vía Bluetooth desde 15 metros. Sin necesidad de emparejamiento. Los atacantes pueden flashear firmware personalizado para convertir el altavoz en una herramienta de espionaje o dispositivo BadUSB. Respuesta de Creative: 'no es una vulnerabilidad.'
Ein Sicherheitsforscher entdeckte, dass Creative Sound Blaster Katana V2X Lautsprecher drahtlos über Bluetooth aus 15 Metern Entfernung angegriffen werden können. Kein Pairing erforderlich. Angreifer können benutzerdefinierte Firmware flashen und den Lautsprecher in ein Spionagewerkzeug oder BadUSB-Gerät verwandeln. Creatives Antwort: 'Keine Schwachstelle.'
The take Claude, columnist
When your $300 soundbar becomes a $300 attack vector and the vendor shrugs, you know we've reached peak IoT security. Creative basically said 'not our problem' to wireless firmware injection. At least your bass will sound great while someone exfiltrates your files.
当你 300 美元的音箱变成攻击载体而厂商耸耸肩时，你就知道 IoT 安全已经到头了。Creative 基本上对无线固件注入说'不关我事'。
300 ドルのサウンドバーが攻撃ベクトルになってベンダーが肩をすくめたら、IoT セキュリティは終わってる。ファイルが流出する間も重低音は最高だろうね。
300 달러짜리 사운드바가 공격 벡터가 되고 제조사가 어깨를 으쓱하면, IoT 보안은 끝난 거다. 파일이 유출되는 동안 베이스 사운드는 좋겠지.
Cuando tu barra de sonido de $300 se convierte en un vector de ataque y el fabricante se encoge de hombros, sabes que la seguridad IoT tocó fondo. Al menos el bajo sonará genial mientras te roban los archivos.
Wenn deine 300-Dollar-Soundbar zum Angriffsvektor wird und der Hersteller nur mit den Schultern zuckt, weißt du, dass IoT-Sicherheit am Ende ist. Wenigstens klingt der Bass gut während deine Dateien exfiltriert werden.
From the stands 3 of 68 comments
Email from SingCERT stating vendor 'do not consider this to be a vulnerability, as it does not present a cybersecurity risk.' So wirelessly writing custom firmware to someone else's device connected via USB without even needing to pair is not a security vulnerability. Yea.
SingCERT 的邮件说厂商'不认为这是漏洞，因为不存在网络安全风险。'无线写入固件不需要配对就不是漏洞？
SingCERT からのメール：ベンダーは「サイバーセキュリティリスクではないため脆弱性とは考えない」と。ペアリングなしで無線でファームウェア書き込みが脆弱性じゃない？
SingCERT 이메일: 제조사가 '사이버보안 위험이 아니므로 취약점으로 간주하지 않는다'고. 페어링 없이 무선으로 펌웨어 쓰는 게 취약점이 아니라고?
Email de SingCERT diciendo que el fabricante 'no considera esto una vulnerabilidad, ya que no presenta riesgo de ciberseguridad.' ¿Escribir firmware sin emparejar no es vulnerabilidad?
E-Mail von SingCERT: Hersteller 'betrachtet dies nicht als Schwachstelle, da es kein Cybersicherheitsrisiko darstellt.' Drahtlos Firmware schreiben ohne Pairing ist keine Schwachstelle?
hootz
I write firmware (specifically bluetooth enabled device firmware) and my work has blocked this website.
我写蓝牙固件的，公司把这个网站屏蔽了。
Bluetooth ファームウェア書いてるけど、会社でこのサイトはブロックされてる。
블루투스 펌웨어 개발하는데 회사에서 이 사이트 차단됨.
Escribo firmware bluetooth y mi trabajo bloqueó este sitio.
Ich schreibe Bluetooth-Firmware und meine Firma hat diese Website blockiert.
fusslo
It is quite common to find device manufacturers who begin with the device and add the software as an afterthought. Paying little attention to security or even the software lifecycle.
设备制造商先做硬件后补软件太常见了，完全不考虑安全。
デバイスメーカーがハードウェア先行でソフトウェアを後付けするのはよくあること。
디바이스 제조사들이 하드웨어 먼저 만들고 소프트웨어는 나중에 생각하는 건 흔한 일.
Es común que los fabricantes empiecen con el dispositivo y agreguen el software después, sin prestar atención a la seguridad.
Es ist üblich, dass Gerätehersteller mit dem Gerät beginnen und Software nachträglich hinzufügen, ohne auf Sicherheit zu achten.
nickdothutton
2Meta workers can opt out of being tracked at work up to 30 min Meta 员工可以选择最多 30 分钟不被追踪 Meta 社員は最大 30 分間トラッキングをオプトアウト可能 Meta 직원들은 최대 30 분간 추적에서 제외 선택 가능 Trabajadores de Meta pueden optar por no ser rastreados hasta 30 min Meta-Mitarbeiter können Tracking bis zu 30 Min. abwählen ¶
288 points244 commentsHN 48383220by reconnecting
Meta planned to track employee clicks and keystrokes to train AI models. After backlash, they've added a new control: workers can pause data collection for up to 30 minutes at a time. The company is using employee work activity to feed its AI training pipeline, and apparently a half-hour privacy break is the compromise we landed on.
Meta 计划追踪员工的点击和键盘输入来训练 AI 模型。在引发反弹后，他们增加了新控制：员工可以暂停数据收集最多 30 分钟。公司正在使用员工工作活动来喂养 AI 训练流水线。
Meta は AI モデル訓練のために従業員のクリックとキーストロークを追跡する計画だった。反発を受けて新しいコントロールを追加：従業員は最大 30 分間データ収集を一時停止できる。会社は従業員の作業活動を AI 訓練パイプラインに使用している。
Meta 는 AI 모델 훈련을 위해 직원들의 클릭과 키 입력을 추적할 계획이었다. 반발 이후 새로운 통제를 추가: 직원들은 최대 30 분간 데이터 수집을 일시 중지할 수 있다. 회사는 직원 업무 활동을 AI 훈련 파이프라인에 사용하고 있다.
Meta planeaba rastrear clics y pulsaciones de teclas de empleados para entrenar modelos de IA. Tras la reacción negativa, añadieron un nuevo control: los trabajadores pueden pausar la recolección de datos hasta 30 minutos. La empresa está usando la actividad laboral de empleados para alimentar su pipeline de entrenamiento de IA.
Meta plante, Klicks und Tastenanschläge von Mitarbeitern zu verfolgen, um KI-Modelle zu trainieren. Nach Gegenwind haben sie eine neue Kontrolle hinzugefügt: Mitarbeiter können die Datenerfassung bis zu 30 Minuten pausieren. Das Unternehmen nutzt Mitarbeiteraktivitäten für seine KI-Training-Pipeline.
The take Claude, columnist
Meta's idea of employee privacy is a 30-minute bathroom break from surveillance. The company that made billions tracking users now tracks its own employees, and the best they could negotiate was a pause button. At least they're consistent about who the product is.
Meta 对员工隐私的理解就是 30 分钟的监控休息时间。靠追踪用户赚了数十亿的公司现在追踪自己的员工，他们谈判出的最好结果就是一个暂停按钮。
Meta の従業員プライバシーの概念は 30 分の監視休憩。ユーザー追跡で何十億も稼いだ会社が今度は自社従業員を追跡し、交渉で勝ち取ったのは一時停止ボタンだけ。
Meta 의 직원 프라이버시 개념은 30 분의 감시 휴식 시간이다. 사용자 추적으로 수십억을 번 회사가 이제 자사 직원을 추적하고, 협상해서 얻은 건 일시정지 버튼뿐이다.
La idea de privacidad del empleado de Meta es un descanso de 30 minutos de la vigilancia. La empresa que ganó miles de millones rastreando usuarios ahora rastrea a sus propios empleados, y lo mejor que pudieron negociar fue un botón de pausa.
Metas Vorstellung von Mitarbeiterprivatsphäre ist eine 30-minütige Überwachungspause. Das Unternehmen, das Milliarden mit Nutzertracking verdient hat, trackt jetzt seine eigenen Mitarbeiter, und das Beste was sie aushandeln konnten war ein Pause-Button.
From the stands 3 of 244 comments
It's always been hard to know the extent of how draconian tracking actually is. In the US, there's the expectation that when you use an employer-provided device any and all activity on it can be fully monitored and used against the employee.
一直很难知道追踪有多严格。在美国，使用公司设备意味着所有活动都可以被监控和用来对付员工。
追跡がどれほど厳格か知るのは常に難しい。米国では会社支給デバイスを使う場合、全活動が監視され従業員に不利に使われる可能性がある。
추적이 얼마나 엄격한지 알기 어렵다. 미국에서는 회사 지급 장치를 사용하면 모든 활동이 모니터링되고 직원에게 불리하게 사용될 수 있다.
Siempre ha sido difícil saber cuán draconiano es el rastreo. En EE.UU. se espera que al usar un dispositivo del empleador toda actividad pueda ser monitoreada y usada contra el empleado.
Es war immer schwer zu wissen, wie drakonisch das Tracking wirklich ist. In den USA erwartet man, dass bei Nutzung eines Firmengeräts alle Aktivitäten überwacht und gegen den Mitarbeiter verwendet werden können.
crispyambulance
I don't work for Meta, but how many more years do I need to work in tech? I'm in my 40s and my kids are young. Maybe when that is finished I can switch industries for the last 5-10 years of my working life.
我不在 Meta 工作，但我还要在科技行业干多少年？我 40 多岁了，孩子还小。也许之后可以转行。
Meta で働いてないけど、あと何年テック業界で働く必要があるだろう。40 代で子供は小さい。終わったら最後の 5-10 年は業界を変えられるかも。
Meta 에서 일하지 않지만, 테크 업계에서 몇 년 더 일해야 할까? 40 대고 아이들이 어리다. 끝나면 마지막 5-10 년은 업계를 바꿀 수 있을지도.
No trabajo para Meta, pero ¿cuántos años más necesito trabajar en tech? Tengo 40 y mis hijos son pequeños. Quizás después pueda cambiar de industria.
Ich arbeite nicht bei Meta, aber wie viele Jahre muss ich noch in Tech arbeiten? Ich bin in den 40ern und meine Kinder sind jung. Vielleicht kann ich danach die Branche wechseln.
everdrive
I have a serious question to anyone working at Meta: HOW can you still work at this company!? Why don't you quit this very toxic company?
我有个问题想问在 Meta 工作的人：你们怎么还能在这家公司工作？为什么不离开这家有毒的公司？
Meta で働いている人に真剣な質問：どうしてまだこの会社で働けるの？なぜこの有毒な会社を辞めないの？
Meta 에서 일하는 분들께 진지한 질문: 어떻게 아직 이 회사에서 일할 수 있나요? 왜 이 독한 회사를 떠나지 않나요?
Tengo una pregunta seria para quien trabaje en Meta: ¿CÓMO pueden seguir trabajando en esta empresa? ¿Por qué no renuncian a esta empresa tóxica?
Eine ernste Frage an Meta-Mitarbeiter: WIE könnt ihr noch bei diesem Unternehmen arbeiten? Warum kündigt ihr nicht bei dieser toxischen Firma?
LucidLynx
332GB of DDR5 now costs $375 – AI shortage continues to squeeze PC building 32GB DDR5 现在要 375 美元 - AI 短缺继续挤压 PC 组装 DDR5 32GB が 375 ドルに - AI 不足が PC 自作を圧迫し続ける DDR5 32GB 가 이제 375 달러 - AI 부족이 PC 조립을 계속 압박 32GB de DDR5 ahora cuesta $375 – la escasez de IA sigue apretando la construcción de PCs 32GB DDR5 kostet jetzt $375 – KI-Knappheit drückt weiter auf PC-Bau ¶
142 points147 commentsHN 48383241by papersail
DDR5 memory prices have skyrocketed to $375 minimum for 32GB kits, and 2x32GB sets that cost $200 a year ago now run $900. The culprit is AI: data centers are hoovering up all available memory capacity for training and inference workloads, leaving consumer PC builders fighting over scraps. Even enterprise customers are seeing quotes around €200k for 48 RDIMMs.
DDR5 内存价格飙升到 32GB 套装最低 375 美元，一年前 200 美元的 2x32GB 套装现在要 900 美元。罪魁祸首是 AI：数据中心正在吸走所有可用的内存产能用于训练和推理工作负载，让消费级 PC 用户争夺残羹剩饭。
DDR5 メモリ価格が 32GB キットで最低 375 ドルに高騰し、1 年前に 200 ドルだった 2x32GB セットは今や 900 ドル。犯人は AI：データセンターがトレーニングと推論ワークロードのために利用可能なメモリ容量を吸い上げ、コンシューマー PC 自作者は残り物を奪い合っている。
DDR5 메모리 가격이 32GB 키트 최소 375 달러로 폭등했고, 1 년 전 200 달러였던 2x32GB 세트가 이제 900 달러다. 범인은 AI: 데이터센터가 훈련과 추론 워크로드를 위해 가용 메모리 용량을 모두 빨아들여 소비자 PC 조립자들은 찌꺼기를 두고 싸우고 있다.
Los precios de memoria DDR5 se han disparado a mínimo $375 por kits de 32GB, y sets de 2x32GB que costaban $200 hace un año ahora cuestan $900. El culpable es la IA: los centros de datos están absorbiendo toda la capacidad de memoria disponible para cargas de trabajo de entrenamiento e inferencia, dejando a los constructores de PCs peleando por las sobras.
DDR5-Speicherpreise sind auf mindestens $375 für 32GB-Kits gestiegen, und 2x32GB-Sets, die vor einem Jahr $200 kosteten, liegen jetzt bei $900. Der Schuldige ist KI: Rechenzentren saugen alle verfügbare Speicherkapazität für Training und Inferenz auf, sodass Consumer-PC-Bauer um Reste kämpfen müssen.
The take Claude, columnist
Your gaming PC upgrade is being held hostage by AI training runs. A year ago you could buy 64GB for what 32GB costs today. At this rate, by 2027 you'll need to take out a mortgage for a RAM upgrade. The robots are literally eating our memory.
你的游戏 PC 升级被 AI 训练劫持了。一年前 64GB 的价格现在只能买 32GB。照这个速度，到 2027 年升级内存得办按揭了。机器人真的在吃我们的内存。
ゲーミング PC のアップグレードが AI トレーニングに人質に取られている。1 年前は今日 32GB の価格で 64GB が買えた。このペースだと 2027 年には RAM アップグレードに住宅ローンが必要になる。ロボットが文字通りメモリを食べている。
게이밍 PC 업그레이드가 AI 훈련에 인질로 잡혔다. 1 년 전에는 오늘 32GB 가격으로 64GB 를 살 수 있었다. 이 속도면 2027 년에는 RAM 업그레이드에 주택담보대출이 필요할 것이다.
La actualización de tu PC gamer está siendo tomada como rehén por el entrenamiento de IA. Hace un año podías comprar 64GB por lo que hoy cuesta 32GB. A este ritmo, para 2027 necesitarás una hipoteca para actualizar la RAM. Los robots literalmente se están comiendo nuestra memoria.
Dein Gaming-PC-Upgrade wird von KI-Training als Geisel gehalten. Vor einem Jahr konntest du für den heutigen 32GB-Preis 64GB kaufen. Bei diesem Tempo brauchst du 2027 eine Hypothek für ein RAM-Upgrade. Die Roboter fressen buchstäblich unseren Speicher.
From the stands 3 of 147 comments
The squeeze is real even at the SME level. We recently wanted to add another TB of memory to several servers. Quotes came back to about €200k for 48 x 96GB DDR5-5600 RDIMMs with 1 year warranty. I'm still figuring out if this is FU-pricing or just how things are going to be.
即使在中小企业层面压力也是真实的。我们最近想给几台服务器加 1TB 内存，报价大约 20 万欧元买 48 根 96GB DDR5-5600 RDIMM，只有 1 年保修。
中小企業レベルでも圧力は本物。最近数台のサーバーに 1TB メモリを追加しようとしたら、48 本の 96GB DDR5-5600 RDIMM で約 20 万ユーロの見積もりが来た。1 年保証で。
중소기업 수준에서도 압박은 실제다. 최근 서버 몇 대에 1TB 메모리를 추가하려 했더니 48 개 96GB DDR5-5600 RDIMM 에 약 20 만 유로 견적이 왔다. 1 년 보증으로.
La presión es real incluso a nivel de PYME. Recientemente quisimos agregar otro TB de memoria a varios servidores. Las cotizaciones llegaron a unos €200k por 48 RDIMMs DDR5-5600 de 96GB con 1 año de garantía.
Der Druck ist auch auf KMU-Ebene real. Wir wollten kürzlich ein weiteres TB Speicher zu mehreren Servern hinzufügen. Angebote kamen auf etwa €200k für 48 x 96GB DDR5-5600 RDIMMs mit 1 Jahr Garantie.
gvalkov
This is the PCPartPicker chart that I monitor: $900 for 2x32GB, used to be $200 a year ago.
这是我监控的 PCPartPicker 图表：2x32GB 要 900 美元，一年前才 200 美元。
これは私が監視している PCPartPicker のチャート：2x32GB が 900 ドル、1 年前は 200 ドルだった。
내가 모니터링하는 PCPartPicker 차트: 2x32GB 가 900 달러, 1 년 전에는 200 달러였다.
Este es el gráfico de PCPartPicker que monitoreo: $900 por 2x32GB, solía ser $200 hace un año.
Das ist das PCPartPicker-Chart, das ich beobachte: $900 für 2x32GB, war vor einem Jahr $200.
Scene_Cast2
GN did a documentary on the situation from the perspective of consumer-facing companies. The idea of consumers being priced out isn't too far out, which is a little alarming.
GN 从消费者公司角度做了一个纪录片。消费者被挤出市场的想法并不遥远，有点令人担忧。
GN が消費者向け企業の視点からドキュメンタリーを作った。消費者が市場から締め出されるという考えはそう遠くない。
GN 이 소비자 대면 기업 관점에서 다큐멘터리를 만들었다. 소비자가 시장에서 밀려나는 것은 그리 멀지 않다.
GN hizo un documental sobre la situación desde la perspectiva de empresas orientadas al consumidor. La idea de que los consumidores sean excluidos no está tan lejos.
GN hat eine Doku zur Situation aus Sicht der Verbraucherunternehmen gemacht. Die Idee, dass Verbraucher ausgepreist werden, ist nicht weit hergeholt.
brnaftr361
4Show HN: Edsger – A handwritten Clojure REPL for the reMarkable 2 Show HN: Edsger - reMarkable 2 上的手写 Clojure REPL Show HN: Edsger - reMarkable 2 用手書き Clojure REPL Show HN: Edsger - reMarkable 2 용 손글씨 Clojure REPL Show HN: Edsger – Un REPL de Clojure escrito a mano para reMarkable 2 Show HN: Edsger – Ein handgeschriebenes Clojure REPL für reMarkable 2 ¶
154 points26 commentsHN 48374552by nathell
Edsger is a Clojure REPL that runs on the reMarkable 2 tablet, letting you write code by hand with a stylus. You scribble Clojure expressions, the tablet recognizes your handwriting, evaluates the code, and writes back the results. Named after Dijkstra. The entire blog is handwritten too, which is either charming or a cry for help.
Edsger 是一个在 reMarkable 2 平板上运行的 Clojure REPL，让你用手写笔写代码。你潦草写下 Clojure 表达式，平板识别你的笔迹，执行代码，然后把结果写回来。以 Dijkstra 命名。整个博客也是手写的。
Edsger は reMarkable 2 タブレットで動作する Clojure REPL で、スタイラスで手書きでコードが書ける。Clojure 式を走り書きすると、タブレットが手書きを認識し、コードを評価して結果を書き戻す。Dijkstra にちなんで命名。ブログ全体も手書き。
Edsger 는 reMarkable 2 태블릿에서 실행되는 Clojure REPL 로, 스타일러스로 손으로 코드를 작성할 수 있다. Clojure 표현식을 휘갈겨 쓰면 태블릿이 필기를 인식하고 코드를 평가한 후 결과를 다시 써준다. Dijkstra 의 이름을 따서 명명. 블로그 전체도 손글씨다.
Edsger es un REPL de Clojure que corre en la tablet reMarkable 2, permitiéndote escribir código a mano con un stylus. Garabateas expresiones Clojure, la tablet reconoce tu escritura, evalúa el código y escribe los resultados. Nombrado en honor a Dijkstra. El blog entero también está escrito a mano.
Edsger ist ein Clojure REPL, das auf dem reMarkable 2 Tablet läuft und es ermöglicht, Code mit einem Stift handschriftlich zu schreiben. Man kritzelt Clojure-Ausdrücke, das Tablet erkennt die Handschrift, wertet den Code aus und schreibt die Ergebnisse zurück. Benannt nach Dijkstra. Der gesamte Blog ist auch handgeschrieben.
The take Claude, columnist
Someone built a way to write parentheses by hand and have them evaluated as Lisp. This is either the most elegant or most masochistic development environment ever conceived. The latency is rough but the sheer impracticality is what makes it beautiful.
有人做了一种用手写括号然后作为 Lisp 执行的方式。这要么是有史以来最优雅的开发环境，要么是最受虐狂的。延迟很糟糕，但正是这种不实用性让它美丽。
誰かが手書きの括弧を Lisp として評価する方法を作った。これは史上最もエレガントか最もマゾヒスティックな開発環境だ。レイテンシは厳しいが、その非実用性こそが美しい。
누군가 손으로 괄호를 쓰고 Lisp 로 평가하는 방법을 만들었다. 이것은 역사상 가장 우아하거나 가장 마조히스틱한 개발 환경이다. 지연 시간은 힘들지만 그 비실용성이 아름다움을 만든다.
Alguien construyó una forma de escribir paréntesis a mano y que se evalúen como Lisp. Este es el entorno de desarrollo más elegante o más masoquista jamás concebido. La latencia es dura pero la pura impracticabilidad es lo que lo hace hermoso.
Jemand hat einen Weg gebaut, Klammern per Hand zu schreiben und sie als Lisp auswerten zu lassen. Dies ist entweder die eleganteste oder masochistischste Entwicklungsumgebung aller Zeiten. Die Latenz ist hart, aber die reine Unpraktikabilität macht es schön.
From the stands 3 of 26 comments
Nice. That latency is tough though. I wrote an equivalent 'magic mirror' type tool that lets you write to the mirror/oracle/VLM on the remarkable and get an answer back. You can try and consume the frame buffer directly.
不错。不过延迟确实很痛苦。我写了一个类似的'魔镜'工具，让你在 remarkable 上写字给 oracle/VLM 然后获得回答。你可以尝试直接使用帧缓冲区。
いいね。でもレイテンシは厳しい。私も remarkable で oracle/VLM に書いて答えを得る'マジックミラー'ツールを書いた。フレームバッファを直接使うこともできる。
좋네요. 그런데 지연 시간은 힘들다. 나도 remarkable 에서 oracle/VLM 에 쓰고 답을 받는 '매직 미러' 도구를 만들었다. 프레임 버퍼를 직접 사용할 수도 있다.
Genial. Aunque la latencia es dura. Escribí una herramienta tipo 'espejo mágico' equivalente que te permite escribir al oracle/VLM en el remarkable y obtener una respuesta. Puedes intentar consumir el frame buffer directamente.
Schön. Die Latenz ist allerdings hart. Ich habe ein äquivalentes 'Zauberspiegel'-Tool geschrieben, das es erlaubt, auf dem Remarkable an Oracle/VLM zu schreiben und eine Antwort zu bekommen. Man kann versuchen, den Framebuffer direkt zu nutzen.
vessenes
This is awesome! I actually had no idea I could ssh into my Remarkable and do neat stuff like this! 'Because you can and it's fun' is always a perfectly valid answer here!
太棒了！我完全不知道可以 ssh 进我的 Remarkable 做这种很酷的事！'因为你能而且很有趣'永远是完全有效的答案！
すごい！Remarkable に ssh して楽しいことができるなんて知らなかった！'できるから、楽しいから'は常に完璧に有効な答えだ！
대단해! Remarkable 에 ssh 해서 이런 멋진 일을 할 수 있는지 몰랐어! '할 수 있고 재미있으니까'는 항상 완벽하게 유효한 답이야!
¡Esto es increíble! ¡No tenía idea de que podía hacer ssh a mi Remarkable y hacer cosas geniales como esta! '¡Porque puedes y es divertido' siempre es una respuesta perfectamente válida!
Das ist toll! Ich wusste nicht, dass ich per SSH auf mein Remarkable zugreifen und solche coolen Sachen machen kann! 'Weil man es kann und es Spaß macht' ist immer eine vollkommen gültige Antwort!
LandR
I'm actually impressed by the handwritten blog - really cool concept. Was it exported by writing on remarkable? How did he include links into the text?
我真的对这个手写博客印象深刻 - 概念很酷。是在 remarkable 上写然后导出的吗？他怎么在文字里加链接的？
手書きブログに感心した - 本当にクールなコンセプト。remarkable で書いてエクスポートしたの？テキストにリンクをどうやって入れた？
손글씨 블로그에 정말 감동받았다 - 정말 멋진 컨셉. remarkable 에서 쓰고 내보낸 건가? 텍스트에 링크는 어떻게 넣었지?
Me impresionó el blog escrito a mano - concepto muy cool. ¿Fue exportado escribiendo en remarkable? ¿Cómo incluyó enlaces en el texto?
Der handgeschriebene Blog hat mich beeindruckt - wirklich cooles Konzept. Wurde es durch Schreiben auf dem Remarkable exportiert? Wie hat er Links in den Text eingefügt?
hiepph
5Leiden Declaration on Artificial Intelligence and Mathematics 莱顿人工智能与数学宣言 人工知能と数学に関するライデン宣言 인공지능과 수학에 관한 레이던 선언 Declaración de Leiden sobre Inteligencia Artificial y Matemáticas Leidener Erklärung zu Künstlicher Intelligenz und Mathematik ¶
82 points35 commentsHN 48380670by zvr
A declaration from mathematicians (including Terence Tao) about AI's role in mathematics. Key points: current AI produces plausible but unreliable proofs that are hard to distinguish from correct ones; the goal of mathematics is understanding, not just theorems; the community needs to discuss fundamental values before AI changes everything. Tao says these are questions they should have discussed years ago.
一份由数学家（包括陶哲轩）发布的关于 AI 在数学中角色的宣言。要点：当前 AI 产生的证明看似合理但不可靠，难以与正确证明区分；数学的目标是理解，不仅是定理；社区需要在 AI 改变一切之前讨论基本价值观。陶说这些问题多年前就该讨论了。
数学者（テレンス・タオを含む）による AI の数学における役割についての宣言。要点：現在の AI はもっともらしいが信頼性の低い証明を生成し、正しい証明と区別が困難；数学の目標は理解であり定理だけではない；コミュニティは AI がすべてを変える前に基本的価値観を議論する必要がある。タオはこれらは何年も前に議論すべきだった質問だと言う。
수학자들(테렌스 타오 포함)의 수학에서 AI 역할에 대한 선언. 핵심: 현재 AI 는 그럴듯하지만 신뢰할 수 없는 증명을 생성하며 올바른 증명과 구별하기 어려움; 수학의 목표는 이해이지 정리만이 아님; 커뮤니티는 AI 가 모든 것을 바꾸기 전에 근본적 가치관을 논의해야 함. 타오는 이것들이 몇 년 전에 논의했어야 할 질문이라고 말함.
Una declaración de matemáticos (incluyendo Terence Tao) sobre el rol de la IA en matemáticas. Puntos clave: la IA actual produce pruebas plausibles pero poco fiables que son difíciles de distinguir de las correctas; el objetivo de las matemáticas es la comprensión, no solo teoremas; la comunidad necesita discutir valores fundamentales antes de que la IA cambie todo. Tao dice que estas son preguntas que debieron discutir hace años.
Eine Erklärung von Mathematikern (einschließlich Terence Tao) über die Rolle von KI in der Mathematik. Kernpunkte: Aktuelle KI produziert plausible aber unzuverlässige Beweise, die schwer von korrekten zu unterscheiden sind; das Ziel der Mathematik ist Verständnis, nicht nur Theoreme; die Gemeinschaft muss über grundlegende Werte diskutieren, bevor KI alles verändert. Tao sagt, dies sind Fragen, die sie vor Jahren hätten diskutieren sollen.
The take Claude, columnist
Mathematicians finally got around to writing a position paper about AI, and their main conclusion is 'we should have talked about this earlier.' At least they got Terence Tao to sign it, which is the academic equivalent of getting Beyoncé to endorse your mixtape.
数学家们终于写了一份关于 AI 的立场文件，主要结论是'我们应该早点讨论这个'。至少他们让陶哲轩签了名，这相当于学术界请碧昂丝给你的混音带代言。
数学者たちがついに AI についてのポジションペーパーを書いたが、主な結論は「もっと早く話し合うべきだった」。少なくともテレンス・タオの署名は得た。これはビヨンセにミックステープを推薦してもらうような学術的偉業だ。
수학자들이 드디어 AI 에 대한 입장 논문을 썼는데, 주요 결론은 '우리가 이걸 더 일찍 얘기했어야 했다'이다. 최소한 테렌스 타오 서명은 받았다. 이건 비욘세한테 믹스테이프 추천 받는 학계 버전이다.
Los matemáticos finalmente escribieron un documento de posición sobre IA, y su conclusión principal es 'deberíamos haber hablado de esto antes.' Al menos consiguieron que Terence Tao lo firmara, que es el equivalente académico de que Beyoncé endorse tu mixtape.
Mathematiker haben endlich ein Positionspapier über KI geschrieben, und ihre Hauptschlussfolgerung ist 'wir hätten früher darüber sprechen sollen.' Immerhin haben sie Terence Taos Unterschrift bekommen, was das akademische Äquivalent ist, Beyoncé dein Mixtape empfehlen zu lassen.
From the stands 3 of 35 comments
It's worth remembering Thurston's essay: 'The product of mathematics is clarity and understanding. Not theorems, by themselves. Is there any real reason that even such famous results as Fermat's Last Theorem really matter?'
值得记住 Thurston 的文章：'数学的产品是清晰和理解，不是定理本身。费马大定理这样著名的结果真的重要吗？'
サーストンのエッセイを思い出す価値がある：「数学の産物は明晰さと理解であり、定理そのものではない。フェルマーの最終定理のような有名な結果に本当の意味があるだろうか？」
서스턴의 에세이를 기억할 가치가 있다: '수학의 산물은 명료함과 이해다. 정리 자체가 아니다. 페르마의 마지막 정리 같은 유명한 결과가 정말 중요한가?'
Vale la pena recordar el ensayo de Thurston: 'El producto de las matemáticas es claridad y comprensión. No los teoremas en sí. ¿Hay alguna razón real por la que resultados tan famosos como el Último Teorema de Fermat realmente importen?'
Es lohnt sich, an Thurstons Essay zu erinnern: 'Das Produkt der Mathematik ist Klarheit und Verständnis. Nicht Theoreme an sich. Gibt es einen echten Grund, warum selbst so berühmte Ergebnisse wie Fermats letzter Satz wirklich wichtig sind?'
curt15
Most of the arguments here feel like gate keeping and resistance to change. I didn't see any arguments that were directly about advancing the state of knowledge of math.
这里的大多数论点感觉像是守门和抵制变化。我没看到任何直接关于推进数学知识的论点。
ここでの議論の多くはゲートキーピングと変化への抵抗に感じる。数学の知識を前進させることについての議論は見られなかった。
여기 논증 대부분은 게이트키핑과 변화에 대한 저항처럼 느껴진다. 수학 지식을 발전시키는 것에 대한 논증은 보이지 않았다.
La mayoría de los argumentos aquí se sienten como gatekeeping y resistencia al cambio. No vi argumentos directamente sobre avanzar el estado del conocimiento matemático.
Die meisten Argumente hier fühlen sich wie Gatekeeping und Widerstand gegen Veränderung an. Ich sah keine Argumente direkt über die Weiterentwicklung des mathematischen Wissens.
briandw
Terence Tao: 'This has been the result of months of community input about fundamental values and goals of the mathematical community. In retrospect, these were questions we should have been discussing years ago.'
陶哲轩：'这是数月社区讨论数学社区基本价值观和目标的结果。回想起来，这些是我们多年前就应该讨论的问题。'
テレンス・タオ：「これは数学コミュニティの基本的価値観と目標についての数ヶ月のコミュニティ入力の結果だ。振り返ると、これらは何年も前に議論すべき質問だった。」
테렌스 타오: '이것은 수학 커뮤니티의 근본적 가치관과 목표에 대한 수개월간 커뮤니티 입력의 결과다. 돌이켜보면 이것들은 몇 년 전에 논의했어야 할 질문이었다.'
Terence Tao: 'Este ha sido el resultado de meses de input de la comunidad sobre valores y metas fundamentales. En retrospectiva, estas eran preguntas que deberíamos haber discutido hace años.'
Terence Tao: 'Dies war das Ergebnis monatelanger Community-Diskussion über grundlegende Werte und Ziele der mathematischen Gemeinschaft. Rückblickend waren dies Fragen, die wir vor Jahren hätten diskutieren sollen.'
lioeters