Verdex

20 ms·

211.
by Verdex 3y ago
I agree with your point here. I think that antirez is technically correct in that there is a vast amount of code that will not compile compared to the amount of code that will compile. So saying '99%' sort of makes sense. But tha
212.
by Verdex 3y ago
Alligator. When winter comes they freeze to death.
213.
by Verdex 3y ago
| You sound like you saw the phrase "Right Way Guy", felt it sounded pejorative I'm not sure what it sounded like, but I'm pretty sure I didn't feel that way. | decided it must mean That Type Of Guy I Don't Lik
214.
by Verdex 3y ago
In the movie Primer, a group of four friends start a small computer business on the side. Two of them later invent a sci-fi box and then dramatic shenanigans ensue. Something I missed at first [1] was the significance of an event that happ
215.
by Verdex 3y ago
I believe the kind of scenario that bedobi is referring to is something like this (using your example): Unit test exists, ExampleFactory only calls ExampleService once. Hmm, it turns out that ExampleUIButton calls ExamplePoxyNavigator more
216.
by Verdex 3y ago
To be fair to unit tests, I really like them for making sure that complicated code gets tested thoroughly. However, very often the complicated code isn't isolated to a single unit. It instead lives distributed amongst multiple object
217.
by Verdex 3y ago
I've been on several projects where we had a significant number of unit tests that would only fail when requirements would change and we had to change the code. "Look, if it only fails with requirement changes, then maybe we'
218.
by Verdex 3y ago
I've got mixed feelings. I would be interested in hearing the whole story first. The "hey, I can program the trains to break if we're not the ones to run maintenance, should I do that?" or the "yeah, I guess I cou
219.
by Verdex 3y ago
Executive 101: Blame the techies. The moment I heard about this event, I knew that it was only a matter of time before the offending company executives would be blaming the developers. Interesting that their particular path forward is bla
220.
by Verdex 3y ago
To be fair, annoyingly pedantic is the best kind of pedantic. - Futurama (kind of)
221.
by Verdex 3y ago
> it's important to get attribution correct. Really? Says who? Or perhaps you'll prove it from first principles. Although if turns out to be difficult, that's okay. Somebody mentioned something about systems being eithe
222.
by Verdex 3y ago
This is an interesting point that I think a lot of programming can miss. Proving that the program has no bugs is akin to proving that the program won't make you feel sad. Like ... I'm not sure we have the math. One of the more im
223.
by Verdex 3y ago
No. Godel means that we can't have an algorithmic box that we put a program into and out comes a true/false statement of halting. Nothing is stopping you from writing the proof manually for each program that you want to prove prop
224.
by Verdex 3y ago
This is much more interesting. I don't suppose you know where I can get their list of references without hitting a paywall? Specifically [16] and [24]. EDIT: [For anyone following along] The linked paper is Measuring Complexity of Ob
225.
by Verdex 3y ago
I don't know. I was hoping for something like: "We know inheritance is bad because when we convert the typical example over to this special graph it forms a non-compact metric space" Or something like that. Even though I f
226.
by Verdex 3y ago
I'm all ears. Although, so far I've only bumped into cyclomatic complexity (with some studies showing that it has worse predicting power than lines of code) and lines of code.
227.
by Verdex 3y ago
This is what I came here for. There's an obvious comprehensibility complexity to code to anyone who has spent almost any time what so ever trying to make something happen in software. However, we've got zero academics or theory a
228.
by Verdex 3y ago
At the very least with everquest (iirc) npcs would sometimes use their loot. I recall tanks occasionally letting the rest of the raid know what weapon drop the boss had on them because they were seeing a different damage type (pierce, slas
229.
by Verdex 3y ago
The legal system exists to prevent people from using violence to solve their own problems. A very powerful third party arbitrating helps keep things relatively civil. If you did find a bug, then society needs to patch it. And that's
230.
by Verdex 3y ago
Programming runs along the back of mathematics. A field famous for spending centuries wasting time on silly games until those same silly games end up being the foundation on which modern society functions. Even if LLMs completely remove th
231.
by Verdex 3y ago
The generalized kernel of your comment here leaves me deeply unsettled. Imagine the following: * AI discovers community's non-trivial shibboleths * AI detects pauses in video stream where 1) the speaker is off camera and 2) there'
232.
by Verdex 3y ago
IIRC there's a PRNG talk for videogames where they mention your method: https://www.youtube.com/watch?v=LWFzPP8ZbdU&t=4s There are downsides, but for videogames, the speaker decided that this wasn't that bad o
233.
by Verdex 3y ago
Okay, so I have this idea. And by idea I mean effectively a fever dream: Separate building connected by underground tunnel with one of those moving sidewalks and the building is filled with personal bathrooms for each employee. Each empl
234.
by Verdex 3y ago
I mean ... sure. There's lots of people out there who have annoying personality traits that some people are going to be put off by. In my mind, though, the difference between annoying and insufferable is whether or not you're wil
235.
by Verdex 3y ago
The valve commentary is fantastic. Jonathan Blow also has a bunch of commentary on his youtube channel ... but it comes in multi hour chunks where the minute by minute value isn't necessarily great. Hopefully, the commentary for Braid
236.
by Verdex 3y ago
He was also a guest on the "On the metal" podcast over at Oxide: https://oxide.computer/podcasts/on-the-metal/jonathan-blow
237.
by Verdex 3y ago
I'm definitely not on the LLM bandwagon. While I do think they're interesting, I have significant doubts that they'll be much more than a curiosity to laymen and just one more tool in the box for experts. However, I'm n
238.
by Verdex 3y ago
> It's equally desired at "web server and above" and "operating system and below", which probably makes it one of the hardest languages on the planet to design. My theory as to why C++ has become as a problematic
239.
by Verdex 3y ago
Author is likely unsophisticated and frustrated that their competency in c/c++ fail to translated to rust without a bunch of additional effort. The article contains several strawmen that aren't constructed particularly well even b
240.
by Verdex 3y ago
> The older I get, the more I blame the internet for most of our current societal ills. I watched a lot of star trek when I was young. At some point it became hard to go back and re-watch because of the advent of social media and the &#

More ›