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
🐫 OCaml
MirageOS, dune, functional
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8127
posts in
125.6
ms
Proving
What's Possible
buttondown.com
·
1d
🔍
Formal Verification
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
1d
📝
Term Rewriting
ModelWisdom
: An Integrated Toolkit for
TLA
+ Model Visualization, Digest and Repair
arxiv.org
·
7h
🔍
Formal Verification
Claude
Opus
4.6
Escalates
Things Quickly
lesswrong.com
·
1d
🔬
Unikernels
AI #155: Welcome to
Recursive
Self-Improvement
lesswrong.com
·
20h
🧮
SMT Solvers
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
Training A Small Language Model To
Outperform
Frontier Models On
CRM-Arena
neurometric.substack.com
·
1d
·
Discuss:
Substack
🔀
Brzozowski Derivatives
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
1d
·
Discuss:
Hacker News
🧮
SMT Solvers
Russ
Cox on: What should we do with
CLs
generated by AI?
groups.google.com
·
50m
·
Discuss:
Hacker News
🤖
Program Synthesis
OpenAI
sidesteps
Nvidia with
unusually
fast coding model on plate-sized chips
arstechnica.com
·
13h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Defining
Technologies
of Our Time: AI
aspendigital.org
·
16h
·
Discuss:
Hacker News
🧠
Automated Reasoning
OpenEnv
in Practice:
Evaluating
Tool-Using Agents in Real-World Environments
huggingface.co
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
4d
·
Discuss:
Hacker News
λ
Functional Programming
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Issue 638
datascienceweekly.substack.com
·
16h
·
Discuss:
Substack
⏱️
Computational Complexity
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
🔍
Formal Verification
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Cyber
Model
Arena
wiz.io
·
20h
·
Discuss:
Hacker News
🔀
Brzozowski Derivatives
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
2d
·
Discuss:
Hacker News
🏃
Escape Analysis
Sign up or log in to see more results
Sign Up
Login
« Page 2
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