Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
Interest not found: Cargo
Close
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
🎯 Dependent Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
25288
posts in
493.5
ms
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
2d
·
Discuss:
DEV
⚔️
Lean Tactics
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
3d
·
Discuss:
DEV
⚔️
Lean Tactics
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
22h
🔗
Functional Compilers
Is Reasoning
Capability
Enough
for Safety in Long-Context Language Models?
arxiv.org
·
22h
🌳
Context free grammars
Private Data Space Model
privatedata.space
·
5d
✅
Format Verification
Let
Lambda
Come Over
yamlscript.org
·
3d
⬆️
Lambda Lifting
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
4d
🤝
Consensus Protocols
the
mathematics
of
compression
in database systems
bitsxpages.com
·
1d
·
Discuss:
Hacker News
🌊
Streaming Compression
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
1d
·
Discuss:
Hacker News
🌐
DNS Security
Oatmeal
-
Constraint
propagation for fun
eli.li
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
Z3 Solver
Your
VCL
App: 4x to 11x Faster Math Performance with
Elements
blogs.remobjects.com
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Jim
Roskind
on C
Ambiguity
pdos.csail.mit.edu
·
5d
·
Discuss:
Hacker News
🔍
Z3 Parsing
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
2d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
The future of coding agents is
vertical
integration (and why
ACP
matters)
tidewave.ai
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
Jokes
on You AI: Turning the
Tables
dev-log.me
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: Claude has a
compiler
, I have
SlopScript
slopscript.netlify.app
·
2d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Pre-compiled
semantic JSON for AI agent web
consumption
sdfprotocol.org
·
1d
·
Discuss:
Hacker News
📋
Document Grammar
The control
layer
for AI
blog.dottxt.ai
·
4d
·
Discuss:
Hacker News
🔒
WASM Capabilities
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
⚖️
Hoare Logic
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🐚
Shell Monads
Loading...
Loading more...
« Page 4
•
Page 6 »
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