henrikhorluck
- Karma
- 0
- Created
- ()
- Submissions
- 0
- AI Lattice Proofs with Chris Peikert (securitycryptographywhatever.com)
- DuckLake v1.0 (ducklake.select)
- Announcing DuckDB 1.5.2 (duckdb.org)
- CCBench (ccbench.org)
- Go proposal: Type-safe error checking (antonz.org)
- Marimo launches VS Code and Cursor extensions (marimo.io)
- Breaking the Million-Token Barrier (techcommunity.microsoft.com)
- JSON evolution in Go: from v1 to v2 (antonz.org)
- Arrow IPC Support in DuckDB (duckdb.org)
- Poetry 2.0.0 (python-poetry.org)
- David Tolnay on the "RustConf Keynote Fiasco" (gist.github.com)
- MARV Robotics: A ROS Data Management Platform (ternaris.com)