Topics /

AI & Machine Learning

The most popular blog posts about ai & machine learning on Hacker News. 6,331 posts.

Any year
5325

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.

5328

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

5330

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…

5337

Understanding Convolutions in Probability

In this post we take a look a how the mathematical idea of a convolution is used in probability. In probability a convolution is a way to add two random variables. Using a slightly ridiculous, mad-science, example we walk through multiple way to compute a convolution and ultimate arrive at the formu