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

Turkey’s transport minister fined after posting video of himself speeding
politico.eu·19h
🏴‍☠️Piracy
See The ‘Planet ‘Parade’ On Thursday In Last-Chance View
forbes.com·9h
⭐Awesome lists
the practice of quieting the mind [by morphosyntactic, Jack/Robby]
archiveofourown.org·2d
⬜Minimalism
A professional square image online tool
squareimage.dev·7h·
Discuss: Hacker News
📸PNG Optimization
War unleashed in Florida over crosswalks with the LGBTQ+ flag
english.elpais.com·21h
🖋Typography
How AI Chatbots May Be Fueling Psychotic Episodes
scientificamerican.com·2d
🔲Cellular Automata
Escaping the chains of tethered products: the Juice Rescue project
natematias.com·2d·
Discuss: Hacker News
📼Cassette Protocols
From OpenAI to open wallets: Former researcher says a $10,000 monthly UBI is the only way to survive the AI job collapse
windowscentral.com·21h·
Discuss: Hacker News
🚀Indie Hacking
How Long Will Trump Be Able to Deny Reality with His Energy Policy?
newyorker.com·23h
🧊Arctic Storage
PCI-->SATA vs nVme-->SATA
forums.anandtech.com·17h
🖥️Modern Terminals
Android: Google bans anonymous apps
heise.de·1d
🔓Open Source Software
Denormalization: Making Your Database Faster (and Why It’s a Trade-Off) day 35 of system design basics
dev.to·3d·
Discuss: DEV
🗄️Database Internals
Citrix Bleed 3? Attackers are already exploiting new security vulnerabilities
heise.de·1h
📦Container Security
Was Feminist Andrea Dworkin Really a Jimmy Carter-Style Jew Hater?
newenglishreview.org·1h
🌐WARC Forensics
Adaptive Tensegrity Locomotion via Hybrid Reinforcement Learning & Dynamic Stiffness Modulation
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Long Chain-of-Thought Reasoning Across Languages
arxiv.org·6d
🧮Z3 Applications
Deep learning-enabled virtual multiplexed immunostaining of label-free tissue for vascular invasion assessment
arxiv.org·2d
🌀Riemannian Computing
TPA: Temporal Prompt Alignment for Fetal Congenital Heart Defect Classification
arxiv.org·5d
🌀Differential Geometry
A Scale AI exec said AI foundational labs are like movie studios — they make big franchise investments that quickly become irrelevant
businessinsider.com·2h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Help me device between AM5/B650 and W680 platform for my server
reddit.com·1d·
Discuss: r/homelab
🖥Home Lab Setup
Loading...Loading more...
AboutBlogChangelogRoadmap