Feeds to Scour
SubscribedAll
Scoured 8614 posts in 142.0 ms
Proof-oriented Programming in F*
fstar-lang.org·1d·
Discuss: Lobsters
🔗Curry-Howard
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
arxiv.org·22h
🔤DSLs
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
arxiv.org·22h
🔁Fixed-Point Theory
The missing call-assign operator
kevincox.ca·11h·
Discuss: Hacker News
⚙️Kubernetes Operators
D Programming Language
dlang.org·1d·
Discuss: Hacker News
⚙️Compiler Design
models have some pretty funny attractor states
lesswrong.com·1d
🔲Cellular Automata
My Business as Code
blog.42futures.com·15h·
Discuss: r/programming
🌐ActivityPub
Nixtamal 1.0.0 Released
nixtamal.toast.al·10h·
Discuss: Lobsters, Hacker News
📚Nixpkgs
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·20h·
Discuss: r/programming
🧮SMT Solvers
Proving What's Possible
buttondown.com·2d
🔍Formal Verification
wrkspace-co/Interceptor: AI‑powered i18n compiler: extract strings from code, translate missing keys, and update locale files automatically.
github.com·6h·
Discuss: Hacker News
🏗️Dune
Go - Unit & Integration Testing
linkedin.com·2d·
Discuss: r/programming
🧪Property-Based Testing
[TUHS] bare m4 (was BTL summmer employees)
tuhs.org·2d·
Discuss: Lobsters
🐫Embedded OCaml
Show HN: Rembus – Distributed Messaging (Julia, Python)
cardo-org.github.io·13h·
Discuss: Hacker News
💬Mach Messages
A Conceptual Framework for Exploration Hacking
lesswrong.com·1d
🐫OCaml
If Nobody Reads Code, Why Not Write in Assembly? So Here's Redis in Assembly
aydinnyunus.github.io·7h·
Discuss: Hacker News
🔄Reproducible Builds
Garnix Blog: Forwardly-evaluated build systems
garnix.io·2d·
Discuss: Lobsters, Hacker News
💾Cachix
Dyad 2.0: What Agentic AI means for the Future of Computer Languages - Blog
juliahub.com·1d·
Discuss: Hacker News
🤖Program Synthesis
"Am I the only one still wondering what is the deal with linear types?"
jonmsterling.com·22h·
Discuss: Hacker News, r/compsci
🎨GADTs
Moss: A Linux-compatible Rust async kernel, 3 months on
news.ycombinator.com·12h·
Discuss: Hacker News
🏗️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