Building a C compiler with a team of parallel Claudes (via mitsuhiko) — discussion

#vibecoding

Agentic Proof-Oriented Programming (via larrytheliquid) — discussion

#ai #formalmethods

The Search for Meaning Through Collaboration and Code (via veqq) — discussion

#philosophy #practices

On the Promises of 'High-Assurance' Cryptography (by nadim) — discussion

#cryptography #formalmethods

Build Systems and Build Philosophy (via kaycebasques) — discussion

#programming

jujutsu v0.38.0 released (via mediremi) — discussion

#release #vcs

(Un)portable defer in C (via janerik) — discussion

#c

Company as Code (via kaycebasques) — discussion

#practices

GitHub Actions Is Slowly Killing Your Engineering Team (by iand675) — discussion

#practices #vcs

CSRF protection in Phoenix with Sec-Fetch-Site (by mediremi) — discussion

#elixir #security #web

Owning a $5M data center (via hoistbypetard) — discussion

#hardware #practices

Trust signals are broken (by ordepdev) — discussion

#debugging #testing #vibecoding

The Future Was Federated (via fiatjaf) — discussion

#distributed #web

FOSDEM 26 - My Hallway Track Takeaways (by sluongng) — discussion

#event

We are QA Engineers now (by serce) — discussion

#vibecoding

Getting the main thing right (via lalitm) — discussion

#practices

So yeah, I vibe-coded a log colorizer—and I feel good about it (via abareplace) — discussion

#vibecoding

On craft and AI (by slightknack) — discussion

#ai #philosophy

Rewriting pycparser with the help of an LLM (via sanxiyn) — discussion

#vibecoding

Someone made a real life versoin of BMO with Ollama, a raspberry PI, and a 3d printer (via monksy) — discussion

#art #programming #video