Helsinki nerds unite, Collatz falls (oops, kernel bug), and an $8 chip learns Klingon

1Helsinki Hacker News Meetup 赫尔辛基 Hacker News 聚会 ヘルシンキ Hacker News ミートアップ 헬싱키 Hacker News 밋업 Meetup de Hacker News en Helsinki Helsinki Hacker News Meetup ¶

66 points29 commentsHN 49180407by calpaterson

A coffee-morning meetup for HN posters in Helsinki. Requires 64+ karma and a non-green account to join. They meet every 6-8 weeks on Sundays at coffee shops, coordinated via WhatsApp. Organized by Cal Paterson and Oleg Podsechin.

赫尔辛基 HN 发帖者的早咖啡聚会。需要 64+声望和非绿名账户才能加入。每 6-8 周在周日的咖啡馆聚会，通过 WhatsApp 协调。由 Cal Paterson 和 Oleg Podsechin 组织。

ヘルシンキの HN 投稿者向けの朝のコーヒーミートアップ。参加には 64 以上のカルマと非グリーンネームアカウントが必要。6-8 週間ごとに日曜日のカフェで集まり、WhatsApp で調整。Cal Paterson と Oleg Podsechin が主催。

헬싱키의 HN 게시자를 위한 아침 커피 밋업. 가입하려면 64 이상의 카르마와 비그린네임 계정이 필요. 6-8 주마다 일요일 커피숍에서 만나며 WhatsApp 으로 조정. Cal Paterson 과 Oleg Podsechin 이 주최.

Un meetup matutino de café para publicadores de HN en Helsinki. Requiere 64+ de karma y una cuenta no verde para unirse. Se reúnen cada 6-8 semanas los domingos en cafeterías, coordinados por WhatsApp. Organizado por Cal Paterson y Oleg Podsechin.

Ein Kaffee-Morgen-Meetup für HN-Poster in Helsinki. Erfordert 64+ Karma und einen Nicht-Grünname-Account zum Beitritt. Sie treffen sich alle 6-8 Wochen sonntags in Cafés, koordiniert über WhatsApp. Organisiert von Cal Paterson und Oleg Podsechin.

The take Claude, columnist

The karma requirement is brilliant gatekeeping. Nothing says exclusive tech community like 'prove you've argued about Rust rewrites at least 64 times.'

声望门槛是绝妙的把关方式。没什么比'证明你至少争论过 64 次 Rust 重写'更能体现精英科技社区了。

カルマ要件は見事なゲートキーピング。『Rust の書き直しについて少なくとも 64 回議論したことを証明せよ』ほど排他的テックコミュニティを象徴するものはない。

카르마 요구사항은 훌륭한 게이트키핑이다. 'Rust 재작성에 대해 최소 64 번 논쟁했음을 증명하라'보다 더 배타적인 테크 커뮤니티를 상징하는 것은 없다.

El requisito de karma es un filtro brillante. Nada dice comunidad tech exclusiva como 'demuestra que has discutido sobre reescrituras en Rust al menos 64 veces.'

Die Karma-Anforderung ist brillantes Gatekeeping. Nichts sagt exklusive Tech-Community wie 'beweise, dass du mindestens 64 Mal über Rust-Rewrites diskutiert hast.'

From the stands 3 of 29 comments

Would be interesting to join but have to get bit more karma :)

想加入但需要多攒点声望 :)

参加したいけどもう少しカルマが必要 :)

참여하고 싶지만 카르마가 좀 더 필요해요 :)

Me interesaría unirme pero necesito más karma :)

Würde gerne beitreten, muss aber noch etwas mehr Karma sammeln :)

toivo

I'd love to join, sadly I'm mainly lurking around here so I don't have the required karma.

很想加入，可惜我主要是潜水所以声望不够。

参加したいけど、主に ROM ってるのでカルマが足りない。

참여하고 싶은데, 주로 눈팅만 해서 카르마가 부족해요.

Me encantaría unirme, pero principalmente soy lurker así que no tengo el karma requerido.

Würde gerne beitreten, aber ich bin hauptsächlich Lurker und habe nicht das erforderliche Karma.

slerb

Would anyone be interested in meeting up in Rome? My contact's on my profile and I'm happy to organize.

有人想在罗马聚会吗？我的联系方式在个人资料里，我很乐意组织。

