🚀 MLton

Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📡Erlang BEAM
Flag this post
Benchmarking the Thomson Reuters legal agent
thomsonreuters.com·7h·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·1d·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Benchmarking Large Language Models and Privacy Protection
priv.gc.ca·2d
⚡Tokenizer Benchmarks
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔄Subinterpreters
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·4d
🔄Bootstrapping
Flag this post
Running MiniMax-M2 locally - Existing Hardware Advice
reddit.com·1d·
Discuss: r/LocalLLaMA
⚡Performance
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·19h·
Discuss: r/rust
⚙️TOML Parsers
Flag this post
Composer-1 vs SWE-1.5: A detailed Comparison
dev.to·17h·
Discuss: DEV
⚡Live Coding
Flag this post
The Art of Luminous Code: A Journey with Dynamic `import()` in Node.js
dev.to·2d·
Discuss: DEV
🌪️V8 Pipeline
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·1d·
Discuss: Hacker News
🗺️Region Polymorphism
Flag this post
How to access and use Minimax M2 API
dev.to·2d·
Discuss: DEV
💬Smalltalk VMs
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·6h·
Discuss: Hacker News
🗺️Region Polymorphism
Flag this post
Debugging AI Agents: Overcoming Observability Gaps in Multi-Agent Systems
dev.to·8h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Formal Verification’s Value Grows
semiengineering.com·15h
🎭Program Synthesis
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·3d·
Discuss: DEV
🪜Recursive Descent
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·1d
✨Effect Inference
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
🧩Constraint Logic
Flag this post
A Dual Large Language Models Architecture with Herald Guided Prompts for Parallel Fine Grained Traffic Signal Control
arxiv.org·1d
🔄Coroutines
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·2d
🏗️MLIR
Flag this post