adamddev1

3 ms·

1.
by adamddev1 6d ago
It's more than that though. I authored the original work. Then the Baron in the Castle collected the work and uses it without fully understanding it. The Baron gives it out but in a partly-true, distorted form. He misunderstand how it
2.
by adamddev1 6d ago
I wrote something original in a language learning grammar online. I coined a term to describe something about how a certain language with negative language functions. I tried talking to an LLM about it and sure and enough, it had scraped it
3.
by adamddev1 8d ago
Or like the difference between chemistry and alchemy? Understanding and reasoning with the building blocks as opposed to throwing random stuff together, trying different things and hoping it somehow produces gold.
4.
by adamddev1 9d ago
I like the name `fold` as used by Haskell, Racket, et al. It gives me an image of folding up a long list into a ball, one chunk at a time.
5.
by adamddev1 10d ago
I just pulled a PWA app off the app store and I am going to keep it a pure PWA. It's installable, offline-first. I know I feel like I'm swimming against the current but I would love people to try to push for awareness of PWA insta
6.
by adamddev1 12d ago
LLMs are probabilistic, not deterministic.
7.
by adamddev1 12d ago
Yes of course, but you also understand that as Dijkstra said "tests cannot show the absence of bugs." Tests can show you problems, if you can find them, but they cannot show that there are no problems. Property based testing or fu
8.
by adamddev1 12d ago
Compilers are deterministic.
9.
by adamddev1 12d ago
Testing is an extremely inadequate measure of reliability and robustness.
10.
by adamddev1 12d ago
Would I be wrong to assume that you are building end-user applications? If people use AI for libraries, OSs, and mission critical software, the apparent productivity gains would have to be weighed against the reliability and performance hit
11.
by adamddev1 12d ago
A similar line of thought is used to justify corruption: "Corruption is not going away so people will have to get used to it. The alternative is making less money than people who are happy to take bribes."
12.
by adamddev1 14d ago
The first thing I notice is an AGENTS.md in the repo.
13.
by adamddev1 15d ago
There's also often the obligatory "well, we still have to use these tools so perhaps we could use them better like this." As if just not using them wasn't an option.
14.
by adamddev1 19d ago
Reminds me of the good 'ol Apple II BASIC. You can name your variables whatever you want, but only the first two letters matter.
15.
by adamddev1 27d ago
It was a joke if you read the article.
16.
by adamddev1 28d ago
Right, programmers also use randomly generated info from property based testing for example? But I was referencing the analogy to the abacus, calculator, logarithms, analysis, and higher level languages.
17.
by adamddev1 28d ago
> Have mathematicians become "less savvy" since the invention of the abacus or calculator? The invention of logarithms or analysis? This is not a fair analogy. Those things are like compilers, languages, and type-checkers. Th
18.
by adamddev1 28d ago
> “I’ve told four separate therapists about Typebase. Two stopped taking me as a client. The other two are now shipping an app with it.” So good. I laughed out loud at this.
19.
by adamddev1 29d ago
It would be amazing if everyone would boycott the app stores as much as possible and normalize PWAs. People would learn if they got common enough. But alas, I doubt this will happen.
20.
by adamddev1 29d ago
I love having auto-generated subtitles available, but I am still skeptical that we can call them "accurate" yet. For many languages the models are quite weak, and even for English and German on YouTube I see errors all the time.
21.
by adamddev1 1mo ago
> it will also unlock pretty insane scaling and productivity Insane scaling of bloat, bugs, and technical debt I'd say. > We will manage it on either end via requirements and tests It is so crazy that this is being touted as
22.
by adamddev1 1mo ago
It is self-serving to say "the code base is no longer important" for companies that want to sell you LLM tokens for swarms of agents to have to constantly burn away at a pile of increasingly messy and broken code. If they can conv
23.
by adamddev1 1mo ago
The graph of the engine efficiency vs number of horses per person at the end doesn't fit IMO. I am tired of people trying to make these analogies between the following transitions: - Horses to Engines (non-deterministic to deterministi
24.
by adamddev1 1mo ago
I don't understand how people talk about how Python is "easy to learn for beginners" or "easy to understand." To me it's so hard to remember and follow all the weirdness. Racket / Scheme / I dare say
25.
by adamddev1 1mo ago
ASM to a higher level language is a jump to a clearly defined higher level language through a deterministic compile step. The jump away to LLMs is something completely different.
26.
by adamddev1 1mo ago
We are spending sooo much for our intellectual time and energy on discussions about alchemy-like experiments with different models, agents, harnesses, orchestrations. And there are huge amounts of time, energy, and writing sunk into arguing
27.
by adamddev1 1mo ago
Tests do not prove the absence of bugs.
28.
by adamddev1 1mo ago
I just SSH into the servers when I need to. I don't have any VPNs with these servers. I just try to follow normal server security setup practices, disabling password authentication etc.
29.
by adamddev1 1mo ago
Furiously prompting Claude, "please, please fix this!!!!"
30.
by adamddev1 1mo ago
I was in a very similar situation and this is what I did: - put Forgejo on a little $5 Vultr VPS (I share the VPS with other things, Forgejo doesn't need much resources. I also added some block storage to host my Docker containers in t

More ›