Feeds to Scour
SubscribedAll
Scoured 19508 posts in 174.8 ms
Functional Programming Bits in Python
martynassubonis.substack.com·2d·
Discuss: Substack, r/programming, r/webdev
🧬Functional Programming
When Single Answer Is Not Enough: Rethinking Single-Step Retrosynthesis Benchmarks for LLMs
arxiv.org·15h
🏗️Compiler Archaeology
A Quick Introduction to OxCaml
noelwelsh.com·9h·
Discuss: Hacker News
💧Liquid Types
Logic for Programmers New Release and Next Steps
buttondown.com·6h
⚙️Proof Engineering
Clean Coder: The Dark Path (2017)
blog.cleancoder.com·4h·
Discuss: Hacker News
📏Code Metrics
Layered Modal ML: Syntax and Full Abstraction
arxiv.org·15h
🌳Context free grammars
Pascal-J/type-system-j: adds an optional type system to J language
github.com·1d·
Discuss: Lobsters
🎯Gradual Typing
Beta Release: Predicated Recursive Descent for Rust
wareya.wordpress.com·3d·
Discuss: Hacker News
🦀Rust Macros
IBM/fp-go: functional programming library for golang
github.com·4d
🧬Functional Programming
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
🧠Lisp Dialects
Some Libraries
funcall.blogspot.com·2d·
Discuss: Blogger
🧠Lisp Dialects
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
λLambda Formalization
“Parallelizing MCMC Across the Sequence Length”: This one is really cool.
statmodeling.stat.columbia.edu·1d
⚡Parallel Computing
Programming Language Implementation: In Theory, We Understand. In Practice, We Wish We Would.
stefan-marr.de·2d
🛠Language Design
Calling Lean Functions As Python Functions
philipzucker.com·2d
⚔️Lean Tactics
Sampling the Oxford CS Library
blog.computationalcomplexity.org·10h·
Discuss: blog.computationalcomplexity.org
⛏️Proof Mining
How I Program with LLMs
blog.wesleyabbey.io·7h·
Discuss: Hacker News
⚔️Lean Tactics
Differential Logic • Overview
inquiryintoinquiry.com·1d
📏Linear Logic
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·1d·
Discuss: Substack
🦀Rust Borrowing
How Lisp Became God's Own Programming Language
twobithistory.org·17h
🔗Lisp

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