Real-Time Solutions at the "Cosmic Edge"
windriver.com·1d·
Discuss: Hacker News, r/space
🔧Unikernel Development
Evolution of GPU Programming: From Smart Pixels to the Backbone of an AI-driven World
medium.com·2d·
Discuss: r/programming
💾Retro Computing
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🐫OCaml
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·1d·
Discuss: Hacker News
📚Automata Learning
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·13h·
Discuss: Hacker News
🔬Static Analysis
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·2d·
Discuss: Hacker News
⚡Process Calculi
Beyond OOP and the future of development experience
bennett.ink·3d·
Discuss: r/programming
📊Runtime Verification
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·2d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📊Runtime Verification
TopoMap: A Feature-based Semantic Discriminator of the Topographical Regions in the Test Input Space
arxiv.org·2d
📐Denotational Semantics
Show HN: PlugBrain block distracting apps with math challenges
github.com·9h·
Discuss: Hacker News
🔧Unikernel Development
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·3h·
Discuss: Hacker News
🐫OCaml
Optimizing Geometry Problem Sets for Skill Development
arxiv.org·2d
🧠Automated Reasoning
AI and the Fight Between Democracy and Autocracy
theatlantic.com·18h·
Discuss: Hacker News
📚Automata Learning
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·1h·
Discuss: Hacker News
🛡️seL4
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·2d
🧠Automated Reasoning
Interrupts – The Heartbeat of a Unix Kernel
leftasexercise.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
arxiv.org·2d
📊Runtime Verification
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Information transmission: Inferring change area from change moment in time series remote sensing images
arxiv.org·2d
📚Automata Learning
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·3d
🧩Parser Combinators