adamddev1

8 ms·

151.
by adamddev1 7mo ago
Except your team is full of occasionally insane "people" who hallucinate, lie, and cover things up. We are trading the long term benefits for truth and correctness for the short term benefits of immediate productivity and money. T
152.
by adamddev1 7mo ago
Tests cannot show the absence of bugs. These are fundamentals of CS that we are forgetting as we dismantle all truth and keep rocketing forward into LLM psychosis. > I care about this. I don't want to push slop, and I had no real an
153.
by adamddev1 8mo ago
I hate to pile on the criticism here but this gives me uneasy futuristic vibes. My dad recently passed away but some of the sweetest things we remember as kids was how he would always tell us "make up stories." They were silly lit
154.
by adamddev1 8mo ago
> introducing an error or two in formal proof systems often means you’re getting exponentially further away from solving your problem I wish people understood that this is pretty much true of software building as well.
155.
by adamddev1 8mo ago
That is a great xkcd comic, but it doesn't show that the error rate "isn't much better." But are there are sources that have measured things and demonstrated this? If this is a fact I am genuinely interested in the evide
156.
by adamddev1 8mo ago
Now shudder at the thought that people are pushing towards building more and more of the world's infrastructure with this kind of thinking.
157.
by adamddev1 8mo ago
The problem is that the LLM's sources can be LLM generated. I was looking up some health question and tried clicking to see the source for one of the LLMs claim. The source was a blog post that contained an obvious hallucination or fal
158.
by adamddev1 8mo ago
Excellent observation. I get so frustrated every time I hear the "we have test-suites and can test deterministically" argument. Have we learned absolutely nothing from the last 40 years of computer science? Testing does not prove
159.
by adamddev1 8mo ago
It seems a better and fuller solution to a lot of these problems is to just stop using AI. I may be an odd one but I'm refusing to use agents, and just happily coding almost everything myself. I only ask a LLM occasional questions abou
160.
by adamddev1 8mo ago
It seems a better and fuller solution to a lot of these problems is to just stop using AI. I may be an odd one but I'm refusing to use agents, and just happily coding everything myself. I only ask a LLM occasional questions about libra
161.
by adamddev1 8mo ago
> That adapting layer of garbage we blindly accepted during these years. Wouldn't everything that agents produce be better described as a "layer of garbage?"
162.
by adamddev1 9mo ago
> but if it works so we care? It often doesn't work. That's the point. A calculator works 100% of the time. A LLM might work 95% of the time, or 80%, or 40%, or 99% depending on what you're doing. This is difference and a
163.
by adamddev1 9mo ago
People keep using these analogies but I think these are fundamentally different things. 1. hand arithmetic -> using a calculator 2. assembly -> using a high level language 3. writing code -> making an LLM write code Number 3 does n
164.
by adamddev1 10mo ago
There could be more linear and "resource-aware" type systems coming down the pipes through research. These would allow the type checker to show performance / resource information. Check out Resource Aware ML. https:/&#x
165.
by adamddev1 10mo ago
There is a bunch of research happening around "Resource-Aware" type theory. This kind of type theory checks performance, not just correctness. Just like the compiler can show correctness errors, the compiler could show performance
166.
by adamddev1 10mo ago
This is really interesting. I haven't been the same since I stayed in an extremely moldy place and have wondered about fungal infections/candida infection. What was the remediation, some kind of anti fungal course/Nystatin?
167.
by adamddev1 10mo ago
How do you "project negative ions" ?
168.
by adamddev1 10mo ago
This is a huge loss. In the past people asked questions of real people who gave answers rooted in real use. And all this was documented and available for future learning. There was also a beautiful human element to think that some other hum
169.
by adamddev1 10mo ago
All I want for Christmas is a M4 MacBook Air with Linux that works with perfectly with all the hardware.
170.
by adamddev1 10mo ago
I at first thought it was nice to save the wrapping, but you save yourself sooo much pain, ugliness and mistakes pattern matching trying to distinguish the types once you just use tagged unions.
171.
by adamddev1 10mo ago
Mr. Error Monad enters the chat...
172.
by adamddev1 10mo ago
I worked through https://htdp.org (which uses untyped Racket), and funny enough, that's what really for me thinking about type driven development. The book gets you to think about and manually annotate the types coming in a
173.
by adamddev1 10mo ago
This looks promising!
174.
by adamddev1 10mo ago
> Chomsky has focused on the generative side of language The answers to "why" that Chomsky pushes so hard for are very valuable to adult language learners. There are basic syntactic rules to generating broadly correct language.
175.
by adamddev1 10mo ago
> Today, a single user request might touch 15 services, 3 databases, 2 caches, and a message queue. And this is why _the internet_ today sucks.
176.
by adamddev1 10mo ago
It's incredibly useful for natural languages.
177.
by adamddev1 10mo ago
I'm so happy I made the jump to NeoVim 6 months ago. I finally got good RTL support with iTerm, language server stuff works great, and best of all, navigating and selecting things SYNTACTICALLY with nvim-treesitter-textobjects is life-
178.
by adamddev1 11mo ago
Nice move and nice write-up! There has been so much propaganda around serverless, so we need to hear more of these voices. I moved away from FreeBSD to Debian for hosting my things because the process/daemon management was too tricky.
179.
by adamddev1 11mo ago
I'm thankful for Go because it was an easy first introduction to static typing. I remember making a little web app and seeing the type errors pop up magically in all he right places where I missed things in my structs. It was a life-ch
180.
by adamddev1 11mo ago
I have checked out Gleam and yes it does look delightful. Function captures are a really cool idea.

More ›