🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Become a Partner of Dolphin Data Lab in Germany
dolphindatalab.com·22h
🔌Operating system internals
Was AMD holding back on their fusion line?
forums.anandtech.com·1d
🖥️Modern CPU
Free idea: auto reply as a service
interconnected.org·1d
🏠Personal Archives
Braided Magnetic Flux Ropes Are Found at Both Human and Light Year Scales
caltech.edu·12h·
Discuss: Hacker News
📐Mathematical Art
My ex stalked me, so I joined a 'dating safety' app. Then my address was leaked
bbc.com·12h
📡RSS
My responses to The Register
xeiaso.net·1d·
Discuss: Hacker News
🚀Indie Hacking
Po-Shen Loh on Building Thoughtfulness, Empathy, and Strong Networks in AI Era
toolong.link·3d·
Discuss: Hacker News
🌍Cultural Algorithms
CLEC: Competitive Local Exchange Carrier
en.wikipedia.org·1d·
Discuss: Hacker News
📡Network Calculus
Automaker Geely Launched Its Own Satellites Into Space, Highlighting China’s Ambitions
wired.com·1d
🖥️Self-hosted Infrastructure
Robotic Arm - IRAS 6dof
hackster.io·4h
⚡Proof Automation
A mathematical paradox allows infinite cloning
quantamagazine.org·4d·
Discuss: Hacker News
🏗️Constructive Mathematics
This Extremely Cute Bean Wants to Help You Stop Doomscrolling
wired.com·1d
🎛️Feed Filtering
Drive LED indicators
reddit.com·14h·
Discuss: r/homelab
⚡Circuit Archaeology
OneUptime – open-source observability platform
github.com·4d·
Discuss: Hacker News
🌊Streaming Systems
The Chilling: Identifying Strategic Antisocial Behavior Online and Examining the Impact on Journalists
arxiv.org·1d
🎯Threat Hunting
I am the CTO of Ordnance Survey and this is how this 230 year old organization is embracing AI
techradar.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Real-Time Dynamic Range Compression via Adaptive Kernel Regression in Mobile ISP Pipelines
dev.to·4d·
Discuss: DEV
🎬Video Codecs
Small Commits, Big Wins: How Atomic Changes Transform Developer Life
hackernoon.com·3d
🔄Reproducible Builds
Bayesian Adaptive Experimental Design via Gaussian Process with Multi-Fidelity Data Integration
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Apple Intelligence Is Picking Up More User Data Than Expected, Researcher Finds
darkreading.com·16h
🔤EBCDIC Privacy
Loading...Loading more...
AboutBlogChangelogRoadmap