🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Methods
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 3
•
Page 5 »