Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·18h·
Discuss: Lobsters, Hacker News, r/rust
📡Side-Channel Attacks
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Rust Foundation tries to stop maintainers corroding
theregister.com·19h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Pain Points of OCaml
quamserena.com·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
OpenAI RAG Starter Kit with File Search and Chat UI
github.com·40m·
Discuss: Hacker News
✅Formal Methods
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·16h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·10h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·13h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
The Algebraic CheapLunch: Extending FreeLunch Attacks on Arithmetization-Oriented Primitives Beyond CICO-1
eprint.iacr.org·2d
🔐Zero-Knowledge Proofs
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·2h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·21h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
build system tradeoffs
jyn.dev·4d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·18h·
Discuss: Lobsters, Hacker News, Hacker News
🐛Vulnerability Research
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·8h·
Discuss: Hacker News
✅Formal Methods
Flag this post