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

Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance

Problem-solving is fundamental to human nature
freethink.com·1d
🔲Cellular Automata
Fireside Friday, June 27, 2025 (On the Limits of Realism)
acoup.blog·41m·
Discuss: Hacker News
🧮Theoretical Computer Science
Understanding Prolly Tree Balance
dolthub.com·1d·
Discuss: Hacker News
🌲B-tree Variants
Structural Alignment I: Introduction to Knowledge Graphs and Link Prediction
medium.com·1h·
Discuss: Hacker News
🕸️Graph Embeddings
Philosopher Wraps Cooperation with Trump in Flag of Academic Freedom
dailynous.com·1d
🧲Magnetic Philosophy
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
One of the hardest leetcode Problem 2081, so easily explained #lovedit
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
🏂 Beginner-Friendly Guide: "Sum of k-Mirror Numbers" – LeetCode 2081 (python| JavaScript | Python )
dev.to·11h·
Discuss: DEV
λLambda Encodings
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·1d·
Discuss: DEV
🌳Trie Structures
The Future of AI Is Physical: Simulation Is Key
inductiva.ai·1h·
Discuss: Hacker News
🔲Cellular Automata
Therapy as an NLP Task: Psychologists' Comparison of LLMs and Human Peers in CBT
arxiv.org·1d
🌲Parse Trees
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·1d·
Discuss: DEV
⚡Proof Automation
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·2d
📐Compression Bounds
Signal Use and Emergent Cooperation
arxiv.org·2d
🔲Cellular Automata
Why Your Deadlines Are Wrong: Evidence-Based Estimation for Developers
dev.to·11h·
Discuss: DEV
👁️System Observability
Uncovering Hidden Violent Tendencies in LLMs: A Demographic Analysis via Behavioral Vignettes
arxiv.org·12h
🧠Intelligence Compression
scMamba: A Scalable Foundation Model for Single-Cell Multi-Omics Integration Beyond Highly Variable Feature Selection
arxiv.org·12h
🧠Machine Learning
Opportunistic Osteoporosis Diagnosis via Texture-Preserving Self-Supervision, Mixture of Experts and Multi-Task Integration
arxiv.org·1d
👁️OCR Enhancement
Vibe Coding: Why Microservices Are Cool Again
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·3d
🔍Type Inference
Loading...Loading more...
AboutBlogChangelogRoadmap