🐿️ 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

Discoggin: an IF bot for Discord
blog.zarfhome.com·2d
🔲Cellular Automata
Double Maths First Thing: Issue 2B
aperiodical.com·5d
👑Isabelle
WinUAE 6.0.0 Amiga Emulator
winuae.net·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Death toll rises to 27 in Pakistan building collapse as rescue ends
the-independent.com·18h
🔱plan 9
The AI Assistant That Turns Thoughts into Actions
manusai.io·1d·
Discuss: Hacker News
🎙️Whisper
Open Source AI Finder & Newsletter
coding-dude.com·1d·
Discuss: Hacker News, r/LocalLLaMA, r/opensource
🗜️LZW Variants
I spoke for my brother when he was too afraid to answer — now, he speaks in melodies, and I have learned to listen
theguardian.com·7h
📼Tape Linguistics
Recursive factorial in 14 characters (2023)
mvanier.github.io·5d·
Discuss: Hacker News
🔗Concatenative Programming
VMware’s rivals ramp up their efforts to create alternative stacks
theregister.com·3h
🖥️Self-hosted Infrastructure
Designing a Life Management System That Doesn't Fight Back
medium.com·2d·
Discuss: Hacker News
💾Persistence Strategies
# Introducing PrettyParser: Your Go-To Tool for Code Beautification and Minifica
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Thinking Beyond Tokens: From Brain-Inspired Intelligence to Cognitive Foundations for Artificial General Intelligence and its Societal Impact
arxiv.org·5d
🔲Cellular Automata
On Recipe Memorization and Creativity in Large Language Models: Is Your Model a Creative Cook, a Bad Cook, or Merely a Plagiator?
arxiv.org·6d
💻Local LLMs
In-Training Multicalibrated Survival Analysis for Healthcare via Constrained Optimization
arxiv.org·3d
🧠Machine Learning
A Log of Claude and Gemini Collaborating via CLI
dev.to·4d·
Discuss: DEV
✨Effect Handlers
DebtDestroyer Pro: The AI Agent That Pays Off Your Debt While You Sleep
dev.to·22h·
Discuss: DEV
⚡Proof Automation
RunnerH Helped Me Save $$$💸💸💸 on My Round-Trip to Toronto in 2025 [✈️Flight Search Demo Included 🎥]
dev.to·18h·
Discuss: DEV
🔍BitFunnel
J. C. R. Licklider & M. Mitchell Waldrop
deprogrammaticaipsum.com·6h
🍎Apple Computing
Show HN: Build your own AI code editor
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Show HN: I created AI Maturity Model for Software Engineering Teams
github.com·4d·
Discuss: Hacker News, r/SoftwareEngineering
🔄Archival Workflows
Loading...Loading more...
AboutBlogChangelogRoadmap