30 Years of Code, 25 Years of Tests
⚙️PL Implementation
Flag this post
Sun 386i
🔧Unikernel Development
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🤖Program Synthesis
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·1d
λFunctional Programming
Flag this post
Uqda Network: Building a Decentralized, Encrypted IPv6 Mesh for the Future Internet
🖥️Self-hosted Infrastructure
Flag this post
Breaking Books: A tool to bring books to the social sphere
lesswrong.com·16m
📵Digital Minimalism
Flag this post
I am torn about using Lo
🔤Language Design
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
🔄Reproducible Builds
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·1d
⚙️Compiler Design
Flag this post
Loading...Loading more...