Eon – An Effects-Based OCaml Nameserver
ryan.freumh.org·1d·
Discuss: Lobsters, Hacker News
📡Network Serialization
VLLM Predicted Outputs
cascadetech.ai·1d·
Discuss: Hacker News
🎭Program Synthesis
History rides again
robinsloan.com·1d
⚡Effect Handlers
Toy Binary Decision Diagrams
philipzucker.com·6d
✅Type Checking
Can y'all help me create the vowels and finals for a Chinese conlang?
reddit.com·3h·
Discuss: r/conlangs
📋Backus-Naur Form
Determining the Maximum Decimal Digits at Compile-Time
dev.to·13h·
Discuss: DEV
📚Stack Allocation
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·2d
🔍ML Language
The Sculptor's Studio: YAGNI, KISSS, and DRY as Tools of the Trade
dev.to·18h·
Discuss: DEV
🪞Metaprogramming
Auto keyword linker for backlinks on graph
github.com·7h·
Discuss: r/ObsidianMD
🔄Incremental Lexing
Anyone have a non-AI realtime Text-to-Speech Synthesis solution recommendation?
github.com·2d·
Discuss: r/gamedev
🌱Tiny Languages
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·2d
🧮Linear Algebra
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·2d
🔍ML Language
Revisiting Mixout: An Overlooked Path to Robust Finetuning
arxiv.org·3d
🗺️Region Inference
The Automatic Door System: With Statements Explained
dev.to·3d·
Discuss: DEV
🔧Error Recovery
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·11h·
Discuss: Hacker News
⚡Live Coding
Dart Object Oriented For Beginner : Expense Manager Case Study Part 9
dev.to·3d·
Discuss: DEV
🔄Coroutines
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·2d
📈Earley Parsing
AI for Refactoring: Making Legacy Code Clean and Future-Ready
dev.to·2d·
Discuss: DEV
🚚Code Migration
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·2d·
Discuss: DEV
💬Interactive REPLs
Sorting encrypted data without decryption: a practical trick
dev.to·1d·
Discuss: DEV
🔗Hash Functions