Viewing profile — wk_end

I don't know what the definitions of "basic" is, but even PPL students are trained to recognize the effects of a frozen pitot tube.

I see an M and a V in this description, but no C. Is the UI updating itself automatic or manual? Because if it’s manual, that’s precisely the error-prone part that you’re saying th…

According to [0], "Rocq’s kernel spans approximately 41K lines of OCaml code, while Lean’s kernel consists of approximately 8K lines of C++ code." [0] https://dl.acm.org/doi/pdf/10…

> It feels exactly like if all the emacs users in the world tried to force all vim users to use emacs. I don't know about forcing , but there's certainly a long history of emacs us…

The most interesting thing about this link, for me, is seeing that there's an open-source recreation of GoldSrc [0]? That's apparently been around since 2011 [1]? I'm stunned I hav…

* the SB-SIMD contrib now supports ARM64. (Thanks to Sylvia Harrington) * AVX512 instructions are now supported on X86-64. (Thanks to Robert Smith and Arthur Miller) * additional s…

My impression is that, rightly or wrongly, it developed a bit of a negative reputation in various ways - too esoteric, slow builds, toxic community, etc. - so people stayed away fr…

Nah, Kant's considered a notoriously poor writer among philosophers. Obviously opinions may differ, but Derek Parfit [0], for instance, wrote: “It is Kant who made really bad writi…

A few years ago I tried to make it through The Critique of Pure Reason, but had to stop because - as many people famously do - I found Kant's writing too abstruse. In saying that, …

But at no point did they say that the argument was invalid; just that they couldn't stand reading it.

British, American, and French deaths made up only a small fraction of the 60M-75M killed in WWII, which speaks to the global ("World") nature of a World War. I believe it's also th…

A "World War" probably isn't characterized by its "size" (whatever that means) but rather by the fact that the combat theatre extends over much of "the world", or that much of "the…

I really enjoyed the Ad Museum when I went a few years ago. https://www.admt.jp/en/ These all look fascinating too. God, Tokyo's really an incredible city, huh.

Grass-fed beef isn't necessarily better. It tends to be comparatively leaner than grain-fed, and a richly marbled rib eye is for a lot of people (myself included) just about as goo…

Disagree - engineers documenting fun and quirky DIY projects is very much in the hacker spirit. Before reading this I didn't even know aquaponics was a thing, much less a thing wit…

Having a fish tank for fish is a normal enough thing and carries similar risks of water damage, doesn't it? Does this strike you as significantly higher-risk, less insurable, or mo…

The problem is that the counterfactual isn't obvious. The company spends more time - and money - than they needed to fixing those issues, but how do they know? And how do they know…

The link to Perfect6502 is interesting. It says that it supposedly gets speeds of 1/30th of 1MHz - i.e. ~30KHz - on high-end 2025 CPUs. Which is very slow of course, but still ~100…

Are you saying that you expect the Trump regime, which has been otherwise clearly and resolutely pro-Israel, to be implementing BDS policies and refusing to buy anything from Israe…

The argument is: if you don’t have hygienic macros, a Lisp-2 is going to be less brittle than a Lisp-1. The classic example is, imagine you have a function with a local variable ca…

The Constantines are amazing!

Do you know anyone in the arts? Musicians? I see more AI hatred on average in those sorts of communities than in tech, where there's a pretty even split.

In the interest of playing Devil's Advocate, even if they're unlikely to abandon an existing project over this, accounting for potential sabotage and the cost/delays of redoing wor…

...you think 1000 years from now people will wonder whether or not Stephen King existed?

Lots of excellent suggestions here. F. Scott Fitzgerald's missing so far - that's not necessarily who I'd choose but he belongs in the conversation. I don't think he's an especiall…