Feeds to Scour
SubscribedAll
Scoured 8610 posts in 91.9 ms
New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
arxiv.org·1d
🧮SMT Solvers
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·17h·
Discuss: Hacker News
🧮Z3 Solver
On the Expressive Power of GNNs for Boolean Satisfiability
arxiv.org·3d
🧮SMT Solvers
keplertech/kepler-formal: LEC - Logic Equivalence Checking - Formal Verification
github.com·16h·
Discuss: Hacker News
🔍Formal Verification
A Conceptual Framework for Exploration Hacking
lesswrong.com·1d
🐫OCaml
Show HN: Solving Sudoku reasoning via Energy Geometric models
davisgeometric.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·21h·
Discuss: r/programming
🧮SMT Solvers
Proof-oriented Programming in F*
fstar-lang.org·1d·
Discuss: Lobsters
🔗Curry-Howard
AI uncovers solutions to Erdős problems, moving closer to transforming math
scientificamerican.com
·1d·
Discuss: Hacker News
🎯Complexity Classes
Proving What's Possible
buttondown.com·2d
🔍Formal Verification
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·2d·
Discuss: Lobsters
🐫Embedded OCaml
LangChain Agent Testing Guide Tool (Free)
news.ycombinator.com·11h·
Discuss: Hacker News
🧪Property-Based Testing
models have some pretty funny attractor states
lesswrong.com·1d
🔲Cellular Automata
AgentRE-Bench: Can LLM Agents Reverse Engineer Malware?
agentre-bench.ai·46m·
Discuss: Hacker News
🛡️seL4
levlai/chiralipy: pure python comp chem
github.com·16h·
Discuss: Hacker News
🐫OCaml
Compare up to 5 LLMs side-by-side, then fuse the best answers
llmcode.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
"Am I the only one still wondering what is the deal with linear types?"
jonmsterling.com·23h·
Discuss: Hacker News, r/compsci
🎨GADTs
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think
deepmind.google·2d·
Discuss: Hacker News
🧠Automated Reasoning
BalatroBench Benchmarks Large Language Models Playing Balatro
balatrobench.com·16h·
Discuss: Hacker News
🐫OCaml
The strongest encryption is just noise
hypertextgarden.com·13h·
Discuss: Hacker News
🔒Protocol Verification

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