gf256's Top FindsLoading...
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·18h·
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
Understanding multi GPU Parallelism paradigms
datta0.github.io·19h·
Discuss: Hacker News
⚡CUDA
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·22h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·7h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Fil-C
graydon2.dreamwidth.org·14h·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
A Security Model for Systemd
lwn.net·4h·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·13h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Run LLMs Locally
ikangai.com·19h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Embedding TypeScript
andrews.substack.com·2h·
Discuss: Substack, r/programming
✅Formal Methods
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🐛Vulnerability Research
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·15h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·20h·
Discuss: Hacker News
✅Formal Methods
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·13h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·51m·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Quantum Computing: Hype or Hope?
physicsworld.com·12h·
Discuss: Hacker News
🔒Cryptography
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·8h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post