Cyclic Proofs for iGL via Corecursion
arxiv.org·13h
🧮SMT Solvers
Flag this post
Creating Lisp Systems
renato.athaydes.com·11h·
Discuss: Hacker News
🏭Code Generation
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·8h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·21h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·5h
💬Prompt Engineering
Flag this post
Everything You Need to Know to Start Your Way as a Programmer
dev.to·49m·
Discuss: DEV
🌳Data Structures
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·23h
🔨Incremental Compilation
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·21h·
Discuss: r/programming
λFunctional Programming
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·15h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
💫Effect Systems
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·21h·
Discuss: Hacker News
👁️Computer Vision
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·22h
λFunctional Programming
Flag this post
Ruby and Its Neighbors: Smalltalk
noelrappin.com·3h·
Discuss: Hacker News, r/programming
💎Refinement Types
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·2h·
Discuss: Hacker News
⚙️JIT Compilation
Flag this post
The Cantor Experiment: Forcing a GPT-5-Class AI to Forget a Century of Math
romainpeter.substack.com·1d·
Discuss: Substack
💫Effect Systems
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·16h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post