Posts

Showing posts from September, 2024

Lue Elizando Talking Psy Ops With Curt Jaimungal

Image
And explaining Nick Cave & Lana Del Rey's songwriting process : in Nick's case, it first required 20 years of heroin addiction, ... There are better ways to do it though , I reckon. See  Sabine Hossenfelder on Brian Greene's Quantum Computer Modeling String Theory Hype . Flashy flash flash flash! At 8:29 he goes into Firebase Quattro territory. This is one of the only zoom meetings I ever attended. The dude is definitely two stops east of Upton Park, but not that that's a bad thing, ... Just a bit difficult to understand. See  Standard ML For The Lady Programmer  for a better way to handle disclosure. At 15:18 Curt asks "Are we souls? Or do we have souls?" The answer is that CNN and BBC News do not. Whence the curious expression "Grow your own bloody vegetables!" Subscribe to Theories of Everything . Here's a real UAP in a Schrödinger's Cat state! Maybe they were an earlier earth and it was they who wrote The Bible, but then somethin

Mylène Farmer - Nevermore

Image
... Jesus is done with the terrorism business, ... Subscribe to Mylène Farmer . So there are lots of little boys like Julian Ziegler Hunts who are being hot-housed in Mathematics and that's why nobody will let me talk about it in a public space?  Daniel Tubbenhauer Doing Inscrutable Things With Analytic Number Theory ... Lana Del Rey on her next album: Subscribe to NME .

Sabine Hossenfelder on Brian Greene's Quantum Computer Modeling String Theory Hype

Image
  Maybe it's not much worse than my attempt to explain the big bang as a consequence of Poincaré Recurrence and then going on to claim that Neil Turok has a plan to test Super-symmetry before the big bang: see Peter Voit and Edward Frenkel on Unification in Physics and Mathematics .   See her articles in Quanta Magazine:  String Theory Meets Loop Quantum Gravity and The Double Life of Black Holes : Meanwhile, black holes developed a second life. In 1972, Jakob Bekenstein discovered that a black hole’s surface area corresponds to an entropy, a quantity usually associated with gases. This remarkable connection between thermodynamics and gravity tightened when, in 1974, Stephen Hawking derived that black holes have temperature and evaporate. Whence the curious utterance "Black holes leak gas". Subscribe to Sabine Hossenfelder . Sabine used to make really good videos, before she was forced, by "curcumstance" I presume, to make it financially profitable. See An

Angela Collier - Who Gets The Nobel Prize?

Image
This is an outline for a screenplay about how much more civilized science is now, compared to how it was in the roaring twenties: Read  The Discovery of Insulin by Michael Bliss. But was it discovered? It sounds to me more like it was invented. Chewing coca leaves must have an effect on Diabetes, but the insulin industry is such a big profit-centre that I think nobody is interested in trying to find out what reverting to chewing leaves does to somebody's metabolism. See Islets of Langerhans in Science Direct. The short-list of Nobel Laureates at the end is worth careful scrutiny. I reckon our Dave would be great as the guy whose only job was going around at night collecting the dogs. And there are dog-roles by the score in this movie. Subscribe to Angela Collier (Astrophysicist) who still hasn't learned to use a functional programming language. The books are just a bit too coarse: see Standard ML for The Lady Programmer . I sure we could do better than this! See David

Nick Cave - Wild God Q&A Livestream

Image
Tomorrow at 8 PM. I wonder if this is going to be pretty epic too. See  Nick Cave & The Bad Seeds Wild God . That was fun! Someone in the chat said that if Carly can't make the tour there's a Parisian and an English girl on standby! And he wants to sing Jolene !  Subscribe to Nick Cave & The Bad Seeds .

Standard ML For The Lady Programmer

Image
This book has in fact already been written. All that remains is to get it into print, I think. See  Terence Tao on Mathematics and Artificial Intelligence and then https://kwarc.info/ and Comma Category . The cover will be a photograph of this portrait by Margaret Sarah Carpenter . See Guerilla Logic - The Books and Margaret Sarah Carpenter . Image source: Wikimedia Commons, Public Domain in the United States and Britain . Florian Rabe on MMT: A UniFormal Approach to Knowledge Representation. See  Michael Kohlhase and Dennis Müller - The STeX3 Package Collection . I think Florian was at Cambridge some time and maybe we had a conversation about the "Semantic Web" that went a bit like this? Me: "What is ontology?" Him: "Well, I don't really know!" If it was he, then I am fairly sure we had also had a brief exchange of emails when I was in Bolivia, in 2011 or so. On semantic antinomies and how to approach them from a Buddhist perspective, see Thom

