๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Verification

Correctness Proofs, Model Checking, Theorem Proving, Program Analysis

James Dobson, Founder of Focus on the Family, Dies at 89
publishersweekly.comยท12hยท
Discuss: Hacker News
๐Ÿ”„Compiler Design
Psychic's advice cost billionaire heiress $80M in crypto
cointelegraph.comยท10hยท
Discuss: Hacker News
๐Ÿ”Cryptography
Israeli double strike on Gaza hospital โ€“ what we know
bbc.comยท16hยท
Discuss: Hacker News
๐Ÿ”eBPF
Why Real-Time Air Quality Data Might Be Making Things Worse
airgradient.comยท4dยท
Discuss: Hacker News
๐Ÿ”eBPF
NASA Cut 4,000 Staff. Where Will They Go?
spectrum.ieee.orgยท1dยท
Discuss: Hacker News, r/space
โš™๏ธEngineering
A German ISP tampered with their DNS โ€“ specifically to sabotage my website
lina.shยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”eBPF
The Cowboy of Generic Drugs
alexkesin.comยท1dยท
Discuss: Hacker News
๐Ÿ•ธ๏ธService Mesh
Selvejj โ€“ A JetBrains Plugin for Jujutsu VCS
selvejj.comยท3dยท
Discuss: Hacker News, r/programming
๐ŸšขDevOps
Effects of Oral Contraceptive Pills on Brain Networks
onlinelibrary.wiley.comยท4dยท
Discuss: Hacker News
๐Ÿง Computer Architecture
Rust At Microsoft And Chairing The Rust Foundation
filtra.ioยท5dยท
Discuss: Hacker News, r/rust
๐Ÿ“ฆWebAssembly
RTTY Art Historical Archives
rtty.comยท3dยท
Discuss: Hacker News
๐ŸŒHTMX
โ€˜Thereโ€™s something very interesting about boringโ€™: Martin Parr on his life in pictures
theguardian.comยท2dยท
Discuss: Hacker News
๐ŸŒHTMX
Play with Generative Adversarial Networks (GANs) in the Browser
poloclub.github.ioยท4dยท
Discuss: Hacker News
๐ŸŒHTMX
Fuzzy search through Firefox open tabs
github.comยท2dยท
Discuss: Hacker News
๐ŸŒHTMX
Value Today Means Moving Faster Than the Plan
hackernoon.comยท6d
๐ŸšขDevOps
Show HN: AWS Cost Explorer Clone
github.comยท2dยท
Discuss: Hacker News
๐ŸŒHTMX
Hubert Blaine Wolfeschlegelsteinhausenbergerdorff Sr
en.wikipedia.orgยท2dยท
Discuss: Hacker News
โš™๏ธEngineering
OpenAI and Ollama compatible API powered by your ChatGPT plan
github.comยท4dยท
Discuss: Hacker News
๐ŸŒHTMX
AI built from 1800s texts surprises creator by mentioning real 1834 London protests
arstechnica.comยท4dยท
Discuss: Hacker News, r/LocalLLaMA
๐ŸŒHTMX
Built a YAML-to-RESUME Editor
reddit.comยท4dยท
Discuss: r/programming
๐ŸŒHTMX
Loading...Loading more...
AboutBlogChangelogRoadmap