International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·6h
🔗Combinatory Logic
Building Castles in the Air, but With Surprise Physics
dbreunig.com·2d
⚙️Proof Engineering
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Racket 8.18 Released
blog.racket-lang.org·2d·
Discuss: Hacker News
🧠Lisp Dialects
I built my first side project: Tubee, in 2017
blog.tomy.me·2d·
Discuss: Hacker News
🚀Indie Hacking
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·3d
🔗Concatenative Programming
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·1d·
Discuss: Substack
⚡Proof Automation
[Media] I Have No Mut and I Must Borrow
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·4d
⚡Dependent Rust
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·2d·
Discuss: r/rust
🦀Rust Macros
CRYSTALS - The Gently Introduction
dev.to·2d·
Discuss: DEV
⚗️Algebraic Coding
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·2d
🌳Context free grammars
Developer's block
underlap.org·8h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·9h·
Discuss: Hacker News
🗄️Database Internals
Understanding Bootstrapping: How Go’s Compiler Is Written in Go
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
I’m creating an open-source application to manage deployment strategies for applications.
reddit.com·9h·
Discuss: r/kubernetes
🔓Open Source Software
Rewriting Modulo Traced Comonoid Structure
arxiv.org·3d
🔄Graph Rewriting
Boosting Laravel Boost
dev.to·1h·
Discuss: DEV
🦀Rust Macros
Debugging the Draft
codingfearlessly.com·2d·
Discuss: Hacker News
🎯Gradual Typing
AGI Is an Engineering Problem
vincirufus.com·9h·
Discuss: Hacker News
🔲Cellular Automata