Writing your own Go linter (dhcp25)
cdn.media.ccc.de·2h
🔄Go Scheduler
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2h·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Qwen3 VL 30b a3b is pure love
reddit.com·17h·
Discuss: r/LocalLLaMA
💬Smalltalk VMs
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·1d·
Discuss: Hacker News
📚Self-Documenting Code
Flag this post
My little string library
github.com·6h·
Discuss: r/Zig
🏷️Symbol Mangling
Flag this post
Create your first MCP server
dev.to·3h·
Discuss: DEV
🌍HTTP Servers
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·10h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·6h·
Discuss: DEV
functional programming
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·21h·
Discuss: DEV
🎭Polymorphic Variants
Flag this post
Vision = Language: I Decoded VLM Tokens to See What AI 'Sees' 🔬
reddit.com·18h·
Discuss: r/LocalLLaMA
Tokenizer Optimization
Flag this post
Patient-Centered Summarization Framework for AI Clinical Summarization: A Mixed-Methods Design
arxiv.org·8h
🌱Minimal ML
Flag this post
Rdza – Rust Programming, in Polish
github.com·3d·
Discuss: Hacker News
🎓Teaching Compilers
Flag this post
Philippe Kahn
deprogrammaticaipsum.com·10h
💬Smalltalk VMs
Flag this post
MTSQL-R1: Towards Long-Horizon Multi-Turn Text-to-SQL via Agentic Training
paperium.net·3h·
Discuss: DEV
📋Datalog
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·1d·
🎲Property Testing
Flag this post
The Hidden DNA of LLM-Generated JavaScript: Structural Patterns EnableHigh-Accuracy Authorship Attribution
paperium.net·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
I built Solveig, it turns any LLM into an assistant in your terminal. Think Claude Code with trust issues
reddit.com·1d·
Discuss: r/opensource
📚Self-Documenting Code
Flag this post