241
Nearly all binary searches and mergesorts are broken (2006)
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 460 posts.
242
LHC experiments see first evidence of a rare Higgs boson decay
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…
243
Nearly all binary searches and mergesorts are broken (2006)
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
244
Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis
A completely new approach suggests the validity of the 110-year-old Lindelöf hypothesis, opening up the possibilities of new discoveries in quantum computing, number theory and cybersecurity
245
Experimenting with Post-Quantum Cryptography
Posted by Matt Braithwaite, Software Engineer Quantum computers are a fundamentally different sort of computer that take advantage of aspec...
246
Binary Decision Diagrams (2010)
Suppose you want to visit every state capitol exactly once, traveling on highways. Which route is shortest? Which route is longest? What is the mean and standard deviation of all the routes?
247
220,000 cores and counting: largest ever public cloud job
An MIT researcher recently broke the record for the largest ever Compute Engine cluster, with 220,000 cores on Preemptible VMs , the largest known high-performance computing cluster to ever run in the public cloud.
248
Modular Manifolds
A geometric framework for co-designing neural net optimizers with manifold constraints.
249
250
251
252
A gentle introduction to automated reasoning
Meet Amazon Science’s newest research area.
253
L2 Regularization and Batch Norm
This blog post is about an interesting detail about machine learning that I came across as a researcher at Jane Street - that of the interaction between L2 r...
254
The Shortest Possible Game of Monopoly (2010)
OK, since no one is posting, you get to endure another Monopoly post! After our recent attempt to play the shortest actual game of Monopoly on record, we started to wonder about what the shortest T…
255
C.R. Rao: A Life in Statistics (2020)
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.
256
Logical Induction
MIRI is releasing a paper introducing a new model of deductively limited reasoning: “Logical induction,” authored by Scott Garrabrant, Tsvi Benson-Tilsen,
257
258
Improving mathematical reasoning with process supervision
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…
259
260
Tutorial for Wykobi – A C++ Computational Geometry Library
Wykobi Tutorial
261
Scientists use quantum device to slow chemical process by factor of 100B
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.
262
Topics in Core Mathematics at Graterford Prison
Topics in Core Mathematics sounds like the blandest possible math class. The course title is meant to convey the one important aspect of the class for many students: this class fulfills the core math requirement for the College of Liberal Arts and Sciences. Box checked. However, the advantage of blandness is that it…
263
10-year-old problem in theoretical computer science falls
Interactive proofs — mathematical games that underlie much modern cryptography — work even if players try to use quantum information to cheat.
264
Reconciliation is a knapsack problem
Yesterday, we announced adding AI to our recon engine. Today, we're underscoring how reconciliation is a pain point by delving into the math.
265
Jean-Pierre Serre turns 100
Jean-Pierre Serre is a French mathematician who has made important contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was a member of Bourbaki.
266
Math in Data Science
Find out how much math is involved in data science and what math you need to know to get started in a data science role.
267
Stop teaching calculating; Start teaching math
Conrad Wolfram's 2010 talk on reforming maths education to teach real-world computational methods using computers.
268
Craig Gentry named MacArthur Fellow for work on fully homomorphic encryption
Fueling a revolution in cryptography and theoretical computer science through his breakthroughs in fully homomorphic encryption, leading to the possibility of more secure cloud computing.
269
What's so hard about histograms?
An interactive essay on the joys and pitfalls of histograms
270
Back-of-the-envelope estimates of next quarter’s unemployment rate
Layoffs are certainly one of the effects of battling COVID-19. What sort of unemployment rate might we see in the second quarter of 2020?