Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🧮SMT Solvers
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🔍Type Inference
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·13h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
Creating Lisp Systems
renato.athaydes.com·3h·
Discuss: Hacker News
🏭Code Generation
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·22h
🔤Language Design
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·14h
λFunctional Programming
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
How I Built "Backend Mentor" My First Hands-On Integration with Mastra
dev.to·1d·
Discuss: DEV
🪟Tauri
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
📐TLA+
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·6h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·16h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·8h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
📐Type Theory
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·14h
🔨Incremental Compilation
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·8h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
AI coding transforms data engineering: How dltHub's open-source Python library helps developers create data pipelines for AI in minutes
venturebeat.com·1d
🔧Data Engineering
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·13h·
Discuss: r/programming
λFunctional Programming
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·19h·
Discuss: Substack
💬Prompt Engineering
Flag this post