🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Assembly Verification

Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly

V&A East Storehouse and Operation Mincemeat in London
simonwillison.net·9h
📼Cassette Culture
SwiNOG 40: Application-Based Source Routing with SRv6
blog.ipspace.net·21h
📡BGP Archaeology
AI saves elephants – 6,592 safe elephant crossings on Tamil Nadu railway tracks
timesofindia.indiatimes.com·15h·
Discuss: Hacker News
🌍Cultural Algorithms
Podcast: The Underground Trade of Car Hacking Tech
404media.co·15h
📼Cassette Hacking
Front End Development Trends in 2025 – My Overview
dropinks.com·9h·
Discuss: Hacker News
🌐Web Standards
DocumentDB Joins the Linux Foundation
opensource.microsoft.com·2d·
Discuss: Hacker News
🏛️Byzantine Archival
CDC dramatically scales back program that tracks food poisoning infections
the-independent.com·7h
📡Feed Security
Emacs Treesitter in Depth
archive.casouri.cc·3d·
Discuss: Hacker News
🌳Incremental Parsing
Two Months with an E90 (2007)
taoofmac.com·19h·
Discuss: Hacker News
🔌Operating system internals
The Baby Paradox in Haskell
blog.jle.im·6d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Karl Voit: Why Markdown Is A Disaster
irreal.org·2d
📝Concrete Syntax
Google Messages Is Testing a New Way to Verify Who You’re Chatting With
lifehacker.com·2d
📜Proof Carrying Code
Quiz Maker AI - Document to Quiz Converter
dev.to·9h·
Discuss: DEV
📄Document AI
How can AI improve ERP reporting (280+ SQL reports, PostgreSQL, 10+ years growing data, multi-client security)?
dev.to·2d·
Discuss: DEV
🗄️Database Internals
Smart Voice AI Integration: Building Intelligent Conversational Interfaces
dev.to·13h·
Discuss: DEV
🎙️Whisper
TaDiCodec: Text-aware Diffusion Speech Tokenizer for Speech Language Modeling
arxiv.org·2d
🎙️Whisper
Supervised Learning: A Focus on Classification
dev.to·2d·
Discuss: DEV
🧠Machine Learning
From Idea to MVP: Building Our Own Platform for Old Game Mods
dev.to·2d·
Discuss: DEV
🎮Game Decompilation
Character creator ai generator
dev.to·2d·
Discuss: DEV
🤖Paleographic AI
Safeguarding VS Code against prompt injections
github.blog·2d·
Discuss: Hacker News
🌐WASI
Loading...Loading more...
AboutBlogChangelogRoadmap