HardenedBSD July-August 2025 Progress
discoverbsd.com·12h
🐡OpenBSD
IdleRPG at a LAN party
octet-stream.net·10h
👑Isabelle
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·20h·
Discuss: Hacker News
🤖Grammar Induction
We need to seriously think about what to do with C++ modules
nibblestew.blogspot.com·1d·
Discuss: Lobsters, Hacker News, nibblestew.blogspot.com, r/cpp
🔗Static Linking
Why "caffè" may not be "caffè"
journal.bsd.cafe·8h·
Discuss: Lobsters, Hacker News
🔤Unicode Normalization
Inferno Part 2: Let's Make a Cluster
debu.gs·11h·
Discuss: Hacker News
🏠HomeLab
Benchmarking compression programs
maskray.me·1d·
Discuss: Hacker News
📦Deflate
Salesforce near membrane: Sandbox JavaScript object graphs
opensource.salesforce.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
🌊Stream Processing
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·1h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🌀Brotli Internals
MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
arxiv.org·17h
🧮Kolmogorov Complexity
Hacking in the Matrix
godaccess.substack.com·1d·
Discuss: Substack
🔓Hacking
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔩Systems Programming
The use of Claude Code in SciML repos
discourse.julialang.org·2d·
Discuss: Hacker News
📏Code Metrics
Show HN: Dialog – An Orchestration Layer for VoIP-Agent Applications
github.com·7h·
Discuss: Hacker News
🌐Protocol Synthesis
Bold Devlog - August Summary - Warnings, LSP & Test
bold-edit.com·2d·
Discuss: r/programming
✅Format Verification
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·56m·
Discuss: Lobsters
📦Code Density
Show HN: Core – open-source memory graph for AI agents (88.24% SOTA on LoCoMo)
blog.heysol.ai·6h·
Discuss: Hacker News
🧠Memory Forensics
Mojo Roadmap Document
docs.modular.com·3d·
Discuss: Hacker News
💻Programming languages
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
💻Programming languages