Victoria Ryder - Singing A Song Which She Wrote

Image
She says "If you feel lonely or sad today it's okay I wrote you a song to make you feel better." And it works, every time! Subscribe to Victoria Ryder .

Nathalie Cardone - Hasta Siempre

Image
Subscribe to Nathalie Cardone . Here are some Cuban children singing the same song: Subscribe to Isaac Cardenas . Different ways of achieving immortality. Here we do it by talking about stuff like The Category of elements ,  The Comma category , The Yoneda lemma and The Grothendieck construction . See Sadhguru on Machine Architecture then Sadhguru on the Greatest Threat to our Lives and Agrarian reforms in Cuba .

Hacking Linux in the Federal Republic of Germany? Mein Gott!

Image
I just heard from Peter Kelway who is being harassed by/via the Police and doesn't have time to help me look for my Regular Expression library code. See Jane Street Capital . This is what he does all day, and it really pisses some people off, including me!!! See Hélène Vogelsinger - Forgotten Futures /// ( 1 / 7 ) /// Forget Your Past and download her album from Bandcamp , it's also epic! Subscribe to Code Therapy with Rene Rebe . Angela Collier on the AI First people, ... Well, if it means I don't have to attend zoom meetings then I'm in favour of it! Subscribe to Angela Collier (Astrophysicist) .   See What is a user interface supposed to do? then What's an operating-system for? and finally  What is wrong with Unix? now look at what the KDE connect people are doing ten years later: https://phabricator.kde.org/project/profile/159/ That is not what I meant! You should be able to control your desktop with your phone and phone from your desktop using any damn

Michael Kohlhase and Dennis Müller - The STeX3 Package Collection

Image
These guys have put together a system for type-checking LaTeX documents! They have a set of macros that allow you to extract semantic information from your LaTeX source files, and it has an IDE that runs in VS Code. See the 374 page manual at https://ctan.math.illinois.edu/macros/latex/contrib/stex/doc/stex-doc.pdf (the files are at https://ctan.math.illinois.edu/macros/latex/contrib/stex/ )    

Daniel Tubbenhauer Doing Inscrutable Things With Analytic Number Theory ...

Image
... and Lie Groups : Subscribe to VisualMath . You can do this kind of thing with Higher Order Functors in Standard ML too. See  Jane Street Capital (you have to scroll down to where I talk about Standard ML Higher Order Functors). Here's Bill Gosper on the most inscrutable piece of code he has ever seen written by Julian Ziegler Hunts , see The Tail of the Singular Series for the Prime Pair and Goldbach Problems by D. Goldston, Julian Ziegler Hunts and Timothy Ngotiaoco. See also Minskys & Trinskys 3rd Edition . Subscribe to G4G Celebration . See the bit about using SAT solvers on the Boolean Pythagorean Triples problem at 10:54 in Terence Tao on Mathematics and Artificial Intelligence . Subscribe to Numberphile . And here's another of Daniel's videos about Order Theory. He does choose some really interesting examples!  Subscribe to VisualMath .

London Grammar - The Greatest Love

Image
It's really good. In fact it's epic and it also deserves to be a number one! See  https://store.londongrammar.com/ Subscribe to London Grammar .

Jane Street Capital

Image
They are sponsoring Numberphile , Computerphile , and now also Steve Mould and Matt Parker (see Matt Parker and Steve Mould Doing Geodesy at Greenwich and Hannah Fry on Disinformation for The Public Good for the relevance): Here's Steve talking about Group Action , I thought, but maybe that has nothing to do with it? Who knows? I thought maybe Nathan Dalaklis , who has been studying Conformal Graph Directed Markov Systems which are structures which attach probability distributions to the edge incidence matrix of labelled directed graphs and thereby allow one to study the back-propagation of influence through an iterated function system, I haven't read that paper yet, see Terence Tao on Mathematics and Artificial Intelligence for my excuse. Matt Parker on Jigsaw Puzzles With Two Solutions: Here's a recruitment thing Jane Street Capital did: Here are some interns, one from Jane Street, talking about quantitative trading: Subscribe to LinTech . Here is a VPRO docu

