๐Ÿ”— Lisp

Functional Programming, S-expressions, Code as Data, Recursion

rxi/microui
github.comยท2h
๐Ÿ“บTerminal UI
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.comยท15hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Proficient Python: A free interactive online course
blog.pamelafox.orgยท3dยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”—Concatenative Programming
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.comยท7h
โš–๏ธVerification Calculi
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท2dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Single Core Hundred Thousand Concurrency๏ผˆ1750866547511600๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Free Hugo Autotranslator for Github Pages
dev.toยท7hยท
Discuss: DEV
๐Ÿ”„Migration Tools
Python Fundamentals: asyncio
dev.toยท15hยท
Discuss: DEV
๐ŸŒŠStream Processing
โšก๏ธ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.toยท22hยท
Discuss: DEV
โšกProof Automation
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750632264828500๏ผ‰
dev.toยท4dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Understanding the System 3: Databases
dev.toยท1hยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.orgยท1d
๐Ÿ“ŠQuantization
On Context-Content Uncertainty Principle
arxiv.orgยท20m
๐Ÿง Machine Learning
PEGTL -- Parsing Expression Grammar Template Library
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”—Parser Combinators
๐Ÿง  Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.toยท15hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท3d
๐ŸŽฏPerformance Proofs
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.toยท8hยท
Discuss: DEV
๐Ÿ”BitFunnel
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.toยท4dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming