📝 Lisp

Macros, Homoiconicity, S-expressions, Functional Programming

Bouncing on trampolines to run eBPF programs
bootlin.com·4h
🏗Computer Architecture
Introducing valkey-swift, the Swift client for Valkey
valkey.io·1d
🔧Compiler Design
C++ coroutines prone to code-reuse attack despite control flow integrity
techxplore.com·18h
🔍Static Analysis
Retrieval-augmented generation with Llama Stack and Python
developers.redhat.com·4h
🧭SMT Solvers
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
📦WebAssembly
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·7h
🧭SMT Solvers
9 habits of the highly ineffective vibe coder
infoworld.com·1d
🧩Theorem Proving
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·2d·
Discuss: DEV
🦀Rust
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·22h·
Discuss: r/programming
🔧Compiler Design
This might be the most underrated AI skill of 2025:
threadreaderapp.com·11h
🔗Parser Combinators
Quark’s Outlines: Python Long Integers
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·7h
🔍Static Analysis
CPU Powerhouses: Unlocking Speed with ALUs, FPUs, and Parallelism
dev.to·1d·
Discuss: DEV
🏗Computer Architecture
Lobsters Interview with Icefox
lobste.rs·3d·
Discuss: Lobsters
🔧Compiler Design
When Prompts Start to Learn: Rewriting the Rulebook of LLM Tuning
pub.towardsai.net·58m
🔧Compiler Design
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·5d·
Discuss: DEV
🧮Programming Language Theory
Machine Learning Fundamentals: machine learning with python
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
Devil is in the Detail: Towards Injecting Fine Details of Image Prompt in Image Generation via Conflict-free Guidance and Stratified Attention
arxiv.org·7h
🎲Probabilistic Programming
Prompts
dev.to·5h·
Discuss: DEV
🔧Compiler Design
How to Handle Multiple Assignment and Unpacking
dev.to·1d·
Discuss: DEV
⚖️Logic Programming