Feeds to Scour
SubscribedAll
Scoured 5433 posts in 15.0 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
TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
arxiv.org·1d
🏃Escape Analysis
Affine Space Types
videocortex.io·2d·
Discuss: Lobsters
🔢Algebraic Data Types
Spec-driven code generation with LLMs
ossature.dev·10h·
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·10h
🛡️seL4
In search of falsehood – using Opus 4.6 to prove False
tristan.st·10h·
Discuss: Hacker News
📐Hoare Logic
Loft – a statically typed language where null propagates instead of crashes
github.com·19h·
Discuss: Hacker News
🎯GADT
Formal Verification: The Ultimate Fitness Function
lesswrong.com·6h
🔍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·5h·
Discuss: Hacker News
➡️Category Theory
Java 26 lands without an LTS badge. Here’s why developers should care anyway.
thenewstack.io·13h
🔄Reproducible Builds
AI enhanecd development: the hard work is still in the requirements!
dev-log.me·20h·
Discuss: r/programming
🧮Lean4
Show HN: Habits, an open-source builder and runtime for automations and apps
news.ycombinator.com·14h·
Discuss: Hacker News
🧮Lean4
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·12h·
Discuss: r/programming
💎Refinement Types
Good Haskell Libraries
jackkelly.name·2d·
Discuss: Lobsters
🏢Jane Street Core
The Emperor's New Embeddings: Obfuscating ML Inputs Doesn't Provide Privacy
usenix.org·10h
🛡️Privacy Engineering

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