A Shadow of Triality?
golem.ph.utexas.eduยท1d
๐Ÿ”Zero-Knowledge Proofs
PythonBPF โ€“ Writing eBPF Programs in Pure Python
xeon.meยท2dยท
Discuss: Hacker News
๐ŸงฎHomomorphic Encryption
Introduction to Nyquist and Lisp Programming
manual.audacityteam.orgยท5dยท
Discuss: Hacker News
โœ…Formal Verification
๐ŸŽฒ Container Escapes 101 - In the wild
some-natalie.devยท1d
๐Ÿ”—Crypto
Everything crashes randomly when using the OS
paste.cachyos.orgยท1dยท
Discuss: r/cachyos
๐Ÿ”’Hardware Security
Homelab Update!
i.redd.itยท1dยท
Discuss: r/homelab
๐Ÿ”—Crypto
How I handle Rust Errors in Big Workspaces
medium.comยท5dยท
Discuss: r/rust
โœ…Formal Verification
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.toยท3hยท
Discuss: DEV
๐Ÿ”Zero-Knowledge Proofs
Server Upgrade Suggesions
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ”’Hardware Security
I wish my web server were in the corner of my room
interconnected.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Crypto
How Quantized Models Are Making AI Faster on Mobile
lktechacademy.comยท1hยท
Discuss: r/LocalLLaMA
๐Ÿค–AI
vLLM on consumer grade Blackwell with NVFP4 models - anyone actually managed to run these?
reddit.comยท1hยท
Discuss: r/LocalLLaMA
๐Ÿ”งMLIR
Generalists Can Also Dig Deep
towardsdatascience.comยท2d
๐Ÿค–AI
Timing Attacks and Their Remedies โ€” an in-depth guide
dev.toยท1dยท
Discuss: DEV
๐Ÿ”’Hardware Security
Refactored my spare time C++-project into Rust as my first ever Rust-project
github.comยท3dยท
Discuss: r/rust
๐Ÿ”งMLIR
Mastering Python: Beyond Syntax into Strategy
dev.toยท2dยท
Discuss: DEV
๐Ÿ”งMLIR
MeridianDB Architecting for Scale and Developer Experience
dev.toยท5hยท
Discuss: DEV
๐ŸŒDecentralized AI
๐Ÿš€ My 3-Day Hackathon Journey: Building a CI/CD Pipeline from Scratch
dev.toยท10hยท
Discuss: DEV
๐ŸŒDecentralized AI