🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Help Shape the Theme for International Archives Week 2026!
ica.org·1d
⚖️Archive Ethics
Critical correctness bug in Lix
lix.systems·1d·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
google/codeworld
github.com·2d
🔓Open Source Software
How JSDoc Saved My Dev Workflow
spin.atomicobject.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The V Programming Language
vlang.io·3d·
Discuss: Hacker News
🦀Rust Macros
Google issues official internal guidance on using AI for coding - and its devs might not be best pleased
techradar.com·16h
🔄Language Evolution
Cursor for the first time today. It was perfect until
medium.com·4h·
Discuss: Hacker News
👁️System Observability
Show HN: DotnetEbpf - Write Linux eBPF kernel applications in C#
github.com·1d·
Discuss: Hacker News
🛡️eBPF Security
Can humans speak the language of machines?
medium.com·1d·
Discuss: Hacker News
🚀SIMD Text Processing
Heartbeat of Modern Web Real Time Patterns User Design(1751284881153000)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Interpretable Time Series Autoregression for Periodicity Quantification
arxiv.org·1d
📈Time Series
HarmonyOS PDF Kit: Dev Survival Guide & Gotchas
dev.to·1d·
Discuss: DEV
📄PDF Internals
Show HN: "Computer use" mcp for webapps and Electron apps
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Exploring Artificial Intelligence Tutor Teammate Adaptability to Harness Discovery Curiosity and Promote Learning in the Context of Interactive Molecular Dynami...
arxiv.org·1d
🔲Cellular Automata
Vibe Coding vs. AI Slop: Building Trust into AI Assisted Development
dev.to·1d·
Discuss: DEV
📏Code Metrics
Reflect and Share Your World's Largest Hackathon Journey: Writing Challenge Now Open 🌟
dev.to·12h·
Discuss: DEV
🚀Indie Hacking
A Developer’s Guide to Building Scalable AI: Workflows vs Agents
towardsdatascience.com·4d
⚡Proof Automation
RTK – query your Rust codebase and make bindings anywhere
github.com·4d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
When Additive Noise Meets Unobserved Mediators: Bivariate Denoising Diffusion for Causal Discovery
arxiv.org·1d
📐Linear Algebra
a loop is all you need: building conversation ai agents
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap