tikhonj

24 ms·

331.
by tikhonj 2y ago
I've listened through some of the developer commentary on Half Life 2 and Half Life Alyx and the amount of user testing coupled with attention to detail really impressed me. The same can't be said for Steam though :/
332.
by tikhonj 2y ago
I am very much not an expert, but my understanding is that the third-party doctrine[1] means that it (mostly) doesn't. [1]: https://en.wikipedia.org/wiki/Third-party_doctrine
333.
by tikhonj 2y ago
Well, one of the board members was Neal Mohan
334.
by tikhonj 2y ago
I mean, Haskell has mutable vectors[1]. You can mutate them in place either in the IO monad or in the ST monad. They fundamentally work the same way as mutable data structures in any other garbage collected language. When I worked on a rela
335.
by tikhonj 2y ago
Before Microsoft released the Z3 SMT solver under an MIT license, you could buy a commercial license for it for $9999 from the Microsoft online store, just like you'd buy a copy of Windows or Office, or, for that matter, an XBox. Of co
336.
by tikhonj 2y ago
> I also wonder if impurities will become fashionable, just to show that a specific diamond is actually natural and can't be made in a lab. I hope that happens for purely aesthetic reasons too: natural "imperfections" ad
337.
by tikhonj 2y ago
One thing I appreciate is how much better maps have gotten for non-drivers: bike and pedestrian paths, public transport (especially live schedules, delays, alerts) and legitimately good directions generated for walking, biking and taking
338.
by tikhonj 2y ago
Well, Bret Victor presumably isn't rich rich. Some ideas—key novel concepts and conceptual frameworks, for example—absolutely have value, but they're not valuable in the way a business is valuable. You won't become busine
339.
by tikhonj 2y ago
Honestly, this sounds like a project I would enjoy working on: designing and building a brand new system, learning about a new kind of business, encoding some complex business rules into code, being able to work closely with the people who
340.
by tikhonj 2y ago
There's a big difference between "artist who didn't have a deep knowledge of their art-form" and "artist who didn't follow an explicit system to memorize a bunch of rules to make their art".
341.
by tikhonj 2y ago
Another alternative is that taste is something you can only learn through experience and mentorship, where memorizing simple rules and heuristics is not sufficient. Taste is an example of tacit knowledge[1]. [1]: https://en.wikip
342.
by tikhonj 2y ago
That's true if you broaden the definition of "memorization" to cover all learning, but "learning is necessary for creativity" would not be a particularly interesting thesis. Expertise is the result of learning from
343.
by tikhonj 2y ago
"a flash of inspiration connecting internalized concepts" Well, okay, but rote memorization is neither necessary nor sufficient to internalize concepts. One of the reasons people make fun of the author's approach to creativit
344.
by tikhonj 2y ago
Developing that sort of expertise requires getting clear and—ideally—timely feedback on the quality of your decisions. Do parole judges get that? I'm sure they get feedback on whether their decisions are consistent with what other judg
345.
by tikhonj 2y ago
Conceptually, we should see deprecating a feature as a separate question from moving to a new API. So in this scenario, you would manage deprecating functionality in the same way regardless of whether you're also rolling out a new API
346.
by tikhonj 2y ago
I've seen pressure to move to Confluence in a different setting because some non-technical users did not want to use git, and (thanks to big company bureaucracy) some of them did not have access to GitHub at all. That said, GitHub has
347.
by tikhonj 2y ago
I mean, sounds like the first step according to that logic would be making the subway free, right?
348.
by tikhonj 2y ago
That's like saying "there is no such thing as a bug, it's just code working the way it was written"—true in some sense, but not useful.
349.
by tikhonj 2y ago
"Facially" in the sense of "on the face of it", roughly as a synonym for "obviously", seems like a pretty standard usage to me—this is certainly not the first place I've seen the word used in this sense.
350.
by tikhonj 2y ago
I haven't done any Leetcode so I have no idea of what "medium"/"hard"/etc are, but the last time I interviewed, the two problems I failed were very fiddly dynamic programming problems—the hard part was not
351.
by tikhonj 2y ago
The purpose of a system is what it does. And what Leetcode-style whiteboarding tests—very much not fizzbuzz!—substantially do is select for people who have specifically prepared for Leetcode-style problems. Describing that as selecting fo
352.
by tikhonj 2y ago
It's still funny that the text of a message can exist without being a message itself. That must make sense in the specific context of Outlook, but it shows that the conceptual design of the software does not match how we want to think
353.
by tikhonj 2y ago
Haskell would be great for designing the interface of a library like this, but not for implementing it. It would definitely not look like "old-school C++ or Java" but, well, that's the whole point :P I haven't used R
354.
by tikhonj 2y ago
Eh, it's hard to call it much of a "brain drain" when getting a research job is so difficult . There's no shortage of smart people interested in working in research for less than they'd make at any professional rol
355.
by tikhonj 2y ago
Looks like it actually changes how you do token generation to conform to a given context-free grammar. It's a way to structure how you sample from the model rather than a tweak to the prompt, so it's more efficient and guarantee
356.
by tikhonj 2y ago
Checked exceptions in Java are not first-class as values or types. They don't behave like anything else in the language and you can't meaningfully abstract over them. Combine this with a bunch of boilerplate needed to handle the
357.
by tikhonj 2y ago
The problems that need "solving" in this space are 99% politics. Making something become a standard and/or popular is a fundamentally different task from making something good . The answer to your earlier question, of course
358.
by tikhonj 2y ago
There's a lot of work that is neither Windows software nor web. And much (most?) of that runs on Linux.
359.
by tikhonj 2y ago
We can do this as soon as 100% of cars are self-driving and we can write software that is 100% reliable. How long can that take?
360.
by tikhonj 2y ago
The (explicit or implied) corollary is that it is nothing more than an Android App. At which point, why pay for a separate physical device? Not even much of a novelty at that point.

More ›