🐿️ 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
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
DNF5 Can Auto-Install Missing Commands and Rerun Them Instantly
ostechnix.com
·
8h
·
Discuss:
Hacker News
⚙️
systems programming
DE23-Lite Development Kit with Agilex 3 FPGA Targets Education and Prototyping
linuxgizmos.com
·
4h
·
Discuss:
Hacker News
⚙️
systems programming
If Nix Then Nix
whimsicalcode.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Storming the Gates
domofutu.substack.com
·
2d
·
Discuss:
Substack
🐫
ocaml
Tidewave Web: in-browser coding agent for Rails and Phoenix
tidewave.ai
·
2d
·
Discuss:
Hacker News
,
Hacker News
⚙️
systems programming
Muon Optimizer Explained to a Toddler
yacinemahdid.com
·
2d
·
Discuss:
Hacker News
⚡
query optimization
Meta Poaches Apple AI Executive Even as It Plans Hiring Slowdown
bloomberg.com
·
4h
·
Discuss:
Hacker News
🌐
network programming
2.4 Wi-Fi's and Counting
reloadin.net
·
2d
·
Discuss:
Hacker News
🌐
network programming
From .com to .gov: The internet's inevitable nationalist turn
policyreview.info
·
2d
·
Discuss:
Hacker News
🌐
network programming
OpenAI vs. Microsoft vs. Google: Wiring AI Within Products
docs.google.com
·
20h
·
Discuss:
Hacker News
⚙️
systems programming
Microsoft Excel adds Copilot AI to help fill in spreadsheet cells
theverge.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Ask HN: MCP/API search vs. vector search – what's winning for you?
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🗄️
databases
Why developers question everything
timharek.no
·
3d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
Zed fork focused on privacy and being local-first
github.com
·
1d
·
Discuss:
Hacker News
🔄
compilers
AI is the new user interface for biology
manifold.ai
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Missing External Service Metrics After Istio v1.22 → v1.23 Upgrade
chkk.io
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Economics and AI take off
caseyhandmer.wordpress.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Building Multiplayer Browsers
jimmyliu.net
·
3d
·
Discuss:
Hacker News
🌐
network programming
Black-Scholes: The maths formula linked to the financial crash (2012)
bbc.com
·
1d
·
Discuss:
Hacker News
⚡
query optimization
OpenMower – An Open Source Lawn Mower
github.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 33
•
Page 35 »