gmfawcett

8 ms·

61.
by gmfawcett 3y ago
> does anyone run an OS thread per request unironically? Of course they do. There are loads of appropriate applications. Heck, people still run CGI programs unironically.
62.
by gmfawcett 3y ago
Crucial, for all developers? The great majority will get AI through an API.
63.
by gmfawcett 3y ago
> Money only changes your life when you do something with it. Not at all true. Unspent money is potential energy. It dramatically alters the holder's perception of risks, and thus influences major life decisions.
64.
by gmfawcett 3y ago
Not really the same feature. Typically, scroll-bar clicks will scroll by pages, while the little buttons will scroll by lines. Also: using the little buttons, you can position the cursor once and then click repeatedly for repeated movements
65.
by gmfawcett 3y ago
A good resource for research on topics like this is It Will Never Work in Theory : https://neverworkintheory.org/category/#programming-language... , https://neverworkintheory.org/category/#types
66.
by gmfawcett 3y ago
I was expecting Lojban, or something similar. I remember someone proposing Lojban as a tool that could improve the clarity of legal and contractual writing. https://en.wikipedia.org/wiki/Lojban
67.
by gmfawcett 3y ago
I assume you mean most or all scientists. Why should they?
68.
by gmfawcett 3y ago
That talk took more tangents than an Intro Calc lesson. I read it twice, and still don't get a coherent point out of it.
69.
by gmfawcett 3y ago
Strawman? Spring was not designed for solving simple problems.
70.
by gmfawcett 3y ago
Yes, Maven. Just embrace it, and move on: the decision will pay dividends.
71.
by gmfawcett 3y ago
Really, only the LSP comment relates to Java tooling. The other comments are about language, framework, and cultural issues. Not disagreeing with your observations, though.
72.
by gmfawcett 3y ago
+2 Insightful!
73.
by gmfawcett 4y ago
Truthy, but wrong. Of course AI's can extrapolate.
74.
by gmfawcett 4y ago
> it has around a million light receptors and even if you assumed they only have two valid states then you're left with around 10^300,000 bits of information to process... That would only be a million bits (1 Mb). You're count
75.
by gmfawcett 4y ago
Terrible pun, but A(WK) for effort!
76.
by gmfawcett 4y ago
Eh, you're not explaining universal truths here, you're just anthropomorphizing. Why must it have appendages, organs, or populations? Why presuppose that its conceptual model includes particles at all? What if a vast, hyper-contin
77.
by gmfawcett 4y ago
IDK, it seems easy to imagine an alien mathematics based only upon continuous values? There's nothing obviously universal about discretizing things.
78.
by gmfawcett 4y ago
I love the ambiguity of this. I think get Burnett's point, but this could also just be the beginning of a long list of "the frightening thing is not X" statements. :)
79.
by gmfawcett 4y ago
You need to add -Wait for equivalence to "tail -f".
80.
by gmfawcett 4y ago
No, I mean that remoting doesn't depend on Web technologies. (Not even the VSCode remoting implementation does, AFAIK.) So it doesn't follow from "VSCode does remoting" that VSCode is built on that stack.
81.
by gmfawcett 4y ago
That doesn't follow. Client/server architectures existed long before the Web did.
82.
by gmfawcett 4y ago
Huh? It literally translates to "thought experiment" in English, which is exactly what it means.
83.
by gmfawcett 4y ago
This is an interesting use of the word hygiene... can you expand on what salesforce hygiene means to you?
84.
by gmfawcett 4y ago
Worth reading: https://go.dev/blog/when-generics
85.
by gmfawcett 4y ago
It's trivial to cite a specific snapshot of a Wikipedia page. A citation isn't an authoritative source in itself, its sole purpose is to point the reader at the source of information, whatever it may be. There are plenty of bona f
86.
by gmfawcett 4y ago
Thanks, Hillel. I brought a speculation to a citation fight -- I'm glad you won :) Seriously, this is a very interesting read.
87.
by gmfawcett 4y ago
Dafny is cool, but I believe they tackle different problem spaces. For example, how would you verify a distributed algorithm with Dafny?
88.
by gmfawcett 4y ago
Sure. Reading the qualifications that Kay makes at the end of his quote (above), he leaves room for Erlang to be MOP. I suspect that he just wasn't familiar with the language.
89.
by gmfawcett 4y ago
I wasn't a CORBA developer in those days, just an interested observer, so my opinion isn't worth much. Ultimately I think it suffered because of: https://en.wikipedia.org/wiki/Fallacies_of_distributed_compu...
90.
by gmfawcett 4y ago
I'm pretty sure that Coq is a puzzle game itself, masquerading as a proof assistant!

More ›