Verdex

23 ms·

151.
by Verdex 2y ago
>I also wonder if the effects from substantial social media interaction could be teased out. Yeah, this is what I was thinking as well. The internet absolutely has a positive effect on my life. Finding out which store I need to go to,
152.
by Verdex 2y ago
I'm a huge proponent of ADTs being a more comprehensible way to write code than some of the alternatives. But I do have to agree with you that there isn't really evidence that this is a basic mental model. However What we do see
153.
by Verdex 2y ago
NAND is a universal circuit primitive because it can be used to create all of the other circuit primitives. But if you think about it, this is more of an argument of manufacturing than it is in comprehensibility. Only needing to manufactu
154.
by Verdex 2y ago
This is why Kanban continues to be the only development methodology that I believe in. "Let's go look at the board. Which of these other high priority items in flight would you like to deprioritize? By the way, our back of the e
155.
by Verdex 2y ago
My thesis has long been that it's impossible to replace C++ with a single language. C++ got into the trouble it has because it permits any and all development to occur within its walls. The C++ committee cannot make any decision with
156.
by Verdex 2y ago
I know someone who in the last 10 years was involved in a project to drive trackers. From space. And not like R&D, from what I understand, they're selling this at the moment.
157.
by Verdex 2y ago
There was an old Casino parody film from the mid 90s (iirc Mafia!). Anyway, they had a scene where they were showing the different games that were being played in the casino. Things like a bunch of Saudi princes playing an extremely high s
158.
by Verdex 2y ago
I would love to see something like that. I think it would be really neat. (Any takers? I hear it probably won't even take that long.) [Of course if you were creating and uploading these videos as you create your content over time.
159.
by Verdex 2y ago
I believe this to be the correct take away. They don't actually want to ban AI content. They want to ban garbage content. If they claim that something is AI content, then it's not like there's a good defense a writer can of
160.
by Verdex 2y ago
It looks like you're getting downvoted, but my opinion is that your statement is correct. Yes, technically, common sense doesn't work because some things written by AI won't be obviously written by AI and some things written
161.
by Verdex 3y ago
This is one of the reasons why kanban is my favorite project management methodology. "Ah, new highest priority feature. Lets do a mini discovery session and it looks like this work can be represented with 20 sticky notes. Our histori
162.
by Verdex 3y ago
Yeah. I clicked the link thinking, isn't it called hylo now? And then became momentarily confused. At this point I feel something is definitely up. How many V* languages are there floating around out there. Although on the other han
163.
by Verdex 3y ago
Yep, this was the one I was thinking about. And while these incidents aren't frequent, we are talking about very long time frames. It would be interesting if we could somehow look into the future and see how many incidents will occur.
164.
by Verdex 3y ago
This is a really clever take. A recurring trope with both fantasy and sci-fi is the ancient / incomprehensible artifact guarded by lethal traps dating back thousands of years. I haven't typically thought along the lines of "
165.
by Verdex 3y ago
Yep, I think we've got the same position. Even though I don't agree with the dynamic camp, I like advocating for it because I think there are scenarios where there is something there. However, the position that the static camp is
166.
by Verdex 3y ago
I'm pretty much static guarantees to the bone. But I sort of get where the dynamic camp is coming from. With something like python, you need to understand lists, dictionaries, loops, and the call stack. And then you're off to
167.
by Verdex 3y ago
And even simpler is the iota combinator which is by itself turing complete. So a single letter plus matching parens is about the simplest language as you can get. But I can't imagine anyone wanting or even being able to program in it
168.
by Verdex 3y ago
Yeah. Something doesn't have to be enshrined into the standard to be a major driving point in the language. The very existence of Carbon is due to the c++ committee not wanting to break abi compatibility.
169.
by Verdex 3y ago
This is the key insight. I think that the reason why we have so many c++ replacement languages is because c++ is okayish for basically anything. Replacing it completely will necessitate several different languages that are good for differ
170.
by Verdex 3y ago
> and the other new kind of complexity that I forget the name of If you happen to remember, please update your comment or respond to mine. [I believe that this doesn't exist OR it isn't useful, but I really want to be proven in
171.
by Verdex 3y ago
> It's a nice idea, but I find the conceptualization/implementation of it to be rather inelegant. Everyone is welcome to their own opinion and sense of style. Our world is better off for the one that you hold. > Just give m
172.
by Verdex 3y ago
To me, I don't even need a multi-threaded system to want Rust's ownership system. Too many defects that I've encountered in the past have been centered around the detective work that goes into whether or not you happen to wan
173.
by Verdex 3y ago
If it was actually working for anyone, then they would be selling software engineering time at the same but slightly cheaper price as existing software engineering time costs today so they could capture those sweet margins. This is a compan
174.
by Verdex 3y ago
There's a short story that has an interesting take on this. https://thereader.mitpress.mit.edu/the-truth-by-stanislaw-le...
175.
by Verdex 3y ago
This smells very similar to the issue with the tetris clone a number of years ago. The overall issue is that while games aren't copyrightable, the look and feel of a game can be copyrighted. https://en.wikipedia.org/wi
176.
by Verdex 3y ago
I don't know. Programming languages are super high dimensional objects that are often used to construct non-trivially sized and scoped projects. For something like that I think you need to take your time, read the manual, and do some
177.
by Verdex 3y ago
My ongoing hypothesis [1] is that natural language has intelligence (or to say it another way, natural language has embedded structure that harmonizes with the structure of problems that we face[2]). If correct, there are a few relevant con
178.
by Verdex 3y ago
It's kind of like the xkcd airplane on a treadmill blogpost: https://blog.xkcd.com/2008/09/09/the-goddamn-airplane-on-the... There appears to be problems that make it easy for people to assume the worst
179.
by Verdex 3y ago
"This is crazy, Jillian just scheduled three separate four hour meetings for next week. We'll never get everything wrapped up by the deadline." "Look, Jillian isn't going to actually be in those meetings. I caught
180.
by Verdex 3y ago
Another possibility is that the only thing that LLMs are doing is encoding the structural data that exists in natural language. For example, you can load a corpus into vector space and then do algebra like: let v = man - woman; let r

More ›