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
📐 formal specification
tla+, p-lang, property-based testing, simulations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123749
posts in
1.94
s
DCP-o-matic
• Feature Request for
Verifier
dcpomatic.com
·
23h
🔍
Refinement Types
SecureGen
- Open-Source
TOTP
Authenticator, Password Manager
hackster.io
·
4h
🔍
Refinement Types
Show HN: A
compiled
programming language for LLM-to-LLM
communication
[pdf]
sifsystemsmcrd.com
·
1h
·
Discuss:
Hacker News
🐫
Ocaml
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
22h
·
Discuss:
Hacker News
🔎
Semantic Analysis
The
Boot.dev
Beat. February 2026
blog.boot.dev
·
17h
🔍
Symbolic Execution
Coding
Assistants
trendhunter.com
·
1d
🤖
AI
Watch Live
Agentic
Software
Debug
semiwiki.com
·
3h
🔍
Symbolic Execution
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
22h
·
Discuss:
Hacker News
,
r/programming
🔍
Symbolic Execution
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
1d
🔍
Symbolic Execution
How to Build Reliable
Incremental
Models in
dbt
for Large Datasets: Production Lessons at Scale
pub.towardsai.net
·
14h
🔍
Refinement Types
Turn any
codebase
into interactive, multi-level
documentation
revibe.codes
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
What AI Security Research Looks Like When It Works
aisle.com
·
1d
🔍
Static Analysis
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
The vibe coding
spectrum
: from weekend
hacks
to the dark factory
betterthangood.xyz
·
2d
🔍
Symbolic Execution
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔍
Static Analysis
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
1d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
Respect
\Validation 3.0 (
PHP
validation library) release announcement
github.com
·
1d
·
Discuss:
Hacker News
🔍
Static Analysis
Large Language Models for
Mortals
book
andrewpwheeler.com
·
7h
🔧
PLT
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
1d
🔍
Static Analysis
Platform engineering
internals
: building an Internal Developer Platform (
IDP
) for your backend teams
dev.to
·
1h
·
Discuss:
DEV
🔍
Static Analysis
Loading...
Loading more...
« Page 8
•
Page 10 »
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