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
🧮 Theorem Proving
Automated Reasoning, SMT Solvers, Logic Programming, Isabelle
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24197
posts in
1.41
s
Generative
Type
experiments
brendandawes.com
·
1d
✨
Effect Handlers
Trisecting
an
Angle
, an Interesting Historical Comparison and a Mystery
pballew.blogspot.com
·
1d
·
Discuss:
Blogger
🔐
Cryptographic Archaeology
Microsoft
boffins
figured
out how to break LLM safety guardrails with one simple prompt
theregister.com
·
1d
🧪
Protocol Fuzzing
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
💧
Liquid Types
ABC-Bench
and the Real Test for AI
Engineers
: Can It Run End-to-End?
hackernoon.com
·
2d
🔍
Concolic Testing
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
iGRPO
:
Self-Feedback-Driven
LLM Reasoning
arxiv.org
·
1d
⚔️
Lean Tactics
Learning to
Self-Verify
Makes Language Models Better
Reasoners
arxiv.org
·
1d
🔍
Z3 Parsing
What's up with
Haskell
's do
notation
?
slightknack.dev
·
1d
🧬
Functional Programming
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2d
·
Discuss:
DEV
✅
Format Verification
Show HN:
ContinualCode
– a coding agent that updates its
weights
from feedback
sdan.github.io
·
1d
·
Discuss:
Hacker News
✨
Effect Handlers
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
4d
·
Discuss:
Hacker News
🎛️
Audio Synthesis
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
1d
·
Discuss:
Hacker News
⚙️
Operating System Design
LLMs Are Prediction
Machines
kaelandt.github.io
·
2d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Show HN: Parametric
Hubris
– Beating GPT-5 on
SimpleQA
with forced retrieval
dev.thelastrag.de
·
2d
·
Discuss:
Hacker News
🔍
BitFunnel
Show HN:
Molinar
– Open-source alternative to ai.com (
AGPL-3.0
)
business.molinar.ai
·
2d
·
Discuss:
Hacker News
🌀
Brotli Internals
Show HN: Find automation ideas and
creators
by
sharing
your business problem
humation.ai
·
1d
·
Discuss:
Hacker News
📡
RSS Automation
The Potential of
RLMs
dbreunig.com
·
1d
·
Discuss:
Hacker News
📏
Linear Logic
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
3d
·
Discuss:
Hacker News
,
r/programming
⚡
Effectful Programming
Loading...
Loading more...
« Page 5
•
Page 7 »
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