๐ฟ๏ธ 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
ยท
17h
ยท
Discuss:
Hacker News
๐
Security Patterns
Microsoft Names Threat Actors
learn.microsoft.com
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com
ยท
1d
ยท
Discuss:
Substack
๐
Distributed systems
Perennial Task Just Got More Flexible
arthurdick.com
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Security is a Renewals Problem: How to negotiate in vendor renewals
securityis.substack.com
ยท
23h
ยท
Discuss:
Substack
๐ฎ
Message Queues
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai
ยท
2d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
We migrated our site to Eleventy and increased performance by 24%
etch.co
ยท
2d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
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
Getting off US tech: a guide
disconnect.blog
ยท
2d
ยท
Discuss:
Hacker News
,
r/privacy
๐ฎ
Message Queues
We built a real-time service that handles 20k updates per second
trigger.dev
ยท
3d
ยท
Discuss:
Hacker News
๐
Stream Processing
Comparing Claude Code vs OpenCode (and testing different models)
andreagrandi.it
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co
ยท
5d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Vibe Coding and Robocop
remysharp.com
ยท
1d
ยท
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
Building GoReleaser: from shell script to paid product
carlosbecker.com
ยท
1d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
Re-reading Technopoly
surfingcomplexity.blog
ยท
21h
ยท
Discuss:
Hacker News
๐
Distributed systems
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io
ยท
4d
ยท
Discuss:
Hacker News
๐
Distributed systems
AI whiplash, and Neovim in the age of AI
dlants.me
ยท
3d
ยท
Discuss:
Hacker News
,
r/neovim
๐ป
Programming languages
Writing the Perfect Question (2010)
codeblog.jonskeet.uk
ยท
2d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Loading...
Loading more...
« Page 13
โข
Page 15 »