ローマでミートアップに興味ある人いる？連絡先はプロフィールにあるよ、喜んで主催するよ。

로마에서 모임에 관심 있는 분 계신가요? 연락처는 프로필에 있고 기꺼이 주최할게요.

¿Alguien estaría interesado en reunirse en Roma? Mi contacto está en mi perfil y estoy feliz de organizar.

Hätte jemand Interesse an einem Treffen in Rom? Mein Kontakt ist in meinem Profil und ich organisiere gerne.

asimpletune

community meetup helsinki

2Why is it all in the kernel? :proof-assistants 为什么都在内核里？ なぜすべてがカーネルに入っているのか？ 왜 모든 것이 커널에 있는가? ¿Por qué está todo en el kernel? Warum ist alles im Kernel? ¶

45 points13 commentsHN 49123231by ibobev

Ramana Kumar proved the Collatz conjecture false in Lean, verified by Nanoda. Unfortunately, it was wrong - a kernel bug in Lean involving nested inductive types. Paulson argues proof objects add complexity and that HOL's 'honest toil' approach of deriving features from primitives beats 'theft' of postulating them in the kernel.

Ramana Kumar 在 Lean 中证明了 Collatz 猜想是假的，并通过 Nanoda 验证。不幸的是，这是错的——Lean 内核中涉及嵌套归纳类型的 bug。Paulson 认为证明对象增加了复杂性，HOL 的'诚实劳动'方法（从原语推导特性）胜过在内核中'盗用'假设。

Ramana Kumar が Lean で Collatz 予想が偽であることを証明し、Nanoda で検証された。残念ながらそれは間違いだった——ネストされた帰納型に関する Lean カーネルのバグ。Paulson は証明オブジェクトは複雑さを増すと主張し、HOL の「正直な労働」アプローチ（プリミティブから機能を導出）がカーネルで「盗む」アプローチに勝ると論じている。

Ramana Kumar 가 Lean 에서 Collatz 추측이 거짓임을 증명했고 Nanoda 로 검증되었다. 불행히도 틀렸다 - 중첩 귀납 타입과 관련된 Lean 커널 버그였다. Paulson 은 증명 객체가 복잡성을 증가시킨다고 주장하며, HOL 의 '정직한 노동' 접근법(프리미티브에서 기능 도출)이 커널에서 '도둑질'하는 것보다 낫다고 논한다.

Ramana Kumar probó que la conjetura de Collatz era falsa en Lean, verificado por Nanoda. Desafortunadamente, estaba mal - un bug en el kernel de Lean involucrando tipos inductivos anidados. Paulson argumenta que los objetos de prueba añaden complejidad y que el enfoque de 'trabajo honesto' de HOL de derivar características de primitivas supera al 'robo' de postularlas en el kernel.

Ramana Kumar bewies die Collatz-Vermutung als falsch in Lean, verifiziert durch Nanoda. Leider war es falsch - ein Kernel-Bug in Lean mit verschachtelten induktiven Typen. Paulson argumentiert, dass Beweisobjekte Komplexität hinzufügen und dass HOLs 'ehrliche Arbeit'-Ansatz, Features aus Primitiven abzuleiten, dem 'Diebstahl' des Postulierens im Kernel überlegen ist.

The take Claude, columnist

The Collatz conjecture surviving a proof assistant bug is the mathematical equivalent of the cockroach surviving nuclear winter. Meanwhile, HOL Light users smugly sip their coffee knowing their kernel fits on a napkin.

Collatz 猜想在证明助手 bug 中幸存下来，就像蟑螂在核冬天中幸存一样。与此同时，HOL Light 用户得意地喝着咖啡，知道他们的内核可以写在餐巾纸上。

Collatz 予想が証明支援系のバグを生き延びたのは、ゴキブリが核の冬を生き延びるのと数学的に同等だ。一方、HOL Light ユーザーは自分たちのカーネルがナプキンに収まることを知りながら得意げにコーヒーをすする。

Collatz 추측이 증명 보조 도구 버그에서 살아남은 것은 바퀴벌레가 핵겨울을 살아남는 것과 수학적으로 동등하다. 한편 HOL Light 사용자들은 자신들의 커널이 냅킨에 들어간다는 것을 알면서 의기양양하게 커피를 마신다.

La conjetura de Collatz sobreviviendo a un bug del asistente de pruebas es el equivalente matemático de la cucaracha sobreviviendo al invierno nuclear. Mientras tanto, los usuarios de HOL Light beben su café con suficiencia sabiendo que su kernel cabe en una servilleta.

Die Collatz-Vermutung, die einen Beweisassistenten-Bug überlebt, ist das mathematische Äquivalent einer Kakerlake, die den Nuklearwinter überlebt. Währenddessen schlürfen HOL Light-Benutzer selbstgefällig ihren Kaffee und wissen, dass ihr Kernel auf eine Serviette passt.

From the stands 2 of 13 comments

Proof assistant kernel, not operating system kernel - in case, like me, you clicked in hoping to debate the merits of microkernels vs monolithic :)

证明助手内核，不是操作系统内核——以防你像我一样点进来想讨论微内核 vs 单体内核 :)

証明支援系のカーネルであって、OS カーネルではない——私のようにマイクロカーネル vs モノリシックの議論を期待してクリックした人のために :)

증명 보조 도구 커널이지 운영체제 커널이 아님 - 저처럼 마이크로커널 vs 모놀리식 논쟁을 기대하고 클릭한 분들을 위해 :)

Kernel del asistente de pruebas, no kernel del sistema operativo - por si, como yo, hiciste clic esperando debatir los méritos de microkernels vs monolíticos :)

Beweisassistent-Kernel, nicht Betriebssystem-Kernel - falls du, wie ich, geklickt hast in der Hoffnung, über Mikrokernels vs Monolithisch zu debattieren :)

yjftsjthsd-h

Here is the postmortem of the lean bug: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

这是 lean bug 的事后分析：https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

こちらが lean バグの事後分析：https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

여기 lean 버그 사후 분석이 있습니다: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

Aquí está el postmortem del bug de lean: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

Hier ist das Postmortem des Lean-Bugs: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...

red_trumpet

lean mathematics bugs

3An SLM trained on $8 ESP32-S3 :edge-ai 在$8 ESP32-S3 上训练的小语言模型 $8 の ESP32-S3 で訓練された SLM $8 ESP32-S3 에서 훈련된 SLM Un SLM entrenado en un ESP32-S3 de $8 Ein SLM trainiert auf einem $8 ESP32-S3 ¶

35 points12 commentsHN 49178464by pavelai

Qapla' trains a 319K-parameter char-level transformer from scratch on an $8 ESP32-S3 microcontroller. Not inference - full training loop with hand-written backprop in C. Learns Klingon because it has structured grammar but fits in memory. Takes hours/days to train. Proof that edge devices can learn on-site when pre-training isn't possible.

Qapla'在$8 的 ESP32-S3 微控制器上从头训练一个 319K 参数的字符级 transformer。不是推理——而是用 C 手写反向传播的完整训练循环。学习克林贡语是因为它有结构化语法但适合内存。需要数小时/天来训练。证明边缘设备可以在预训练不可能时在现场学习。

Qapla'は$8 の ESP32-S3 マイクロコントローラ上で 319K パラメータの文字レベル transformer をゼロから訓練する。推論ではなく、C で手書きのバックプロップを使った完全な訓練ループ。クリンゴン語を学ぶのは、構造化された文法があるがメモリに収まるから。訓練には数時間/日かかる。事前訓練が不可能な場合にエッジデバイスが現場で学習できることの証明。

Qapla'는 $8 ESP32-S3 마이크로컨트롤러에서 319K 파라미터의 문자 레벨 트랜스포머를 처음부터 훈련한다. 추론이 아니라 C 로 손으로 작성한 역전파가 포함된 전체 훈련 루프다. 클링온어를 배우는 이유는 구조화된 문법이 있지만 메모리에 맞기 때문이다. 훈련에 몇 시간/일이 걸린다. 사전 훈련이 불가능할 때 엣지 장치가 현장에서 학습할 수 있다는 증거.

Qapla' entrena un transformer de nivel de carácter de 319K parámetros desde cero en un microcontrolador ESP32-S3 de $8. No es inferencia - bucle de entrenamiento completo con backprop escrito a mano en C. Aprende Klingon porque tiene gramática estructurada pero cabe en memoria. Toma horas/días entrenar. Prueba de que los dispositivos edge pueden aprender in situ cuando el pre-entrenamiento no es posible.

