📝 Lisp

Macros, Homoiconicity, S-expressions, Functional Programming

The Quest To Type Faster
mtwb.blog·1d
🔗Parser Combinators
xkcd 1313: Regex Golf (Part 2: Infinite Problems)
nbviewer.ipython.org·2d
🧭SMT Solvers
PHPUNIT Course - Module 1: Introduction to PHPUnit and the World of Testing
getcomposer.org·2d·
Discuss: DEV
🔧Compiler Design
Globant (GLOB) Upgrades GEAI Platform with New Protocols to Drive Cross-Platform AI Interoperability
finance.yahoo.com·1d
🔗Parser Combinators
Text Editing, AI and Problems that Go Away
terrycrowley.medium.com·12h
📦WebAssembly
Share the Gemini 2.5 prompt words that I have refined for few weeks
preview.redd.it·3d·
Discuss: r/Bard
🧩Theorem Proving
A beginner-friendly guide to learning Jax with practical examples
github.com·4d·
Discuss: Hacker News, r/LocalLLaMA
🧮Programming Language Theory
Claude Code: Tips and Tricks
post-training.aitinkerers.org·10h·
Discuss: Hacker News
🧩Theorem Proving
QuantoniumOS: Unitary Resonance Fourier Transform + 48-round Feistel (open research, reproducible tests)
reddit.com·1d·
Discuss: r/programming
🔐Cryptography
Multi-QIDA method for VQE state preparation in molecular systems
arxiv.org·1d
🔐Cryptography
Godot GDExtension C++ Template for CROSS PLATFORM Plugin Development - MADE EASY
reddit.com·1d·
Discuss: r/godot
👐Open Source Software
Running AI Models with Docker Compose
dev.to·6h·
Discuss: DEV
🦀Rust
Seeking Advice: Switching from NodeJS/Spring Boot to Go for Backend Development (and Jobs)
reddit.com·1d·
Discuss: r/golang
🧮Programming Language Theory
HTTP Request Processing with Zero-Copy Optimization(9624)
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Building a Robust Backend with Effect, GraphQL, and Drizzle
dev.to·1h·
Discuss: DEV
🦀Rust
MemViz — toward a modern runtime memory debugging tool for C++
reddit.com·2d·
Discuss: r/compsci
🧠Memory Management
Active inference for action-unaware agents
arxiv.org·7h
🎲Probabilistic Programming
Why 2 Lines of Code Can Be Worse Than 100
dev.to·2d·
Discuss: DEV
🔍Static Analysis
Implementing RAG with LlamaIndex: Enterprise LLMs That Understand Your Data
dev.to·1d·
Discuss: DEV
🔗Parser Combinators
MOON: Generative MLLM-based Multimodal Representation Learning for E-commerce Product Understanding
arxiv.org·7h
🎲Probabilistic Programming