herbcso

> Who are the native people?

All of us!

So I don't know Lean or Mathematics to any degree to really be able to say this with any level of confidence, but speaking from a pure software engineering backgrouand, how do we know that 13 MILLION lines of Lean code are bug-free? It seems to me that for a mathematical proof, bug-free would be an absolute requirement. Maybe the structure of Lean imposes that, I don't know, but that seems highly unlikely to me. That just feels like a LOT of code to be comletely error-free... What am I missing here?

Can we stop buying into the stupid "Department of War" naming!? An act of Congress is needed to rename it, so unless that happens (unlikely, given the current leaning toward gebral inaction on the part of Congress), it's still the Department of Defense and we shouldn't buy into this administration's warmongering PR.

Writing code yourself?

Pathetic posturing. Also, does this read ECACTLY like an Andor script to anybody else!?

I remember being blown away by Second Reality! Thanks for the trip down memory lane! ;]

I'm sorry, but you're missing the spirit of this. It's a post about the spirit of Chuck Norris as represented as a concept on the Internet rather than the actual person. Yes, the person may be reprehensible, however that is not what's being addressed here, rather it's the idea of the concept of Chuck Norris.

And that's the whole spirit of this post in the first place. There is a certain sort of beauty to being so forgiving. The fact that HTML rendering can deal with this level of inanity is frankly an awesome aspect of the web that has enabled loads of creativity by non-programmer types (speaking as a programmer here). I think sometimes we need to pull our heads out of our collective asses and allow for this sort of thing to permit beautiful things to happen.

That looks amazing! I immediately bought it, thanks for the recommendation!

Fuuuuuuuuuuuuuuu...

I am DEEPLY offended by this travesty! Why can't we have nice things!? The enshittification is real...

> as someone who enjoys shell scripting

Ya sick bahstahd! ;]

Get off my lawn! ;]

I wonder if you could do a split keyboard and have it hanging off the sides like little winglets to get around the bending moment issues. Of course I have no idea what it would actually feel like to type on something like that, and it'd look weird as hell and make the phone oddly wide, but can't help but be curious about it.

You have my permission to steal this idea if anybody wants to hive that a shot. ;]

Stop scrollbar hate! Bring back the scrollbar! MSBGA! (doesn't have quite the same ring, guess we'll need to workshop that ;] ).