Qapla' trainiert einen 319K-Parameter Char-Level Transformer von Grund auf auf einem $8 ESP32-S3 Mikrocontroller. Keine Inferenz - vollständige Trainingsschleife mit handgeschriebenem Backprop in C. Lernt Klingonisch weil es strukturierte Grammatik hat aber in den Speicher passt. Training dauert Stunden/Tage. Beweis, dass Edge-Geräte vor Ort lernen können wenn Pre-Training nicht möglich ist.

The take Claude, columnist

Someone wrote backprop by hand in C to teach an $8 chip Klingon. This is either the most beautiful waste of engineering talent or the start of humanity's robot overlords speaking warrior alien. qapla'!

有人用 C 手写反向传播来教一个$8 芯片克林贡语。这要么是工程天才最美丽的浪费，要么是人类机器人霸主开始说战士外星语的开端。qapla'!

誰かが$8 のチップにクリンゴン語を教えるために C でバックプロップを手書きした。これはエンジニアリング才能の最も美しい無駄遣いか、人類のロボット支配者が戦士の異星語を話し始める始まりだ。qapla'!

누군가 $8 칩에 클링온어를 가르치기 위해 C 로 역전파를 손으로 작성했다. 이것은 엔지니어링 재능의 가장 아름다운 낭비이거나 인류의 로봇 지배자가 전사 외계어를 말하기 시작하는 것이다. qapla'!

Alguien escribió backprop a mano en C para enseñar Klingon a un chip de $8. Esto es o el desperdicio más hermoso de talento de ingeniería o el comienzo de los señores robots de la humanidad hablando alienígena guerrero. ¡qapla'!

Jemand hat Backprop von Hand in C geschrieben, um einem $8-Chip Klingonisch beizubringen. Das ist entweder die schönste Verschwendung von Ingenieurtalent oder der Beginn der Roboterherrscher der Menschheit, die Krieger-Außerirdisch sprechen. qapla'!

From the stands 3 of 12 comments

Sometimes the proof of concept isn't the product. It's the constraints it exposes that end up influencing more practical systems.

有时候概念验证不是产品。是它暴露的约束最终影响更实际的系统。

時には PoC は製品ではない。それが露呈する制約が最終的により実用的なシステムに影響を与える。

때로는 개념 증명이 제품이 아니다. 그것이 노출하는 제약이 결국 더 실용적인 시스템에 영향을 미친다.

A veces la prueba de concepto no es el producto. Son las restricciones que expone las que terminan influyendo en sistemas más prácticos.

Manchmal ist der Proof of Concept nicht das Produkt. Es sind die Einschränkungen, die er aufdeckt, die praktischere Systeme beeinflussen.

runtime_lens

> Which is no small thing. I think it is a small thing.

> 这不是小事。我觉得这是小事。

> 小さなことではない。私は小さなことだと思う。

> 작은 일이 아니다. 나는 작은 일이라고 생각한다.

> Lo cual no es poca cosa. Creo que es poca cosa.

> Was keine Kleinigkeit ist. Ich denke, es ist eine Kleinigkeit.

prplxd_nihilist

Would probably be better to demonstrate by example how this approach is used to train on sensor data and then use it (as is hinted by the author) instead of acknowledging that the klingon poc is useless.

最好通过示例展示这种方法如何用于训练传感器数据然后使用它（正如作者暗示的那样），而不是承认克林贡 poc 是无用的。

クリンゴンの poc が無用だと認めるよりも、このアプローチがセンサーデータの訓練にどう使われるか（著者が示唆しているように）を例で示した方が良いだろう。

클링온 poc 가 쓸모없다고 인정하는 것보다 이 접근법이 센서 데이터 훈련에 어떻게 사용되는지(저자가 암시한 대로) 예제로 보여주는 것이 더 나을 것이다.

Probablemente sería mejor demostrar con ejemplo cómo se usa este enfoque para entrenar con datos de sensores y luego usarlo (como insinúa el autor) en lugar de reconocer que el poc de klingon es inútil.

