The latest blog posts to take off on Hacker News. 460 posts.
Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…
A deep dive into the Probabilistic B-tree or Prolly Tree data structure including examples. Prolly Trees are used to create version controlled databases.
Every now and again you come across something that stretches your brain in a new direction. Last week I stumbled on a magic trick of a Choose Your Own Adventure: Al Leonardi’s Ace of Aces, a paper …
Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics
We estimate the magnitude of speed improvement for optimization solvers and computer hardware in the 35 years from 1989 to 2024.
We introduce FunSearch, a method for searching for “functions” written in computer code, and find new solutions in mathematics and computer science. FunSearch works by pairing a pre-trained LLM, whose goal is to provide creative solutions in the form of computer code, with an automated “evaluator”, which guards…
Posted by Robin Kothari and Rolando Somma, Research Scientists, Google Research, Quantum AI Team Quantum computers promise to solve some problems e...
Yesterday, we announced adding AI to our recon engine. Today, we're underscoring how reconciliation is a pain point by delving into the math.
Interpretability research decomposing a transformer layer into thousands of interpretable features that can steer model behavior.
Use 3D to visualize matrix multiplication expressions, attention heads with real weights, and more. Matrix multiplications (matmuls) are the building blocks of today’s ML models. This note presents mm, a visualization...
The news portal offers current information about studies, research and life at Münster University.
In a world-first experimental result, scientists at the University of Sydney have used a quantum computer to coax an atom to behave the same way as a photo-chemical process that underpins the speed of human vision and solar energy harvesting - only at speeds 100 billion times slower than in nature.
Presently into the 100th year of his life of vast experience, living in his Buffalo residence, here is a video message communicated by his daughter when he turned 99, at the beginning of a year-long celebration, with conferences in his honour at various places.
An interactive introduction to grokking and mechanistic interpretability.
An interdisciplinary team of mathematicians, engineers, physicists, and medical scientists have uncovered an unexpected link between pure mathematics and genetics.
In 2011 I gave a 15-minute talk to a lay audience in London. The topic I had chosen was ergodicity breaking, and the challenge was clear: how do you get this across? I invented a coin-toss gamble, which has since become a go-to illustration of ergodicity break
Create beautiful diagrams just by typing math notation in plain text.
puzzle roguelike on a hyperbolic plane
Learn how modern image analysis and processing algorithms works under the hood with their C/C++ implementation on PixLab's APIs & FACEIO, facial recognition framework using the SOD Embedded Computer Vision Library.
Mathematics Professor Gilbert “Gil” Strang taught his last class to thousands after teaching calculus, analysis, and linear algebra for more than 60 years at MIT and online. He reflects on his life at the Institute and as an instructor with MIT OpenCourseWare.
We’ve trained a model to achieve a new state-of-the-art in mathematical problem solving by rewarding each correct step of reasoning (“process supervision”) instead of simply rewarding the correct final answer (“outcome supervision”). In addition to boosting performance relative to outcome supervision, process…
Neel Nanda reverse engineers neural networks that have "grokked" modular addition, showing that they operate using Discrete Fourier Transforms and tr…
The discovery of the Higgs boson at CERN’s Large Hadron Collider (LHC) in 2012 marked a significant milestone in particle physics. Since then, the ATLAS and CMS collaborations have been diligently investigating the properties of this unique particle and searching to establish the different ways in which it is produced…
In a noisy world, it allows you to be heard.
This tutorial is loosely based on a 46-page paper by Paul-Virak Khuong and Pat Morin “Array layouts for comparison-based searching” and describes one particular way of performing efficient binary search by rearranging elements of a sorted array in a cache-friendly way.
Artificial intelligence, like machine learning before it, is making big money off what I call the “sell ∀ ∃ as ∃ ∀ scam.” The scam works as follows. Build a sy…
