Language-Oriented Programming, Macros, Educational, Contracts

Superbase on the Commodore 64
stonetools.ghost.io·11h·
Discuss: Hacker News
💾Minimal Databases
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·1d
🧮Combinator Calculus
Ask HN: Systems Development Path
news.ycombinator.com·2d·
Discuss: Hacker News
🦀MIR Optimization
Issue 492
haskellweekly.news·4d·
Discuss: Hacker News
functional programming
Mastodon comments for Zola
failsafe.monster·1h·
Discuss: r/webdev
Incremental Parsing
Are there any self-hosted AI SRE tools?
bobbytables.io·1h·
Discuss: r/devops
🛡️Error Ergonomics
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
🔮Lisp Interpreters
Claude 4.5 Can Now Build and Run Real Apps Instantly
davia.ai·5h·
Discuss: Hacker News
🎭Program Synthesis
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·20h
Type Checking
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·1d·
Discuss: DEV
💾Register Pressure
The Closure Phenomenon: Functions That Remember
dev.to·3d·
Discuss: DEV
🔗Lexical Scoping
We built an open source SLURM replacement for ML training workloads built on SkyPilot, Ray and K8s.
reddit.com·5h·
Discuss: r/kubernetes
🎓Educational VMs
DanielSant0s/AthenaEnv
github.com·1d
📝Rope Editors
9 ReSharper Features Every .NET Developer Should Know
blog.jetbrains.com·9h
🎮Language Ergonomics
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1h·
Discuss: DEV
🦀MIR Optimization
TrueType rasterizer
github.com·4h·
Code Formatters
Unit Testing is Overrated and Won't Help You Write Better Code
dev.to·19h·
Discuss: DEV
🧪Zig Testing
Show HN: Radkit, A2A focused rust agents SDK
github.com·2d·
Discuss: Hacker News
Gleam
Real-Time Applications with Socket.IO
dev.to·2d·
Discuss: DEV
🌍Minimal HTTP
Power Automate - Generative Actions
dev.to·17h·
Discuss: DEV
🎭Program Synthesis