Langβs theorem β Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·10h
Ξ»Lambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·6h
πBrotli Internals
Flag this post
The Limits of Formal Security Models β Dorothy E. Denning (1999)
πWASM Capabilities
Flag this post
Fixing Hallucinations in Gemini 3 Pro by Overriding RLHF Instincts
π§ͺHardware Fuzzing
Flag this post
SoX_ng
πOpen Source Software
Flag this post
RuBee
computer.ripΒ·8h
π»Homebrew Protocols
Flag this post
Fixing the RP2350-USB-A not working as USB host
qsantos.frΒ·2d
πSingle Board PC
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.orgΒ·2d
π§Hardware Verification
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
π¦Rust Macros
Flag this post
Modern X86 Assembly Language Programming β’ Daniel Kusswurm & Matt Godbolt β’ GOTO 2025
youtube.comΒ·2d
βοΈModern Assembly
Flag this post
eBPF Rootkit
π‘οΈeBPF Security
Flag this post
Microsoft is hoping to kill off its most embarrassing BSOD errors for good - farewell to big-screen outages in the wild
techradar.comΒ·9h
πOperating system internals
Flag this post
Hacker Review of Ghost in the Shell (1995)
πHacking
Flag this post
Building a Process Injection Detector in Rust
πeBPF
Flag this post
Pitch Multiplication (2017)
πΌAudio Lambda Calculus
Flag this post
U.S. CISA adds an Oracle Fusion Middleware flaw to its Known Exploited Vulnerabilities catalog
securityaffairs.comΒ·20h
πHacking
Flag this post
Note
hsu.cyΒ·2d
πOperating system internals
Flag this post
When AI Goes Wrong
πIndie Hacking
Flag this post
Trying Out C++26 Executors
π¦Rust Macros
Flag this post
Loading...Loading more...