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
24249
posts in
1.18
s
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
Differential
Logic
• 2
inquiryintoinquiry.com
·
4d
⚖️
Constraint Logic
Everything I know about good system design
seangoedecke.com
·
1d
🗄️
Database Internals
iGRPO
:
Self-Feedback-Driven
LLM Reasoning
arxiv.org
·
1d
⚔️
Lean Tactics
Faster
AI Training
Unlocked
With New System For Massive Language Models
quantumzeitgeist.com
·
1d
🚀
SIMD Text Processing
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
Heuristics
for lab
robotics
, and where its future may go
owlposting.com
·
1d
·
Discuss:
Hacker News
🤖
Tape Automation
DFlash
: Block Diffusion for Flash
Speculative
Decoding
z-lab.ai
·
1d
·
Discuss:
Hacker News
⚡
LZ4 Streaming
Manufacturing
QMS
Software
samrian.com
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Sid
Meier
's System for Real-Time Music Composition and Synthesis
patents.google.com
·
3d
·
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
The cost of a
function
call
lemire.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔗
Concatenative Programming
Show HN: Find automation ideas and
creators
by
sharing
your business problem
humation.ai
·
1d
·
Discuss:
Hacker News
📡
RSS Automation
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
1d
·
Discuss:
Hacker News
⚙️
Proof Engineering
I Let AI Agents Train Their Own Models. Here's What Actually
Happened
.
hamzamostafa.com
·
2d
·
Discuss:
Hacker News
⚡
Proof Automation
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
3d
·
Discuss:
Hacker News
🎯
Performance Proofs
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