Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
⚡Process Calculi
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·1d·
Discuss: Hacker News
❄️NixOS
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·23h·
Discuss: r/golang
🎯GADT
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·7h·
Discuss: DEV
🔍CBMC
Flag this post
Bold Devlog - October Summary
bold-edit.com·9h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·8h
🔬Static Analysis
Flag this post
Linux/WASM
joelseverin.github.io·1h·
Discuss: Hacker News
🐳Containerization
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·4h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·5h·
Discuss: DEV
📊Runtime Verification
Flag this post
How to design effective agent workflows?
boliv.substack.com·1d·
Discuss: Substack
💎Refinement Types
Flag this post
[D] Best (free) courses on neural networks
reddit.com·6h·
Discuss: r/MachineLearning
🎯Complexity Classes
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post