An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🎭Program Synthesis
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
🔗Dependent Types
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·19h
🧮SMT Solvers
Flag this post
Continuous Autoregressive Language Models
📱Edge AI
Flag this post
News for October 2025
ptreview.sublinear.info·2d
✅Property Testing
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·11h
💬Prompt Engineering
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
⏭️Skip Lists
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
💬Prompt Engineering
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·1d
λFunctional Programming
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
🔨Compiler Design
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
🔨Incremental Compilation
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·19h
📱Edge AI
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
💬Prompt Engineering
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
💬Prompt Engineering
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·2d
📱Edge AI
Flag this post
Loading...Loading more...