The Lobster Programming Language
strlen.com·19h·
Discuss: Hacker News
🔗Concatenative Programming
Guessing Game: Haskell Style
entropicthoughts.com·17h
👑Dependent Haskell
Teaching programming languages
kmjn.org·1d
💻Programming languages
k-NN Classification and Model Evaluation
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Generating C functions and prototypes using macros – part 2
subethasoftware.com·13h
🦀Rust Macros
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1h·
Discuss: Hacker News
⚔️Lean Tactics
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Programming
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·8h
🔗Concatenative Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·41m·
Discuss: Hacker News
🌀Brotli Internals
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·3h
✅Format Verification
A Program That Molds To Your Needs II
irreal.org·1d
🔗Concatenative Programming
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·11h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·15h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·2h
🎯Gradual Typing
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·48m·
Discuss: Hacker News
⚡Proof Automation
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·1h
🦀Rust Macros
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming