Jacob Enders
503 posts

Jacob Enders retweetledi

@unclebobmartin All the kids these days are writing their code by hand, it's the new fad
English

@unclebobmartin x.com/FaytuksNetwork…
Opinions on this?
Faytuks Network@FaytuksNetwork
The US Supreme Court has vacated an Alabama district court order requiring the state to draw a congressional map that includes two majority-Black voting districts, allowing the state to draw a more Republican friendly map.
English

So get this. The Democrats in Virginia are so upset about the Supreme Court of Virginia‘s decision to throw out the redistricting map that they are seriously considering lowering the retirement age of all the Supreme Court justices to below the age of the youngest member so that they can throw out the entire court and then appoint new judges who will accept the redistricting.
English
Jacob Enders retweetledi

@unclebobmartin @BillySlang @YouTube Grrrr, I hate that the Democrats control the house, senate and presidency! We need someone to oppose these crazy liberals!
English

@BillySlang @YouTube In this case there was no blame. VDH was covering the facts. Frankly, neither he, nor most republicans, want one-party-rule. Power corrupts. Absolute power corrupts absolutely.
English

Winning the Map: Why the Left’s Gerrymandering War is Backfiring | Victo... youtu.be/exnLBvSb0sU?si… via @YouTube

YouTube
English
Jacob Enders retweetledi
Jacob Enders retweetledi
Jacob Enders retweetledi

Jacob Enders retweetledi

@transkatgirl @eriskiiii People still play chess or knit shirts. Even though AI and factories do both things better.
English

@eriskiiii because it's depressing and demotivating to see most people accomplishing things way faster because they have access to a tool you can't afford.
English

@MarcoNL88 @krishnapro_ @housecor Do you trust the human to write the correct prompt to make the AI generate the correct tests?
English

@krishnapro_ @housecor Do you trust the tests written by coworkers lol? Humans are lazy and just want to hit coverage thresholds and press merge. AI doesn't get lazy and covers all edge cases.
English

My thoughts on the Iran issue.
Thank God that there are leaders who understand the threat and are taking the necessary action to address it. I've been waiting for this for 47 years. I remember, all too well, the day the American hostages were taken, and the 444 days of their captivity. I remember, all too well, the Iranian diaspora, and the horrors that the regime imposed upon it's own people and upon the world. And when it is gone, and buried, with a stake through its heart, I will smile and say: Good Effing Riddance.
English

@icanvardar A vibecoder is just a tool that the AI uses to get its job done
English

@LGrapenthin @unclebobmartin I find it much easier to express my ideas in a language designed for software instead of english
English

Yet "deterministically generate desired behaviors and structures" has already been solved via programming languages, designed because natural languages lack the required semantic unambiguity. I expect your attempts of filtering out natural language ambiguity and misinterpretation via methodology, to converge towards another programming language again interpreted by a neural net instead of a compiler.
Because what is it, that you want from programming in a natural language, if not the questionable freedom of being ambiguous and vague?
English

AIs are just another step up the semantic expression ladder. We initially expressed our semantics in binary, then assembler, then Fortran, then C, then Java, then Python, etc. AI is just the next step up that same old ladder.
And when you take that step, nothing else changes. You are still expressing behavioral semantics. You still need to express structural semantics. All the old principles still apply. You still have to be concerned about design and architecture.
And even though the syntax allows informal statement, you cannot abandon formalism. When you express behavior you need a formal way to enforce the behavior you want. I use Gherkin for this. It seems to work pretty well.
Consider that Gherkin is written in triplets of Given/When/Then. Each of those GWT triplets is a transition of a state machine. A full suite of Gherkin triplets is a formal description of the finite state machine that represents the behavior of the application.
Other formalisms that matter are things like module dependency graphs, testing constraints, complexity constraints, and many others.
This step up the semantic expression ladder provides you with an enormous amount of options. But you'd better choose those options wisely!
English

@yoemsri @unclebobmartin Some people care about the things they build.
English

@unclebobmartin AI optimises for the metric not the goal, same as humans, the fix is also the same, make the metric harder to game than the actual work.
English

With AIs “distance” is important. One AI that writes tests, and another that makes them pass, sets the two at odds with each other and prevents either from cheating. This is very much like the separation of powers in a democratic constitution.
Another form of distance is semantic. I have the AI create a parser that parses gherkin into an intermediate representation file. Then I have it write a generator that reads the IR file and produces executable test code.
That semantic distance interposed so many intermediate goals that the AI cannot reach through them in order to cheat. Or, to say that differently, the intermediate goals become higher priority than the overall goal of making the test pass, making reinforcing the test higher priority than cheating to get green.
English

@unclebobmartin How much does this cost you to do? Do I need to pay claude 500 dollars a month to be a software engineer now?
English
Jacob Enders retweetledi










