btw for these asking, this is literally our latest symbolic model
This is a dev post classified by AGK Intelligence as Open source & devtools business (a launch), kept by the Dev Radar because it carries real work, not commentary.
btw for these asking, this is literally our latest symbolic model it learns to encode human knowledge as a bunch of top-level definitions on the untyped λ-calculus. no weights yes, this talks to you. in English. at 1 million tokens/second how it performs? poorly for now :')
Posted by Taelin (89.2k followers) 1 h ago · 405 likes · 13.3k views · view the original post on X. Kept by the Dev Radar as Open source & devtools business.
More dev work like this
- making it open source! — @marcelkargul
- What's this? — @PermitZIPhvac
- Today I'm launching Runlight 🚀 — @joncphillips
- Anthropic could cover your next 6 months of Claude Ultra. — @suraj_sharma14
- Ever Gauzy 是一套开源业务管理平台，整合了 CRM、招聘、人事、库存、项目管理、工时记录和开票等模块，想把团队日常运营集中到一个系统里。 — @bkdgiffug
- we crossed 2M NPM downloads and 13k stars! ✨ — @o_kwasniewski
- We want to sponsor Rust maintainers and open-source projects across web development,… — @encoredotdev
- :') — @theo
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.8k posts from 5k X accounts over the last 21 days, 9.6k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-07 22:47 UTC. Full method.