🐿️ 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
How to store weather forecast data for fast time-series APIs
openmeteo.substack.com·2d·
Discuss: Substack
📈Time Series
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
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
Lisp in 99 Lines of C With TinyLisp
hackaday.com·6d
🔗Lisp
An Update on Pytype
github.com·5d·
Discuss: Hacker News
🎯Gradual Typing
Simple, declarative orchestration for OCM multi-clusters
reddit.com·2d·
Discuss: r/kubernetes
🏠Homelab Orchestration
What’s on your desk, Dominic Preston?
theverge.com·2d
🖥️Modern Terminals
Speed isn't everything when it comes to covalent inhibitor drugs, study finds
phys.org·2d
🎯Emulator Accuracy
Bug bounties: The good, the bad, and the frankly ridiculous ways to do it
theregister.com·1d·
Discuss: Hacker News
🚀Indie Hacking
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to·4d·
Discuss: DEV
✅Archive Validation
College Football Playoff predictions: Penn State, Clemson earn top seeds with format tweak fueled by Oregon’s fate
mercurynews.com·7h
🔲Cellular Automata
Wireless IoT Devices Measuring Treatment Efficiency in CoolSculpting
dev.to·7h·
Discuss: DEV
🌊Stream Processing
How I Built and Deployed a Production-Ready AI SaaS in 14 Days Using Agent Initializr
dev.to·3d·
Discuss: DEV
🌊Streaming Systems
Upgrading my set up
reddit.com·5h·
Discuss: r/homelab
🏠HomeLab
I took a solo honeymoon and loved it. When I got pregnant, I decided to go on a solo babymoon.
businessinsider.com·1d
🏠Personal Archives
Loading...Loading more...
AboutBlogChangelogRoadmap