DeepQuali: Determining Software Quality with AI
blog.qaware.de·22h·
Discuss: Hacker News
🔄Reproducible Builds
Ask HN: Polyglot Mirroring
news.ycombinator.com·17h·
Discuss: Hacker News
🐫OCaml
Inferno Part 2: Let's Make a Cluster
debu.gs·19h·
Discuss: Hacker News
🏠HomeLab
Benchmarking compression programs
maskray.me·1d·
Discuss: Hacker News
🔄Reproducible Builds
Implementing a Foil Sticker Effect
4rknova.com·10h·
Discuss: Hacker News
📦Unikernel Systems
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Lisp Still Matters
funcall.blogspot.com·14h·
Discuss: Hacker News
⚙️PL Implementation
Liquidsoap Release 2.4.0
liquidsoap.info·9h·
Discuss: Hacker News
🐳Containerization
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
📚Automata Learning
A look at SGD from a physicist's perspective – Part 1 (2018)
henripal.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Achieving Hilbert-Schmidt Independence Under R\'enyi Differential Privacy for Fair and Private Data Generation
arxiv.org·1d
🔠Type-Level Programming
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Guys I am leaving python to learn i will say i am decently good at it but my bigger goals are to learn c++ for game dev is ita nice decision
w3schools.com·23h·
Discuss: r/programming
🎮Verification Games
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
The KK computer: a 6502 + coprocessor system
laughtonelectronics.com·8h·
Discuss: Lobsters
🔧Unikernel Development
Let's write a search engine, part 1 of 2
redblobgames.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Answering some questions about Baba Yaga
eli.li·2d·
Discuss: Hacker News
💎Refinement Types
Combining struct literal syntax with read-only field access
kobzol.github.io·17h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games