Feeds to Scour
SubscribedAll
Scoured 5465 posts in 77.7 ms
Data is Code (2016)
haskellforall.com·4h·
Discuss: Lobsters
🧮Lambda Calculus
Are Dependent Types in Set Theory Feasible?
arxiv.org·3d
🔍Type Inference
The Elegant and Fully Type-safe Module Composable Library.
arc.tsdk.dev·1d·
Discuss: Hacker News, r/node
📦Module Systems
Formal Verification: The Ultimate Fitness Function
lesswrong.com·9h
🔍Formal Verification
From Torsors to Topoi: An Introduction with a View Toward $\Sigma$-Protocols in Cryptography
arxiv.org·1d
🔗Curry-Howard
Which AI model is best for Laravel?
laravel.com·5h·
Discuss: Hacker News
🧮Lean4
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Vector, the Journal of the British APL Association
web.archive.org·13h·
Discuss: Hacker News
🧮Lambda Calculus
Surfacing Hidden Privacy Risks in Code: Lessons from LLM and Retrieval Assisted Detection
usenix.org·13h
🛡️seL4
Loft – a statically typed language where null propagates instead of crashes
github.com·22h·
Discuss: Hacker News
🎯GADT
The Lazy K Programming Language
tromp.github.io·2d·
Discuss: Hacker News
λFunctional Programming
How reactive streams could be rewritten using plain Java APIs
linkedin.com·15h·
Discuss: r/programming
💎Refinement Types
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
Latent Reasoning Sprint #2: Token-Based Signals and Linear Probes
lesswrong.com·5h
📚Automata Learning
celtera/ahsohtoa: Structure-of-array synthesis in C++20
github.com·1h·
Discuss: Hacker News
⚙️Compiler Design
Good Haskell Libraries
jackkelly.name·3d·
Discuss: Lobsters
🏢Jane Street Core
AI enhanecd development: the hard work is still in the requirements!
dev-log.me·23h·
Discuss: r/programming
🧮Lean4
Omnilingual MT: Machine Translation for 1,600 Languages
ai.meta.com·1d·
Discuss: Hacker News
📚Automata Learning
TTal – CLI that turns Claude Code into a multi-agent software factory
news.ycombinator.com·3h·
Discuss: Hacker News
🏗️Dune
Less-relevant results
GitComet: an end-to-end Rust Git GUI built with GPUI, gitoxide, and tree-sitter
i.redd.it·17h
🏗️Dune

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