Hacker Newsnew | past | comments | ask | show | jobs | submit | tristramb's commentslogin

You might be thinking of Russell's Principles of Mathematics which is a bit easier going.


"Principia Mathematica is an odd book, worth looking into from a historical point of view as well as a mathematical one. It was written around 1910, and mathematical logic was still then in its infancy, fresh from the transformation worked on it by Peano and Frege. The notation is somewhat obscure, because mathematical notation has evolved substantially since then. And many of the simple techniques that we now take for granted are absent. Like a poorly-written computer program, a lot of Principia Mathematica's bulk is repeated code, separate sections that say essentially the same things, because the authors haven't yet learned the techniques that would allow the sections to be combined into one."

- Mark Dominus (https://blog.plover.com/math/PM.html)


Have someone refactored it into a more concise and modern version?


Possibly pertinent: Principia Mathematica Maps and Table Site (PM-MATS): https://principia.lib.uiowa.edu/about.html - more description in my top-level comment in this page.


It seems like a frontier model LLM could probably do it in day, probably less. Someone would have to read and correct it, though


This was my first thought when I saw the article.


Reminds me of a 'mimoid' from Stanisław Lem's Solaris.


He learnt the hard way (as did all those who followed him into Russia)


Napoleon planned his Russian campaign extensively: he had supply hubs set up all over the Duchy of Warsaw, with feeder routers from Prussia keeping them full.

What he didn't anticipate was how bad the roads in Russia would be and how long the Russian army would retreat along them. You can't resupply an army that is marching on a narrow dirt road through a forest because it's blocking its own supply lines.


If you’re going to Russia for the winter, have somewhere to stay and take a jacket. Napoleon screwed up the logistics with all his assumptions.


Napoleon lost the bulk of his army in the summer.


A year ago I started sending postcards to my 91 year old father because he has difficulties with modern forms of communication. They do still exist but you have to search for them.


Its so the monsters can't see you.


Or reading a forum populated only by bots.


He liked to be able to reason about programs without running them. He preferred simpler languages because they contain less irrelevant noise which got in the way of that.


"Kinda hard to find where Dijkstra praised something (except Algol 60)."

Hamilton Richards, who was one of Dijkstra's colleagues at the University of Texas, told me in an email that Dijkstra was impressed by the work of Richard Bird on functional programming.


Interesting. Bird-Meertens formalism? That was directly influenced by APL. In the broader scope — algebra of programs — Dijkstra heavily disliked Backus’ FP.


If the transients occur immediately following the nuclear explosions but not before them, then the correlation together with the earth shadow deficit suggests that the transients are caused by reflective debris produced by the nuclear explosions. I don't know how feasible it would be for this debris to survive the explosion and be blasted above the atmosphere to glint in the sunlight at night, but there is the case of the missing manhole cover from one of the Operation Plumbbob tests: https://en.wikipedia.org/wiki/Operation_Plumbbob#Missing_ste...


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: