🔗 Lisp

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

GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·19h·
Discuss: Hacker News
💧Liquid Types
rxi/microui
github.com·7h
📺Terminal UI
Reverse Engineering the Microchip CLB Part 1: Background and Reverse Engineering the BLEs
mcp-clb.markomo.me·1d·
Discuss: Lobsters, Hacker News
🔬Binary Analysis
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·2h·
Discuss: Hacker News
🔌Interface Evolution
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·1d
📝Concrete Syntax
Solve a real-world problem with AI
dev.to·2h·
Discuss: DEV
🧮Z3 Applications
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·1d
📊Quantization
On Context-Content Uncertainty Principle
arxiv.org·4h
🧠Machine Learning
PEGTL -- Parsing Expression Grammar Template Library
github.com·2d·
Discuss: Hacker News
🔗Parser Combinators
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·3d
🎯Performance Proofs
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·1d
🎯Performance Proofs
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·20h·
Discuss: DEV
🔄Reproducible Builds
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.to·4d·
Discuss: DEV
🔗Concatenative Programming
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·13h·
Discuss: DEV
🔍BitFunnel
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Python Programming
dev.to·11h·
Discuss: DEV
📝Concrete Syntax
LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
arxiv.org·3d
🔗Monadic Parsing
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·3d
⚖️Hoare Logic
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing