X Design Notes: Pattern Matching II
blog.polybdenum.comยท8h
๐ŸŽฏPattern Matching
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.comยท6h
๐ŸชOCaml
Understanding Mutability in JavaScript
dev.toยท3hยท
Discuss: DEV
๐ŸชžHomoiconicity
The Axiom of Choice
youtube.comยท5h
๐Ÿ”ถLattice Theory
Polymorphism for Beginners
roscidus.comยท1dยท
Discuss: Hacker News
๐ŸŽญPolymorphic Variants
็ฌฌๅ››: A Japanese and Forth inspired postfix language
gist.github.comยท3hยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Languages
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.comยท6hยท
Discuss: r/cpp
โšกInterpreter Optimization
Typename syntax and resolution in ClojureCLR
dmiller.github.ioยท1d
๐Ÿ”ฎType Inference Visualization
Three Meanings of Effects
burakemir.chยท2dยท
Discuss: Hacker News
๐Ÿ’ซEffect Systems
The Semantic Holder (SH): Algebraic Extraction for Legal Opposability
eprint.iacr.orgยท2d
๐Ÿ“‹S-Expression
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.orgยท4h
๐Ÿ“ŠLR Parsing
Cactus Language โ€ข Discussion 3
inquiryintoinquiry.comยท1d
๐Ÿ“‹Backus-Naur Form
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.eduยท13hยท
Discuss: Hacker News
๐Ÿ“šStack Allocation
Implementing a generic Schwartzian transform in Rust for fun
medium.comยท1dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Distribution of integer literals in text/speech and source code
shape-of-code.comยท11h
๐Ÿ”—Concatenative Languages
Mastering the Builder Pattern in TypeScript: A Complete Guide
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งAPI Design
Isabelle rule musings
blueberrywren.devยท3d
โš–๏ธInference Rules
Incommensurability
lesswrong.comยท5h
๐ŸชžHomoiconicity
C++ Labs: Build Calculator, Manipulate Strings, & Master Class Inheritance
dev.toยท15hยท
Discuss: DEV
๐ŸŽ“Teaching Compilers
๐ŸŽน I coded up I Can't Go For That by Hall & Oates in Javascript ๐ŸŽต๐ŸŽต๐ŸŽต๐ŸŽต๐ŸŽต
stacker.newsยท16h
๐Ÿlisp