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

Emacs Artist clock
mbork.pl·2d
📟Terminal Physics
Chagas disease, which can be deadly, is now considered endemic in the U.S.
uclahealth.org·1d·
Discuss: Hacker News
🦠Malware Analysis
Saylor Model Struggles as Crypto Treasury Hype Turns to Doubt
bloomberg.com·1d·
Discuss: Hacker News
📡RSS
Google Color Tiles Game
colortiles.pro·13h·
Discuss: Hacker News
🌈Color Science
The iPhone 17 Event: Less Awe, More Unsexy & That’s A Good Thing
om.co·9h
🔌Operating system internals
Hyundai Ioniq Concept Three – is this the Ioniq 2, 3 or 4?
the-independent.com·1d
🎵8-track Revival
Greptile's Work Culture
greptile.com·11h·
Discuss: Hacker News
🌍Cultural Algorithms
I tried the viral £300 body scan that promises to help you avoid illness – here’s why I think it’s worth it (cloned
the-independent.com·13h
🧲Magnetic Resonance
Reflections on Random Kitchen Sinks
archives.argmin.net·5d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Nvidia Accuses Rivals of Being A.I. Doomers as US Debates Sale of Chips to China
nytimes.com·1d
🖥️Modern Terminals
Why AI chatbots hallucinate, according to OpenAI researchers
businessinsider.com·5d
💻Local LLMs
Pay-per-output? AI firms blindsided by beefed up robots.txt instructions.
arstechnica.com·9h·
Discuss: Hacker News
📰RSS Archaeology
You learn about possible plagiarism in a literary work. How does that affect your view of it? (The A. J. Finn story)
statmodeling.stat.columbia.edu·2d
🔓Hacking
17 Best Places to Buying Verified Binance Accounts
dev.to·1d·
Discuss: DEV
🎫Kerberos Attacks
AI gaming startup Born raises $15M to build ‘social’ AI companions that combat loneliness
techcrunch.com·9h
🚀Indie Hacking
DevOps Practice at Home?
reddit.com·2d·
Discuss: r/homelab
🏠Homelab Orchestration
Beyond automation: The future of intelligent work with agentic AI
techradar.com·2d
🌊Stream Processing
AI-driven Remote Facial Skin Hydration and TEWL Assessment from Selfie Images: A Systematic Solution
arxiv.org·1d
📊Learned Metrics
Towards Reasoning for PDE Foundation Models: A Reward-Model-Driven Inference-Time-Scaling Algorithm
arxiv.org·6d
⚡Incremental Computation
TIFF Selects Arts Alliance Media’s Screenwriter and Lifeguard Solutions
madcornishprojectionist.co.uk·1d
🏠Home Automation
Loading...Loading more...
AboutBlogChangelogRoadmap