🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Problem-solving is fundamental to human nature
freethink.com¡2d
🔲Cellular Automata
Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu¡2d
🧠Intelligence Compression
Double Maths First Thing: Issue 2A
aperiodical.com¡3d
👑Isabelle
Go is 80/20 language
blog.kowalczyk.info¡2d¡
Discuss: Lobsters, Hacker News
💻Programming languages
YC AI Startup School 2025 – Highlights
chipinsights.substack.com¡6h¡
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
[$] Supporting kernel development with large language models
lwn.net¡1d
💻Local LLMs
Announcing Rust 1.88.0
blog.rust-lang.org¡2d¡
Discuss: Lobsters, Hacker News
🦀Rust Macros
pac-man with python, pygame
dev.to¡23h¡
Discuss: DEV
🔲Cellular Automata
Understanding the System 3: Databases
dev.to¡1d¡
Discuss: DEV
🗄️Database Internals
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org¡1d
🗜️Graph Compression
Entelligence vs CodeRabbit
dev.to¡1d¡
Discuss: DEV
🌳Incremental Parsing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org¡4d
🔐Quantum Security
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to¡1d¡
Discuss: DEV
🌊Streaming Compression
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to¡20h¡
Discuss: DEV
🖥️Modern Terminals
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to¡1d¡
Discuss: DEV
🕸️Graph Algorithms
What I Wish I Knew Before Building My First Client Website
dev.to¡8h¡
Discuss: DEV
✅Format Verification
AG Spielmann advises CJEU to rule that a derivative work may be original and protection could also stem from efforts to reconstruct missing parts in someone els...
ipkitten.blogspot.com¡1d¡
Discuss: ipkitten.blogspot.com
⚖️Emulation Ethics
Structural System Identification via Validation and Adaptation
arxiv.org¡1d
🧠Machine Learning
Machine Learning Fundamentals: adam optimizer tutorial
dev.to¡17h¡
Discuss: DEV
📊Feed Optimization
Building A Wallet System - Part 1: Authentication with Apollo Server
dev.to¡12h¡
Discuss: DEV
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap