My First Week of Vibecoding
underreacted.leaflet.pub·5h·
Discuss: Hacker News
🎯Gradual Typing
Building A Real-Time Communication System Using Go and WebSocket
dev.to·12h·
Discuss: DEV
🌐WebSocket Framing
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·17h·
Discuss: Hacker News
🤖Network Automation
Three ways formally verified code can go wrong in practice
buttondown.com·14h
📜Proof Carrying Code
The Alignment Waltz: Jointly Training Agents to Collaborate for Safety
arxiv.org·1d
🔲Cellular Automata
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·18h·
Discuss: r/programming
🧠Lisp Dialects
A Manifesto for the Programming Desperado
github.com·16h·
Discuss: Hacker News
💻Programming languages
QUIC! Jump to User Space!
hackaday.com·16h
🌐Network Protocols
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
⬌Bidirectional Typing
SymmACP: extending Zed's ACP to support Composable Agents
smallcultfollowing.com·2d
🔌Interface Evolution
Show HN: Velocity is a post-quantum transport protocol
projectvelocity.org·8h·
Discuss: Hacker News
🌐DNS over QUIC
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·1d·
Discuss: r/golang
⚡gRPC
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·11h·
Discuss: Hacker News
🛡️Error Boundaries
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Codeminer42 Dev Weekly #82
blog.codeminer42.com·14h
🎯Gradual Typing
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
🔗Lisp
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·48m·
Discuss: Hacker News
🔗Functional Compilers
Experimenting with ACL2 and Claude Code
mikedodds.org·19h·
Discuss: Hacker News
👑Isabelle
LLMs and reinforcement learning
sicpers.info·22h
⚔️Lean Tactics