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

Tweag I/O: Bazel workshop made public
tweag.io·3d
🦀Rust Macros
Introducing ZFS AnyRaid
hexos.com·4h·
Discuss: Hacker News
💿ZFS Internals
Buy now, pay later loans will now affect US credit scores – what does that mean for consumers?
theguardian.com·16h
🔍BitFunnel
Cursor's 500 requests => "unlimited" => 225 requests
blog.kilocode.ai·10h·
Discuss: Hacker News
🔍BitFunnel
A Feast Of 1970s Gaming History, And An 8080 Arcade Board
hackaday.com·16h
📺Retrogaming
ORMs are criticized for the wrong reasons
getlago.com·4d·
Discuss: Hacker News
🗄️Database Internals
The End of Moore's Law for AI? Gemini Flash Offers a Warning
sutro.sh·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Show HN: I built an multi-devices AI usage analytics app for Claude Code
roiai.fyi·8h·
Discuss: Hacker News
👁️Observatory Systems
AI winter is well on its way (2018)
blog.piekniewski.info·8h·
Discuss: Hacker News
🧠Machine Learning
AI Pods as a Service: Modular, Scalable, and Built for Speed
bain.com·2d·
Discuss: Hacker News
🏠Homelab Orchestration
Our Fullstack Architecture: Eta, HTMX, and Lit
lorenstew.art·2d·
Discuss: Lobsters, Hacker News
🌐Web Standards
GitHub CEO says the ‘smartest’ companies will hire more software engineers not less as AI develops
medium.com·1d·
Discuss: Hacker News, r/programming
🔄Language Evolution
I built SimTool - A terminal UI for iOS Simulator management with file browsing
reddit.com·4h·
Discuss: r/golang
📺Terminal UI
Wimbledon 2025: Draper, Sinner and Krejcikova in action on day four – live
theguardian.com·2d
📋PREMIS Events
Implementation of the Google Zero-Knowledge Library for Identity Protocols
github.com·2d·
Discuss: Hacker News
📜Proof Carrying Code
Open-ended Scientific Discovery via Bayesian Surprise
arxiv.org·3d
🧭Content Discovery
AIMatDesign: Knowledge-Augmented Reinforcement Learning for Inverse Materials Design under Data Scarcity
arxiv.org·3d
🧲Magnetic Domains
RALLY: Role-Adaptive LLM-Driven Yoked Navigation for Agentic UAV Swarms
arxiv.org·2d
🔲Cellular Automata
The AI Coding Stack Developers Are Using to Save 20+ Hours a Week (2025 Edition)
dev.to·8h·
Discuss: DEV
⚡Proof Automation
In the Age of AI, Why Bother Learning to Write?
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap