Show HN: List of Clojure-Like projects
github.com·3d·
Discuss: Hacker News
🔗Functional Compilers
Challenges of Pseudocode Expansion
funcall.blogspot.com·15h·
Discuss: www.blogger.com
🔗Lisp
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d
🔗Functional Compilers
Automating Boundary Filling in Cubical Type Theories
arxiv.org·18h
🔶Cubical Type Theory
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·22h
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·9h
📝Concrete Syntax
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·6h·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·18h
💧Liquid Types
A Gentle Introduction To Fortran
hackaday.com·5h·
Discuss: Lobsters, Hacker News
💧Liquid Types
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
In Support Of Shitty Types
lucumr.pocoo.org·4h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·11h
⚗️Algebraic Coding
Issue 483
haskellweekly.news·4d
🔗Functional Compilers
Come Try Out Piglet
arnebrasseur.net·8h·
Discuss: Hacker News
🐚Bash Monads
Introductory Computer Science and Software Engineering Topics
albertyw.com·20h
🛠Language Design
The Generativity Pattern in Rust
arhan.sh·4h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·14h·
Discuss: Hacker News
🔒Linear Types
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·2h·
Discuss: DEV
🦀Rust Macros