Feeds to Scour
SubscribedAll
Scoured 8697 posts in 90.2 ms
Generalized Decidability via Brouwer Trees
arxiv.org·1d
🧮Lambda Calculus
The prehistory of generative grammar and Chomsky’s debt to Emil Post
benjamins.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Beyond Bilinear Complexity: What Works and What Breaks with Many Modes?
arxiv.org·16h
🔀OCaml Multicore
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·15h·
Discuss: r/programming
🧮SMT Solvers
We Die Because it's a Computational Necessity
lesswrong.com·8h
🔲Cellular Automata
Proving What's Possible
buttondown.com·2d
🔍Formal Verification
Proof-oriented Programming in F*
fstar-lang.org·1d·
Discuss: Lobsters
🔗Curry-Howard
"Am I the only one still wondering what is the deal with linear types?"
jonmsterling.com·17h·
Discuss: Hacker News, r/compsci
🎨GADTs
AI uncovers solutions to Erdős problems, moving closer to transforming math
scientificamerican.com
·23h·
Discuss: Hacker News
🎯Complexity Classes
(Re)Discovering Natural Laws
lesswrong.com·23h
🎯Hindley-Milner
Show HN: Solving Sudoku reasoning via Energy Geometric models
davisgeometric.com·1d·
Discuss: Hacker News
🧮SMT Solvers
Something Big Is (Not) Happening
aricolaprete.com·1h·
Discuss: Hacker News
🔁Fixed-Point Theory
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·2d·
Discuss: Lobsters
🐫Embedded OCaml
A Proof of the Collatz Conjecture
github.com·1d·
Discuss: Hacker News
🎯Fixed Point Theory
Category Theory, AI and Jobs
deadneurons.substack.com·7h·
Discuss: Substack
➡️Category Theory
The strongest encryption is just noise
hypertextgarden.com·7h·
Discuss: Hacker News
🔒Protocol Verification
Part 1 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
The Fourth Wave of Computing
lucibrowser.com·11h·
Discuss: Hacker News
🐫Embedded OCaml
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think
deepmind.google·2d·
Discuss: Hacker News
🧠Automated Reasoning
The Redundancy Paradox
mihirdeshpande.com·1d·
Discuss: Hacker News
👁️System Observability

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