Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Flag this post
Marden's Theorem
en.wikipedia.org·14h·
Discuss: Hacker News
✅formal methods
Flag this post
TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg
github.blog·11h·
Discuss: Hacker News
🔄compilers
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·6h·
Discuss: Hacker News
🔄compilers
Flag this post
Benchmarking the Most Reliable Document Parsing API
tensorlake.ai·10h·
Discuss: Hacker News
⚡query optimization
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Man Pages (Part 1)
abochannek.github.io·9h·
Discuss: Lobsters, Hacker News
⚙️systems programming
Flag this post
A new paradigm for programming: graph oriented programming
kmx.io·4h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Reviving a MacBook Air with Fedora Silverblue
taoofmac.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·1d·
Discuss: Hacker News, r/programming
🔄compilers
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
✅formal methods
Flag this post
The Riemann zeta function and tuning
en.xen.wiki·8h·
Discuss: Hacker News
✅formal methods
Flag this post
Announcing Support for Complex Attribute Types in OTel
opentelemetry.io·1d·
Discuss: Hacker News
✅formal methods
Flag this post
Where You See a Fancy Fish, Engineers See Alan Turing’s Math
nytimes.com·18h·
Discuss: Hacker News
✅formal methods
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·23h·
Discuss: Hacker News
✅formal methods
Flag this post
Inception releases upgraded Mercury dLLM with improved coding and reasoning
inceptionlabs.ai·10h·
Discuss: Hacker News
⚙️systems programming
Flag this post
Stainless Docs Platform — Early Access
stainless.com·9h·
Discuss: Hacker News
🔄compilers
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·1d·
Discuss: Hacker News
🔄compilers
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1d·
Discuss: Hacker News
🔄compilers
Flag this post