Feeds to Scour
SubscribedAll
Scoured 5430 posts in 15.8 ms
Are Dependent Types in Set Theory Feasible?
arxiv.org·3d
🔠Type-Level Programming
Data is Code (2016)
haskellforall.com·8h·
Discuss: Lobsters
🧮Lambda Calculus
Computability of the Hahn-Banach Theorem Revisited
arxiv.org·1d
🔢Computability Theory
Infinitely many primes end in a 7
hidden-phenomena.com·4h·
Discuss: Hacker News
🔗Curry-Howard
Formal Verification: The Ultimate Fitness Function
lesswrong.com·12h
🔍Formal Verification
How reactive streams could be rewritten using plain Java APIs
linkedin.com·18h·
Discuss: r/programming
💎Refinement Types
workflow loops for Claude Code, Codex, and OpenCode
rjcorwin.github.io·9h·
Discuss: Hacker News
🔧ppx
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
A comprehensive database of categories and their properties
catdat.app·11h·
Discuss: Hacker News
➡️Category Theory
Less-relevant results
Demystifying and Improving Lazy Promotion in Cache Eviction
pdl.cmu.edu·2d·
Discuss: r/programming
⚡Process Calculi
The Shape of Inequalities
andreinc.net·44m·
Discuss: Lobsters
🔢Algebraic Data Types
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Backproto: Backpressure Economics for Decentralized Networks
backproto.io·23h·
Discuss: Hacker News
🩹Self-Healing Systems
The Abstraction Ratchet
write.as·1d·
Discuss: Hacker News
🔬Static Analysis
Modular 18650 Packs, No Spot Welding Required
hackaday.com·49m
🖥️KVM
The Talk Show: ‘The Pogue Feature’
daringfireball.net·13h
📺Vintage Apple
aeon/docs/ebooks/145-log-rolling-pipelined-prefill/companion-tests/formal/THEOREM_LEDGER.md at main
github.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Which AI model is best for Laravel?
laravel.com·8h·
Discuss: Hacker News
🧮Lean4
Liquid Glass and long-standing bugs push Apple’s grades down in visual accessibility report card
9to5mac.com·14h
🍎Apple
Study: Consumers Show No Impairment in Their Next-Day Driving Performance Despite Residual THC Blood Levels
norml.org·7h
🔧Microcontrollers

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