Topics /

AI & Machine Learning

The most popular blog posts about ai & machine learning on Hacker News. 3,242 posts.

Any year
2739

StableLM Zephyr 3B

StableLM Zephyr 3B is a new chat model representing the latest iteration in our series of lightweight LLMs, preference tuned for instruction following and Q&A-type tasks.

2742

Can LLMs model real-world systems in TLA+?

Editors’ note: AI has been actively pushing the frontier of applied formal methods for computing systems. In this article, the Specula team wrote about their experience of evaluating LLMs on modeling system code, the basic capability for agentic model checking, using TLA+, a specification language f

2744

Batch computing and the coming age of AI systems

There’s a lot of excitement right now about human-in-the-loop systems supercharged by foundation models including chat assistants ( ChatGPT ), word processing ( Microsoft Office ), graphic design ( Stable Diffusion ), and code editing ( Copilot ). However, these systems only begin to scratch the surface of the role…

2756

Visual Reasoning Is Coming Soon

From silly cat costumes to world-changing innovations, OpenAI's latest release marks the beginning of something extraordinary. The fascinating world of visual reasoning is emerging, where AI models will soon think in pictures and solve complex spatial puzzles, transforming how machines understand and interact with the…