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

Delhi High Court Orders Sci-Hub, Libgen to Be Blocked in India
maktoobmedia.com·1d·
Discuss: Hacker News
🎓Academic Torrents
Music Services Caught Streaming AI-Generated Albums Impersonating Real Singers
entertainment.slashdot.org·1d
🔍FLAC Forensics
Reverse-engineering Roadsearch Plus, or, roadgeeking with an 8-bit CPU
oldvcr.blogspot.com·2d·
Discuss: oldvcr.blogspot.com
🖥️Vintage Macintosh
LLM-D, with Clayton Coleman and Rob Shaw
sites.libsyn.com·5d
⚙️Proof Engineering
Read more: Swiss rents forecast to rise up to 5% annually, housing chief warns
swissinfo.ch·1d
🏠Home Automation
The Death of the User Interface
gist.github.com·2d·
Discuss: Hacker News, r/programming
📟CLI Design
They’re trying to make deep-sea mining happen
theverge.com·1d
🔤EBCDIC Mining
My take: Myers-Briggs is a useful tool with evidence behind it
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Intelligence Compression
Carter2099/dsa.rb: A CLI test suite for implementations of core Ruby algorithms
github.com·5d·
Discuss: Hacker News
⚔️Lean Tactics
An Update on Pytype
github.com·5d·
Discuss: Hacker News
🎯Gradual Typing
Novak Djokovic overcomes blisters to get off to winning start at U.S. Open
japantimes.co.jp·1d
🔍Search Indexing
Simple, declarative orchestration for OCM multi-clusters
reddit.com·2d·
Discuss: r/kubernetes
🏠Homelab Orchestration
The 1970s Gave Us Industrial Decline. A.I. Could Bring Something Worse.
nytimes.com·2d·
Discuss: Hacker News
🍎Apple Computing
Bug bounties: The good, the bad, and the frankly ridiculous ways to do it
theregister.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Kidney dialysis firm DaVita confirms ransomware attack compromised data of 2.7M people
securityaffairs.com·2d
🚨Incident Response
Creating an AI Agent in Claude Code to Control my Smartphone
dev.to·3d·
Discuss: DEV
⚡Proof Automation
I Built a Free AI Thumbnail Maker – Need Your Honest Review!
dev.to·2d·
Discuss: DEV
🗜️LZW Variants
Asking for feedback: building an automatic continuous deployment system
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Quantization Meets Spikes: Lossless Conversion in the First Timestep via Polarity Multi-Spike Mapping
arxiv.org·4d
🧠Neural Compression
Day 72: The Daily Struggle: Consistency, Class, and Code
dev.to·4d·
Discuss: DEV
⚔️Lean Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap