Topics /

AI & Machine Learning

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

Any year
3062

Amazon Transcribe Streaming Now Supports WebSockets

I love services like Amazon Transcribe. They are the kind of just-futuristic-enough technology that excites my imagination the same way that magic does. It’s incredible that we have accurate, automatic speech recognition for a variety of languages and accents, in real-time. There are so many use-cases, and nearly all…

3063

Can optical illusions fool AI too?

Deep neural networks (DNN) have made the news recently for their application as a predictive software used to create convincing fake videos of politicians and celebrities. You may not be aware, however, that you have most likely already used the same technology in a much less controversial form: the translation app on…

3088

TorchLean: Formalizing Neural Networks in Lean

Neural networks are increasingly deployed through software stacks whose behavior is defined by tensor layouts, preprocessing choices, compiler boundaries, floating-point arithmetic, GPU kernels, and external model exporters. TorchLean is a Lean 4 codebase for neural network specification, execution, and verification…