🐪 OCaml GADTs

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

From @monaco-editor/react to prism-react-editor
peterbe.com·9h
📝Text Editors
Measuring the performance of our models on real-world tasks
openai.com·21h·
Discuss: Hacker News
🎮Language Ergonomics
Update: Early Feedback and Platform Improvements
hellocpp.dev·7h·
Discuss: r/cpp
⚡Live Programming
Cryptography for the Everyday Developer: Double Encryption and the Meet in the Middle Attack
sookocheff.com·1d
🔗Hash Functions
The 3 Most Practical Features of C# 14 for Everyday Developers
learn.microsoft.com·4d·
Discuss: DEV
🌉Language Bindings
<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·21h
✨Code Formatting
Processes and Threads
planetscale.com·1d·
Discuss: Hacker News
🧠Memory Models
Integration ideas for SLAM application
reddit.com·1h·
Discuss: r/AskProgramming
🌐Portable Assembly
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·6d·
Discuss: Hacker News, Hacker News
🩺Compiler Diagnostics
The low-cost path to AI Mastery
antonyarkov.substack.com·4d·
Discuss: Substack
💬Interactive REPLs
runtime: add valgrind hints to the runtime under special build mode · Issue #73602 · golang/go
github.com·1d
📚Stack Data Structures
The current state of LLM benchmarks is so polluted
reddit.com·5h·
Discuss: r/LocalLLaMA
🏁Language Benchmarks
Full-Stack Openness and Verifiability
vitalik.eth.limo·1d·
Discuss: Hacker News
🔍Lens Libraries
Why Rust has crates as translation units?
reddit.com·1d·
Discuss: r/rust
🦀MIR Optimization
Disagreements in Reasoning: How a Model's Thinking Process Dictates Persuasion in Multi-Agent Systems
arxiv.org·2h
🔄Subinterpreters
NormGenesis: Multicultural Dialogue Generation via Exemplar-Guided Social Norm Modeling and Violation Recovery
arxiv.org·2d
✨Gleam
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·2h
🪜Recursive Descent
The Art of the Key: A Definitive Guide to i18n Key Naming for Longevity and Sanity
dev.to·2d·
Discuss: DEV
🎮Language Ergonomics