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

Flow - Your Superpower
ente.ioยท1d
โฌœMinimalism
Use AI Agents to Experiment
ylan.segal-family.comยท1d
๐ŸšShell Automation
ENC28J60 works!
pdp2011.sytse.netยท1d
๐Ÿ“ŸVintage Protocols
A $300 Versaflo powered air respirator
kevinlynagh.comยท1dยท
Discuss: Hacker News
โš™๏ธDIY Electronics
Happy 100000th birthday, Debian
lists.debian.orgยท2dยท
Discuss: Lobsters, Hacker News
โ„๏ธNixpkgs
MasterClass deal: Subscriptions are 40 percent off right now
engadget.comยท1d
๐Ÿง Learned Codecs
Big ideas to unlock Australia's prosperity puzzle
abc.net.auยท1d
๐ŸŒCultural Algorithms
I tested a robotic window cleaner โ€“ here are 3 things that surprised me
techradar.comยท1d
๐Ÿ Home Automation
Why we should thank pigeons for our AI breakthroughs
technologyreview.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
What Medieval People Got Right About Learning (2019)
scotthyoung.comยท5dยท
Discuss: Hacker News
๐Ÿ“šProof Pedagogy
A Dynamically Weighted ADMM Framework for Byzantine Resilience
arxiv.orgยท22h
๐ŸคConsensus Algorithms
Monte Sereno looks to fill vice mayor vacancy after Javed Ellahie resigns
mercurynews.comยท1d
๐Ÿ’ปLocal first
The User-first Approach to AI Ethics: Preferences for Ethical Principles in AI Systems across Cultures and Contexts
arxiv.orgยท22h
โš–๏ธEmulation Ethics
TimeMachine: Fine-Grained Facial Age Editing with Identity Preservation
arxiv.orgยท22h
๐Ÿ›Digital humanities
NZ1: A minimalist, dependency-free data compression algorithm
github.comยท6dยท
Discuss: Hacker News
๐ŸŒŠStreaming Compression
Beyond Chatbots: How Multi-Agent AI Systems Are Revolutionizing Software Engineering
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Network Automation
Building Resilient Developer Habits in the Age of AI Tools
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Deep Learning-Guided Adaptive Deconvolution for Super-Resolution Microscopy Enhanced by Bayesian Inference
dev.toยท19hยท
Discuss: DEV
๐Ÿ“ŠQuantization
PakBBQ: A Culturally Adapted Bias Benchmark for QA
arxiv.orgยท3d
๐Ÿง Intelligence Compression
๐Ÿ—๏ธ React Keys โ€” Why They Matter in Lists
dev.toยท2dยท
Discuss: DEV
๐ŸŽฏGradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap