➡️ Arrows

Computation Builders, Proc Notation, Generalized Functions, Haskell

Feeds to Scour
SubscribedAll
Scoured 82651 posts in 431.6 ms
Method chains allow a series of functions
dev.to·10h·
Discuss: DEV
😴Lazy Evaluation
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
arxiv.org·9h
🔗Parser Combinators
A Quick Introduction to OxCaml
noelwelsh.com·2h·
Discuss: Hacker News
🔄Common Lisp
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
λHaskell
What Color is Your Function?
journal.stuffwithstuff.com·1d
🎓Scheme
The path to noncommutative function theory: a research story
noncommutativeanalysis.wordpress.com·1d
🌲Persistent Data Structures
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·17h·
Discuss: Substack
😴Lazy Evaluation
qcc4cp/qcc: Source code for the book "Quantum Computing for Programmers", Cambridge University Press
github.com·6h·
Discuss: Hacker News
🔮Lisp Macros
I Am Not a Functional Programmer
blog.daniel-beskin.com·1h·
Discuss: r/programming
🚫Branch-Free Programming
Learning Swift - Generics
troz.net·1d
λHaskell
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·19h·
Discuss: Lobsters, Hacker News, r/golang
🔮Lisp Macros
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
arxiv.org·1d
🔗Parser Combinators
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
🔵Clojure
How Lisp Became God's Own Programming Language
twobithistory.org·11h
🔮Lisp Macros
Title: Show HN: SymDerive – A functional, stateless symbolic math library
news.ycombinator.com·3d·
Discuss: Hacker News
🚫Branch-Free Programming
🏔️ Beginner-Friendly Guide 'Trionic Array I' - Problem 3637 (C++, Python, JavaScript)
dev.to·1d·
Discuss: DEV
📦Aeson
Some Libraries
funcall.blogspot.com·2d·
Discuss: Blogger
🔮Lisp Macros
De-mystifying Agentic AI: Building a Minimal Agent Engine from Scratch with Clojure
serefayar.substack.com·1d·
Discuss: Substack
🔵Clojure
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·1d·
Discuss: Lobsters, Hacker News, r/programming
🚫Branch-Free Programming
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🚫Branch-Free Programming

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