Ben Eater Hacking Flow Control on his Breadboard 6502

Image
 Here's part I:  Here's part II: If you want a setup like this to try stuff, see  https://eater.net/6502   See my comment : This style of buffer with high and low-water points tends to cause clumping of data flows when the speeds are mismatched. What happens is that transmitter goes full steam ahead until the high water mark is hit, then the receiver effectively blocks the channel while some software in the transmitting device fills its output buffer, and that clumping can continue backing up the channel to the next higher source, and so on and so forth. Then when the receiver has bought some time it goes full steam processing its buffer until the receive buffer is at the low-water mark, then it turns the flow back on the channel, and the transmitter can empty its transmit buffer at full steam, triggering the emptying of it's source's transmit buffer and so on and so forth, back up the chain. If you imagine this process happening globally then you get circular sys

Jenny on Tooling Up India to Work for Google, Microsoft and Meta

Image
It's a big job. I hope these companies appreciate what she's doing! See this post of Louis Rossmann's on the state of the cobbler's children's feet.  See https://www.jennyslectures.com   Subscribe to Jenny's Lectures CS IT .   Here's my comment on Louis Rossman's post:   I wonder whether there is a dual phenomenon to this. I have been programming for years, since I was about 15, which was around 1980. I made lots of things, some were just fun, like a peg-solitaire program I wrote which had a "solve" button! I spent ages learning enough about the Windows C++ API Classes to be able to make hexagonal pegs that you could move around a hexagonal grid with the mouse. I learned all that and then never ever wrote another Windows application for anyone else! I switched to Linux and spent most of time trying to get the Java Runtime working. Anybody who was an early Java adopter on Linux will remember how flaky the distributions were. Then my peak

Planting Mini Forests in The Rainforest

Image
This is a type of Miyawaki Forest , but they are not looking at the soil so carefully. See also Mossy Earth's Ecuador Rainforest Project . People in California trying to reintroduce keystone species to the few remaining kelp forests Subscribe to PBS Tierra .

Hannah Fry on Disinformation for The Public Good

Image
I think what she's saying is that if you put a carrot in your ear, for whatever reason, then you can't hear one side of the argument. I know this for a fact, yorleyenesses. Subscribe to Professor Hannah Fry . Here's my project manager. She's Canadian, but she knows stuff: Subscribe to Julie Nolke . In other news, ...12,000 years ago, they buiried a 30 year-old woman with the head of an old cow:    See Julie Nolke on The Terrible State of Hollywood . Subscribe to History with Kayleigh .

Terence Tao on Mathematics and Artificial Intelligence

Image
This is a talk he gave at the International Math Olympiad and it's really, really interesting. He talks about The Liquid Tensor Experiment and the results: Completion of The Liquid Tensor Experiment . It was formally verified and resulted a great expansion of the Lean Mathematics Library of theorems . So it seems that my idea in this post wasn't too wild, and it gives a great example of how a few good pedagogical systems would result in better research. See The Math Sorceror on Topology by Munkres . There's a lot more besides this in the talk though, so I really encourage anyone interested in mathematics to listen to it.  Subscribe to AIMO Prize . I started listening to it late last night and didn't finish because I thought it was going to keep me up all night. I had spent the whole day watching Nathan's videos about his PhD research. But I woke up at 2:30 AM and couldn't get back to sleep, so I read some more of Jeremy Gray's Henri Poincaré: A Scientifi

Julie Nolke on The Terrible State of Hollywood

Image
I'm awaiting the third part of the Birdman, Fishman trilogy, ... see Peter Voit and Edward Frenkel on Unification in Physics and Mathematics . Subscribe to Julie Nolke .

Laurie Wired on Android's Binder Service

Image
It took her an awful long time to get this message through the system. Something must have gone badly wrong at HEADQUARTERS. See https://source.android.com/docs/core/architecture/hidl/binder-ipc and source at  https://android.googlesource.com/platform/frameworks/base/+/master/core/java/android/os/Binder.java#335 and https://github.com/torvalds/linux/blob/master/drivers/android/binder.c The reason I linked line #335 above is that it makes the whole idea look sketchy as hell!   And in case you think you could fix this somehow, good luck getting your phone to boot: Subscribe to Laurie Wired .   And look what constitutes "security" research these days:  https://www.covertchannels.com/     Subscribe to Low Level Learning .  

