The R47: A new physical RPN calculator released today in 2025
swissmicros.com·2h·
Discuss: Hacker News
🔒Cryptography
Flag this post
NetHack4 Philosophy
nethack4.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Show HN: Turn docs into tailored self-serve playgrounds to create aha-moments
visr.dev·13h·
Discuss: Hacker News
✅Formal Methods
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·17h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Can LLMs subtract numbers?
arxiv.org·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
CyberSlop — meet the new threat actor, MIT and Safe Security
doublepulsar.com·3d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Russian spies pack custom malware into hidden VMs on Windows machines
theregister.com·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Please Implement This Simple SLO
eavan.blog·1d·
Discuss: Hacker News, r/programming
📡Side-Channel Attacks
Flag this post
Benchmarking the Most Reliable Document Parsing API
tensorlake.ai·16h·
Discuss: Hacker News
✅Formal Methods
Flag this post
OpenAI Model Spec
model-spec.openai.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
[Deep Dive] How We Solved Poker: From Academic Bots to Superhuman AI (1998-2025)
gist.github.com·1d·
Discuss: Hacker News, r/programming
📡Side-Channel Attacks
Flag this post
How to get a character from a codepoint in Spark SQL
prequel.co·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Meta's Broken API: How Facebook Is Killing Small Developer Innovation
news.ycombinator.com·6h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Show HN: Lakekeeper – a fast, lightweight Iceberg REST catalog in Rust
github.com·5h·
Discuss: Hacker News
🦀Rust
Flag this post
We Fail to Change (2015)
brodzinski.com·2d·
Discuss: Hacker News
🔒Cryptography
Flag this post
My Experience as a SDE Intern at AWS
simho.xyz·3d·
Discuss: Hacker News
✅Formal Methods
Flag this post
1,500+ PRs Later: Spotify’s Journey with Our Background Coding Agent (Part 1)
engineering.atspotify.com·15h·
Discuss: Hacker News
🦀Rust
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·1d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Improving agent with semantic search Semantic search significantly improves coding agent performance with 12.5% higher accuracy, improves code retention and dec...
cursor.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post