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

How is the strength of an earthquake measured?
lemonde.fr·1d
🛡Cybersecurity
A First Time for Everything
nybooks.com·13h
🌡️Preservation Physics
The best new science fiction books of August 2025
newscientist.com·13h
🏰Manuscript Networks
Berkeley’s new accessory dwelling unit policy aims for balance
mercurynews.com·13h
🧠Separation Logic
Google's 'virtual satellite' AI model can provide a near real-time view of Earth
engadget.com·11h
🧊Arctic Storage
The web isn't URL-shaped anymore
jonoalderson.com·1d·
Discuss: Hacker News
📰Content Curation
Show HN: VectorSeek – Private AI-Powered Search
vectorseek.ai·11h·
Discuss: Hacker News
🗂️Vector Search
Weight Agnostic Neural Networks
weightagnostic.github.io·4d·
Discuss: Hacker News
🧠Machine Learning
Charles Humble Shares His Ideas about #RemoteWork
youtube.com·1d
🌊Streaming Systems
Show HN: Production-Ready Agents with the OpenAI Agents SDK and Temporal
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
What Makes a Level Hard in Super Mario Maker 2?
arxiv.org·1d
📼Retro Games
Remodelling of corticostriatal axonal boutons during motor learning
nature.com·1d
🔲Cellular Automata
TempRe: Template generation for single and direct multi-step retrosynthesis
arxiv.org·1d
⬆️Lambda Lifting
Efficient handover based on Near-field and Far-field RIS for seamless connectivity
arxiv.org·21h
📡Bluetooth Archaeology
Whole-brain Transferable Representations from Large-Scale fMRI Data Improve Task-Evoked Brain Activity Decoding
arxiv.org·21h
🧠Machine Learning
Show HN: AgentOS-An Early OS for Coding Agents Memory and Execution and Learning
news.ycombinator.com·11h·
Discuss: Hacker News
🌐WASI
Overcome development disarray with Amazon Q Developer CLI custom agents
aws.amazon.com·5h
🔒WASM Capabilities
Hebbian Memory-Augmented Recurrent Networks: Engram Neurons in Deep Learning
arxiv.org·1d
🧠Machine Learning
🔗 Fan‑in: merge goroutine channels into a single, predictable stream
dev.to·20h·
Discuss: DEV
🌊Streaming Systems
7 Must-Read AI and Prompt Engineering Books for Developers in 2025
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap