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

The Language of Stones
theparisreview.org·1d
⏰Time Crystals
Elm as target language for vibe coding
interjectedfuture.com·1d
⚡Effectful Programming
Show HN: I'm a teacher who built fireClass to wrap any site in the classroom
meir.world·2d·
Discuss: Hacker News
⚡Proof Automation
Bits of Knowledge on Google Spanner
spanner.fyi·1d·
Discuss: Hacker News
🗄️Database Sharding
Why I Take Gifts Seriously
honest-broker.com·1d·
Discuss: Hacker News
📼Cassette Culture
Why every utterance you make begins with a leap of faith (2024)
psyche.co·1d·
Discuss: Hacker News
📼Cassette Linguistics
Unified Memory Management
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🗃️Database Storage
Open-Sourcing the Best Local Text-to-SQL System
contextual.ai·5d·
Discuss: Hacker News
⛏️SQL Archaeology
A conceptual breakthrough has emerged for the Colorado River's future
phys.org·1d
🌡️Preservation Thermodynamics
I'm a 16-Year-Old Self-Taught Developer – Built 700 Projects
news.ycombinator.com·7h·
Discuss: Hacker News
🚀Indie Hacking
AI Won’t Replace You—But It Will Expose You
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Modern Methods in Associative Memory
arxiv.org·8h
🔲Cellular Automata
Beyond Retrieval: Ensembling Cross-Encoders and GPT Rerankers with LLMs for Biomedical QA
arxiv.org·8h
🔍Information Retrieval
🚀 Journey of a 16-Year-Old Who Built 700+ Projects — My Learning Path & Tips for Beginners!
dev.to·8h·
Discuss: DEV
🔄Reproducible Builds
DRAGON: Dynamic RAG Benchmark On News
arxiv.org·8h
📊Multi-vector RAG
Liability and Insurance for Catastrophic Losses: the Nuclear Power Precedent and Lessons for AI
arxiv.org·8h
✨Effect Handlers
Can AI Coding Tools Learn to Rank Code Quality?
hackernoon.com·3d
📏Code Metrics
Automate content and social media post idea generation - using Runner-H.
dev.to·2d·
Discuss: DEV
🔃Feed Algorithms
Ardelyx Faces An Uphill Battle Despite Oral Arguments Set In XPHOZAH Appeal
seekingalpha.com·22h
🎫Kerberos Attacks
Pros and Cons of the Top AI Code Assistants: Continue.dev, GitHub Copilot, and Cursor (With a Hero’s Twist)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap