Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧪 Testing
simulation, fuzzing, property-based testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2542
posts in
46.2
ms
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
3d
·
Discuss:
Lobsters
,
Hacker News
📊
Type systems
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
2d
·
Discuss:
Hacker News
📊
Type systems
Turning Coding
Tasks
into Feedback
Loops
feipeng.substack.com
·
2d
·
Discuss:
Substack
📊
Type systems
CodeShield
AI – Open-source security scanner (24% cheaper than
GitGuardian
)
lydiamorgan85.github.io
·
3d
·
Discuss:
Hacker News
👐
Open source software
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
2d
·
Discuss:
Hacker News
📊
Type systems
Vibe
Coding Design Study:
Tlparse
blog.ezyang.com
·
4d
·
Discuss:
Hacker News
👐
Open source software
Playwriter
, extension to control Chrome with agentic
CLIs
grokipedia.com
·
3d
·
Discuss:
Hacker News
🌐
Web
Enforcing
rules and
managing
expectations for AI agents with CI and code review
rubyonai.com
·
4d
·
Discuss:
Hacker News
🦀
Programming languages
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🦀
Programming languages
The Missing
Layer
yagmin.com
·
3d
·
Discuss:
Hacker News
📊
Type systems
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📊
Type systems
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
3d
·
Discuss:
Hacker News
📊
Type systems
The
Agentic
Trust Framework: Zero Trust
Governance
for AI Agents
cloudsecurityalliance.org
·
3d
·
Discuss:
Hacker News
🌐
Web
The
Unsettling
Rise of AI Real-Estate
Slop
theatlantic.com
·
3d
·
Discuss:
Hacker News
🌐
Web
"Five-Point
Haskell
": Total
Depravity
(and Defensive Typing)
blog.jle.im
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
📊
Type systems
Your CLI's
UX
is
probably
broken for AI agents
speakeasy.com
·
3d
·
Discuss:
Hacker News
🦀
Programming languages
BytePeaks/valiant
:
Valiant
- Open-core Change Impact Radar for DevOps & SRE teams
github.com
·
2d
·
Discuss:
Hacker News
👐
Open source software
Detecting
backdoored
language models at scale
microsoft.com
·
3d
·
Discuss:
Hacker News
📊
Type systems
Common Sense
Refactoring
of a
Messy
React Component
alexkondov.com
·
3d
·
Discuss:
Hacker News
🦀
Programming languages
How I Program with LLMs
blog.wesleyabbey.io
·
3d
·
Discuss:
Hacker News
📊
Type systems
Loading...
Loading more...
« Page 3
•
Page 5 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help