๐Ÿš€ MLton

Whole-Program Optimization, ML Compiler, Defunctionalization, Performance

Satisfying Bazel'ย€ย™s relative paths requirement in C++ toolchains
pigweed.devยท3hยท
Discuss: Hacker News, r/cpp
๐Ÿ’ฌError Messages
Flag this post
Async QUIC and HTTP/3 made easy: Tokio-quiche is now open-source
blog.cloudflare.comยท5hยท
Discuss: Hacker News
๐ŸŒNetwork Protocols
Flag this post
AI Summarization Optimization
schneier.comยท3dยท
Discuss: Hacker News
๐Ÿง Semantic Parsing
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿช†Embedded DSLs
Flag this post
Engineer's Guide to Local LLMs with LLaMA.cpp on Linux
avatsaev.substack.comยท15hยท
Discuss: r/LocalLLaMA
๐ŸŒ™Lua
Flag this post
original โ†—
blog.robbowley.netยท1dยท
Discuss: Hacker News
๐Ÿ“ŠCode Metrics
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.orgยท3dยท
Discuss: Hacker News
๐Ÿ“šStack Data Structures
Flag this post
Using Liquid Time-Constant Neural Networks combined with water balance equations for groundwater level prediction in karst aquifers
sciencedirect.comยท7h
๐ŸชœRecursive Descent
Flag this post
AI Capabilities May Be Overhyped on Bogus Benchmarks, Study Finds
gizmodo.comยท3h
โšกPerformance
Flag this post
Deflanderization for Game Dialogue: Balancing Character Authenticity with TaskExecution in LLM-based NPCs
paperium.netยท3dยท
Discuss: DEV
โœจGleam
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.ioยท1dยท
Discuss: Hacker News
๐ŸŽฏFinite Automata
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.netยท3dยท
Discuss: DEV
๐ŸงฉSAT Solvers
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.toยท3dยท
Discuss: DEV
๐Ÿ“Lexer Generators
Flag this post
From raw text to training gold: How to collect and prepare data for custom LLMs
pub.towardsai.netยท1d
๐ŸŽฎLanguage Ergonomics
Flag this post
From Uniform to Adaptive: General Skip-Block Mechanisms for Efficient PDE Neural Operators
arxiv.orgยท2d
๐Ÿ“กAsync Channels
Flag this post
A Simple and Repeatable Approach to Evaluating LLM Outputs
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.orgยท2d
๐ŸŒฑForth Kernels
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.orgยท18h
๐ŸŒฑMinimal ML
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.orgยท2d
๐ŸชœRecursive Descent
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.orgยท2d
๐Ÿ“ŠLR Parsing
Flag this post