๐ฟ๏ธ 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
Evolution Mail Users Easily Trackable Part 2
grepular.com
ยท
2d
ยท
Discuss:
Hacker News
๐ฎ
Message Queues
These are our favorite cyber books on hacking, espionage, crypto, surveillance, and more
techcrunch.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Security Patterns
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
Feedback is broken. I'm building a solution
feedplain.com
ยท
19h
ยท
Discuss:
Hacker News
๐
Systems Monitoring
Outsmarting Akamai's Bot Detection with JA3Proxy
hackernoon.com
ยท
2d
๐
Security Patterns
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai
ยท
3d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
We migrated our site to Eleventy and increased performance by 24%
etch.co
ยท
2d
ยท
Discuss:
Hacker News
๐น
Apache Arrow
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
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
ยท
1d
ยท
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
The AI Ghost in the Machine Fired Him. Then It Gave Him a New Life
gizmodo.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Distributed systems
Moving from an orchestration-heavy to leadership-heavy management role.
lethain.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Query Engines
Writing the Perfect Question (2010)
codeblog.jonskeet.uk
ยท
3d
ยท
Discuss:
Hacker News
๐ป
Programming languages
Loading...
Loading more...
« Page 14
โข
Page 16 »