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

Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software

Updating dependencies
so.nwalsh.com·1d
🔗Dependency Resolution
Satellites, Drones, and AI: the New 'High-Tech Quest to Fight Wildfires'
news.slashdot.org·1d
📡RSS Syndication
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
The AI 'algorithmic audit' could be coming to hotel room checkout
cnbc.com·6h·
Discuss: Hacker News
🤖AI Curation
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·1d·
Discuss: Hacker News
🤝Paxos Consensus
Knowledge Graph achieves SOTA 94%+ accuracy on RobustQA
webai.com·2d·
Discuss: Hacker News
✅Archive Validation
My First Zig Day
tristanpemble.com·2h·
Discuss: Hacker News
🔗Concatenative Programming
CantorCipher: A Personal Encryption Project Inspired by Cantor’s Diagonal Argument
dev.to·1d·
Discuss: DEV
🔐Cryptographic Archaeology
Should You Validate Again? A Smarter Way to Handle Data Trust
hackernoon.com·4d
✅Format Verification
Building Composable AI Agents in Go + WebAssembly with Hayride
blog.hayride.dev·2d·
Discuss: r/golang
🔌Interface Evolution
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·3d
✨Effect Handlers
O3 vs Claude Opus 4 vs Gemini 2.5 Pro
dev.to·3h·
Discuss: DEV
🌀Brotli Internals
Three bad things: threads, garbage collection, and nondeterministic destructors
apenwarr.ca·11h·
Discuss: Hacker News
🧠Separation Logic
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Encrypted Client Hello Approved for Publication
feistyduck.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Machine Learning Fundamentals: loss function example
dev.to·1d·
Discuss: DEV
📏Code Metrics
Show HN: Open-source Voice Cloning at 16x real-time: Porting Chatterbox to vLLM
github.com·3h·
Discuss: Hacker News, r/LocalLLaMA
🎮Gameboy Emulation
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to·10h·
Discuss: DEV
📱QR Archaeology
Task-based returns to generative AI: Evidence from a central bank
cepr.org·5h·
Discuss: Hacker News
✨Effect Handlers
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
Loading...Loading more...
AboutBlogChangelogRoadmap