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

Juno: Giant Neutrino Detector Is On
juno.ihep.cas.cn·4d·
Discuss: Hacker News
👁️Observability
Announcing the Multicast Project for Squeak
news.squeak.org·6d·
Discuss: r/programming
🔌Network Programming
One of Britain's largest stocks of second-hand books ever amassed
worldofinteriors.com·1d·
Discuss: Hacker News
🌐HTMX
Tired of waiting for the city, Angelenos paint their own crosswalks
latimes.com·2d·
Discuss: Hacker News
🕸️Service Mesh
Static sites enable a good time travel experience
hamatti.org·4d·
Discuss: Hacker News
🌐HTMX
Pentagon Halts Chinese Coders Affecting DOD Cloud Systems
defense.gov·5d·
Discuss: Hacker News
🚢DevOps
China Warns Against ‘Disorderly Competition’ in Booming AI Race
bloomberg.com·5d·
Discuss: Hacker News
⚙️Engineering
Why Earth's Pacific Side Is Cooling So Much Faster
modernengineeringmarvels.com·19h·
Discuss: Hacker News
⚙️Engineering
New interpretations suggest the "heat death" hypothesis might not hold (2023)
noemamag.com·3d·
Discuss: Hacker News
⚙️Engineering
The trade in US body parts that's legal – but ripe for exploitation
bbc.co.uk·3d·
Discuss: Hacker News
🦀Rust
Is building waitlists for your SaaS worth it?
queueup.dev·5d·
Discuss: Hacker News
📦WebAssembly
In-situ manufacturing of photobioreactors on the Moon using local resources
sciencedirect.com·4d·
Discuss: Hacker News
⚙️Engineering
Google Advances Its Layer-1 Blockchain
coindesk.com·5d·
Discuss: Hacker News
🔐Cryptography
Google Aiming for Gold
divested.dev·6d·
Discuss: Hacker News
🔍eBPF
SSA Whistleblower’s Resignation Email Mysteriously Disappeared From Inboxes
wired.com·4d·
Discuss: Hacker News, r/TrueReddit
🕸️Service Mesh
NiceAPI, free self-host LLM router
github.com·5d·
Discuss: Hacker News
🕸️Service Mesh
State-of-the-art image generation Leonardo models and text-to-speech Deepgram models now available in Workers AI
blog.cloudflare.com·6d
🌐HTMX
With new in-house models, Microsoft lays the groundwork for independence from OpenAI
arstechnica.com·4d·
Discuss: Hacker News
🚢DevOps
Ask HN: I made a new kind of AI, how do I monetize it?
news.ycombinator.com·4d·
Discuss: Hacker News
⚡Performance Engineering
Marisa Trie – Static memory-efficient Trie-like structure
github.com·6d·
Discuss: Hacker News
🔄Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap