Atomic and Saturated Models
functor.networkยท2dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Theory
LLMs are badly misaligned
lesswrong.comยท18h
โœ…Type Checking
Basic Dialects, IDEs, and Tutorials
github.comยท5dยท
Discuss: Hacker News
๐Ÿ—๏ธMinimal Compilers
Autoreview: The Dragon Hatchling โ€“ The Missing Link Between the Transformer and
arxiviq.substack.comยท22hยท
Discuss: Substack
๐ŸชœRecursive Descent
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.comยท2d
๐Ÿ”„Binary Translation
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.ioยท1dยท
Discuss: DEV
๐ŸŒฟTrie Structures
Focus more time toward C or C++ development as decent C++ programmer
reddit.comยท5hยท
Discuss: r/embedded
๐Ÿ“–Literate Programming
Sonne 4.5 keeps blowing my mind
curzel.itยท20hยท
Discuss: Hacker News
๐Ÿฆ€MIR Optimization
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.comยท1dยท
Discuss: Hacker News
๐Ÿ—บ๏ธRegion Inference
Fullstack Language Servers
404wolf.comยท7h
๐Ÿ“ฆMonorepos
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.toยท3hยท
Discuss: DEV
๐ŸŒณPattern Match Compilation
Vjeux ยป Birth of Prettier
blog.vjeux.comยท17hยท
โœจCode Formatters
LongCat-Flash-Chat: Powerful Open-Source AI for 2025
digitalocean.comยท2h
๐Ÿ’ฌSmalltalk VMs
Functional Threading โ€œMacrosโ€
aartaka.meยท1d
๐Ÿช„Syntax Macros
English speakers are lucky - thoughts from developing a keyboard app
reddit.comยท8hยท
Discuss: r/SideProject
๐Ÿ“Rope Editors
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท1dยท
๐Ÿ”ขBit Manipulation
Mixture of Experts Implementation using Granite4: Harnessing Specialization with the Latest Granite Family Model
dev.toยท19hยท
Discuss: DEV
๐Ÿ”ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.comยท17hยท
Discuss: Hacker News
๐ŸŒฒTree Rewriting
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.orgยท2dยท
Discuss: Hacker News
๐Ÿ“Mathematical Computing