bbeonx

5 ms·

1.
by bbeonx 8d ago
i think there are a few reasons. - lean proofs are hard, and a lot of the time there is so much mathematical machinery that folks are working on that you would need to not only prove your result, but also all of the machinery that your subf
2.
by bbeonx 8d ago
lol yeah we're doomed
3.
by bbeonx 22d ago
i can kinda get how a glp-1 can be a miracle drug for weight: if we assume that simple molecular fixes to problems will eventually be found by evolution, then when we change our environment rapidly (e.g., with cheap bountiful calories) then
4.
by bbeonx 25d ago
these might not be 100% complete, but i think this does a reaaalllly good job at capturing the vast majority of mathematics. i'm sure you could come up with another breakdown, but these also have the benefit of tracking roughly with hi
5.
by bbeonx 25d ago
agreed! it's funny, i'm returning to some of the maths i studied in undergrad with a bit more "worldly" knowledge (if you can call comp sci academia knowledge "worldly"), and i'm seeing that so so much of
6.
by bbeonx 28d ago
It seems like you might be inventing a form of non-monotonic logic. Check out answer set programming, it actually does exactly what you want of "unlearning" facts that you've learned. Not sure if it helps in your particular i
7.
by bbeonx 1mo ago
yeah, i've studied a lot of math and a lot of cs, and stats is tough. part of the problem is the terminology, and just giving a ton of complex machinery without telling you what it's actually doing. i've never learned that wa
8.
by bbeonx 1mo ago
i mean, the headline statistic can be misleading, but you gotta dig in and wrestle with the details. just like anything, we cannot boil down complex things to single numbers and expect any sort of meaningful signal. we gotta roll up our sle
9.
by bbeonx 1mo ago
> At the time, my professor closed the final lecture with dramatic words (I'm paraphrasing slightly): >>> And now you've learned that almost all interesting problems are undecidable and of the remaining ones, almos
10.
by bbeonx 2mo ago
is it?
11.
by bbeonx 2mo ago
I think I'd put it this way: if I could flip a switch tomorrow and the AI boom was done, I probably would. The negative effects just super duper outweigh the fact that coders are more efficient. But since it exists, I'm going to u
12.
by bbeonx 3mo ago
there are some things that clearly exist that are really hard to nail down with definitions; once we get into anything social, we are kinda playing with that territory. everything is so fuzzy that our normal way of defining things breaks do
13.
by bbeonx 3mo ago
sorry, is this in response to my post? in which case, this is exactly the distinction i'm making. the entire argument is whether or not there _is_ a distinction; my point is that this guy just, a priori, decides gender doesn't exi
14.
by bbeonx 3mo ago
yeah, the argument is ridiculous; like, formally, it is ridiculous. i also disagree with the sentiment and conclusions of the argument, but the actual form of the argument is garbage: "i introduce an axiom that says there is no gender
15.
by bbeonx 3mo ago
the first post was a swipe, i'll grant you. probably shouldn't have said it. it was a knee-jerk reaction to a structurally fallacious argument that leaves no room for discussion: "i reject your stance not based on reason, evi
16.
by bbeonx 3mo ago
wait this is kinda brilliant tho
17.
by bbeonx 6mo ago
Thank. Too much word, me try read but no more tokens.
18.
by bbeonx 7mo ago
this is true, "black" has been used in racist ways, but it got rehabbed and reclaimed in the 60s and 70s. but more to the point, it is not currently used in a racist manner by the vast majority of the US, and certainly does not ca
19.
by bbeonx 7mo ago
"yellowsky" sounds racist because calling asians "yellow" is racist. "whitesky" sounds racist because...well, i don't know if you're a big history buff but in the US white-people-only gatherings were
20.
by bbeonx 10mo ago
agreed...i think it's fine to keep up with what the corporate world is doing, but these projects bring me real joy
21.
by bbeonx 1y ago
This isn't really a metric. It's a description to help the reader understand the magnitude of effort that went into this project. SLoC is a bad metric for plenty of things, but I think it's fine for quickly conveying the scop
22.
by bbeonx 1y ago
Followed closely by "The Breadboard Has Been Drinking"
23.
by bbeonx 2y ago
chill, be nice
24.
by bbeonx 6y ago
You're presuming that every phrase was worded _just so_. This could very well have been from the author refactoring their sentence and not simplifying everything. They probably were thinking in these terms (the author is a PL guy from
25.
by bbeonx 6y ago
Meh, it's usable w/out github but you'll be reading raw markdown files (unless you get your own markdown renderer which isn't that big of a deal). But yeah, it's either an incomplete git-based wiki or a complete git
26.
by bbeonx 7y ago
I found In My Room to be an incredibly moving album. Djesse left me feeling far less after a first listen, but when I returned a few days later I started to notice things I had missed and now I really enjoy that album as well. I am very mov
27.
by bbeonx 8y ago
This is going on all of my homeworks (submitted electronically, of course)
28.
by bbeonx 8y ago
Pizza gate is an extreme. But also, yes, news has changed dramatucally over the last couple of decades and older generations maybe don't consume as defensively as younger generations. Over time this can make ridiculous things sound pla
29.
by bbeonx 8y ago
I don't know, I might push back here. While fake news can certainly be interpreted as news that is false, that is not how it is usually used. There is definitely an insinuation, and while the vanilla reading of the definitions of &quot
30.
by bbeonx 8y ago
Do what?

More ›