🐿️ 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
Deferred Unwinder Code Upstreamed For Linux 6.17 On Road To SFrame Support
phoronix.com
·
1d
⚡
Zig
Build an AI Voice Agent for Calls with Open Source
github.com
·
3d
·
Discuss:
Hacker News
🤖
ai
Benchmarking MicroPython
blog.miguelgrinberg.com
·
2d
·
Discuss:
Hacker News
,
r/programming
⚙️
Systems Programming
Atlassian terminates 150 staff with pre-recorded video
cyberdaily.au
·
1d
·
Discuss:
Hacker News
🤖
ai
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
🔄
Concurrency
Long live the nub: ThinkPad designer David Hill spills secrets, designs that never made it
theregister.com
·
10h
·
Discuss:
Hacker News
⚙️
Systems Programming
Our $100M Series B
oxide.computer
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Systems Programming
Thanks, Tamiya-san
hackaday.com
·
8h
🤖
ai
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org
·
21h
·
Discuss:
Hacker News
📡
Protocol Design
Ana Marie Cox on the Shaky Foundation of Substack as a Business
newsletter.anamariecox.com
·
7h
·
Discuss:
Hacker News
⚙
LLVM
Matrix Is Not Safe for EU Data Privacy
wire.com
·
2d
·
Discuss:
Hacker News
🔍
eBPF
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com
·
1d
·
Discuss:
Hacker News
⚙️
Systems Programming
A Hitchhiker's Guide to the AI Bubble
fluxus.io
·
2d
·
Discuss:
Hacker News
🤖
ai
The case for having roommates (even when you can afford to live alone)
supernuclear.substack.com
·
7h
·
Discuss:
Substack
🧮
Functional Programming
The tradeoff between human and AI context
softwaredoug.com
·
3d
·
Discuss:
Hacker News
🚀
JIT Compilation
Rao Reading Algorithm
raohacker.com
·
4d
·
Discuss:
Hacker News
🧮
Functional Programming
Show HN: Pontoon – open-source customer data syncs
github.com
·
1d
·
Discuss:
Hacker News
🔗
P2P Networks
Introduction to XEphem (Motif)
spiff.rit.edu
·
2d
·
Discuss:
Hacker News
💻
programming
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🔍
eBPF
More Intel Driver Maintainer Changes In Linux 6.17
phoronix.com
·
1d
⚙️
Systems Programming
Loading...
Loading more...
« Page 4
•
Page 6 »