๐Ÿฟ๏ธ 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

Last Week on My Mac: Spotlight sorcery
eclecticlight.coยท1d
๐ŸŽApple Archive
Biometrics via Wi-Fi: Signal disruptions allow identification and monitoring
heise.deยท22h
๐Ÿ Home Automation
Can You Canoodle at the Coldplay Concert?
thefiddler.substack.comยท3dยท
Discuss: Substack
๐Ÿ“Interval Arithmetic
Hyper-V Research
r0keb.github.ioยท2d
๐Ÿ‘‘RISC-V Privilege
Replacing brain immune cells in mice slows neurodegeneration in Stanford study
med.stanford.eduยท8hยท
Discuss: Hacker News
๐Ÿ’พSQLite
100 Years of Data Shatter the โ€œCreative Leftyโ€ Myth
scitechdaily.comยท12h
๐Ÿ”จSwedish Craftsmanship
The Eponymous Principles of Management โ€“ Coase's Ceiling and Floor
amvaishnav.wordpress.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
7 Best Tents (2025), Tested: Camping, Family, and Outdoor Palaces
wired.comยท6h
๐ŸงŠArctic Storage
Self-taught modder builds completely transparent Game Boy Color circuit board that actually works โ€” PCB looks stunning when matched with fully transparent shell
tomshardware.comยท1dยท
Discuss: Hacker News
๐ŸŽฎGameboy Emulation
PHP compile time generics: yay or nay?
thephp.foundationยท4dยท
Discuss: Hacker News
๐Ÿ”—Dependently Typed
Initiative Seeks AI Lab to Build 'American Truly Open Models' (ATOM)
news.slashdot.orgยท1d
๐Ÿ”BitFunnel
I hate AI, but I donโ€™t know why.
reddit.comยท18hยท
Discuss: r/artificial
๐Ÿ”ฒCellular Automata
What Is RAG and How to Implement It ?
dev.toยท4dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Cursorโ€™s New Pricing Blew My Budget, So I Built a Usage Tracker
dev.toยท1hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Automated Flux Composition Optimization via Bayesian Kernel Ridge Regression for Fine-Pitch SMT Applications
dev.toยท4dยท
Discuss: DEV
โ˜•Precision Brewing
How to Create NumPy Arrays from Lists
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠAPL Heritage
Automated Consent Workflow Optimization via Dynamic Causal Inference & Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Archive Automation
Can Large Multimodal Models Actively Recognize Faulty Inputs? A Systematic Evaluation Framework of Their Input Scrutiny Ability
arxiv.orgยท4d
๐Ÿ”Z3 Parsing
Continual Learning for VLMs: A Survey and Taxonomy Beyond Forgetting
arxiv.orgยท4d
๐Ÿง Machine Learning
Interior Object Geometry via Fitted Frames
arxiv.orgยท3d
๐Ÿ“Projective Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap