🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔲 Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

Typescript and Gemini evil mode
markjgsmith.com·4d
🎯Gradual Typing
The Problem Of Uncertain Significance
stetson.substack.com·2d·
Discuss: Substack
🧬Copy Number Variants
Finding MLB Player Types with K-Means Clustering
runningonnumbers.com·3d·
Discuss: Hacker News
🌊Spectral Clustering
NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices
nist.gov·1d·
Discuss: Hacker News, r/embedded
🔐Soviet Cryptography
Apple’s Private Cloud Compute vs. Confidential Computing
thenewstack.io·5h
🌊Stream Ciphers
Should We Never Use Non-Logical Properties?
meiert.com·3d·
Discuss: Hacker News
📏Linear Logic
Scaling Interpretability
anthropic.com·4d·
Discuss: Hacker News
📊Quantization
A Backend for Frontend: Watt for Node.js Simplifies Operations
thenewstack.io·1d
🌊Streaming Systems
OpenAI's GPT-5 looks less like AI evolution and more like cost cutting
theregister.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
My 14-year-old created a non-toxic plush toy. He was worried about his younger sister.
businessinsider.com·1h
⚙️DIY Electronics
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com·2d·
Discuss: Hacker News
🦀Rusty Databases
Scalable intelligent document processing using Amazon Bedrock Data Automation
aws.amazon.com·23h
🤖Archive Automation
I'm Building an AI Agent to Write My Unit Tests
dev.to·23h·
Discuss: DEV
⚡Proof Automation
Build Your Own AI Stock Portfolio Agent with LlamaIndex + AG-UI
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Automated Arthroscopic Image Segmentation & Anomaly Detection via Hierarchical, Federated Learning
dev.to·1d·
Discuss: DEV
🧠Machine Learning
An Introduction to Web Development
dev.to·2d·
Discuss: DEV
🛠Language Design
🧠 From Specs to Sentience: How Kiro IDE Helped Me Build a Reactive AI Dungeon in Days
dev.to·1d·
Discuss: DEV
🎮Switch Archaeology
What Medieval People Got Right About Learning (2019)
scotthyoung.com·1d·
Discuss: Hacker News
📚Proof Pedagogy
I finally have a 3-2-1 backup strategy!
reddit.com·2h·
Discuss: r/homelab
💿Backup Strategies
GS4Buildings: Prior-Guided Gaussian Splatting for 3D Building Reconstruction
arxiv.org·3d
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap