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

TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
bford.info·1d
🌱Forth Kernels
original ↗
raymondcamden.com·1d
Live Coding
Why did containers happen? A view from ten years in the trenches by Docker's fo
buttondown.com·17h·
🥾Bootstrapping Strategies
Looking for Work and Community Resources
news.ycombinator.com·19h·
Discuss: Hacker News
💬Error Message Design
LightPneumoNet: Lightweight Pneumonia Classifier
arxiv.org·1h
🌱Minimal ML
🏛️ Building LLMs from Scratch – Part 2: Data Collection & Custom Tokenizers
reddit.com·1d·
Discuss: r/programming
🔤Language Tokenizers
New React Foundation To Manage Framework
thenewstack.io·2d
📦Monorepos
Knowledge-Guided Machine Learning Models to Upscale Evapotranspiration in the U.S. Midwest
arxiv.org·1h
🌲Deforestation
Protein as a Second Language for LLMs
arxiv.org·1h
🌱Minimal ML
johannesjo/super-productivity
github.com·1d
🎮Language Ergonomics
Closing the Data-Efficiency Gap Between Autoregressive and Masked Diffusion LLMs
arxiv.org·1h
🪜Recursive Descent
English - the hottest programming language of the future
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
Building a Web Search Workflow Using Microsoft Agent Framework (Without Any AI Services) -Part II
dev.to·1d·
Discuss: DEV
🔄Coroutines
11 months AI coding journey - tools, tech stack, best practices (long post with screenshots)
reddit.com·2d·
Discuss: r/ClaudeAI
🔄Bootstrapping
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·12h·
Discuss: DEV
Live Coding
AI Weekly — Seeking Honest Feedback
dev.to·18h·
Discuss: DEV
Live Programming
Adaptive Frame Rate Control in Virtualized Network Drivers via Reinforcement Learning
dev.to·9h·
Discuss: DEV
📡Async Channels