Myra West on Love

Image
She's wonderful! Look what she did to my YouTube recommendations! Subscribe to Myra West .  Subscribe to Nick Cave & The Bad Seeds .

Peter Voit and Edward Frenkel on Unification in Physics and Mathematics

Image
He gives a bird's-eye view of theoretical physics development over the past fifty years and shows how much of it turned out to be dead-ends. I think that's because people are still thinking about reduction as something that actually happens in the physical world, rather than as a set of relations between (mostly mathematical) languages. Then the second part is a story about how he ran into problems with modeling fermions in lattice gauge theories and how that lead to another "but we don't see that side of the duality", except this time it is something that appears just in the mathematical language used to describe spinors: See Martin Roelphs on Projective Geometric Algebra . See Peter Voit's blog at https://www.math.columbia.edu/~woit/wordpress/ See my comment, referring to the discussion with Neil Turok on Lambda CDM : 30:20 Maybe these super-partners only existed before the Lambda CDM big bang? https://youtu.be/-gwhqmPqRl4?si=GklKejH7XCcWeRvo&t=48m56s

Amanda Gefter and Curt Jaimungal Talk Physics and Philosophy

Image
As such discussions usually go, this is one is pretty good! See Amanda Gefter on John Wheeler and Peter Putnam and Amanda Gefter on John Wheeler and Scientific Reality . Also Amanda Gefter on Ecological Cognition . Subscribe to Theories of Everything with Curt Jaimungal. And another video I watched today that was interesting is this one which was a talk given at The University of Oslo, May 22, 2013 by Ravi Vakil as part of the presentation of the Abel Prize to Pierre Deligne : Algebraic geometry and the ongoing unification of mathematics   Towards the end he mentions Alexander Grothendieck , who was still alive, though not completely well at the time this talk was given. Grothendieck had developed some very deep relationships with plants in the Pyrenees, where he lived. The connection with Amanda Gefter's discussion with Curt Jaimungal is unification of ways of describing the world, and that involves language and in particular mathematical language. See  Martin Roelphs on Proj

David Gilmour Talking With Rockonteurs About Luck & Strange

Image
In his studio on a boat in the Thames, ... Subscribe to Rockonteurs . Elvis Presley - Heartbreak Hotel (1956) Subscribe to The45Prof . The Tour rehersal: Subscribe to David Gilmour . David Gilmour recording in his floating studio: Subscribe to Pink Floyd HD . Mark Knopfler talking about British Grove studio: Subscribe to Mark Knopfler . Colleen Fazio servicing a Peavey 5150 amp: Subscribe to Fazio Electric .

Hélène Vogelsinger - Forgotten Futures /// ( 1 / 7 ) /// Forget Your Past

Image
On top of Mount Bouzloudja in Bulgaria. See the video description : Here, the wild nature and the past merge, vibrating with a unique energy that emanates from buried memories and past battles. At the summit of this mountain stands the Monument of Bouzloudja, an imposing brutalist structure. This monumental edifice dominates the landscape with an almost supernatural force, evoking both the grandeur and the contradictions of a bygone era.  Inaugurated in 1981, the monument was designed to commemorate the 90th anniversary of the founding of the Bulgarian Socialist Party. ... After the fall of communism in 1989, the monument was abandoned. Over time, it has undergone an inevitable process of entropy, but it is now guarded 24/7 to preserve what remains of its interior. However, the energy of this place goes far beyond the monument and what it represents. ...  Subscribe to Hélène Vogelsinger .

Martin Roelphs on Projective Geometric Algebra

Image
In this talk he shows how carefully chosen axioms and definitions can unify descriptions of models that otherwise seem fundamentally different. See Feynman's comment on Page 149 of his book QED: The Strange Theory of Light and Matter quoted in The Action Lab - Ulexite (How Does Television Stone Work?) : I would like to emphasize something. The theories about the rest of physics are very similar to the theory of quantum electrodynamics: they all involve the interaction of spin 1/2 objects (like electrons and quarks) and spin 1 objects (like photons, gluons, or W's) within a framework of amplitudes by which the probability of an event is the square of the length of an arrow. Why are all the theories of physics so similar in their structure? There are a number of possibilities. The first is the limited imagination of physicists: when we see a new phenomenon we try to fit it into the framework we already have -- until we make enough experiments, we don't know that it