๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Document Verification

Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage

Solid ground
markjgsmith.comยท12h
๐Ÿ”„Reproducible Builds
Jeffrey and the Jarne Blade!!
plover.stenoknight.comยท1dยท
Discuss: www.blogger.com
โŒจ๏ธMechanical Keyboards
Vibe Coding 5 -- WoDRAG
joelgrus.comยท3d
๐Ÿ“ฐRSS Reading Practices
Thunderbird Monthly Development Digest โ€“ July 2025
blog.thunderbird.netยท16h
๐Ÿ”„Language Evolution
Want to Crack the CIA's Infamous 'Kryptos' Puzzle? Its Secret Key Is Up for Sale
news.artnet.comยท6hยท
Discuss: Hacker News
๐Ÿ—๏ธPaleocryptography
Show HN: Videolangua โ€“ end-to-end video translate and subtitle/ dub
videolangua.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆMKV Containers
Spring 2025 PCI 3DS compliance package available now
aws.amazon.comยท10h
๐Ÿ”HSM Integration
Your Mac Game Is Probably Rendering Blurry
colincornaby.meยท8hยท
Discuss: Lobsters, Hacker News
๐Ÿ–ฅ๏ธVintage Macintosh
Why Metropolisโ€“Hastings Works
gregorygundersen.comยท3dยท
Discuss: Lobsters, Hacker News
๐ŸงฎKolmogorov Bounds
Supreme Court Will Let Mississippi Require Age Verification For Social Mediaโ€”For Now
forbes.comยท12h
๐Ÿ”ƒFeed Algorithms
For Americans Only: Estimating Celsius and Other Mental Metrics
hackaday.comยท14h
๐Ÿ“Arithmetic Precision
Which Ways of Knowing Work? Building an Epistemology Tier List
linch.substack.comยท1dยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
OpenAIโ€™s GPT-OSS Challenges Metaโ€™s Leadership in Open-Weight AI
spectrum.ieee.orgยท16hยท
Discuss: r/technews
๐Ÿ”“Open Source Software
The Drugs Are Taking Hold
blog.dshr.orgยท16hยท
Discuss: Hacker News, www.blogger.com
๐Ÿ”BitFunnel
Learning Go / Eventually getting employed an issue for entry level?
reddit.comยท16hยท
Discuss: r/golang
๐Ÿง Lisp Dialects
How an attacker can downgrade Whatsapp encryption
heise.deยท3d
๐ŸŒŠStream Ciphers
Best Sites To Verified Cash App Accounts 100% 2025.....2026
dev.toยท10hยท
Discuss: DEV
โš–๏ธDigital Evidence
"Pull or Not to Pull?'': Investigating Moral Biases in Leading Large Language Models Across Ethical Dilemmas
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
AI-Driven Nanoparticle Detection Enhancement in Microchannel Plate Detectors via Adaptive Resonance Theory
dev.toยท2dยท
Discuss: DEV
๐Ÿ“„Document Digitization
PPL: Point Cloud Supervised Proprioceptive Locomotion Reinforcement Learning for Legged Robots in Crawl Spaces
arxiv.orgยท1d
๐Ÿ“ŠComputational Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap