gf256's Top FindsLoading...
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
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·14h·
Discuss: Hacker News
⚡CUDA
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·18h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·3h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
A Security Model for Systemd
lwn.net·33m·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
Build123d (A Python CAD programming library) Roadmap
github.com·9h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Run LLMs Locally
ikangai.com·15h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·23h·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🐛Vulnerability Research
Flag this post
Stop vibe coding your unit tests
andy-gallagher.com·16h·
Discuss: Hacker News
✅Formal Methods
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·10h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
🦀Rust
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·9h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·22h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Quantum Computing: Hype or Hope?
physicsworld.com·8h·
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·4h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
A PoC to make a backdoored PyTorch neural network
hacktelligence.org·10h·
Discuss: Hacker News
🦀Rust
Flag this post
Low-Level Hacks
blog.raycursive.com·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post