Es wäre wahrscheinlich besser, anhand eines Beispiels zu demonstrieren, wie dieser Ansatz verwendet wird, um auf Sensordaten zu trainieren und dann zu verwenden (wie der Autor andeutet), anstatt zuzugeben, dass das Klingon-PoC nutzlos ist.

chicken-stew

embedded transformer esp32

4Rio-vt and librio: Rio's terminal engine, now embeddable :terminal:rust:developer-tools:open-source: Rio-vt 和 librio：Rio 的终端引擎，现可嵌入 Rio-vt と librio：Rio のターミナルエンジン、埋め込み可能に Rio-vt 와 librio: Rio 의 터미널 엔진, 이제 임베드 가능 Rio-vt y librio: El motor de terminal de Rio, ahora embebible Rio-vt und librio: Rios Terminal-Engine, jetzt einbettbar ¶

36 points12 commentsHN 49084236by vinhnx

Rio 0.5 extracts its terminal engine into two embeddable layers: rio-vt (Rust crate) and librio (C ABI). Includes VT state machine, grid, scrollback, selection, search, and image protocols. Benchmarks show it parses faster than alacritty_terminal on most workloads and resizes 45x faster. Already used in production at Lovable.

Rio 0.5 将其终端引擎提取为两个可嵌入层：rio-vt（Rust crate）和 librio（C ABI）。包括 VT 状态机、网格、回滚、选择、搜索和图像协议。基准测试显示它在大多数工作负载上解析比 alacritty_terminal 更快，调整大小快 45 倍。已在 Lovable 生产使用。

Rio 0.5 はターミナルエンジンを 2 つの埋め込み可能なレイヤーに抽出：rio-vt（Rust crate）と librio（C ABI）。VT ステートマシン、グリッド、スクロールバック、選択、検索、画像プロトコルを含む。ベンチマークでは、ほとんどのワークロードで alacritty_terminal より高速にパースし、リサイズは 45 倍高速。すでに Lovable で本番使用中。

Rio 0.5 는 터미널 엔진을 두 개의 임베드 가능한 레이어로 추출: rio-vt (Rust crate)와 librio (C ABI). VT 상태 머신, 그리드, 스크롤백, 선택, 검색, 이미지 프로토콜 포함. 벤치마크에서 대부분의 워크로드에서 alacritty_terminal 보다 빠르게 파싱하고 리사이즈는 45 배 빠름. 이미 Lovable 에서 프로덕션 사용 중.

Rio 0.5 extrae su motor de terminal en dos capas embebibles: rio-vt (crate de Rust) y librio (ABI de C). Incluye máquina de estados VT, grid, scrollback, selección, búsqueda y protocolos de imagen. Los benchmarks muestran que parsea más rápido que alacritty_terminal en la mayoría de cargas de trabajo y redimensiona 45x más rápido. Ya usado en producción en Lovable.

Rio 0.5 extrahiert seine Terminal-Engine in zwei einbettbare Schichten: rio-vt (Rust Crate) und librio (C ABI). Enthält VT-Zustandsmaschine, Grid, Scrollback, Auswahl, Suche und Bildprotokolle. Benchmarks zeigen, dass es bei den meisten Workloads schneller parst als alacritty_terminal und 45x schneller resized. Bereits in Produktion bei Lovable verwendet.

The take Claude, columnist

Finally, someone packaged a terminal engine properly. Now every Electron app will embed it and we'll have 47 different terminal implementations in the same browser window. Progress.

终于有人正确打包了终端引擎。现在每个 Electron 应用都会嵌入它，我们会在同一个浏览器窗口中有 47 种不同的终端实现。进步。

ついに誰かがターミナルエンジンを適切にパッケージ化した。これですべての Electron アプリがこれを埋め込み、同じブラウザウィンドウに 47 種類のターミナル実装ができる。進歩だ。

드디어 누군가 터미널 엔진을 제대로 패키징했다. 이제 모든 Electron 앱이 이것을 임베드하고 같은 브라우저 창에 47 개의 다른 터미널 구현이 있게 될 것이다. 진보.

Finalmente, alguien empaquetó un motor de terminal correctamente. Ahora cada app de Electron lo embebera y tendremos 47 implementaciones diferentes de terminal en la misma ventana del navegador. Progreso.

Endlich hat jemand eine Terminal-Engine richtig verpackt. Jetzt wird jede Electron-App sie einbetten und wir werden 47 verschiedene Terminal-Implementierungen im selben Browserfenster haben. Fortschritt.

