Clik here to view.
Thursday—June 17th—A Debate on Program Correctness
There are two ways to write error free programs; only the third one works–Alan Perlis Perlis on Coding Joy source Alan Perlis, the first Turing Award winner, summarized the whole issue of program...
View ArticleClik here to view.
The Shape of This Summer
Looking farther than Father’s Day src Jordan Ellenberg is the author of the new book Shape: The Hidden Geometry of Information, Biology, Strategy, Democracy, and Everything Else. I just received it as...
View ArticleClik here to view.
Scaling and Fame
Scaling the pandemic is different from scaling the US budget Sydney Morning Herald interview source Terence Tao is now “properly” famous. He was cited earlier this month in the NYT science section for...
View ArticleClik here to view.
Socially Reproduced Experiments
We must avoid becoming one Cropped from USA Today source José Altuve hit a game-winning home run in the bottom of the ninth against the Yankees on Sunday. He thereby reproduced the conditions and the...
View ArticleClik here to view.
The Reach of Dichotomy
Congratulations on the 2021 Gödel Prize Composite including Richerby’s talk at STOC 2021 Andrey Bulatov, Martin Dyer and David Richerby, and Jin-Yi Cai and Xi Chen are the authors of three papers...
View ArticleClik here to view.
Pandemic Lag
In chess ratings and what other measures of cognitive development? src Henri Didon was a French priest and promoter of youth sports in the late 1800s. He coined the phrase Citius, Altius, Fortius,...
View ArticleClik here to view.
Turning the Tables on Cheating?
Colonel Stok: Do you play chess? Harry Palmer: Yes, but I prefer a game with a better chance of cheating. Sleuth source Michael Caine played Harry Palmer in the movie Funeral in Berlin. This was...
View ArticleClik here to view.
P vs NP Proof Claims
Ken Ribet once was sent a freebie book that he looked at and decided he didn’t want, so took it to a second hand bookstore on his lunch break, sold it, and bought lunch with the proceeds. On the way...
View ArticleClik here to view.
A Negative Comment on Negations
Always turn a negative situation into a positive situation—Michael Jordan (MJ) src Michael I. Jordan of the University of California, Berkeley, is a pioneer of AI that few outside of his field...
View ArticleClik here to view.
Great Go, Glitchy Grammar
If there are sentient beings on other planets, then they play Go.—Emanuel Lasker, chess world champion ACM Prize in Computing source David Silver, the 2019 ACM Computing Prize winner, is highlighted...
View ArticleClik here to view.
Texas-Sized Problems
Mathematical edges to edgy laws Cropped from Lex Fridman podcast Scott Aaronson is one of the top researchers in complexity theory and especially in quantum computing. He is famous for more than his...
View ArticleClik here to view.
Happy UnBirthday Ken
Mad Hatter: Now, statistics prove, prove that you’ve one birthday. March Hare: Imagine, just one birthday every year. Mad Hatter: Ah, but there are three hundred and sixty four unbirthdays! March Hare:...
View ArticleClik here to view.
A Possible Ramsey Insight into P Versus NP?
In mathematics the art of proposing a question must be held of higher value than solving it—Georg Cantor Cropped from his page David Zuckerman has a beautiful result on the approximate hardness of the...
View ArticleClik here to view.
Baby Steps
You don’t have to see the whole staircase, just take the first step—Martin Luther King, Jr. Still from her IHES lecture Maryna Viazovska was the first person to prove an exact bound on sphere packing...
View ArticleClik here to view.
Physics Nobel Prize for 2021
If I could explain it to the average person, I wouldn’t have been worth the Nobel Prize— Richard Feynman Composite from front-page source Giorgio Parisi has just been awarded the 2021 Physics Nobel...
View ArticleClik here to view.
Some Statistical Gamma Fun
Nothing takes place in the world whose meaning is not that of some maximum or minimum. — Leonhard Euler Cantor’s Paradise page Kasper Müller is a mathematics and data science writer for Medium, where...
View ArticleClik here to view.
An Annoying Problem
It’s the stupid questions that have some of the most surprising and interesting answers — Cory Doctorow ACM Turing Award source Robert Tarjan is well known to most—a Turing award winner in 1986 with...
View ArticleClik here to view.
Quantum Trick or Treat
Are crazy quantum walks fact or fiction? NOAA src Lesley Smith is a climate researcher at the University of Colorado’s Cooperative Institute for Research in Environmental Sciences. She is also...
View ArticleClik here to view.
The Artificial Intelligence Historian
The past actually happened but history is only what someone wrote down—Whitney Brown CMU tribute Pamela McCorduck passed away last month. The New York Times obituary notes her interactions with many...
View ArticleClik here to view.
POPL 2022—Et Tu, Brute?
Some things just cannot wait. Men must stand up now for women’s equality— Rick Goings Kathleen Booth, Cicely Popplewell, Grace Hopper, and Jean Sammet were four pioneers of the field of Programming...
View Article
