Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
How to more efficiently study complex treatment interactions
news.mit.edu·4h
🔲Cellular Automata
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·1d
✨Effect Handlers
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·3h
🔧RISC-V Assembler
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Coroutines in C
hackaday.com·1d
🔩Systems Programming
Understanding the vibe coding trend and considerations for developers
techradar.com·1d
📏Code Metrics
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·8h·
Discuss: Hacker News
✨Effect Handlers
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·54m·
Discuss: Hacker News
🌀Brotli Internals
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·2h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Python Fundamentals: build
dev.to·20h·
Discuss: DEV
🔄Reproducible Builds
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·17h·
Discuss: Hacker News
💻Programming languages
The AI Framework Trap
hackernoon.com·1d
⚡Proof Automation
A Minimal DDPM
github.com·6h·
Discuss: Hacker News
🧠Machine Learning