🐪 OCaml GADTs

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

🚀 Building My Own Outreach Assistant
youtu.be·1h·
Discuss: DEV
🎮Language Ergonomics
Safety-Certified Rust
sonair.com·1d·
Discuss: Hacker News
🚂Cranelift IR
From @monaco-editor/react to prism-react-editor
peterbe.com·13h
📝Text Editors
Measuring the performance of our models on real-world tasks
openai.com·1d·
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·1d
✨Code Formatting
Processes and Threads
planetscale.com·1d·
Discuss: Hacker News
🧠Memory Models
Integration ideas for SLAM application
reddit.com·5h·
Discuss: r/AskProgramming
🌐Portable Assembly
**Discover DALL-E Mini: The Lightweight AI Agent Revolutioni
dev.to·14h·
Discuss: DEV
💬Smalltalk VMs
The current state of LLM benchmarks is so polluted
reddit.com·9h·
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·16h·
Discuss: DEV
🔐Capability Calculus
It's Not You, It's Clipping: A Soft Trust-Region via Probability Smoothing for LLM RL
arxiv.org·6h
🪜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
Components in Rails without gems
dev.to·14h·
Discuss: DEV
📋Template Compilers
LLaVul: A Multimodal LLM for Interpretable Vulnerability Reasoning about Source Code
arxiv.org·3d
⚙️TOML Parsers