Verdex

7 ms·

1.
by Verdex 5d ago
> Once you come to terms with the idea that translating an exact specification into decent code isn't a unique skill My employer moved out of the "accept spec; produce code" space back in the early aughts. It was clear th
2.
by Verdex 6d ago
Yeah, I primarily use rust because it's got algebraic data types, pattern matching, and cargo. If ocaml had a cargo like experience, then I would migrate there.
3.
by Verdex 6d ago
I feel like the weather app makes a lot of sense from a corporate politics point of view. A 1mb weather app would have a significantly less impressive pie chart associated with it come "here are our improvements" presentation. Als
4.
by Verdex 13d ago
A quick search suggests that the most expensive education in the world is something like $100k. So like you spend a million times more than that and you still think you're not going to see some results?
5.
by Verdex 13d ago
Don't the children of the wealthy famously have a tendency to be successful? Or have I badly misinterpreted the last several thousand years of human history. To really drill down into that I would think you would need to figure out ho
6.
by Verdex 13d ago
I couldn't do any of those, but then ~$10k of education later I was able to accomplish one of those things. I think LLMs are really impressive, but I suspect that we might have overpaid just a bit.
7.
by Verdex 13d ago
I would be willing to bet that any human for which we spend $100billion - $3 trillion (depending if you want to count single corporations or global totals) on in an attempt to make them as capable as possible would be able to reach all of t
8.
by Verdex 16d ago
To be sure I don't like the phrase. But more importantly I also don't like the outcomes when improper abstractions are setup and vital details ignored.
9.
by Verdex 16d ago
Clearly I misspoke. But it looks like you've got the gist of what I was trying to say.
10.
by Verdex 16d ago
I don't believe that AI is the 'higher level of abstraction[1]' that it is often claimed to be. However I wonder if it's possible to work with a codebase when other developers are treating AI as a higher level of abstra
11.
by Verdex 2mo ago
Meanwhile I'm sure there's people out there baffled that anyone finds dwarf fortress challenging to get into. I'm old enough that I've had the pleasure of handholding software engineers through their first anonymous func
12.
by Verdex 2mo ago
Fearmonger? Me? Well I never. Also > if you've worked with other proof oriented languages. That's doing a lot of heavy lifting.
13.
by Verdex 2mo ago
To borrow your video game analogy. F* is the dwarf fortress of programming languages. Screenshots are only going to confuse anyone who isn't ready to take a significant mental journey.
14.
by Verdex 2mo ago
It has to be done by next week. Here it is. It is done. Great, now we put it on a shelf and ignore it for 6 months. From my perspective, every time. Edit: the last time this happened to me, they later revealed that it was going to be shelv
15.
by Verdex 2mo ago
Today we see someone being arrested because they used a software feature. Next year we'll see someone being arrested because they played a cutesy trick and got the LEO to enter in the self destruct code. The engineers and techies invo
16.
by Verdex 2mo ago
This is an interesting idea, but was that GrapheneOS person a lawyer giving legal advice?
17.
by Verdex 2mo ago
At least for me, the technical chops to be able to program a computer was always just table stakes for software engineering. The majority of my job more or less reduces to mitigating the consequences of having all the stakeholders dreams co
18.
by Verdex 2mo ago
Which seems a bit off to me. Can they even ipo right now due to the apple business? Although I don't think you're wrong. The number of "organic" social media posts I've seen in the past few weeks of the form: &#x27
19.
by Verdex 2mo ago
This isn't a great comparison. Im not that familiar with elixir, but erlang is hands down the best dynamic language to build systems in. It feels like they made only right decisions. I can only assume that elixir has made improvement
20.
by Verdex 2mo ago
My first web search (data blades) turned up harbor freight woodworking tools. Then I made a second web search: data blades database. That turned up some ibm database software module technology which I assume is what's being discussed.
21.
by Verdex 3mo ago
I created a personal philosophy of code awfulness because back in 2012 I worked in a code base that was so bad it completely baffled all my attempts to categorize it. This and thus is why code is bad. Oh wait a second. They're doing
22.
by Verdex 3mo ago
Okay .. However given the history of mathematics that's not really out of order. There's a lot of mysticism intertwined with early mathematics and it's only relatively recently that mathematics has taken the beads out of her
23.
by Verdex 3mo ago
The way I look at it, the absurd complexity that rule systems can get into is a check and punishment for the arrogant and the tyrannical. 'Look I designed these rules myself just follow them and everything will be fine.' Ah but w
24.
by Verdex 3mo ago
Cheaper is skipping a step. Code duplication and 'wrong' abstractions both count themselves amongst the other foibles of programming. But they don't directly produce a cost which can be cheap or expensive. They produce some o
25.
by Verdex 3mo ago
No it's not. Also read the link. This is apache 2 licensed. Even in whatever imaginary world where there is such a social contract, there is thankfully a legal contract that includes disclaimer of warranty.
26.
by Verdex 3mo ago
Chimp isn't, but at the end of freeze frame Sunday addresses one who she thinks is. [Not sure if that was the original intent in this thread, though]
27.
by Verdex 3mo ago
> AI is completely different. Okay? > existential angst I don't know, maybe there's just too many juniors on social media posing as senors spreading existential angst? I mean if GC was introduced in a time where there was a
28.
by Verdex 3mo ago
It is? Covid overhiring, no more 0% interest rates, that one accounting change, and companies needing a "growth" sounding way to announce layoffs. Maybe that's bringing actual layoffs in the name of AI?
29.
by Verdex 3mo ago
This here. Overall society feels more turbulent, but this is otherwise all the same song and dance all over again. The 90s and 00s had this wave of "object oriented programming changes everything". Hey we're doing this thing
30.
by Verdex 4mo ago
Hey, would you mind elaborating a bit on this: > assuming you have a clear idea of what you want to do and how I mean, if I have a sufficiently clear idea of what and how, then surely just coding it manually would work significantly bett

More ›