$40M 3D printing factory open for business on Guam, will produce parts for Navy
guampdn.com·21h·
Discuss: Hacker News
🔒Cryptography
Flag this post
Blade Lifter Technology
reneweconomy.com.au·1d·
Discuss: Hacker News
Formal Methods
Flag this post
Whole World Holonomy
galileo-unbound.blog·1d·
Discuss: Hacker News
🎨Rendering
Flag this post
Chinese team creates world’s first 2D industrial chip for military use
scmp.com·3d·
📡Side-Channel Attacks
Flag this post
The Privacy Manifesto
zac1258019.substack.com·2h·
Discuss: Substack
🔐Zero-Knowledge Proofs
Flag this post
Most Gen AI Players Remain 'Far Away' from Profiting: Interview with Andy Wu
library.hbs.edu·3d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·2d·
Discuss: Hacker News
Formal Methods
Flag this post
Show HN: I am building TypeScript ERP/CRM framework – MIT license
github.com·13h·
Discuss: Hacker News
🦀Rust
Flag this post
Craft Chrome Devtools Protocol (CDP) commands with the new command editor
developer.chrome.com·13h·
Discuss: Hacker News
Formal Methods
Flag this post
A File Format Uncracked for 20 Years
landaire.net·1d·
🐛Vulnerability Research
Flag this post
Show HN: Linguistic RL – A 7B model discovers Occam's Razor through reflection
github.com·8h·
Formal Methods
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
inkeep.com·3d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.com·1d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
IncusOS
discuss.linuxcontainers.org·14h·
📡Side-Channel Attacks
Flag this post
Petri Dish Neural Cellular Automata
pub.sakana.ai·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
itsnikhil.github.io·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·2d·
Discuss: Hacker News
Formal Methods
Flag this post