Viewing profile — Verdex

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 engi…

Fearmonger? Me? Well I never. Also > if you've worked with other proof oriented languages. That's doing a lot of heavy lifting.

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 jour…

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 happen…

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 …

This is an interesting idea, but was that GrapheneOS person a lawyer giving legal advice?

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 mitigati…

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…

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 decision…

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 modul…

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…

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 tha…

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 f…

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 c…

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 includ…

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]

> 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…

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 layo…

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 cha…

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 sur…

Yeah, I think so. If someone lets you cheat off of their test, that's authorized but still plagiarism.

IIRC they do some stuff with f co algebras. Which if I understand it is effectively doing things like "hey here's a generator that produces an infinite number of the number 1, but …

That's my take as well. I've had my unPRed branches grabbed up and blindly merged by an agent twice now. The guy doing it was shocked both times that his PR had my change sets in i…

I have a friend who dealt with this in highschool. The English teacher just copied whatever their grade was from their first assignment onto all other assignments. It got so bad th…