🐪 OCaml GADTs

Generalized Algebraic Data Types, Type Witnesses, Pattern Matching, ML

D5 Render review: a beginner-friendly real-time renderer that surprised me
creativebloq.com·2h
⚡Live Programming
A pretty clever way to build voice agents in Node.js
theten.ai·1d·
Discuss: r/javascript
🎮Language Ergonomics
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·5d·
Discuss: DEV
🌉Language Bindings
Styx Emulator Public Release
stumbl.ing·2d·
Discuss: Hacker News
🤖Embedded Go
<span class="sans-serif">Improving <span class="sans-serif">e</span>lectrical <span class="sans-serif">p</span>erformance and <span class="sans-serif">r</span>e...
sciencedirect.com·1d
✨Code Formatting
Do any of the Rust folks out there know of any Rust issues for "async fns increase *code size* nonlinearly"?
bsky.app·2d·
Discuss: Bluesky
🔒Rust Borrowing
Want to Launch Prototypes Quickly? Try Vibe Coding with Claude
spin.atomicobject.com·1d
⚡Live Coding
How to analyze Git patch diffs on OSS projects to detect vulnerable function/method that were fixed?
reddit.com·8h·
Discuss: r/SoftwareEngineering
📦Package Managers
The low-cost path to AI Mastery
antonyarkov.substack.com·5d·
Discuss: Substack
💬Interactive REPLs
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·3d·
Discuss: DEV
🔗Concurrency Primitives
Soft Tokens, Hard Truths
arxiv.org·2d
🔍Tokenizers
Disagreements in Reasoning: How a Model's Thinking Process Dictates Persuasion in Multi-Agent Systems
arxiv.org·9h
🔄Subinterpreters
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·4d·
Discuss: r/cpp
⚡Interpreter Optimization
STL-FFT-STFT-TCN-LSTM: An Effective Wave Height High Accuracy Prediction Model Fusing Time-Frequency Domain Features
arxiv.org·1d
🪜Recursive Descent
NormGenesis: Multicultural Dialogue Generation via Exemplar-Guided Social Norm Modeling and Violation Recovery
arxiv.org·2d
✨Gleam
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·4d·
Discuss: DEV
🔧API Design
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·3d
📚Self-Documenting Code
From Easy to Hard: The MIR Benchmark for Progressive Interleaved Multi-Image Reasoning
arxiv.org·3d
🗺️Region Inference
It's Not You, It's Clipping: A Soft Trust-Region via Probability Smoothing for LLM RL
arxiv.org·9h
🪜Recursive Descent
Components in Rails without gems
dev.to·16h·
Discuss: DEV
📋Template Compilers