- 6
LLM-as-a-Judge is asking the wrong question
(veris.ai)
- 2
I Don't Buy SQLite in the Cloud
(monroeclinton.com)
- 1
Bardacle – Session awareness for AI agents using local LLMs
(github.com)
- 3
Show HN: The Frontier, Tracking the LLM Pareto Frontier
(the-frontier.app)
- 1
Russian Watchdog Starts Limiting Access to Telegram
(bloomberg.com)
- 2
Show HN: Camouflage.nvim – Hide secrets in config files during screen sharing
(github.com)
- 1
Rack and optimize AI API costs across all providers
(aicostboard.com)
- 1
Story Follows Function: Mahjong Daireikai
(nicole.express)
- 1
Chatto
(hmans.dev)
- 8
What Good Looks Like
(yusufaytas.com)
- 1
STLE: Teaching AI to Know What It Doesn't Know
(github.com)
- 3
Alien Assumptions
(mindlessalgorithm.com)
- 38
Redefining Go Functions
(pboyd.io)
- 1
Rust Memory Management: The Playroom Analogy
(adacore.com)
- 1
Building Mockingjay: A Video Recorder for When It Matters Most
(tskulbru.dev)
- 3
How to Prove the Correctness of AI-Generated Code Using Formal Methods
(adacore.com)
- 2
Context-Driven Development Meets Team Agents
(themobileagent.substack.com)
- 3
Show HN: I replaced a 200MB JVM process with a 52KB binary that speaks Kafka
(github.com)
- 1
Forensic Evidence of IP Theft Fixed Point Glass Box Solutions
(archive.org)
- 2
Experimental Zones Protocol Merged to Wayland After 2 Years, 620 Comments
(phoronix.com)
- 1
Sharav Arora 10-Year Old Founder of TechForges
(sites.google.com)
- 2
The Century of the Maxxer
(samkriss.substack.com)
- 311
Oxide raises $200M Series C
(oxide.computer)
- 2
UK justice ministry orders deletion of largest court archive court
(thetimes.com)
- 2
Formal Methods Practice and Theory
(adacore.com)
- 1
Hunter3 Is Not OpenClaw
(github.com)
- 2
Show HN: ToolBake – Build custom tools run in the browser by AI asstent or code
(github.com)
- 1
BaiduWiki
(baike.baidu.com)
- 1
The house in Hereford that moved down High Town
(herefordtimes.com)
- 2
Let's Build a Simple Database
(cstack.github.io)