The profzi scheme is a famous comic from Jorge Cham. It compares academia to a Ponzi scheme: many students work for a professor to produce more papers. The professor takes credit for all the paper, but few of the advisee will have a great academic career because... the whole thing is pyramidal... the numbers don't add up. The whole operation is largely sterile and only works due to the pretence that producing peer reviewed research papers is equivalent (synonymous) to producing new, valuable, knowledge. What happens if AI can produce the papers? The scheme is exposed. We see it in mathematics right now. The AIs sidestep the entire peer-review process... and provide correct proofs to what was considered by the math establishment as the important problems. These people are very angry. It is the great AI debunking. So what is the solution? Go back to what should always have been. The purpose of research should never have been to produce peer-reviewed papers. This was always a perversion. (For people who do not read me regularly, the peer-review model became dominant in the 1970, it is a recent addition.) The purpose, of course, is to solve problems that people care about. That's much more difficult than producing papers... so it puts the bar much higher for scientists and researchers. But the bar should never have been lowered in the first place. What happens to the 'profzi scheme'? I predict, I hope, that it will fall. Not all of a sudden, but once the system come to the realization that the production of papers is a solved problem, AI can do it better than us... then it won't be decades before students start worrying about where the train is headed. (The comic attached is AI generated. Obviously.)

If you don’t understand why, you don’t understand anything. (That’s what I tell myself.)

Trump: "Russia, frankly, has been fine on Ukraine. They haven't been doing much." Russia being fine on Ukraine and not doing much:

linux had 1 market advantage left and he's about to ruin that

Re reading Hayek is one of the best uses of time. The only better use is reading him for the first time (if you haven’t).

The tragedy of it all is that rioting against inflation and cost of living by destroying stores just increases inflation and cost of living. Fiscal issues lead to social issues, which lead to more fiscal issues and more social issues.

I’ve always said that WW3 has begun, and that if Ukraine wins, this is the final battle, and if they lose, this is the first battle. But I never expected that the USA would be on the side of Russia and China, like we ow are under Trump.

i just realized i'll never go back. i don't need vscode anymore.

EXCLUSIVE: Elon Musk came to Donald Trump with the plan to throttle Ukraine’s use of SpaceX’s Starshield satellite internet network, sources have told the Telegraph. The tech billionaire made the proposal during the US President’s row with Volodymyr Zelensky over strikes on Russian oil refineries. ‘The reality is that they were both in it,’ a senior source said of Musk’s and Trump’s involvement. But after a night of carnage in Kyiv caused by the slowdown, Musk was alarmed about the possibility of adverse consumer reaction in Europe. The SpaceX boss then proceeded to tweet, blaming the US administration, and ultimately, President Trump for authorising the slowdown. ‘He tweeted out that he was innocent and that it was the US administration that did it,’ the source said.

❤️😂

Here is a prompt to build a verified version of software X in Lean, prove correctness and optimize it to run faster than its original. /goal Implement X in Lean. Get it to pass all the tests of X. Then state theorems that guarantee that your implementation is correct. Then prove them in Lean. Then pick a well-established benchmark or dataset, ensure your implementation works on it. Measure the speed baseline. Then aggressively optimize your implementation to run at least 10% faster than the fastest implementation of X, while passing the tests and proving the correctness guaranteeing theorems for each optimized version. This may take a long time and lots of ingenuity, don't stop until fully and honestly done. Put your work in a public Github repo. Include the proven theorems and a gif of plot showing the results of your optimizations over iterations, compared to competing implementations. This workflow was inspired by @tqft's (Kim Morrison) lean-zip github.com/kim-em/lean-zip. Here are two examples: 1. Implementation of algorithms factoring integers into primes: github.com/Vilin97/PrimeFact… 2. Implementation of jump processes in Lean, faster than Julia's: github.com/Vilin97/JumpProce….