The Case for Boring APIs
metorial.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Bootc for Workstation Use
lwn.net·2d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Flag this post
ASD – Barriers and Pathways in Formal and Self-Diagnosis
codeberg.org·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Think Hard, Work Smart – reflection on how deliberate thinking amplifies results
thinkering.blog·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Shell Grotto, Margate
en.wikipedia.org·5d·
Discuss: Hacker News, Hacker News
📡Side-Channel Attacks
Flag this post
Alchemy
joshcollinsworth.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Who’s your agent?
doc.searls.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
React for Datasets
usetorque.dev·3d·
Discuss: Hacker News
🦀Rust
Flag this post
Best Chrome Extensions for Saving Money in 2025
medium.com·3h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
A Reading Hack: Study Non-Physics Books by Physicists (50-Book List)
learningloom.substack.com·3d·
Discuss: Substack
🔒Cryptography
Flag this post
When a "C" in math mean the same as "A"
izard.dreamwidth.org·2d·
Discuss: Hacker News
🦀Rust
Flag this post
LangChain Open Deep Research Internals: A step-by-step guide
bolshchikov.com·1d·
Discuss: Hacker News
✅Formal Methods
Flag this post
Love thy robot – Reflections on morals and modern AI companions
learningfromexamples.com·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·3d·
Discuss: Hacker News
🦀Rust
Flag this post
How we built the demo for the Current NOLA Day 2 keynote using Flink and AI
rmoff.net·2d·
Discuss: Hacker News
✅Formal Methods
Flag this post
'This is easily the most powerful quantum computer on Earth': Scientists unveil Helios, a record-breaking quantum system
livescience.com·3d·
Discuss: Hacker News
🔒Cryptography
Flag this post
AI Energy Score
huggingface.github.io·4d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
How Nuclear Reactors Work
asbuilt.pub·15h·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Interesting SPI Routing with iCE40 FPGAs
danielmangum.com·3d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Valori – A Python-native Vector Database I built from scratch
news.ycombinator.com·22h·
Discuss: Hacker News
🦀Rust
Flag this post