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

SensorLM: Learning the language of wearable sensors
research.google·4d·
Discuss: Hacker News, Hacker News
⚙LLVM
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·6d
⚡Zig
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·7h·
Discuss: Lobsters, Hacker News
🧩WebAssembly
I Know When You're Vibe Coding
alexkondov.com·2d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com·1d·
Discuss: Lobsters, Hacker News
❄️Nix
Engineering Buy-In
venki.dev·1d·
Discuss: Hacker News
🌐Distributed Systems
Reverse engineering some updates to Claude
simonwillison.net·1d
💻programming
Atlassian terminates 150 staff with pre-recorded video
cyberdaily.au·4h·
Discuss: Hacker News
🤖ai
Nova: A New Web Framework for Erlang
news.ycombinator.com·1d·
Discuss: Hacker News
🧩WebAssembly
Deep Think in the Gemini app
simonwillison.net·7h
🔄Concurrency
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com·10h
⚡Zig
ACM Transitions to Full Open Access
acm.org·3d·
Discuss: Hacker News
🔒Cryptography
Introducing Cerebras Code
cerebras.ai·1d·
Discuss: Hacker News
🔄Concurrency
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·2d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Blog series on creating an OS in Rust
os.phil-opp.com·2d·
Discuss: Hacker News
⚡Zig
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🔨Compilers
clj-coll: Clojure collections and sequences in Common Lisp
github.com·6d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Six Principles for Production AI Agents
app.build·4d·
Discuss: Hacker News
🤖ai
Kaizen (YC X25) Is Hiring Engineers to Build Browser Agents That Work
ycombinator.com·1d·
Discuss: Hacker News
🤖ai
Long Term Support(SQLite)
sqlite.org·9h·
Discuss: Lobsters, Hacker News
⚡Zig
Loading...Loading more...
AboutBlogChangelogRoadmap