30 Years of Code, 25 Years of Tests
⚙️PL Implementation
Flag this post
Show HN: I built AI twins from LinkedIn and CRM data to simulate real B2B buyers
✓Automated Theorem Proving
Flag this post
mudler/edgevpn
github.com·18h
🌐NetworkProtocols
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·23h
λFunctional Programming
Flag this post
Introducing GoBetterAuth
🌐ActivityPub
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
🔄Reproducible Builds
Flag this post
I am torn about using Lo
🔤Language Design
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
Show HN: ReadMyMRI DICOM native preprocessor with multi model consensus/ML pipes
👁️Observability
Flag this post
Rouille – Rust Programming, in French
🔀OCaml Multicore
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·14h
📚Automata Learning
Flag this post
Loading...Loading more...