🐪 OCaml GADTs

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

Safety-Certified Rust
sonair.com·1d·
Discuss: Hacker News
🚂Cranelift IR
From @monaco-editor/react to prism-react-editor
peterbe.com·11h
📝Text Editors
Measuring the performance of our models on real-world tasks
openai.com·23h·
Discuss: Hacker News
🎮Language Ergonomics
Cryptography for the Everyday Developer: Double Encryption and the Meet in the Middle Attack
sookocheff.com·1d
🔗Hash Functions
<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·23h
✨Code Formatting
Processes and Threads
planetscale.com·1d·
Discuss: Hacker News
🧠Memory Models
Integration ideas for SLAM application
reddit.com·3h·
Discuss: r/AskProgramming
🌐Portable Assembly
Building sub-100ms autocompletion for JetBrains IDEs
blog.sweep.dev·6d·
Discuss: Hacker News, Hacker News
🩺Compiler Diagnostics
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·7h·
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
Building a HIPAA-Compliant Chatbot with AWS Lambda & Bedrock
dev.to·14h·
Discuss: DEV
🔐Capability Calculus
From Easy to Hard: The MIR Benchmark for Progressive Interleaved Multi-Image Reasoning
arxiv.org·3d
🗺️Region Inference
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·3d
📚Self-Documenting Code
It's Not You, It's Clipping: A Soft Trust-Region via Probability Smoothing for LLM RL
arxiv.org·4h
🪜Recursive Descent
The Art of the Key: A Definitive Guide to i18n Key Naming for Longevity and Sanity
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
Generalized Shortest Path-based Superpixels for 3D Spherical Image Segmentation
arxiv.org·1d
🔄Loop Optimization
Testing and MicroBenchmarking tool for C++ Code Optimisation
reddit.com·4d·
Discuss: r/cpp
⚡Interpreter Optimization
Lets Be Real: Its Time to Ditch `any` for `unknown` in TypeScript
dev.to·3d·
Discuss: DEV
🔧API Design