Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
Ruby and Its Neighbors: Smalltalk
🔗Dependent Types
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🎭Program Synthesis
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2d
λFunctional Programming
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·2d
📐Type Theory
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
A Short Survey of Compiler Backends
🔨Compilers
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🔧Data Engineering
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·20h
🔨Incremental Compilation
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
🎨Computer Graphics
Flag this post
Scala vs. F#
λFunctional Programming
Flag this post
Loading...Loading more...