Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
This website makes self-learning with YouTube so much easier
aitutorly.ai·12h·
🌱Minimal Schemes
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·2d·
Discuss: Hacker News
🪢Rope Data Structures
Flag this post
Maximize Vim with Macros
spin.atomicobject.com·1h
🪄Macros
Flag this post
Brooks's Law
en.wikipedia.org·1d·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·2d
🔮Clojure
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
gordonbeeming.com·1d·
Discuss: Hacker News
🌐Portable Assembly
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·1h
📋Tablegen
Flag this post
Building a Zero-Configuration .NET Standards Package
dev.to·1d·
Discuss: DEV
⚙️Configuration Languages
Flag this post
Introducing Spira - Making a Shell #0
github.com·1d·
Discuss: DEV
🌱Forth Kernels
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·1d
🌊Loop Invariant Motion
Flag this post
How AI Coding Agents Are Reshaping Developer Workflows
dev.to·55m·
Discuss: DEV
🎭Program Synthesis
Flag this post
MySQL Transactions & Data Integrity in Laravel
dev.to·1d·
Discuss: DEV
🛡️Error Handling
Flag this post
The older I get, the better my code becomes
dev.to·12h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·1d·
Discuss: DEV
🔤Language Tokenizers
Flag this post
Handling Events Coming in an Unknown Order
event-driven.io·1d·
Discuss: r/programming
🛡️Security Type Systems
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post