Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🐫Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·10h·
Discuss: Hacker News
📚Automata Learning
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·1d
📚Automata Learning
Understanding LLMs: Insights from Mechanistic Interpretability
lesswrong.com·2d
📚Automata Learning
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·8h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🐫OCaml
Lively Linear Lisp (1992)
plover.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Embedding MicroHs
thma.github.io·3d
🐫OCaml
Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Systems Engineering for Agentic Applications
agenticapplications.substack.com·15h·
Discuss: r/programming
🩹Self-Healing Systems
Lessons from building an AI data analyst
pedronasc.com·12h·
Discuss: Hacker News
🧠Automated Reasoning
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧮Lambda Calculus
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
The Art of Transformer Programming (2023)
yanivle.github.io·2d·
Discuss: Hacker News
📚Automata Learning
Isolated(any)
nshipster.com·13h·
Discuss: Hacker News
🧮Lambda Calculus
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
Ask HN: Polyglot Mirroring
news.ycombinator.com·17h·
Discuss: Hacker News
🐫OCaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Writing in Djot
pdx.su·1d·
Discuss: Hacker News
💎Refinement Types
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·1d
📚Automata Learning
This Page Is a Quine
pranavg.me·1d·
Discuss: Hacker News
🧮Lambda Calculus