Verdex

8 ms·

91.
by Verdex 11mo ago
Yeah that was my thought. Although, I went a bit more paranoid with it. If it looks like AI cheating software will be a problem for my children (and currently it has not been an issue), then I'm considering recording them doing all of
92.
by Verdex 11mo ago
This is so close to my sentiment that I had to double check to see if I wrote it. And to explore running studies a bit further. The second time you build a system goes so much better because you already know all of the weird edge cases. A
93.
by Verdex 11mo ago
Time for everyone to implement some variation of https://www.bluetooth.com/specifications/specs/authorization... ?
94.
by Verdex 1y ago
They may have been thinking rust where it means atomic reference counting. (Although the compiler inserts ref count inc and dec calls automatically, so ...)
95.
by Verdex 1y ago
Recently, I've kind of been wondering if this is going to turn out to be LLM codegen's Achilles heal. Imagine some sort of code component of critical infrastructure that costs the company millions per hour when it goes down and it
96.
by Verdex 1y ago
Honestly, the paper solution is the solution. If they could do it digitally then you pull in your expert to testify that it was changed and they pull in their expert to testify that it wasn't or if it was then it was done by some myste
97.
by Verdex 1y ago
Some types of complexity have well formed mathematical definitions. Cyclomatic, time and space, kolmogorov, etc. Something that's complex to the intellect is ill defined. I suspect it can be defined, but it's very highly dimensio
98.
by Verdex 1y ago
I have maybe 2 hours total usage time with celestia from years ago. I still occasionally have pseudo nightmares from the pov of using celestia to orbit 'scary' celestial objects. I'm not exactly sure what the deal is because
99.
by Verdex 1y ago
I grew up on star trek TNG. However at a certain point in the past I was having kind of a hard time rewatching episodes. "We have the Internet and social media now, and they're obviously not going anywhere so why doesnt star tre
100.
by Verdex 1y ago
> ...describe the problem in plain language... Oh, I get it. They're saying you should be able to write it in C. [Jokes aside, I would be interested in hearing from bridge builders, aerospace engineers, or nuclear scientists. Pret
101.
by Verdex 1y ago
I honestly did not think I was ever going to be coming back to Linux. But here we are. So far I've migrated a laptop and gaming machine to fedora. The gaming machine operates significantly better on fedora than it ever did on windows
102.
by Verdex 1y ago
I've got some sort of facial blindness. It's hard to tell exactly how it works because I've got a bunch of unconscious coping mechanisms for identifying people. One of the times I got it comically wrong was in college where
103.
by Verdex 1y ago
I enjoyed Types and Programming Languages by Benjamin Pierce. Also vaguely related is the Implementation of Functional Programming Languages by Simon Peyton Jones (this is more about lambda calculus, but I found that when you pair type the
104.
by Verdex 1y ago
I've got some sort of weak facial blindness, so I did not connect that Burton and La Forge were the same person. As a child learning that two of your favorite people were in fact the same person was pretty mind blowing for me.
105.
by Verdex 1y ago
Software is incredibly easy to verify compared to other domains. Rice, Turing, and Godel would like a word.
106.
by Verdex 1y ago
[Okay so the third option that I thought of but decided not to put down was: literal genie's lamp, fountain of youth, or robot army. Because then who cares if you collapse the economy if AGI, you'll be safe with your robot army.
107.
by Verdex 1y ago
Yeah, half of my AI skepticism isn't that the tools don't work. It's that I'm having a tough time figuring out how these things are ever going to produce ROI. Like, at some point the end product needs to be a literal ge
108.
by Verdex 1y ago
Thanks for the link. Given the hype and repercussions of success or failure of what LLMs can hypothetically do, I feel like the only way forward for reasonable understanding of the situation is for people to post live streams of what they&#
109.
by Verdex 1y ago
Thanks
110.
by Verdex 1y ago
Can you give more info? How big of a number is "some"? Also what kind of prompts were you feeding it? Did you describe it as Rust like? Anything else you feel is relevant. [Is there a GitHub link? I'm more than happy to d
111.
by Verdex 1y ago
The comment that started this whole thread off mentioned LLMs oneshot-ing parsers. I didn't think an LLM could one shot a parser and I am interested in parsers which is why I asked about more info. It's not a goal of mine but beca
112.
by Verdex 1y ago
Thanks for giving details about your workflow. At least for me it helps a lot in these sorts of discussions. Although, it is interesting to me that the original posting mentioned LLMs "one-shot"ing parsers and this description so
113.
by Verdex 1y ago
Parsing is an area that I'm interested in. Can you talk more about your experience getting LLMs to one-shot parsers? From scratch LLMs seem to be completely lost writing parsers. The bleeding edge appears to be able to maybe parse xm
114.
by Verdex 1y ago
Setting expectations is decent. However I suspect it to be advanced human decency. Basic human decency is probably something more along the lines of 'live and let live'.
115.
by Verdex 1y ago
Second this. My dad always called it being "dead right" if you go through a green light without checking.
116.
by Verdex 1y ago
Real life doesn't have superhuman serums. However real life does have illicit drugs that many people hype up and claim that they need. Also real life has performance enhancement drugs that cause a host of medical issues. Even drugs for
117.
by Verdex 1y ago
Thanks. I'll give them a watch.
118.
by Verdex 1y ago
Extremely doubtful. This thread has hundreds of comments where people are screaming that everyone needs to learn AI coding. If it was such an edge would they not otherwise keep quiet?
119.
by Verdex 1y ago
Hundreds of comments. Some say LLMs are the future. Others say they don't work today and they won't work tomorrow. Videogame speed running has this problem solved. Livestream your 10x engineer LLM usage, a git commit annotated
120.
by Verdex 1y ago
This sounds like a hypothetical person, unless you have a particular PM who is willing to donate some time and their LLM account to run the experiment for us. Also Im picking the problem. I have a few in mind but I would want to get the bac

More ›