Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)S
Posts
50
Comments
1561
Joined
3 yr. ago

  • I use pandoc to convert the epub to a .txt file and read it with emacs or "less". There are much more efficient ways to do the conversion but I haven't bothered scripting one.

  • Yes, that's Frege's system mentioned in Henry Cohn's post. But that happened in a very naive time compared with today. So it would be more of a surprise if something like that happened again.

  • Single server PIR is kind of a theoretical surprise but good ways to do it with multiple servers have been known for a long time. See the Wikipedia PIR article. Yes it's maybe a solution looking for a problem, but it's way cool that it can be done at all.

  • There is an MO thread about this:

    https://mathoverflow.net/questions/90876/what-would-be-some-major-consequences-of-the-inconsistency-of-zfc

    Basically "our mathematical system" for mathematicians usually (though not always) refers to so-called ZFC set theory. This is an extremely powerful theory that goes far beyond what is needed for everyday mathematics, but it straightforwardly encodes most ordinary mathematical theorems and proofs. Some people do have doubts about its consistency. Maybe some inconsistency in fact could turn up, likely in the far-out technical fringes of the theory. If that invalidates some niche areas of set theory but doesn't affect the more conventional parts of math, then presumably the problem would get fixed up and things would keep going about like before. On the other hand, if the inconsistency went deeper and was harder to escape from, there would be considerable disruption in math.

    See Henry Cohn's answer in the MO thread for the longer take that the above paragraph is cribbed from.

  • Webb space telescope

    Fully homomorphic encryption doing useful things

    Higgs boson detected (oops, 2013)

    Solar power and battery storage cheap enough to displace fossil energy and let ordinary people go off grid

    New tacqueria in my neighborhood is actually pretty good.

    What more could you want?

  • The TUSC all-Britain steering committee has welcomed a new petition from leading trade unionists. It calls on the Green Party leader, Zack Polanski, to mobilise his party in the struggle against local council austerity.

  • No it doesn't, you want to be able to turn off JS while it is running, and that is now impossible. Noscript stops it from running in the first place and that breaks too many sites.

  • Geez if he is in that much agony he needs immediate medical attention. Save therapy for later.

  • Timeless physics is actually a plot element in a 2013 Harry Potter fanfic, hpmor.com. But this article seems kind of fringe.

  • Pepperidge Farms remembers when Firefox had a control like that to turn JavaScript on and off. The rest of you are supposed to have forgotten. Oops.

  • I'd raise my hand to the person, showing its six fingers.

  • In interstellar space there is no temperature differential for that solar cell scheme to work from. It only works when there is something that is heated by the sun part of the time, and radiates heat into space the rest of the time. Maybe the far ("dark") side of the moon counts for that, but for a moon station you probably want batteries or RTG's or whatever. I'm sure there are uses for this thing but they sound very niche. Radiating heat into space on hot nights on the other hand is quite interesting, as an alternative to air conditioning.

  • Do I want to know what that is? Five nights just meaning surfing some pr0n site?

  • The thing about deep space is confusing. Where is it dark for long periods in deep space?

  • Dyson sphere is supposed to go around the SUN not the Earth. FAIL.

  • The linear city was doomed but better to replace it with a giant bowling alley or just about anything but a data center.

  • One hour, bah. I don't understand why people complain about 1 minute youtube shorts. That seems about the right length.