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ยท18h
๐ฅEmbeddings
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
๐ฅEmbeddings
Flag this post
How to Build Effective Agentic Systems with LangGraph
pub.towardsai.netยท37m
๐๏ธEnterprise Software Architecture
Flag this post
The Path to a Superhuman AI Mathematician
cacm.acm.orgยท1h
๐type
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ยท1d
๐ฅEmbeddings
Flag this post
Formal Verificationโs Value Grows
semiengineering.comยท1d
๐๏ธEnterprise Software Architecture
Flag this post
Accelerating LLM inference with speculative decoding: Lessons ...
linkedin.comยท18h
๐ฅEmbeddings
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท2d
๐๏ธ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
Building a Memory-Powered Chatbot with LangGraph: A Student's Guide to Conversational AI
๐๏ธEnterprise Software Architecture
Flag this post
Creating Lisp Systems
๐กSelf-hosting
Flag this post
Loading...Loading more...