🐿️ 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
Face age and ID checks? Using the internet in Australia is about to fundamentally change
theguardian.com
·
13h
·
Discuss:
Hacker News
🔐
Security Patterns
API Security in IAM: Architecture, Best Practices, and Threat Mitigation
guptadeepak.com
·
2d
·
Discuss:
Hacker News
🔐
Security Patterns
Microsoft Names Threat Actors
learn.microsoft.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Perennial Task Just Got More Flexible
arthurdick.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com
·
1d
·
Discuss:
Substack
🌐
Distributed systems
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com
·
15h
·
Discuss:
Hacker News
🔐
Security Patterns
API Auth Is Deeper Than It Looks
nango.dev
·
3d
·
Discuss:
Hacker News
🔐
Security Patterns
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com
·
18h
·
Discuss:
Substack
📮
Message Queues
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai
·
2d
·
Discuss:
Hacker News
🏹
Apache Arrow
Reading Abundance from China
afraw.substack.com
·
18h
·
Discuss:
Substack
🌐
Distributed systems
Getting past LLM "day one" problem with MIRIX
fujimon.com
·
2d
·
Discuss:
Hacker News
🗃️
Database Internals
Parsing Protobuf Like Never Before
mcyoung.xyz
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
Programming languages
Getting off US tech: a guide
disconnect.blog
·
1d
·
Discuss:
Hacker News
,
r/privacy
📮
Message Queues
We built a real-time service that handles 20k updates per second
trigger.dev
·
2d
·
Discuss:
Hacker News
🌊
Stream Processing
Async I/O on Linux and durability
blog.canoozie.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🗃️
Database Internals
Show HN: Medici, a minimal, open-source, dead-simple Splitwise alternative
github.com
·
1d
·
Discuss:
Hacker News
🧩
Microservices
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co
·
4d
·
Discuss:
Hacker News
💻
Programming languages
We built AI dev agent that turns Jira tickets into ready PRs – no human needed
deepsense.ai
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Vibe Coding and Robocop
remysharp.com
·
23h
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 12
•
Page 14 »