Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
🔵Clojure
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·18h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
📐Type Theory
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
🔵Go
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
🔨Compiler Design
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·18h·
Discuss: r/programming
🔨Compiler Design
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
📊Dynamic Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·12h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·1d·
Discuss: Hacker News
⚡FastAPI
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·2d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
Building a P2P Rental Marketplace - Full-Stack Architecture with Flutter & Express.js
revolvo.tech·1h·
Discuss: DEV
🌐Axum
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·13h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post