gabcoh

I’m also not seeing the purported images on iOS 26.1 safari

I guess it’s not sufficiently prominent (given that you didn’t see it) but this is discussed in detail in the FAQ section

async operations require a library to work for some reason

Rephrased: ocaml is so flexible that async can be implemented as a library with no special support from the language.

This is the beauty of ocaml (and strongly typed functional languages more broadly)

And if you’re craving even more telecoms history after that (as I was when I read it a few years ago) Arthur C Clarke’s “How the World Was One” goes into the history of undersea cables and other telecoms technologies https://en.m.wikipedia.org/wiki/How_the_World_Was_One

Potentially also of interest is this [0] article which describes the attempts to build a nuclear powered boring machine that worked by melting rather than cutting the rock.

[0] http://atomic-skies.blogspot.com/2012/07/those-magnificent-m...

Focuses more on the historical side of undersea cables, but I can’t pass up the opportunity to recommend Arthur C Clarke’s “How the World was One” which is an incredible book on the history of telecommunications infrastructure, including the history and economics of undersea cables.

If you aren’t paying attention you just might end up trading on a real crash too.

Such things already exist. Eg. Appimage or even docker.

Can Linux not trivially do the same thing as windows with LD_PRELOAD? If so why is this more of an issue on Linux than Windows? Is it really less a technical challenge and more just a matter of Linux getting less support from upstream developers?

Context for anyone who like me was desperately lost: https://superliminal.com/cube/2x2x2x2/

The https certificate “expiration” date is basically just a “fallback to treating this website as http” date. The site is still perfectly accessible and arguably still more secure than an http only site, you just have to click the scary button saying you know what you’re doing and proceed to the website treating it as though it was compromised which isn’t a big deal for the static pages you’re describing.

Small nitpick: it isn’t entirely true that cryptography is “all or nothing”. With things like time lock crypto and proof of work you can effectively have a scheme where large scale snooping is impossible (would take too much compute), but any individual transaction can be decrypted with a bit of work.

very distant: The Culture series by Ian Banks Somewhat distant: I Robot by Asimov (specifically the ending)

I will not comment on the realism of either of these novels, but will say that both present optimistic visions of futures where super intelligent AGIs are commonplace and both have interesting ideas to consider regardless of exactly the extent to which they are grounded in reality.

The riscv system is emulated in software whereas the x86 system is virtualized using kvm.

Is this true? Why can’t qemu use kvm for user mode emulation?

The comparison with QEMU is with KVM disabled, right? Assuming this is true, how does it compare with KVM enabled?

Do you mean to say both FTX and effective altruism are Ponzi schemes? Obviously SBF and FTX turned out to be a huge fraud, but while EA benefited from the fraud mostly unknowingly (although there are open questions as to whether they should have been more skeptical of SBF) I don’t think it’s fair to say that it is fraudulent itself (at least as far as we currently know). EA is big and while you may disagree with their cause prioritiazation, it is clear real work is being done in the movement.

GitHub: https://github.com/danielgross/teleprompter

Post links to Twitter announcement because the GitHub repo is a bit barebones

I don't know what crypto.com or KuCoin did, but here are some cryptographic schemes for proof of solvency Vitalik wrote up post-ftx collapse: https://vitalik.ca/general/2022/11/19/proof_of_solvency.html

So are there any mitigations for curl users? Anyone know if it's possible to disable IDN by default, and only enable it when (if ever) its needed?

That's fascinating and an incredible example of long term planning. Do you have a source for this?

edit: A very cursory check of the Wikipedia page and https://www.vox.com/2017/9/13/16288364/streampunks-book-exce... suggest that it probably isn't true that Netflix was "originally intended as a streaming company" considering at it's founding online streaming was still far from feasible, but I'm open to evidence to the contrary.

If we’re thinking of the same clip with Matt Levine, I think your characterization is a bit misleading. IIRC Matt Levine was definetly not calling FTX a Ponzi scheme, but yield farming. SBF and FTX (or maybe Alameda?) participated in yield farming, but that has little to do with the aspect of FTX that actually ended up falling apart.

For those interested I think the clip is in an episode of the Odd Lots podcast with both SBF and Matt Levine.

If they took down their website tomorrow would their market cap change at all? Are these then perhaps some of the least “valuable bytes” which explains the website’s design?

I don't know why it would feel like that. The EA community came out immediately and very forcefully in opposition to SBF and this perversion of EA philosophy since the FTX blow up [1] and they have been vocally opposed to shady practices in the service of EA since long before the last week.

[1] https://forum.effectivealtruism.org/posts/XHrHsrQGyr4NnqCA7/...

In the first minute of the video they claim “98% storage efficiency.” Not sure exactly what that means though.

Would it be fair to call this a bug in nextafterf? If this FPU flag is enabled it would seem like returning a denormal here is incorrect as it isn’t representable in this cpu in this configuration.

The fun thing about working on compilers is that you find compiler bugs all the time (usually introduced by you, but not always)!!

Has crypto ever been used for this purpose? And haven’t many other forms of currency effectively been used for this purpose in the past?

Honest question: is it any different elsewhere? If so, why exactly and how do you know?

Does anyone have any opinion on this book as an introduction to category theory compared to something like Category Theory by Steve Awodey (https://books.google.com/books/about/Category_Theory.html?id...) or Seven Sketches in Compositionality (http://math.mit.edu/~dspivak/teaching/sp18/)?

I'm interested in learning about category theory in general just to get a feel for the subject, but I also want to have a better concrete understanding of the category theory that is put to use in Haskell.