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

clj-coll: Clojure collections and sequences in Common Lisp
github.com·6d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🔨Compilers
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
I couldn't submit a PR, so I got hired and fixed it myself
skeptrune.com·19h·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Long Term Support(SQLite)
sqlite.org·22h·
Discuss: Lobsters, Hacker News
⚡Zig
A Hitchhiker's Guide to the AI Bubble
fluxus.io·1d·
Discuss: Hacker News
🤖ai
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·14h·
Discuss: Hacker News
⚙️Systems Programming
Build an AI Voice Agent for Calls with Open Source
github.com·2d·
Discuss: Hacker News
🤖ai
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com·18h
⚡Zig
Benchmarking MicroPython
blog.miguelgrinberg.com·1d·
Discuss: Hacker News, r/programming
⚙️Systems Programming
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·2d·
Discuss: Lobsters, Hacker News
🔄Concurrency
Our $100M Series B
oxide.computer·2d·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org·11h·
Discuss: Hacker News
📡Protocol Design
Matrix Is Not Safe for EU Data Privacy
wire.com·2d·
Discuss: Hacker News
🔍eBPF
KernelScript eBPF-centric programming language
github.com·4d·
Discuss: Lobsters, Hacker News
🔍eBPF
The tradeoff between human and AI context
softwaredoug.com·2d·
Discuss: Hacker News
🚀JIT Compilation
Rao Reading Algorithm
raohacker.com·3d·
Discuss: Hacker News
🧮Functional Programming
Introduction to XEphem (Motif)
spiff.rit.edu·1d·
Discuss: Hacker News
💻programming
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io·2d·
Discuss: Hacker News, Hacker News, r/programming
🔍eBPF
Loading...Loading more...
AboutBlogChangelogRoadmap