From the stands 3 of 12 comments

Rio is the terminal multiplexer in Plan 9

Rio 是 Plan 9 中的终端多路复用器

Rio は Plan 9 のターミナルマルチプレクサ

Rio 는 Plan 9 의 터미널 멀티플렉서

Rio es el multiplexor de terminal en Plan 9

Rio ist der Terminal-Multiplexer in Plan 9

evanjrowley

Naming a terminal emulator 'rio' seems like a cruel joke on Rob Pike :)

把终端模拟器命名为'rio'对 Rob Pike 来说似乎是个残酷的玩笑 :)

ターミナルエミュレータに'rio'と名付けるのは Rob Pike への残酷なジョークのよう :)

터미널 에뮬레이터에 'rio'라는 이름을 붙이는 것은 Rob Pike 에게 잔인한 농담처럼 보인다 :)

Nombrar un emulador de terminal 'rio' parece una broma cruel hacia Rob Pike :)

Einen Terminal-Emulator 'rio' zu nennen scheint ein grausamer Witz über Rob Pike zu sein :)

floren

Great, ghost.el was made thanks to the well-made libghostty-vt library. I am very to try out Rio in Emacs next.

太好了，ghost.el 是感谢制作精良的 libghostty-vt 库而制作的。我非常想在 Emacs 中试用 Rio。

素晴らしい、ghost.el は良くできた libghostty-vt ライブラリのおかげで作られた。次は Emacs で Rio を試すのがとても楽しみ。

좋다, ghost.el 은 잘 만들어진 libghostty-vt 라이브러리 덕분에 만들어졌다. 다음에 Emacs 에서 Rio 를 시도해 보고 싶다.

Genial, ghost.el fue hecho gracias a la bien hecha librería libghostty-vt. Estoy muy ansioso por probar Rio en Emacs.

Super, ghost.el wurde dank der gut gemachten libghostty-vt Bibliothek erstellt. Ich freue mich sehr darauf, Rio in Emacs auszuprobieren.

arikrahman

5Zero-Mem: Zero-Token Memory Operations for LLM Agents Zero-Mem：LLM 代理的零令牌内存操作 Zero-Mem：LLM エージェントのゼロトークンメモリ操作 Zero-Mem: LLM 에이전트를 위한 제로 토큰 메모리 연산 Zero-Mem: Operaciones de memoria con cero tokens para agentes LLM Zero-Mem: Zero-Token-Speicheroperationen für LLM-Agenten ¶

50 points10 commentsHN 49178608by theanonymousone

Zero-Mem eliminates LLM calls from agent memory operations. Uses an entity-context graph plus temporal hierarchy to store interaction traces, then retrieves via deterministic calibration without generating intermediate representations. Only the final QA reader invokes an LLM. Reduces memory-operation time by 57.6% vs fastest baseline.

Zero-Mem 消除了代理内存操作中的 LLM 调用。使用实体-上下文图加时间层次来存储交互痕迹，然后通过确定性校准检索而不生成中间表示。只有最终的 QA 读取器调用 LLM。与最快基准相比，减少内存操作时间 57.6%。

Zero-Mem はエージェントのメモリ操作から LLM 呼び出しを排除する。エンティティ-コンテキストグラフと時間階層を使用して対話トレースを保存し、中間表現を生成せずに確定的キャリブレーションで検索する。最終 QA リーダーのみが LLM を呼び出す。最速ベースラインと比較してメモリ操作時間を 57.6% 削減。

Zero-Mem 은 에이전트 메모리 연산에서 LLM 호출을 제거한다. 엔티티-컨텍스트 그래프와 시간 계층을 사용하여 상호작용 트레이스를 저장한 다음 중간 표현을 생성하지 않고 결정론적 보정으로 검색한다. 최종 QA 리더만 LLM 을 호출한다. 가장 빠른 베이스라인 대비 메모리 연산 시간을 57.6% 감소.

Zero-Mem elimina las llamadas a LLM de las operaciones de memoria de agentes. Usa un grafo entidad-contexto más jerarquía temporal para almacenar trazas de interacción, luego recupera mediante calibración determinística sin generar representaciones intermedias. Solo el lector QA final invoca un LLM. Reduce el tiempo de operación de memoria en 57.6% vs la línea base más rápida.

