🔗 Lisp

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

June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·3d
🧮Prolog Parsing
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2d
🔒Linear Types
The MIDL compiler still has trouble with double greater-than signs, sadly
devblogs.microsoft.com·4d·
Discuss: Hacker News
💻Programming languages
The collective waste caused by poor documentation
shanrauf.com·3d·
Discuss: Hacker News
📦Deflate
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·2d·
Discuss: Hacker News
⚡Proof Automation
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·3d·
Discuss: Hacker News
💻Local LLMs
The AI delegation dilemma
foxhound.systems·14h·
Discuss: Hacker News, r/programming
🗺️Competency Maps
The Heart of Software Engineering Still Beats
annievella.com·1d·
Discuss: Hacker News
📏Code Metrics
The 50-Year Story of the Rise, Fall, and Rebirth of Neural Networks
thenewstack.io·20h
🔲Cellular Automata
Build a Dynamic Color Changer using HTML, CSS & JavaScript 🎨 (Beginner Project)
dev.to·17h·
Discuss: DEV
🎯Gradual Typing
How to Prompt an LLM to Write Angular Code: Straight from the Experts
dev.to·3d·
Discuss: DEV
🔗Concatenative Programming
Python Fundamentals: any
dev.to·6d·
Discuss: DEV
💧Liquid Types
Learning Instruction-Following Policies through Open-Ended Instruction Relabeling with Large Language Models
arxiv.org·2d
💻Local LLMs
Solve a real-world problem with AI
dev.to·1d·
Discuss: DEV
🧮Z3 Applications
Build a High-Performance Crypto Rankings API with Go + Inngest + Redis in 25 Minutes
dev.to·1d·
Discuss: DEV
🔍BitFunnel
Machine Learning Fundamentals: adam optimizer with python
dev.to·19h·
Discuss: DEV
📊Feed Optimization
The 20-Minute Daily Review That Tripled My Code Quality (Git Data Proof)
dev.to·7h·
Discuss: DEV
📏Code Metrics
CSS vs JavaScript vs Server-Side Image Optimization: Choosing the Right Approach
dev.to·6h·
Discuss: DEV
🎬WebCodecs API
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·4d
🧮Z3 Solver
My Journey from Java to Go: Why I Think Go's Packages Are Actually Better
reddit.com·2d·
Discuss: r/golang
🔗Concatenative Programming