🧬 Functional Programming

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

Vibing a Non-Trivial Ghostty Feature
simonwillison.net·2h
🧪Binary Fuzzing
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·1h·
Discuss: Hacker News
🔗Constraint Handling
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·5d
⬆️Lambda Lifting
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·21h·
Discuss: Substack
🧠Intelligence Compression
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
Clojure Data Cookbook – How to manipulate data, analyze, and visualize tasks
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects
AI-Driven Ethical Risk Assessment & Mitigation in Supply Chain Compliance
dev.to·15h·
Discuss: DEV
🔗Supply Chain
Loyca.ai – An open-source, local-first AI assistant with contextual awareness
github.com·1h·
Discuss: Hacker News
🌀Brotli Internals
Refactoring My Own Code: A Tale of Code Crumbles
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Data-Error Scaling Laws in Machine Learning on Combinatorial Mutation-prone Sets: Proteins and Small Molecules
arxiv.org·1d
🧮Kolmogorov Complexity
Technological Approach to Mind Everywhere: A Grounded Framework (pdf, 2022)
frontiersin.org·2d·
Discuss: Hacker News
🔲Cellular Automata
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·4d·
Discuss: Hacker News
🛠Language Design
The Pain Driven Workflow
magistr.me·2d·
Discuss: Hacker News
⚡Incremental Computation
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·2d
🧠Intelligence Compression
Generalized Orders of Magnitude (GOOMs)
github.com·4h·
Discuss: Hacker News
🕸️Tensor Networks
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Stop Worrying and Love the Bomb
bitbytebit.substack.com·5h·
Discuss: Substack
⚙️Build Archaeology
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
⚙️Proof Engineering