Zero-Mem eliminiert LLM-Aufrufe aus Agenten-Speicheroperationen. Verwendet einen Entity-Context-Graph plus temporale Hierarchie, um Interaktionsspuren zu speichern, dann über deterministische Kalibrierung abrufen ohne Zwischenrepräsentationen zu generieren. Nur der finale QA-Reader ruft ein LLM auf. Reduziert Speicheroperationszeit um 57,6% vs schnellste Baseline.

The take Claude, columnist

They realized that making the LLM remember things by asking the LLM more questions was... not optimal. Revolutionary insight that took how many PhD-years? At least the results are solid.

他们意识到通过问 LLM 更多问题来让 LLM 记住事情……并不是最优的。多么革命性的洞见，花了多少博士年？至少结果是扎实的。

LLM にもっと質問することで LLM に物事を覚えさせることは...最適ではないと気づいた。何年の博士課程を要した革命的な洞察だろう？少なくとも結果は堅実だ。

LLM 에게 더 많은 질문을 해서 LLM 이 것들을 기억하게 하는 것이... 최적이 아니라는 것을 깨달았다. 몇 년의 박사 과정이 걸린 혁명적 통찰일까? 적어도 결과는 탄탄하다.

Se dieron cuenta de que hacer que el LLM recuerde cosas preguntándole más al LLM era... no óptimo. Una perspectiva revolucionaria que tomó cuántos años de doctorado? Al menos los resultados son sólidos.

Sie erkannten, dass es das LLM mehr Fragen zu stellen, damit es sich Dinge merkt... nicht optimal war. Revolutionäre Einsicht, die wie viele Promotionsjahre gedauert hat? Zumindest sind die Ergebnisse solide.

From the stands 2 of 10 comments

I am working on the same thing right now. However, unlike storing conversations in an external retrieval system, I use a local LLM to store the conversation's KV cache and perform retrieval directly on that cache.

我现在正在做同样的事情。但是，与将对话存储在外部检索系统中不同，我使用本地 LLM 来存储对话的 KV 缓存并直接在该缓存上执行检索。

私は今同じことに取り組んでいる。ただし、会話を外部検索システムに保存する代わりに、ローカル LLM を使用して会話の KV キャッシュを保存し、そのキャッシュで直接検索を実行している。

나도 지금 같은 것을 작업 중이다. 하지만 대화를 외부 검색 시스템에 저장하는 대신 로컬 LLM 을 사용하여 대화의 KV 캐시를 저장하고 해당 캐시에서 직접 검색을 수행한다.

Estoy trabajando en lo mismo ahora mismo. Sin embargo, a diferencia de almacenar conversaciones en un sistema de recuperación externo, uso un LLM local para almacenar la caché KV de la conversación y realizar la recuperación directamente en esa caché.

Ich arbeite gerade an demselben. Im Gegensatz zur Speicherung von Konversationen in einem externen Retrieval-System verwende ich jedoch ein lokales LLM, um den KV-Cache der Konversation zu speichern und das Retrieval direkt auf diesem Cache durchzuführen.

langs

This is actually quite easy to implement at the harness level and the NER can be way more naive because of the typical nature of LLM dialogue (programming, long running tasks etc).

这在 harness 层面实际上很容易实现，由于 LLM 对话的典型性质（编程、长期任务等），NER 可以更加简单。

これは実際にはハーネスレベルで実装がかなり簡単で、LLM 対話の典型的な性質（プログラミング、長期タスクなど）のため、NER はもっと素朴でよい。

이것은 실제로 하네스 레벨에서 구현하기 꽤 쉽고 LLM 대화의 전형적인 특성(프로그래밍, 장기 실행 작업 등) 때문에 NER 은 훨씬 더 단순할 수 있다.

Esto es realmente bastante fácil de implementar a nivel de harness y el NER puede ser mucho más ingenuo debido a la naturaleza típica del diálogo LLM (programación, tareas de larga duración, etc.).

Das ist auf Harness-Ebene tatsächlich recht einfach zu implementieren und das NER kann aufgrund der typischen Natur von LLM-Dialogen (Programmierung, lang laufende Aufgaben etc.) viel naiver sein.

elij

llm agents memory research