📝 Lisp

Macros, Homoiconicity, S-expressions, Functional Programming

Hands-On with VDBBench: Benchmarking Vector Databases for POCs That Match Production
milvus.io·1d
🎲Probabilistic Programming
Integrate vLLM inference on macOS/iOS with Alamofire and Apple Foundation
developers.redhat.com·1d
🔧Compiler Design
Google Develops KFuzzTest For Fuzzing Internal Linux Kernel Functions
phoronix.com·2d
🔧Compiler Design
Kodee’s Kotlin Roundup: 2.2.20-Beta2, Shipaton 2025, and a New Face on the Foundation Board
blog.jetbrains.com·2d
🔧Compiler Design
On The Little Things of Data Representation
lmika.org·1d
🗄️Database Theory
The Sandwich Approach to ClojureScript Development
clojurecivitas.github.io·3d
🦀Rust
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·1d
🧩Theorem Proving
Son’s math test sparks internet outrage
mindyourdecisions.com·1d
🔢Mathematical Logic
Fully type-safe integration between your Laravel backend and your frontend
github.com·1d·
Discuss: r/webdev
🦀Rust
Codeminer42 Dev Weekly #74
blog.codeminer42.com·12h
👐Open Source Software
I made a telegram bot template
github.com·1d·
Discuss: r/opensource
🤝Protocol Design
The Perfect Programming Environment
dev.to·15h·
Discuss: DEV
👐Open Source Software
🚀 Introducing AetherCode: Your Offline AI Coding Assistant!
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·1d
🔗Parser Combinators
PLEASE HELP ME OH MY GOD (I am 5 days new to the stm32 world - NUCLEO - G431KB)
reddit.com·9h·
Discuss: r/embedded
🔧Compiler Design
The Summer of Johann: prompt injections as far as the eye can see
simonwillison.net·6h
🧭SMT Solvers
Making New Languages Click with LLMs
dev.to·3d·
Discuss: DEV
🧩Theorem Proving
I was kinda wrong about GPT-5
dev.to·18h·
Discuss: DEV
👐Open Source Software
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·1d
🔧Compiler Design
My journey tackling vim and getting better with Neovim
reddit.com·17h·
Discuss: r/neovim
🔧Compiler Design