Solving a Wooden Puzzle Using Haskell
glocq.github.io·21h·
Discuss: Lobsters, Hacker News
📏Linear Haskell
Chapter 1: LLM Fundamentals
cline.ghost.io·1d
🎮Language Ergonomics
From Legal Documents to Knowledge Graphs
neo4j.com·4d·
Discuss: Hacker News
📈Earley Parsing
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·11h·
Discuss: Hacker News
🎮Language Ergonomics
LLMs and Beyond: All Roads Lead to Latent Space
aiprospects.substack.com·16h·
Discuss: Substack
🔍ML Language
HalluField: Detecting LLM Hallucinations via Field-Theoretic Modeling
arxiv.org·1d
🌱Minimal ML
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·22h
🌱Minimal ML
Visual Exploration of Gradient Descent (many images)
lesswrong.com·13h
🔮Type Inference Visualization
Increasing alignment of large language models with language processing in the human brain
nature.com·1d
🪜Recursive Descent
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·22h
🪜Recursive Descent
Comprehensive LLM Evaluation: Metrics, Methods, and Use Case Considerations
nexla.com·3d·
Discuss: DEV
🌱Minimal ML
An Introduction to Speculative Decoding for Reducing Latency in AI Inference - NVIDIA Developer
news.google.com·8h
📋JSON Parsing
Agentic AI for Financial Crime Compliance
arxiv.org·22h
🎭Racket
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·1d·
Discuss: DEV
🪢Rope Data Structures
Efficient Cold-Start Recommendation via BPE Token-Level Embedding Initialization with LLM
arxiv.org·22h
📊LR Parsing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·22h
📜Proof Languages
AI Tokenization Services
dev.to·2d·
Discuss: DEV
🔍Tokenizers
Prompts should live outside.
dev.to·11h·
Discuss: DEV
📝Rope Editors
Automated Generation of Research Workflows from Academic Papers: A Full-text Mining Framework
arxiv.org·22h
🗂️Term Indexing
DeepSeek-R1 on Nature: How Pure Reinforcement Learning Unlocks LLM Reasoning
reddit.com·2h·
Discuss: r/LocalLLaMA
🪜Recursive Descent