🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

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...
AboutBlogChangelogRoadmap