🔗 Lisp

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

GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·23h·
Discuss: Hacker News
💧Liquid Types
rxi/microui
github.com·11h
📺Terminal UI
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·6h·
Discuss: Hacker News
🔌Interface Evolution
I Tested an OpenRewrite Recipe: The Mistakes I Made and How to Fix Them
hackernoon.com·16h
⚖️Verification Calculi
LLMs Are Faking Neutrality—And We Can Now Measure It
hackernoon.com·1d
📝Concrete Syntax
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·1d·
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
Why MindsDB is the Fastest Way to Build AI Agents Today
dev.to·2h·
Discuss: DEV
🌀Brotli Internals
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
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·2d·
Discuss: DEV
🧮Kolmogorov Complexity
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·17h·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: active learning with python
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·2d·
Discuss: DEV
🌊Stream Processing
From Manual API Testing to AI-Powered Automation: My Experience with Keploy
dev.to·4h·
Discuss: DEV
⚡Proof Automation
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1750830996145900）
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Just launched a free 9-chapter course on Agentic AI Systems
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics