newmana's comments

"Recently, yet another category of low-hanging fruit has been identified as within reach of automated tools: problems which, due to a technical flaw in their description, are unexpectedly easy to resolve. Specifically, problem #124 https://www.erdosproblems.com/124 was a problem that was stated in three separate papers of Erdos, but in two of them he omitted a key hypothesis which made the problem a consequence of a known result (Brown's criterion). However, this fact was not noticed until Boris Alexeev applied the Aristotle tool to this problem, which autonomously located (and formalized in Lean) a solution to this weaker version of the problem within hours."

https://mathstodon.xyz/@tao/115639984077620023

Smalltalk Environment - the dawn of IDEs - "Don't mode me in"

"Novices are not the only victims of modes. Experts often type commands used in one mode when they are in another, leading to undesired and distressing consequences. In many systems, typing the letter "D" can have meanings as diverse as "replace the selected character by D," "insert a D before the selected character," or "delete the selected character." How many times have you heard or said, "Oops, I was in the wrong mode"?"

https://archive.org/details/TheSmalltalkEnvironment

It's worth noting that the debunking has been debunked (it's much more nuanced but essentially you can take the quotes, experience of others and the height of the bridges at face value):

"I recorded clearances for a total of 20 bridges, viaducts and overpasses: 7 on the Bronx River Parkway (completed in 1925); 6 on the initial portion of the Saw Mill River Parkway (1926) and 7 on the Hutchinson River Parkway (begun in 1924 and opened in 1927). I then took measure of the 20 original bridges and overpasses on the Southern State Parkway, from its start at the city line in Queens to the Wantagh Parkway, the first section to open (on November 7, 1927) and the portion used to reach Jones Beach. The verdict? It appears that Sid Shapiro was right."

"Overall, clearances are substantially lower on the Moses parkway, averaging just 107.6 inches (eastbound), against 121.6 inches on the Hutchinson and 123.2 inches on the Saw Mill."

If buses have always about 118" that would be effective.

"Robert Moses and the saga of the racist parkway bridges" https://archive.md/zMrZ4 (https://www.bloomberg.com/news/articles/2017-07-09/robert-mo...)

"Robert Moses and His Racist Parkway, Explained." https://archive.md/v98HO (https://www.washingtonpost.com/politics/2021/11/10/robert-mo...)

Video from 1979 about F International (Dame Shirley's company) - working from home, as a computer a programmer, is the greatest revolution for working women since the pill. https://www.youtube.com/watch?v=b6URa-PTqfA&t=295s

It's also worth noting, one of the author's of the paper: "Transmission of the bacteria is possible, especially given the highly sociable nature of elephants and the link between this infection and the stress associated with extreme weather events such as drought, which may make outbreaks more likely."

https://www.surrey.ac.uk/news/scientists-uncover-cause-myste...

Paper link: https://www.nature.com/articles/s41467-023-41987-z

They might be talking about the checkcast operation: https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.ht...

This is generated when you do something like: final Main value = list.get(0);

http://henrikeichenhardt.blogspot.com/2013/05/how-are-java-g...

Sweden has achieved about 15% infection rate and has showed no signs of slowing.

https://www.smh.com.au/world/asia/new-beijing-outbreak-raise... https://www.worldometers.info/coronavirus/country/sweden/

"It took nine days for the number of infections to grow from 6 million to 7 million, and less than eight days to get to the latest million, so the pandemic is not slowing down." https://www.abc.net.au/radio/programs/coronacast/the-global-...

Or better yet, from the MDL documentation https://mdl-language.readthedocs.io/en/latest/08-truth/#824-...

"indivisible and hence ultimately simple entity, such as an atom or a person."

Yes.

The Semantic Web was not XML but RDF. XML was the serialisation format.

This was covered in a previous post: "Haskell is sandwiched between two layers of C++ in Sigma. At the top, we use the C++ thrift server. In principle, Haskell can act as a thrift server, but the C++ thrift server is more mature and performant. It also supports more features. Furthermore, it can work seamlessly with the Haskell layers below because we can call into Haskell from C++. For these reasons, it made sense to use C++ for the server layer." https://code.facebook.com/posts/745068642270222/fighting-spa...

Sounds like fun https://github.com/newmana/haunted-house

"So you could for example have no poverty and perfect social mobility, and still have great economic inequality."

I think this is where the evidence is to the contrary - economic inequality predicts poverty and poor social mobility.

"These results suggest that the takeoff in income inequality may account in part for the decline in mobility."

http://web.stanford.edu/group/scspi/_media/working_papers/mi...

I love this quote from Christopher Alexander, author of Pattern Language on its failure:

"So there is the slightly strange paradox that, after all those years of work, the first three books are essentially complete and, from a theoretical point of view, do quite a good job of identifying the difference but actually do not accomplish anything. The conceptual structures that are presented are just not deep enough to actually break down the barrier. They actually do not do anything."

https://www.dreamsongs.com/Files/PatternsOfSoftware.pdf

That study has many flaws especially in self selection:

http://othersociologist.com/2015/04/16/myth-about-women-in-s...

I wish Ruby had better support for functions, passing it to a method incurs a 400% performance penalty: https://www.omniref.com/ruby/2.2.0/symbols/Proc/yield#annota...

Constructing a sexist joke is generally seen as a misogynistic thing to do.

There are FAQs perhaps the most relevant is: http://geekfeminism.wikia.com/wiki/Misogyny

But you can find examples everywhere. In Australia, the first female Prime Minister had terms like "ditch the witch" used against her, which is obviously beyond sexism and is hatred see: http://www.theguardian.com/commentisfree/2012/oct/17/differe...

This has been argument since viruses became well known, they've Turing complete since the beginning:

"Much like an infection, a well-intended but badly designed program to stop viruses can run amok, knocking out thousands of computers or destroying vast amounts of data. Indeed, one program intended to defeat a known virus has destroyed data on personal computers used by businesses and the Government in the United States."

http://www.nytimes.com/1989/10/07/business/computer-virus-cu...