🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

ChatGPT can be a disaster for lawyers — Robin AI says it can fix that
theverge.com·1d
⚡Proof Automation
Planning an Effective Lesson Plan for Elementary School – A Practical Guide
schezy.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
Show HN: Verinex – A European open-source social network
verinex.eu·58m·
Discuss: Hacker News
📇Dublin Core
Grafana 12.1 Release
grafana.com·39m·
Discuss: Hacker News
🚚Data Migration
MetaCPAN's Traffic Crisis: An Eventual Success Story
perl.com·21h·
Discuss: Hacker News
🌐IPFS
QTractor GPL audio/MIDI sequencer
qtractor.org·2d·
Discuss: Hacker News
🎹MIDI Archaeology
This AI Learns Faster Than Anything We’ve Seen!
youtube.com·3d
🔲Cellular Automata
I Lived With Alexa+ for a Week. Here’s How It Went (2025)
wired.com·8h
🎙️Whisper
Ads are inevitable in AI, and that's okay
strangeloopcanon.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Claude Code x multithreading
reddit.com·1d·
Discuss: r/artificial
🦀Rust Macros
AI Coding Assistants Are the New Compilers
marmelab.com·4h·
Discuss: Hacker News
🦀Rust Macros
AI Hallucinations Are Costing Businesses Millions: What BAML Is Doing to Prevent Them
hackernoon.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
🚀 Just discovered this evening productivity hack:
dev.to·1d·
Discuss: DEV
⛏️File Carving
Remembering the Markov Property in Cooperative MARL
arxiv.org·4d
🧮Kolmogorov Complexity
Actively evaluating and learning the distinctions that matter: Vaccine safety signal detection from emergency triage notes
arxiv.org·4d
🗺️Competency Maps
⚡ The morning practice that changed everything:
dev.to·22h·
Discuss: DEV
⚔️Lean Tactics
⚡ The 5-minute routine that changed everything:
dev.to·16h·
Discuss: DEV
⭐Awesome lists
📈 Developer happiness improvement after switching to keyboar
dev.to·12h·
Discuss: DEV
🪟Awesome windows command-line
Endoscopic Depth Estimation Based on Deep Learning: A Survey
arxiv.org·15h
🌀Riemannian Computing
Discovering the dynamics of \emph{Sargassum} rafts' centers of mass
arxiv.org·1d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap