Marden's Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Inline vs. Pipeline Ray Tracing
evolvebenchmark.com·3d·
Discuss: Hacker News
🎨Rendering
Flag this post
Embedding TypeScript
andrews.substack.com·1d·
Discuss: Substack, r/programming
✅Formal Methods
Flag this post
Ask HN: Help me pass Cloudflare Turnstile on my phone?
news.ycombinator.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Switching from GPG to Age
luke.hsiao.dev·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
What does OSWorld tell us about AI's ability to use computers?
epoch.ai·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
AI's capabilities may be exaggerated by flawed tests, according to new study
nbcnews.com·23h·
Discuss: Hacker News
✅Formal Methods
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·4d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
fiveonefour.com·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Developing desktop apps from scratch: A feature checklist
alek-tron.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Russian spies pack custom malware into hidden VMs on Windows machines
theregister.com·2d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4d·
Discuss: Hacker News
🦀Rust
Flag this post
Why Can't It Be Done Today?
quietmoats.substack.com·1h·
Discuss: Substack
🦀Rust
Flag this post
Catalog of reliability properties for blockchains (Antithesis)
antithesis.com·3d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Voxel Grid Visibility
cod.ifies.com·2d·
Discuss: Hacker News, r/programming
⚡CUDA
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
The Raspberry Pi gitops cluster (PXE booting and auto-expanding Docker Swarm)
blog.haschek.at·3h·
Discuss: Hacker News
🔒Cryptography
Flag this post
ClusterMAX™ 2.0: The Industry Standard GPU Cloud Rating System
newsletter.semianalysis.com·21h·
Discuss: Hacker News
⚡CUDA
Flag this post
Magika 1.0: now faster, smarter, and rebuilt in Rust
opensource.googleblog.com·17h·
Discuss: Hacker News
🦀Rust
Flag this post