Multi-Stage Programming, Code Specialization, MetaOCaml, Template Haskell

How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
Live Coding
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·9h
🏰Capability Machines
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·1d
🌙Lua
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🛡️Error Handling
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🌈Gradual Languages
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·8h·
Discuss: DEV
🪄C Metaprogramming
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
🏛️Elm Architecture
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·5h·
Discuss: Hacker News
🎮Language Ergonomics
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
💬Interactive REPLs
From CAP to GAP?
fsharpforfunandprofit.com·16h·
Discuss: DEV
🧪Testing Compilers
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
🦉Swift Interpreters
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·6h·
Discuss: DEV
📦Monorepos
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🎮Language Ergonomics
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Operable Software
ferd.ca·10h·
Discuss: Hacker News
Configuration Validation
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·1d·
Discuss: DEV
📦Monorepos
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
📡Erlang BEAM
I created and open sourced an LLM and backend orchestration system
reddit.com·1d·
Discuss: r/golang
📋Tablegen
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·6h·
Discuss: r/programming
🎮Language Ergonomics