The Eternal Doorman

See https://con.racket-lang.org/ . Subscribe to  Racket . It's fun. They have a corresponding amount (16 years or so) of cruft they need to deal with though: See Matthew Flatt's Sunday morning talk A New Foreign-Function Interface: ffi2 . Subscribe to  The Functional Cruft of Programming . I mean craft ! I am interested in the general problem, of how you build runtime systems and interfaces to existing code. I thought of using Standard ML modules to specify the interfaces in terms of something like GNU lightning, and then meta-programming the runtimes in the high-level language. I guess I could do this by writing a Standard ML #lang for racket, ... The GNU people weren't interested (see Graham Hutton, Zac Garby and Patrick Bahr - Calculating (Correct) Compilers (Effectively) and  Matthew Flatt on Rhombus and Syntax Transformers ). See also Matthias Felleisen's 2019 talk on Racket where he talks about throwing away code. Subscribe to Lambda World . Then see Brian Kerni...

I think it might just be another kind of headache she's made, ... My comment : I'm glad you could do this, but I just wish the ordinary calendar app on your phone could do it. A tracker is just an interface and a tagged data type in the events (headache, cake, sunny day etc.). Lot's of people need different interfaces to their calendars for lots of different reasons, and if it was really a calendar app it would let you do this, but the calendar app is not that, it's just one tiny part of what a calendar could be. The problem is that the AI probably wrote a brand new calendar data format and keeps separate database, etc, etc, [but maybe not: see Android Calendar Provider API ] and the other problem is that it probably wrote a whole lot of Java/ Kotlin whatever and when something changes or you want to change the app what do you do? Next time you want to use AI to modify the program it may be more difficult because you have to tell the AI about what the last AI did and w...

Subscribe to  Boulangerie Pas à pas .

See Dennis Rediscovering an Overcast Stitch Binding Method for Loose Leaf Books . See his Patreon page for the endpapers and typesetting.  Subscribe to Four Keys Book Arts .

It's her birthday, and this about her journalism career.   See her Patreon: https://www.patreon.com/rachelblevins . And she did an interview with Richard Wolff where he talked about wiggle room: See USS Abraham Lincoln crew visits Thailand’s Pattaya, in photos : See also the Newsweek piece: USS Abraham Lincoln Photos Reveal Warship’s Condition As It Makes Port . Subscribe to Rachel Blevins .

See  Kovalevskaya Top at IWF (Göttingen)  and the Wikipedia page:  Lagrange, Euler, and Kovalevskaya tops .  See Mura's series on Sofya Kovalevskaya's autobiography : See  Mura Yakerson's Upcoming Series on Sofya Kovalevskaya .  Subscribe to Math-life Balance .

This is a great lecture. He makes the same jokes he was making in 1998, but he clearly enjoys telling them. See Social Ontology and the Philosophy of Society . It's quite a claim though, that this applies to all of human civilization.  I suppose one could just declare this to be the case in some appropriate context, ... but which one? 46:52 . His answer to the question at 59:06 seems to me to put particles such as protons and electrons fairly squarely into the category of products (i.e. theories) of social institutions: they are produced by people who have machines the development and manufacture of which are funded at least in part by income tax! You need to have been immersed in a very peculiar (I can't say  particular ) culture to have even a vague notion of what a proton or an electron are. Subscribe to Philosophy Overdose .  

It's another good one. Lots of history I didn't know and some figures about BRICS representation in terms of economic production and population. See Paulo Nogueira Batista Jr. interviewed by Nima Alkhorshid . 27:34 When the Soviet Union was dissolved Russia took on all of the legal obligations the USSR had entered upon. I presume that included the nuclear agreements which the US backed out of. Subscribe to Glenn Diesen .

My comment : Oh wow, if you work for one of these companies then watching this is like seeing your underpants being taken off and shown on TV!  See  Sylvain Huet - Bare Metal Made Easy and https://github.com/nmatt0/moria   https://github.com/nmatt0/mithril   More about the tools: Subscribe to Matt Brown .