The Eternal Doorman

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/ )    

... 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 .

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 .

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

 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

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

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 .

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 .

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

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 .

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 .  

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

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

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

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 .

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 .

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

It's her new album. See  https://helenevogelsinger.bandcamp.com/album/ethereal-dissolution  and  https://helene.vogelsinger.fr/ . Subscribe to Hélène Vogelsinger .

So because installing software on Operating Systems is so f*cking complicated, somebody invented metapackaging and they called it snap: https://snapcraft.io so they think it's witchcraft. Well it is, sort of, ... I mean it installs itself, right? Or it just tries to upgrade itself, ... I dunno. Snap is the noise you hear when something breaks. It also means "easy" doesn't it? Such a useful word!

Discussing her Nautilus article  What Plants Are Saying About Us . See also  Amanda Gefter on John Wheeler and Peter Putnam  and  Amanda Gefter on John Wheeler and Scientific Reality . See  https://www.amandagefter.com/ Subscribe to Nautilus .

This is all about large-scale structure in aqueous solutions. These electrically charged structures produce very different chemical conditions than those produced by considering water as a collection of identical H2O molecules where temperature, heat capicity and pressure are the only macroscopic measurable properties.  Subscribe to  Thunderbolts Project . See also  John Stuart Reid on Sound  and Mithuna Yoganathan's attempts to measure the speed of light in water in this post of mine:  Ice . The point I'm trying to make is that when you explain a physical effect, such as that light slows down in water, you explain it in terms of some context which includes physical models of "light" and "water", as well as " speed", and the explanation is really only an explanation in so far as it relates to those particular models. So those models are themselves explanations of the phenomena. Then the  mathematical  models give us a language in which we can expre

See Nick Cave's Red Hand Files #298 : What a beautiful poem! Hearing this just made everything OK. See  Endings and beginnings and continuings and  https://tomhirons.com/ . You can buy the poem from https://feralangels.com/ . Subscribe to Hedgespoken Theatre .

They talk about when RTFM actually meant something, .... .... and Veronica gets kidnapped: Subscribe to Veronica Explains and  The Taylor and Amy Show . See also  Taylor and Amy Build The Feertech MicroBeast  and ... Phil Kruman doing photography with his son in London: Subscribe to Phil Kruman . See also  Zachary Denman - A London Retrospective : Subscribe to Zachary Denman .

Subscribe to CBS Sunday Morning .

There's a lot of the United States that's like this. Huge empty open spaces. See  JoGo Straw: JoGo™ - Ultra Portable Coffee Brewing Straw   Oh, and the jewellery:  https://lupinelaneco.com . Here's the truck fitting-out video which I still haven't watched. Subscribe to Hannah Lee Duggan .