Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Just Write Tests
theblackarrovv.github.io·1h·
Discuss: Hacker News
🚢DevOps
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·18h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5h·
Discuss: Hacker News
🔌Network Programming
Flag this post
From Signals to Reliability: SLOs, Runbooks and Post-Mortems
fatihkoc.net·4h·
Discuss: Hacker News
👁️Observability
Flag this post
Principles of Epistemology (2025, essay)
alexpeek.org·1d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·18h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·3d
🔍eBPF
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·18h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🦀Rust
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·1d·
Discuss: Hacker News
🚢DevOps
Flag this post
13 Principles of Writing Great Software
frontbackgeek.com·18h·
Discuss: r/programming
🔄Compiler Design
Flag this post
AWK technical notes (2023)
maximullaris.com·15h·
Discuss: Lobsters
🔄Compiler Design
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·21h·
Discuss: Hacker News
🚢DevOps
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·4h·
Discuss: Hacker News
🔐Cryptography
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·3h·
Discuss: Hacker News
👁️Observability
Flag this post