DonaldPShimoda

6 ms·

31.
by DonaldPShimoda 6mo ago
> finite programs that run on an infinite stream of events This requires coinduction, right? (That's my understanding of the formal representation of infinite streams.) If so, that does limit your options, since most of the proof as
32.
by DonaldPShimoda 6mo ago
> people seem to put “CEOs” on a pedestal any time things come up, like they’re an alien life form Might I suggest a viewing of the 2025 film "Bugonia"?
33.
by DonaldPShimoda 6mo ago
> Alan Turing already proved with the Halting Problem that reasoning about program correctness is not possible. This is so reductive a framing as to be essentially useless [0]. I think maybe you want to learn more about program correctne
34.
by DonaldPShimoda 6mo ago
Hm. Homoiconicity is not a well-defined term (see, for example, Shriram Krishnamurthi's thoughts [0][1]), but even skimming over that fact, it is a syntactic property, while the quoted line is about semantics . Switching your langua
35.
by DonaldPShimoda 6mo ago
My point was not that there exists some supreme truth about what words mean and that either you use words "correctly" or you're an idiot. Yes, words have different meanings in different settings, but that's not the dilut
36.
by DonaldPShimoda 6mo ago
> It's not a "property" it's an attribute/field/member/key/column/variable/getter/function/procedure. For what it's worth, to a researcher in the field of programming langu
37.
by DonaldPShimoda 6mo ago
> Its written in a very cool and badass style. Out of curiosity, what do you mean by this? Do you mean you like the prose, or the typesetting, or...?
38.
by DonaldPShimoda 7mo ago
Seemed pretty clear to me, for what it's worth, but perhaps it is less obvious to those not steeped in similar traditions of academia. Thanks for this, by the way! It's a lovely resource!
39.
by DonaldPShimoda 7mo ago
I haven't seen the associated talk, but (a) I would imagine the author chuckled while reading this, because it's sort of a joke among scholars, and (b) the point is likely focused much more on the context of presenting research (e
40.
by DonaldPShimoda 7mo ago
Notably not the people who actually make the company money, though.
41.
by DonaldPShimoda 7mo ago
Two different uses of "offline", I think. From my own understanding: To "go offline" means for something to become inaccessible that was once accessible "online". ("Offline" is an adverb.) Meanwhile,
42.
by DonaldPShimoda 7mo ago
> >"What do we do about it?" > nothing. if it isn't illegal, it isn't illegal. Are you suggesting that because something isn't illegal, it shouldn't be illegal? Are you perhaps a representative of th
43.
by DonaldPShimoda 8mo ago
> Claude’s answer This response is essentially just the second answer to the linked question (the response by dbr) with a bunch of the important words taken out. And all it cost you to get it was more water and electricity than simply cl
44.
by DonaldPShimoda 8mo ago
> if they are correct I see no issue at all. Indeed. Are you verifying that they are correct, or are you glancing at the output and seeing something that seems plausible enough and then not really scrutinizing? Because the latter is how
45.
by DonaldPShimoda 8mo ago
I think by default Rust uses affine types, but that's about the extent of it.
46.
by DonaldPShimoda 9mo ago
I'm aware of the provenance; I was specifically addressing the parent comment's assertion that it is not "a common word". It's a well-known word in the realm of computing, though perhaps less these days as the upcom
47.
by DonaldPShimoda 9mo ago
Thanks for this. I love seeing how people put together "realistic" systems like this, so this is super cool. Cheers!
48.
by DonaldPShimoda 9mo ago
> Grok (which unlike prism wasn't a common word) "Grok" was a term used in my undergrad CS courses in the early 2010s. It's been a pretty common word in computing for a while now, though the current generation of youn
49.
by DonaldPShimoda 10mo ago
...really? (Incredulous, not doubtful.) For my area, everybody uses LaTeX styles that more or less produce PDFs identical to the final versions published in proceedings. Or, at least, it's always looked close enough to me that I haven&
50.
by DonaldPShimoda 10mo ago
At least in my experience, grad students don't pay submission fees. It usually comes out of an institutional finances account, typically assigned to the student's advisor (who is generally the corresponding author on the submissio
51.
by DonaldPShimoda 10mo ago
Yeah, that's my assumption, too. I hate it.
52.
by DonaldPShimoda 10mo ago
A lot of discussion about the benefits/drawbacks of open access publishing, but I don't see anybody talking about the other thing that's coming along with this commitment to open access: the ACM is introducing a "premium
53.
by DonaldPShimoda 10mo ago
Makes me grateful I'm in an area of CS where the "big" conferences are like 500 attendees.
54.
by DonaldPShimoda 11mo ago
I believe parent commenter was referring to recreational use, i.e., use by people without such diagnoses who want a "performance boost". I heard about that sort of thing being popular when I was in college — people would take Adde
55.
by DonaldPShimoda 11mo ago
Totally agree, I don't think em dashes are a particularly useful AI tell unless they're used in a weird way. Left to my own devices (as a native English speaker who likes em dashes and parentheticals), I often end up with at least
56.
by DonaldPShimoda 11mo ago
> the lisp machine I wonder whether this was intentional or a coincidence, but for others (and maybe you) the "Lisp Machine" was a real hardware architecture unrelated to emacs: https://en.wikipedia.org/wiki&#x2
57.
by DonaldPShimoda 11mo ago
"Oh no, people are finding links between an unregulated technology and potential real-world harms, how awful."
58.
by DonaldPShimoda 11mo ago
That's a funny irony: I didn't use an ad hominem in any way, but your incorrect assertion of it makes me come to the same conclusion about you.
59.
by DonaldPShimoda 11mo ago
Oh, lord, spare me the corporate apologetics. Releasing a chatbot that confidently states wrong information is bad enough on its own — we know people are easily susceptible to such things. (I mean, c'mon, we had people falling for ELIZ
60.
by DonaldPShimoda 11mo ago
Unfortunately, I think a lot of the people at the top of the AI pyramid have a definition of "humanity" that may not exactly align with the definition that us commoners might be thinking of when they say they want AI to "bene

More ›