Three ways formally verified code can go wrong in practice
buttondown.com·21h
💻Programming languages
When Will Quantum Computing Work?
tommccarthy.net·23h·
Discuss: Hacker News
🏗️LLM Infrastructure
Gleam Programming Language Tour
tour.gleam.run·6h·
Discuss: Hacker News
🎭Rust Macros
Tokenization Firm Securitize Said to Be in Talks With Cantor SPAC
bloomberg.com·23h
🔤Tokenization
The Future of AI is Verifiable Thought
pub.towardsai.net·21h
🎭Claude
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·22h
✨Code Aesthetics
Simple HexArch + crate for ledger system (advice pls)
crustyengineer.com·2h·
Discuss: r/rust
🌳Data Structures
From artificial atoms to quantum information machines: Inside the 2025 Nobel Prize in physics
theconversation.com·20h
⚛️Physics
On Frame Messages
furretnz.bearblog.dev·14h
ℹ️Information Theory
Designing A Digital Restaurant
alperenkeles.com·14h·
Discuss: r/programming
🌐Distributed systems
In this small thread, I'll break down how you can create full-length movies or anime with Grok 4 Imagine.
threadreaderapp.com·2h
🏗️LLM Infrastructure
Maybe Use BioLMs To Mitigate Pre-ASI Biorisk?
lesswrong.com·22h
🏗️LLM Infrastructure
How the Math That Powers Google Foresaw the New Pope
scientificamerican.com·3h
🏆Ranking
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·5h·
Discuss: Lobsters, Hacker News
🌐Distributed systems
Prosecutors seek 7-year prison term for ‘sophisticated’ PowerSchool hacker
therecord.media·15h
🔓Hacking
Mandiant Academy: Basic Static and Dynamic Analysis course now available
cloud.google.com·23h
🔍Binary Analysis
Why I Built a Homelab (and Why You Might Want To
wiobyrne.com·13h
🏠Self-hosting
The spy who came in from the Wi-Fi: Beware of radio network surveillance
techxplore.com·23h
🔓Hacking
Weaponizing Discord for Command and Control Across npm, PyPI, and RubyGems.org
socket.dev·12h
🌐Network Protocols
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·16h·
Discuss: Hacker News
💻Programming languages