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

Proposal: Better CSS Text Justification
blog.glyphdrawing.club·9h·
Discuss: Hacker News
🖋Typography
Double Bishops: The Silent Killers of Chess
lichess.org·2d·
Discuss: Hacker News
🎯Proof Tactics
Where to Go After TypingClub?
typequicker.com·2d·
Discuss: Hacker News
🎯Gradual Typing
What Is a Foreign Key Constraint in SQL?
blog.devops.dev·2d
🚀Query Optimization
I Vibecoded my first app
apps.apple.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
Multi-Timer Gizmo
pgadey.ca·10h·
Discuss: Hacker News
⚙️DIY Electronics
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·1d·
Discuss: Hacker News
🌊Streaming Systems
You can’t have everything you want: beta edition
johndcook.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
One of the best books on Istio
reddit.com·1d·
Discuss: r/kubernetes
📰RSS Archaeology
New instructor resources for Llaudet and Imai’s book, Data Analysis for Social Science
statmodeling.stat.columbia.edu·2d
📊Citation Graphs
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
I am an AI expert, here’s how you can separate real AI innovation from marketing hype
techradar.com·1d
🤖AI Curation
Backend Challenge: Learn Rust Microservices for the Cloud
dev.to·10h·
Discuss: DEV
🦀Rust Borrowing
Brave discovers a security flaw in Perplexity’s Comet browser
the-decoder.com·2d
🚀Indie Hacking
A compressed hierarchy for visual form processing in the tree shrew
nature.com·1d
🤖Advanced OCR
Beyond the Hype: Why Tailored AI is the Only AI That Truly Works
dev.to·8h·
Discuss: DEV
⚡Incremental Computation
Scalable Fairness Shaping with LLM-Guided Multi-Agent Reinforcement Learning for Peer-to-Peer Electricity Markets
arxiv.org·20h
🤝Consensus Protocols
Invisible Filters: Cultural Bias in Hiring Evaluations Using Large Language Models
arxiv.org·1d
🌍Cultural Algorithms
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Accelerating Historical K-Core Search in Temporal Graphs
arxiv.org·1d
🕸️Neo4j
Loading...Loading more...
AboutBlogChangelogRoadmap