My First Week of Vibecoding
underreacted.leaflet.pub·22m·
Discuss: Hacker News
✨Gleam
Slip – A Lisp System in JavaScript
lisperator.net·13h·
Discuss: Hacker News
🌱Minimal Lisps
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·4h·
Discuss: Hacker News
↔️Bidirectional Typing
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·2d
🌈Gradual Languages
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
⚡functional programming
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·22h
λLambda Calculus
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·17h
🧮Combinator Calculus
GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·4h·
Discuss: Hacker News
🔧Scheme Macros
🌟 Understanding Generics in TypeScript: The Key to Reusable, Type-Safe Code
dev.to·1d·
Discuss: DEV
🔗Go Generics
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
🧮Combinator Calculus
Building the Reasoning Engine at Axiom
axiommath.ai·7h·
Discuss: Hacker News
🎭Program Synthesis
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.net·1d
⚡Incremental Parsing
Effective C++ – Hour 10
jtag.bearblog.dev·1d
🧸Toy Compilers
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·14h·
Discuss: r/programming
🐍lisp
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Languages
IASC: Interactive Agentic System for ConLangs
arxiv.org·22h
🔄Incremental Lexing
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
🎯Symbolic Execution
Let's Write a Macro in Rust
hackeryarn.com·11h·
Discuss: Hacker News
🦀Rust Macros