Parsing: How Ruby Understands Your Code
patshaughnessy.net·2d
📝Concrete Syntax
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·14h·
Discuss: Lobsters, Hacker News
🧠Separation Logic
Flag this post
Fixing Type Hints for Callable Objects with Custom Signatures in Dagster
dev.to·11h·
Discuss: DEV
🦀Rust Verification
Flag this post
LEGOs, Play-Doh, and Programming
weblog.jamisbuck.org·16h·
Discuss: Hacker News
💎Information Crystallography
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·15h·
Discuss: Hacker News
🧠Separation Logic
Flag this post
The Vindication of Bubble Sort
entropicthoughts.com·1h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Flag this post
Sometimes Assertions
antithesis.com·13h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·2d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Flag this post
Automated Assessment of Feedback Loops in Multi-agent Reinforcement Learning Systems
dev.to·2h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Monolith OS Devblog for October 2025
monolith-project.org·17h·
Discuss: Hacker News
🔌Operating system internals
Flag this post
Bridging Perception and Reasoning: Dual-Pipeline Neuro-Symbolic Landing for UAVs in Cluttered Environments
arxiv.org·1d
🔲Cellular Automata
Flag this post
Multi-Agent Orchestration with the Microsoft Agent Framework
devblogs.microsoft.com·1d·
Discuss: Hacker News
🌊Stream Processing
Flag this post
Show HN: TinyBoards – Self-Hosted FOSS Social Platform (Rust and GraphQL API)
github.com·13h·
Discuss: Hacker News
🔄Sync Engine
Flag this post
Experiences Working with Claude Code
realfiction.net·13h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
A Vision for Future Low-Level Languages
antelang.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
Flag this post
Speedrunning an RL Environment
sidb.in·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Weekly Challenge: The one about arrays
dev.to·2d·
Discuss: DEV
📊APL Heritage
Flag this post
Grounding LLMs with Symbolic Planning
theelderscripts.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.com·1d·
Discuss: Substack
🦀Rust Borrowing
Flag this post
Thinking Clearly
lemire.me·2d·
Discuss: Hacker News
🔬Lean
Flag this post