What I especially like about this Windows 9x Subsystem project, is that it proves that coLinux could have been written way earlier. Now imagine how less dual booting we would have needed in 1996 if that happened, and how it would have affected VMware which only existed since 1998.
Autotools was designed to produce a configure script with zero dependencies other than the compiler toolchain itself. I always thought it would be a good way to bootstrap a system configuration database (like the kind X11 already had, the name I forget) but it turned out to be too convenient to just drop autotools into every project instead.
So now even today, compiling any GNU package means probing every last feature from scratch and spitting out obscenely rococo scripts and Makefiles tens of thousands of lines long. We can do better, and have, but damn are there a lot of active codebases out there that still haven't caught up.
Just to confirm it is true. This is LaLiga bringing down essential country-wide infrastructure on soccer hours if your internet access is through main ISPs.
I think "Foundation" axiom F forbids your recursive set, and there are models of both core set theory satisfying either F or ¬F, so F is independent of core set theory (core -> not including F or ¬F). F is normally assumed in set theory, but Aczel has worked with "ill" founded (¬F) set theory models. Just as with the axiom of choice. No religion wars, just people pushed to be explicit with assumptions.
Hi Nick, the lag is quite bad in the field, honest. In desktop app in this case/datapoint. There was that "halt and catch fire" episode where they spoke about a millisencod threshold of delay that separated usability and non. Solvent hw and fiber connection.
Nice summary, saving it. If author is around, Bellman equation label ended overlapped to eqn., and pargraph quoting signs got into HJB displayed one. Suggest changes is 404 not found. Liked the presentation overall, thank you!
To comment something then, the symmetric group (bijections) is generated by permutations of two elements, in the braid group you can braid the left whisker on top of the right one, or below. If you permute twice, you do nothing, but you can twist hair one, two, three, ... any times. that is the contrast in the generators and relations of both groups. If you go to the wiki page of topological quantum computer, the photo expresses a unitary representation of a braid group element. Schrödinger evolution in discrete time is given by unitary matrices (one of the Stone theorems). Now look at the pic, and imagine threads from input 1 to output 1, input 2 to output 2, etc, in adition to the colored threads of the pic. With the extra threads as gluing spec (topological identification) you get a single colorful closed curve (or several ones). The chapter is going to talk about how this is a link/knot. So you get an algebraic understanding from a structural object as the symmetric group is, opening what these closed curves are. People in loop quantum gravity could have had their fingers on that kind of page. There is an accesible description of the Jones polynomial. If you bookmark this, next time the pros juggle the name before you you have a place to go to avoid showing "that face".
I am more optimistic, good blogs will continue being there, and crap ones are no new invention or menace, be it LLM slop or Markov chain SEO babble content of 10 years ago.
There is an economy here that the effort investment is paid with a reward of quality. Many teens feel the discomfort of being locked into platform attention farms and are stoic about it. They deserve the opportunity of being told other options exist.
Are you a teen or you speak on behalf of the whole world? My impression of said demographic is totally different, though. And I would not speak for them just like that, as they be very diverse depending on where you find them.
reply