🧬 Functional Programming

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

Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·23h
📝Concrete Syntax
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
The Generativity Pattern in Rust
arhan.sh·18h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Pragmatism in Programming Proverbs
gingerbill.org·3h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Extensions and Shadows (9)
sites.psu.edu·22h
✨Effect Handlers
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·5d
💻Programming languages
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·22h·
Discuss: DEV
🚚Data Migration
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Issue 483
haskellweekly.news·5d
🔗Functional Compilers
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Optimal Scheduling Algorithms for LLM Inference: Theory and Practice
arxiv.org·8h
💻Local LLMs
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
Symbolic-numeric programming in scientific computing
dspace.mit.edu·6d
🦀Rust Macros
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·4d·
Discuss: Hacker News
💧Liquid Types
Software Internals Book Club
eatonphil.com·6h
⚙️Operating System Design