๐ฟ๏ธ 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
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Australia's tax office lost billions in a simple scam
rnz.co.nz
ยท
23h
ยท
Discuss:
Hacker News
๐น
Apache Arrow
The Rising Cost of Child and Pet Day Care
marginalrevolution.com
ยท
14h
ยท
Discuss:
Hacker News
๐
Distributed systems
The Beginner's Guide to Subtitling (2001)
armitage.crinkle.net
ยท
1d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The Rise of Minimalist Luxury: Designing with Intention in 2025
ridgewayomar.substack.com
ยท
3h
ยท
Discuss:
Substack
๐๏ธ
Database Internals
From a small startup to a successful job board โ how Lensa was founded
mirrorreview.com
ยท
4h
ยท
Discuss:
Hacker News
๐งฉ
Microservices
Ladybird Proves You Can Just Build a New Web Browser
lunduke.substack.com
ยท
16h
ยท
Discuss:
Substack
๐น
Apache Arrow
RFC 9773: Acme Renewal Information (ARI) Extension
datatracker.ietf.org
ยท
4d
ยท
Discuss:
Lobsters
,
Hacker News
๐น
Apache Arrow
Political-bias benchmark for Grok 4, GPT-4.1, Gemini 2.5 Pro and Claude Opus 4
promptfoo.dev
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Hacker inserts destructive code in Amazon Q as update goes live
csoonline.com
ยท
4d
ยท
Discuss:
Hacker News
๐ป
Programming languages
ramalama/mesa : benchmarks on my hardware and open source vs proprietary
airlied.blogspot.com
ยท
4d
ยท
Discuss:
airlied.blogspot.com
,
Hacker News
๐
Performance Profiling
The Psychology of Deception โ By Caroline Orr Bueno, PhD
weaponizedspaces.substack.com
ยท
3d
ยท
Discuss:
Substack
๐
Security Patterns
Google Cloud's Approach to Change
cloud.google.com
ยท
5d
ยท
Discuss:
Hacker News
๐
Distributed systems
How Stack Overflow is innovating to keep up with AI disruption
leaddev.com
ยท
2d
ยท
Discuss:
Hacker News
๐
Systems Monitoring
Your name is still on it
sanitarium.se
ยท
4d
ยท
Discuss:
Hacker News
๐
Systems Monitoring
Poolside's Journey to AGI
poolside.ai
ยท
4d
ยท
Discuss:
Hacker News
๐
Distributed systems
Show HN: Zbench, RAG evals using chess Elo ratings
github.com
ยท
4d
ยท
Discuss:
Hacker News
๐
Query Engines
Building a Game Engine Solo โ Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.com
ยท
4d
ยท
Discuss:
Hacker News
,
r/programming
๐
Performance Profiling
A lightweight library for portable low-level GPU computation using WebGPU
github.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Exploiting zero days in abandoned hardware
blog.trailofbits.com
ยท
3d
ยท
Discuss:
Hacker News
๐ง
Memory Management
Portsly: Mac Menubar โ What's listening on that port?
github.com
ยท
19h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Loading...
Loading more...
« Page 33
โข
Page 35 »