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
AILA--First Experiments with Localist Language Models
arxiv.orgยท1h
๐Parsing
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
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
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.comยท17h
๐ฌ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
Algorithmic Complexity Reduction via Quantized State Space Search
โ๏ธQuantum Computing
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
Cyclic Proofs for iGL via Corecursion
arxiv.orgยท1d
๐งฎSMT Solvers
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
๐ฑEdge AI
Flag this post
LazyLLM, Easiest and laziest way for building multi-agent LLMs applications
๐ฌPrompt Engineering
Flag this post
SORTeD Rashomon Sets of Sparse Decision Trees: Anytime Enumeration
arxiv.orgยท1h
๐ดRed-Black Trees
Flag this post
Writing an LLM from scratch, part 27 โ what's left, and what's next?
๐ฌPrompt Engineering
Flag this post
Creating Lisp Systems
๐ญCode Generation
Flag this post
A unified physics-informed generative operator framework for general inverse problems
arxiv.orgยท1h
๐Linear Algebra
Flag this post
Loading...Loading more...