Slip โ€“ A Lisp System in JavaScript
lisperator.netยท9hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
An enough week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐ŸŒฒDeforestation
Show HN: Realization Jsmn on a Pure Zig
github.comยท13hยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท19h
ฮปLambda Calculus
Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท53mยท
Discuss: Hacker News
โ†”๏ธBidirectional Typing
Building the Reasoning Engine at Axiom
axiommath.aiยท3hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.comยท6hยท
Discuss: r/cpp
๐ŸงฎCombinator Calculus
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.toยท8hยท
Discuss: DEV
๐Ÿช„C Metaprogramming
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท13h
๐ŸงฎCombinator Calculus
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Functions are Asymmetric
elbeno.comยท1h
๐Ÿ˜ดLazy Evaluation
If/When to learn Zig
reddit.comยท19hยท
Discuss: r/Zig
โšกZig
Let's Write a Macro in Rust
hackeryarn.comยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
Discuss: Hacker News, r/programming
๐ŸคZipper Structures
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐ŸชœRecursive Descent
BQN "Macros" with โ€ขDecompose (2023)
saltysylvi.github.ioยท1hยท
Discuss: Hacker News
๐Ÿ”งScheme Macros
Lobsters Interview with Zdsmith
lobste.rsยท18hยท
Discuss: Lobsters
๐Ÿ“šStack Languages
Three ways formally verified code can go wrong in practice
buttondown.comยท6h
๐Ÿ“œProof Languages
GaloisInc/parameterized-utils
github.comยท2d
๐Ÿ“Linear Haskell