Feeds to Scour
SubscribedAll
Scoured 9691 posts in 612.3 ms
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
arxiv.org·5h
🧮SMT Solvers
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·14h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
Learning to Repair Lean Proofs from Compiler Feedback
arxiv.org·5h
🧮Z3
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🎮Verification Games
Preview
Report Post
The Thinking Machines: How AI Learned to Reason Step-by-Step
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Preview
Report Post
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
🧮Lambda Calculus
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·6h
🔢Algebraic Data Types
Preview
Report Post
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·1h·
Discuss: Hacker News
🧮Z3
Preview
Report Post
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·3h·
Discuss: r/devops, r/node, r/programming, r/typescript
🧪Property-Based Testing
Preview
Report Post
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·6h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
➡️Category Theory
Preview
Report Post
Multi-layer defense for LLM agents inspired by immune systems (seeking critique)
gist.github.com·1h·
Discuss: Hacker News
🛡️seL4
Preview
Report Post
I built a free ML practice platform - would love your feedback [P]
reddit.com·2h·
Discuss: r/MachineLearning
🧮Z3 Solver
Preview
Report Post
New AI Quiz Generator
learvo.com·16h·
Discuss: Hacker News
🎮Verification Games
Preview
Report Post
Automatic programming
antirez.com·4d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
Preview
Report Post
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🔍CBMC
Preview
Report Post
Beyond Giant Models: Why AI Orchestration Is the New Architecture
kdnuggets.com·17h
🧠Automated Reasoning
Preview
Report Post
Writing Textbooks for Oneself
dkislyuk.com·11h·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
Simple vanilla restaurant booking system
vanillife.substack.com·2h·
Discuss: Substack
🔒Protocol Verification
Preview
Report Post
Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy
github.com·18h·
Discuss: Hacker News
🔀OCaml Multicore
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help