The Apache Software Foundation's New Logo
news.apache.org·1d·
Discuss: Hacker News
✅Formal Methods
Scottish villagers stun developers by demanding extra turbine (2009)
theguardian.com·10h·
Discuss: Hacker News
🦀Rust
What's Got into Stephen King?
notoneoffbritishisms.com·2d·
Discuss: Hacker News
✅Formal Methods
Against DNSSEC (2015)
sockpuppet.org·6d·
Discuss: Hacker News
🔒Cryptography
Strong Eventual Consistency - The Big Idea behind CRDTs
lewiscampbell.tech·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
SpaceX Starlink satellite photobombs orbital view of secret Chinese air base (photo)
space.com·2d·
Discuss: Hacker News, r/Starlink
🔒Cryptography
On LLMs and Quicksort
criptae.substack.com·6d·
Discuss: Substack
✅Formal Methods
Coffee naps might be the weirdest–and smartest–way to recharge
nationalgeographic.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
At $183B San Francisco tech company, man's hunger strike enters second week
sfgate.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Ubuntu Switches to Dracut With 25.10: What Does It Mean for You?
news.itsfoss.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Git-on-Cloudflare
git-on-cloudflare.com·5d·
Discuss: Hacker News
🦀Rust
Codebuff: Generate Code from the Terminal
github.com·3d·
Discuss: Hacker News
🦀Rust
OpenAI Lays Out The Principles Of Global-Scale Computing
nextplatform.com·2d·
Discuss: Hacker News
🔒Cryptography
NASA bars Chinese citizens from its facilities, networks, even Zoom calls
theregister.com·2d·
Discuss: Hacker News, r/bag_o_news
🔒Cryptography
Ask HN: Is the Rust community the vegans of programming?
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust
Burger King hacked, systems described as 'solid as a paper Whopper wrapper in the rain’ – hackers 'impressed by the commitment to terrible security practices,' ...
tomshardware.com·6d·
Discuss: Hacker News, r/technews
🔐Zero-Knowledge Proofs
The short case for Oracle (via ChatGPT)
news.ycombinator.com·2d·
Discuss: Hacker News
⚡CUDA
Enhance your CLI testing workflow with the new dotnet test
devblogs.microsoft.com·3d·
Discuss: Hacker News
✅Formal Methods
Tested on real silicon: Automating RISC-V Hardware-in-the-Loop
collabora.com·5d·
Discuss: Hacker News
⚡CUDA
Center for the Alignment of AI Alignment Centers
alignmentalignment.ai·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods