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

Alibaba admits Qwen3's hybrid-thinking mode was dumb
theregister.com·2d
🧮SMT Solvers
Saturday Citations: Chatbots chat about suicide; ancient concrete recipes; depression and brain morphology
phys.org·6h
🕳️Persistent Homology
Photon-Lines Tech Notes - July 2025
photonlines.substack.com·2d·
Discuss: Substack
🔍Vector Forensics
How to save your brain
thefoggiest.dev·2d
🌀Brotli Dictionary
1999: A new OS project: MorphOS
amiga.czex.com·22h·
Discuss: Hacker News
🎵Amiga Formats
Understanding Energy Trading: Physical vs. Financial Markets
a115.co.uk·6h·
Discuss: Hacker News
📐Mathematical Art
Tesla Found Partly Liable in 2019 Autopilot Death
dev.to·4h·
Discuss: DEV
🔌Microcontrollers
Artificial intelligence that "feels" guilt could lead to more cooperation
sciencenews.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Verification debt is the AI era's technical debt
kevinbrowne.ca·1d·
Discuss: Hacker News
⚙️Proof Engineering
Show HN: TyxonQ, A Chinese Full-Stack Quantum Software Framework on Real Machine
github.com·3d·
Discuss: Hacker News
⚛️Quantum Compilers
Parallel PLL on DAGs
arxiv.org·3d
🔗Topological Sorting
Physics-Informed Neural Networks for Inverse PDE Problems
towardsdatascience.com·4d
🔗Tailscale
Rant - Homelab Creep and Increasing Complexity
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Orchestration
Reverse-Engineering Claude Code CLI Using Claude Sub Agents
sabrina.dev·6d·
Discuss: Hacker News
⚡Proof Automation
ChartMark: A Structured Grammar for Chart Annotation
arxiv.org·3d
🔢Denotational Semantics
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with with 400,000 latent parameters, (3) Super-scalable penalized maximum likelih...
statmodeling.stat.columbia.edu·2d
🧮Kolmogorov Complexity
StepFun Built an Efficient and Cost-Effective LLM Storage Platform with JuiceFS
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Eigent, a Multi-agent Workforce desktop application
github.com·21h·
Discuss: Hacker News
🔓Open Source Software
Celebrate!: Building with Bolt - WLH Challenge
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
I Was So Angry, I Built My Own Workshop Platform
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap