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
121871
posts in
1.24
s
Understanding
RDTSC
Timing
Checks The Technical Reality of VM Gaming
retroarchemu.gitlab.io
·
2h
🔍
Symbolic Execution
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
2d
🔍
Refinement Types
Markdown.exe
idiallo.com
·
4h
🔎
Semantic Analysis
CodeSOD
:
Cover
Up
thedailywtf.com
·
1d
🔍
Static Analysis
Show HN: Bitcoin,
GEB
, and Bach's
fugues
share the same structural move
falsework.dev
·
15h
·
Discuss:
Hacker News
🔍
Static Analysis
Bitsum
. Real-time
CPU
Optimization and Automation
bitsum.com
·
8h
🔍
Symbolic Execution
PR
intent
and context, not AI code review
axiomo.vercel.app
·
17h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Show HN: 0x – A language that
compiles
to React, Vue, and
Svelte
(80% less code)
0xlang.com
·
1d
·
Discuss:
Hacker News
💻
Claude
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Cadence
Unveils
ChipStack
AI Agent for Agentic Chip Design and Verification
eetimes.com
·
1d
🤖
AI
Programming
Aphorisms
matklad.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔎
Semantic Analysis
Case Studies on how to solve
product/landing/launch/GTM
problems (
possibleProblem
->Solution IF-THEN structure)
docs.google.com
·
17h
·
Discuss:
r/SideProject
🔍
Symbolic Execution
Mojo
roadmap
docs.modular.com
·
2d
🔍
Refinement Types
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
We
recreated
the Anthropic C
compiler
agent
vizops.ai
·
3d
·
Discuss:
Hacker News
🔍
Symbolic Execution
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
2d
·
Discuss:
Hacker News
🔍
Static Analysis
Stress-Testing Alignment
Audits
With Prompt-Level Strategic
Deception
lesswrong.com
·
1d
🔍
Symbolic Execution
Persistent
development
environments
for AI coding agents
wallfacer.ai
·
14h
·
Discuss:
Lobsters
,
Hacker News
🔍
Symbolic Execution
Optimizing the
MongoDB
Java Driver: How minor
optimizations
led to macro gains
linkedin.com
·
10h
·
Discuss:
DEV
🔍
Static Analysis
Building a Reliable AI Analytics Agent with
BigQuery
, a Semantic Layer, and Google
ADK
pub.towardsai.net
·
1d
🔎
Semantic Analysis
Loading...
Loading more...
« Page 9
•
Page 11 »
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