🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Umwelt
en.wikipedia.org·1d
⚙️systems theory
"i like making things—" no. you like things.
kivikakk.ee·1d
📏Code Metrics
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.org·1d
💻Local LLMs
Does Go have types?
youtube.com·16h·
Discuss: r/golang
🔒Linear Types
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·15h·
Discuss: Hacker News
🌐Protocol Synthesis
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🔲Cellular Automata
Neuro-Symbolic AI
en.wikipedia.org·14h·
Discuss: Hacker News
🔲Cellular Automata
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Macros 2.0 is one of the most exciting Rust features I'm looking forward to
reddit.com·7h·
Discuss: r/rust
🦀Rust Macros
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚡Dependent Rust
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
How the Rise of Tabular Foundation Models Is Reshaping Data Science
towardsdatascience.com·1d
🧠Machine Learning
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🎧Learned Audio