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

Navigating the Stacks: Understanding First-Gen International Student Journeys in the Library
blogs.lib.umich.eduยท13h
๐Ÿ“šMARC Archaeology
ChatGPT Spoiled My Semester
benborgers.comยท3hยท
Discuss: Hacker News
๐ŸŒฑPersonal Wikis
Canadian Labor Department strongly criticizes Amazon.com
heise.deยท1h
๐Ÿ“กRSS
Extracting 20+ NES & Famicom ROMs from Animal Crossing
sethmlarson.devยท2dยท
Discuss: Hacker News
๐ŸŽฎGame Cartridge Dumps
Empowering cybersecurity product managers with LangChain
datasciencecentral.comยท1d
๐Ÿ”Capability Systems
Ask HN: Does simulation theory invalidate its own evidence?
news.ycombinator.comยท13hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
An explorer and visualizer for Go concurrency patterns
golangweekly.comยท1d
๐Ÿฆ€Rust Macros
Ten Thousand Agents
notes.npilk.comยท15hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Discover the Power of Productivity with The Key Tools
dev.toยท11hยท
Discuss: DEV
๐Ÿ—œ๏ธLZW Variants
These centuries-old equations predict flowing fluid โ€“ until they donโ€™t
newscientist.comยท1d
๐Ÿ“Mathematical Art
Side Project Blog: Clear Bench - Tech stack and Backstory
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
Glioblastoma Overall Survival Prediction With Vision Transformers
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
A Residual Guided strategy with Generative Adversarial Networks in training Physics-Informed Transformer Networks
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Augmented Reinforcement Learning Framework For Enhancing Decision-Making In Machine Learning Models Using External Agents
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
CoCoLIT: ControlNet-Conditioned Latent Image Translation for MRI to Amyloid PET Synthesis
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
How I found myself in machine learning - My story ๐Ÿค–
dev.toยท2dยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Automated Turbulence Model Calibration via Bayesian Optimization and Neural Network Emulation
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Honey Classification using Hyperspectral Imaging and Machine Learning
arxiv.orgยท3d
๐Ÿง Machine Learning
How we built our own MCP server in 4 simple steps
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ปHomebrew Protocols
Retinal Lipidomics Associations as Candidate Biomarkers for Cardiovascular Health
arxiv.orgยท1d
๐Ÿ•ธ๏ธAlgebraic Topology
Loading...Loading more...
AboutBlogChangelogRoadmap