Category Theory Illustrated – Natural Transformations
abuseofnotation.github.io·2d·
Discuss: Lobsters, Hacker News
🔗Category Theory
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·5h·
Discuss: Lobsters, Hacker News
⚡functional programming
Quasi-convex surface subgroups in some one-relator groups with torsion
arxiv.org·21h
🔗Category Theory
Formal Framework for Quantum Advantage
arxiv.org·4h
💫Effect Systems
Type Theory and Functional Programming (1999) [pdf]
dev.to·1d·
Discuss: DEV
🎯Type Theory
Hilbert: Recursively Building Formal Proofs with Informal Reasoning
machinelearning.apple.com·1d
📜Proof Languages
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·8h
🪆Embedded DSLs
Demystifying Codensity Monads via Duality
arxiv.org·2d
♾️Codata Types
Group Theory Day in Budapest
cameroncounts.wordpress.com·17h
🔗Category Theory
Issue 492
haskellweekly.news·20h·
Discuss: Hacker News
⚡functional programming
Delimited Continuations in Lone Lisp
matheusmoreira.com·2h·
Discuss: Hacker News
🔮Lisp Interpreters
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3h
🔬programming language theory
A Software Analogy
atharvaraykar.com·15h·
Discuss: Hacker News
💫Effect Systems
Breakout Clone: Generating levels via JSON
jetbrains.com·8h·
Discuss: r/godot
📝Rope Editors
Wombat's Book of Nix
mhwombat.codeberg.page·13h·
Discuss: Lobsters, Hacker News
🌱Minimal Lisps
Executable Counterfactuals: Improving LLMs' Causal Reasoning Through Code
arxiv.org·4h
🔍ML Language
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·2d·
Discuss: Lobsters
🗂️Type Indexing
Downcasting type-erased value to different trait objects
reddit.com·18h·
Discuss: r/rust
🦀Rust Macros
idempotency-go – A Generic, Transactional Idempotency Library
github.com·20h·
Discuss: r/golang
🚂Error Propagation
Sguaba: Type-safe spatial math in Rust
youtube.com·3d·
Discuss: Lobsters, Hacker News
🪆Embedded DSLs