🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

Intel Celeron 300A introduced August 24, 1998
dfarq.homeip.net·5h
🖥️Hardware Architecture
Permacomputing
inkdroid.org·3d
🧲Magnetic Philosophy
Physics of why Belgian beer foam is so stable
arstechnica.com·1h·
Discuss: Hacker News
☕Coffee Chemistry
Reddit - anyone do a diy photobooth?
reddit.com·1d·
Discuss: r/photobooth
⚙️DIY Electronics
The Relativity of Wrong by Isaac Asimov (1988)
hermiene.net·3h·
Discuss: Hacker News
🏛️Philosophy
A proof of concept to put a better Emacs UI on top of Gnuplot
yummymelon.com·1d·
Discuss: Hacker News
📺Terminal UI
20% of Americans use AI tools 10x+/month, but traditional search hasn't dipped
sparktoro.com·5h·
Discuss: Hacker News
🔃Feed Algorithms
A Small Change to Improve Browsers for Keyboard Navigation
b.43z.one·1d·
Discuss: Hacker News
🐧FOSS
JNI Obfuscation, Reverse Engineering, and Android Security
hackernoon.com·1d
🎮Game Decompilation
Elasticsearch Explained with Real-Life Example: Why It Beats SQL for Search
blog.devops.dev·1d
🚀Query Optimization
How much do you trust your cloud? Hackers exploit weakness to target customers - here's what we know
techradar.com·1h
🔓Hacking
Asahi, Nikkei sue AI search outfit Perplexity for copyright infringement
theregister.com·1h·
Discuss: Hacker News
🔍BitFunnel
Docker Swarm Guide: Orchestrate Containers Without the Kubernetes Chaos
blog.devops.dev·1d
📦Container Security
The AI doomers are having their moment
businessinsider.com·1d
🧠Intelligence Compression
Quantifying Stochastic Discount Rates via Bayesian Inference & Adaptive Portfolio Optimization
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Try My ~3.5 Million Parameters Model Instead for ✨😉
dev.to·1d·
Discuss: DEV
📝Text Parsing
Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum
arxiv.org·4d
📐Interval Arithmetic
Exact Shapley Attributions in Quadratic-time for FANOVA Gaussian Processes
arxiv.org·5d
🧠Machine Learning
Exelixis: RCC Stronghold, NET Launch, And A CRC Readout That Matters
seekingalpha.com·18h
🌊CBOR Streaming
The Human-in-the-Loop Factor: Partnering With Amazon Q During a Production Incident
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Loading...Loading more...
AboutBlogChangelogRoadmap