🎭 Staging

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

Using AI for candidate ranking with RavenDB
ayende.com·1d
🎮Language Ergonomics
Iterated Development and Study of Schemers (IDSS)
lesswrong.com·1d
🏰Capability Machines
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.ai·20h·
Discuss: Hacker News
🎮Language Ergonomics
A Hands-On Review of Conductor, an AI Parallel Runner App
thenewstack.io·56m
📚Stack Languages
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
🦉Swift Interpreters
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·19m·
Discuss: Hacker News
📊DataFrame Types
Anyone else feels like AI crowd is mostly JS ppl ?
reddit.com·18h·
Discuss: r/devops
🔮Metacircular Evaluators
Building a Production-Ready E-Commerce Platform with NestJS
dev.to·22h·
Discuss: DEV
📦Monorepos
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🐍lisp
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·14h·
Discuss: Hacker News
💻Terminal UIs
In this small thread, I'll break down how you can create full-length movies or anime with Grok 4 Imagine.
threadreaderapp.com·2h
🌱Forth Kernels
Farewell-to-Framework-Bloat-How-I-Rediscovered-Simplicity-Without-Sacrificing-Performance
dev.to·2d·
Discuss: DEV
📦Monorepos
Operable Software
ferd.ca·1d·
Discuss: Hacker News
✅Configuration Validation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
📏Linear Haskell
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·19h·
Discuss: Hacker News
🎮Language Ergonomics
simplicity • Pragmatic Dave Thomas & Sarah Taraporewalla
buzzsprout.com·21h·
Discuss: r/programming
🎮Language Ergonomics
Effects in Rust (and Koka)
aloso.foo·1d·
Discuss: r/rust
⚡Algebraic Effects
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
λLambda Calculus
Scriptable mutating admission hook?
reddit.com·19h·
Discuss: r/kubernetes
🌊Gradual Typing