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

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Ninety laptops, millions of dollars: US woman jailed over North Korea remote-work scam
theguardian.comยท2dยท
Discuss: Hacker News, r/news
๐Ÿ”’Cryptography
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.orgยท3dยท
Discuss: Hacker News
๐Ÿ“กProtocol Design
Secuso โ€“ Our Farewell from Google Play
secuso.aifb.kit.eduยท4dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
What Happens When Lightning Strikes A Plane?
hackaday.comยท7h
โšกZig
2025 One Hertz Challenge: Blinking an LED the Very Old Fashioned Way
hackaday.comยท3h
๐Ÿš€JIT Compilation
Create space-saving clones on macOS with Python
alexwlchan.netยท2dยท
Discuss: Hacker News
โšกZero-Copy
Mastercard deflects blame for NSFW games being taken down
pcgamer.comยท1dยท
Discuss: Hacker News
๐Ÿค–ai
Scientists Shine a Laser Through a Human Head
spectrum.ieee.orgยท1dยท
Discuss: Hacker News, r/technews
๐Ÿ”eBPF
Long Term Support(SQLite)
sqlite.orgยท4dยท
Discuss: Lobsters, Hacker News
โšกZig
Atlassian terminates 150 staff with pre-recorded video
cyberdaily.auยท4dยท
Discuss: Hacker News
๐Ÿค–ai
Blog series on creating an OS in Rust
os.phil-opp.comยท6dยท
Discuss: Hacker News
โšกZig
Engineering Buy-In
venki.devยท5dยท
Discuss: Hacker News
๐ŸŒDistributed Systems
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.comยท4d
โšกZig
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.comยท3dยท
Discuss: Hacker News
โš™LLVM
Mesa NVK Driver Now Exposes Vulkan 1.4 For NVIDIA GeForce RTX 50 "Blackwell" GPUs
phoronix.comยท1d
๐Ÿ”eBPF
Deep Think in the Gemini app
simonwillison.netยท4d
๐Ÿ”„Concurrency
Keyboard Hero: A Barebones Alternative To The Guitar Version
hackaday.comยท2d
๐Ÿค–ai
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.comยท4d
โšกZig
Matrix Is Not Safe for EU Data Privacy
wire.comยท5dยท
Discuss: Hacker News
๐Ÿ”eBPF
Flex PCB Underlies the Watch of the Future
hackaday.comยท1h
๐ŸงฉWebAssembly
Loading...Loading more...
AboutBlogChangelogRoadmap