International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·11h
🔗Combinatory Logic
Building Castles in the Air, but With Surprise Physics
dbreunig.com·2d
⚙️Proof Engineering
I’m creating an open-source application to manage deployment strategies for applications.
reddit.com·15h·
Discuss: r/kubernetes
🔓Open Source Software
Understanding Bootstrapping: How Go’s Compiler Is Written in Go
dev.to·2d·
Discuss: DEV
🏗️Compiler Archaeology
rustc_codegen_gcc: Progress Report #37
blog.antoyo.xyz·2d·
Discuss: r/rust
🦀Rust Macros
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·2d
🌳Context free grammars
How Should a CMS Repository Understand the Content Within It?
deanebarker.net·14h·
Discuss: Hacker News
🗄️Database Internals
Developer's block
underlap.org·14h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
The kids are alright
bitecode.dev·1d·
Discuss: Hacker News, r/LLM, r/programming
📏Code Metrics
Rewriting Modulo Traced Comonoid Structure
arxiv.org·3d
🔄Graph Rewriting
[Media] I Have No Mut and I Must Borrow
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·6d
🎯Gradual Typing
Boosting Laravel Boost
dev.to·7h·
Discuss: DEV
🦀Rust Macros
Debugging the Draft
codingfearlessly.com·3d·
Discuss: Hacker News
🎯Gradual Typing
AGI Is an Engineering Problem
vincirufus.com·15h·
Discuss: Hacker News
🔲Cellular Automata
Not So Prompt: Prompt Optimization as Model Selection
gojiberries.io·13h·
Discuss: Hacker News
⚙️Compression Benchmarking
Using Derive_more for Errors in Rust
quamserena.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Python Packages Every Developer Must Know(Especially Beginners)
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
CRYSTALS - The Gently Introduction
dev.to·2d·
Discuss: DEV
⚗️Algebraic Coding
Why Is This Hard?
programmersstone.blog·4d·
Discuss: Lobsters, Hacker News
📏Code Metrics