Feeds to Scour
SubscribedAll
Scoured 5467 posts in 18.9 ms
The Elegant and Fully Type-safe Module Composable Library.
arc.tsdk.dev·1d·
Discuss: Hacker News, r/node
🏗️Dune
Functorial Neural Architectures from Higher Inductive Types
arxiv.org·1d
➡️Category Theory
pantoniou/libfyaml: Fully feature complete YAML parser and emitter, supporting the latest YAML spec and passing the full YAML testsuite.
github.com·1d·
Discuss: Hacker News
📝Nix Language
Data is Code (2016)
haskellforall.com·3h·
Discuss: Lobsters
🧮Lambda Calculus
TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
arxiv.org·1d
🏃Escape Analysis
Which AI model is best for Laravel?
laravel.com·4h·
Discuss: Hacker News
🧮Lean4
Spec-driven code generation with LLMs
ossature.dev·12h·
Discuss: Hacker News
⚙️Compiler Design
🦀 Statum: Zero-Boilerplate Compile-Time State Machines in Rust
reddit.com·1d·
Discuss: r/rust
🏗️Dune
Surfacing Hidden Privacy Risks in Code: Lessons from LLM and Retrieval Assisted Detection
usenix.org·11h
🛡️seL4
TTal – CLI that turns Claude Code into a multi-agent software factory
news.ycombinator.com·1h·
Discuss: Hacker News
🏗️Dune
Formal Verification: The Ultimate Fitness Function
lesswrong.com·8h
🔍Formal Verification
A Sane Directory Structure for Software Projects
trop.in·3d·
Discuss: Lobsters
🏗️Dune
A comprehensive database of categories and their properties
catdat.app·7h·
Discuss: Hacker News
➡️Category Theory
Java 26 lands without an LTS badge. Here’s why developers should care anyway.
thenewstack.io·14h
🔄Reproducible Builds
Loft – a statically typed language where null propagates instead of crashes
github.com·21h·
Discuss: Hacker News
🎯GADT
AI enhanecd development: the hard work is still in the requirements!
dev-log.me·22h·
Discuss: r/programming
🧮Lean4
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
Omnilingual MT: Machine Translation for 1,600 Languages
ai.meta.com·1d·
Discuss: Hacker News
📚Automata Learning
How reactive streams could be rewritten using plain Java APIs
linkedin.com·14h·
Discuss: r/programming
💎Refinement Types
Dependencies of 14341 crates on crates.io
i.redd.it·7h·
Discuss: r/rust
📦OPAM

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