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
123625
posts in
857.0
ms
Category
:Hardware CI: Difference between
revisions
wiki.postmarketos.org
·
2d
🔍
Refinement Types
SecureGen
- Open-Source
TOTP
Authenticator, Password Manager
hackster.io
·
10h
🔍
Refinement Types
Show HN: A
compiled
programming language for LLM-to-LLM
communication
[pdf]
sifsystemsmcrd.com
·
8h
·
Discuss:
Hacker News
🐫
Ocaml
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
1d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Coding
Assistants
trendhunter.com
·
1d
🤖
AI
Watch Live
Agentic
Software
Debug
semiwiki.com
·
10h
🔍
Symbolic Execution
The
Boot.dev
Beat. February 2026
blog.boot.dev
·
1d
🔍
Symbolic Execution
What AI Security Research Looks Like When It Works
aisle.com
·
1d
🔍
Static Analysis
The Rise of
Spec
Driven Development
dbreunig.com
·
5d
·
Discuss:
Hacker News
🔍
Static Analysis
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🔍
Symbolic Execution
The Most Popular
Agentic
Open-Source Tools (2026 Edition)
you.com
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
The vibe coding
spectrum
: from weekend
hacks
to the dark factory
betterthangood.xyz
·
2d
🔍
Symbolic Execution
Grumpy
Julio
plays with CLI coding agents
jmmv.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
🤖
AI
How to Build Reliable
Incremental
Models in
dbt
for Large Datasets: Production Lessons at Scale
pub.towardsai.net
·
20h
🔍
Refinement Types
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔍
Static Analysis
farley.org/resume/resume.txt
farley.org
·
7h
🔎
Semantic Analysis
DCP-o-matic
• (Feature) Request for
Verifier
dcpomatic.com
·
15h
💻
Claude
Mastering
Authentication
in MCP: An AI Engineer’s Comprehensive Guide
pub.towardsai.net
·
2d
🔍
Symbolic Execution
Show HN:
OCR
Arena – A
playground
for
OCR
models
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🔎
Semantic Analysis
The Next Great Engineering
Frontier
: The Hidden
Complexity
of Physical AI
hackernoon.com
·
1d
🤖
AI
Loading...
Loading more...
« Page 12
•
Page 14 »
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