🔗 Lisp

Functional Programming, S-expressions, Code as Data, Recursion

Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🦀Rust Macros
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·3h
🔄Finite State Machines
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·17h
📝Concrete Syntax
lydiahallie/javascript-questions
github.com·2d
🔗Concatenative Programming
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Come Try Out Piglet
arnebrasseur.net·17h·
Discuss: Hacker News
🐚Bash Monads
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·24m
✅Archive Validation
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·22h·
Discuss: Hacker News
🔒Linear Types
PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·3h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·20h
⚗️Algebraic Coding
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Show HN: List of Clojure-Like projects
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects
Extensions and Shadows (9)
sites.psu.edu·17h
✨Effect Handlers
Machine Learning Fundamentals: machine learning with python
dev.to·14h·
Discuss: DEV
🧠Machine Learning
A Gentle Introduction To Fortran
hackaday.com·14h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design