361
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 460 posts.
362
The formula for pi buried in a hydrogen atom
When most people think about pi, they associate the mathematical constant with arcs and circles. Mathematicians, however, are accustomed to seeing it in a variety of fields. But two University physicists were still surprised to find it lurking in a quantum mechanics formula for the energy states of the hydrogen atom.
363
A new algorithm for smoother 360 video viewing
Visit the post for more.
364
Camera Calibration from Scratch Using Rust
Learn the theory behind how to perform sensor and camera calibration.
365
366
MathML in Chromium
A joint effort to add native MathML-Core support to web browsers.
367
MathCode, Mathematical Coding Agent
A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.
368
Evolution Strategies as a Scalable Alternative to Reinforcement Learning
Stay up to speed on the rapid advancement of AI technology and the benefits it offers to humanity.
369
Prolly Trees
A deep dive into the Probabilistic B-tree or Prolly Tree data structure including examples. Prolly Trees are used to create version controlled databases.
370
Modeling the World in 280 Characters
An exploration of the mindset, methods, and motivations behind crafting tiny, expressive shaders that combine code, art, and constraint.
371
Eytzinger Binary Search
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.
372
Hinge and Its Implementation of the Gale–Shapley algorithm
https://thetab.com/uk/2020/05/20/this-is-how-the-nobel-prize-winning-hinge-algorithm-actually-works-157740
373
Short algorithm, long-range consequences
A new technique for solving ‘graph Laplacians’ is drastically simpler than its predecessors, with implications for a huge range of practical problems.
374
Provably space-efficient parallel functional programming
You have heard your grandmother tell you many times: parallel programming is hard. In 2022, does it still have to be? Back in grandma’s heyday, they knew a cool and breezy way to do paralleli…
375
376
377
Discovering Novel Algorithms with AlphaTensor
In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental tasks such as matrix multiplication. This sheds light on a 50-year-old open question in mathematics about finding the…
378
The Riemann Hypothesis (Part 2)
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…
379
Native Type Theory
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…
380
381
382
383
Cosmology with Geometry Nodes
Learn about the real-life scientific applications of GeoNodes in Cosmology research.
384
Solving a linear optimization problem on incentive allocation
At Lyft, scientists solve all kinds of optimization problems. While solvers can come in handy, there are times when complicated or…
385
Chemists develop new way to split water
The news portal offers current information about studies, research and life at Münster University.
386
25 Best Hangman Words
Mathematica analysis of picking the optimal words to win the Hangman spelling game. Code and link to Wolfram Demonstration are included.
387
Rationality: From AI to Zombies
Between 2006 and 2009, senior MIRI researcher Eliezer Yudkowsky wrote several hundred essays for the blogs Overcoming Bias and Less Wrong, collectively called
388
389
390
Inferring Algorithmic Patterns with Stack
At Meta, research permeates everything we do. We believe the most interesting research questions are derived from real world problems.