davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท17h
๐Ÿ“Concrete Syntax
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท9h
๐Ÿ“ŠGraph Databases
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.comยท7h
๐Ÿ’ปLocal LLMs
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท19h
๐Ÿ’ปLocal LLMs
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.toยท1dยท
Discuss: DEV
๐ŸงฌFunctional Programming
Alleviating User-Sensitive bias with Fair Generative Sequential Recommendation Model
arxiv.orgยท19h
๐ŸŽ›๏ธFeed Filtering
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.orgยท19h
๐Ÿ“ˆTime Series
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
On Union-Closedness of Language Generation
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Data Compression with Relative Entropy Coding
arxiv.orgยท2d
๐Ÿ“Compression Mathematics
Counting with Categories (Part 2)
golem.ph.utexas.eduยท2d
๐Ÿ”€Category Theory
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท14hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Getting an LLM to set its own temperature
amanvir.comยท1dยท
Discuss: Hacker News
๐Ÿ›Fuzzing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.orgยท19h
๐ŸŒ€Fractal Compression
Machine Learning Fundamentals: active learning tutorial
dev.toยท7hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.orgยท1d
๐ŸงฎSMT Solvers
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.orgยท19h
๐Ÿง Intelligence Compression
Counting with Categories (Part 1)
golem.ph.utexas.eduยท3d
ฮปLambda Formalization
Programming Entry Level: how to interpreter
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Lisp