Show HN: Kumi – a portable, declarative, functional core for business logic
🏗️Enterprise Software Architecture
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·13h
📥Embeddings
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
📥Embeddings
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.org·8h
📥Embeddings
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
🏗️Enterprise Software Architecture
Flag this post
How to Diagnose Why Your Language Model Fails
machinelearningmastery.com·23h
📥Embeddings
Flag this post
Formal Verification’s Value Grows
semiengineering.com·1d
🏗️Enterprise Software Architecture
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
🏗️Enterprise Software Architecture
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
🏗️Enterprise Software Architecture
Flag this post
Creating Lisp Systems
🏡Self-hosting
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
🏗️Enterprise Software Architecture
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·2d
📊type
Flag this post
are-dependent-types-actually-erased
📊type
Flag this post
What Is Occult Grammar?
🧠Educational psychology
Flag this post
Loading...Loading more...