@cutterferry.bsky.social
Interested in mathematics, computer science, history, political thought, and the (lack of) "ethics" of AI. Anonymous because questioning AI is career limiting behaviour.
Similarly, canβt get your AI to get something useful done before context degradation kicks in?
Use a swarm of agents that externalise context and more agents to manage them!
Want to improve the rigour of a problem solving response? Set up adversarial critics!
Etc etc.
I have some theoriesβ¦
In passing though itβs interesting how the solution to a lot of problems in AI is more AI. (Neutral observation!)
eg one of your better arguments is that we can safely sail the roiling sea of agent generated code by⦠asking other agents to explain it to us. (Notwithstanding my mixed experiences.)
In this case, I donβt think adding to the uncertainty under our feet by adding a kind of stochastic compiler (β¦and moving to pretty informal languageβ¦) feels like only making things worse to me.
10.02.2026 21:07 β π 0 π 0 π¬ 1 π 0Yes I agree. Good code design is inter alia a conversation with the future, or rather with possible futures, and that on its own is a source of uncertainty.
I think we probably agree about a lot, Iβm just profoundly more pessimistic about AI, and not because I donβt think it βworksββ¦
Thereβs an odd conflation between βbad-as-in-harmfulβ and βbad-as-in-ineffectiveβ that goes on. (And symmetrically βgood-as-in-usefulβ and βgood-as-in-morally-acceptableβ).
Internalised neoliberal capitalism or something. Still surprises me and leaves me feeling quite lonely.
But who oh who will engineer the privacy of the privacy engineera??
10.02.2026 18:57 β π 0 π 0 π¬ 0 π 0Well you have "privacy engineer" in your profile...!
10.02.2026 16:37 β π 1 π 0 π¬ 1 π 0Also: no-one can keep up any more? Maybe they just need to hire more privacy engineers ;-)
10.02.2026 11:00 β π 0 π 0 π¬ 1 π 0Hot take: the rise of AI bots and manipulation is actually going to make the investment in identity verification look like a retrospectively good investment to a lot of these platforms, or at least those who wish to try to remain human-based.
10.02.2026 10:59 β π 0 π 0 π¬ 0 π 0True on both counts in my experience. Unfortunately the same factors that made it bad code made that kind of extraction into an empirical harness impractical too.
10.02.2026 02:18 β π 0 π 0 π¬ 0 π 0So AI was demonstrably wrong and corrected it produced the usual obsequious failure to really get it so I gave up.
10.02.2026 02:07 β π 0 π 0 π¬ 1 π 0But alas in this timeline the code is batshit and the question isnβt really well-posed since every invariant is a conversation with a hidden space of possibility and god only knows what eldritch nightmares its authors thought they were fighting because they certainly didnβt comment.
10.02.2026 02:06 β π 0 π 0 π¬ 1 π 0so tbf was pretty terrible code and long and I could tell I was going to need a pen and paper I lacked β¦
... so my prompt was probably equivalent to βwtf does this function doβ plus a bunch of ctx.
AI came back with a perfectly reasonable explanation of what it *ought* to do given name and input.
But the ability to think in general, and the ability to do computer science more particularly, were comparatively democratically and broadly distributed. Weβre doing away with that.
10.02.2026 01:59 β π 0 π 0 π¬ 0 π 0To coin a phrase, capital controls the means of production, ie. inference, silicon, cooling and weight vectors β and they will exploit that ruthlessly.
Was the snobbery and arrogance of the pre LLM IT-talented a good thing? No of course not a bunch pricks we were in the aggregate.
(*Why* does the benefit accrue to the owners of the machine? Because youβre not competitive without it, and the job is deskilled so vastly more people could do it β which is *precisely the point* as indeed the AI execs keep breathlessly reminding us.)
10.02.2026 01:56 β π 0 π 0 π¬ 1 π 0Retraining to try to crack that wider market is not going to be easy for senior people for a bunch of reasons, incl ageism again.
And as AI will be unemploying Ks of workers with the benefit accruing to the owners of the machine, *all* workers are going to be having a hard time getting good Pay.
Which leads to the other great bit of copium going around: that AI will create new jobs. Thatβs simply not necessarily meaningfully true. There will be _some_ new jobs In AI but not necessarily that many. The rest will have to be absorbed into the wider jobs market.
10.02.2026 01:47 β π 0 π 0 π¬ 1 π 0And tbh βoh well weβll just do the higher level/more PM-ey stuff nowβ is pure self-delusion. Firstly bc mgt and research clearly aim to automate that too. Secondly because as we drop the marginal cost of tech to nil, thereβs simply no reason to suppose demand will expand enough for *that* many PMs.
10.02.2026 01:45 β π 0 π 0 π¬ 1 π 0(To return to a running example, itβs even harder to persuade mgt now that βa higher level replacement to CRUD would be goodβ. Itβs the AIβs problem. Even if it might actually help the AI, whole swathes of skill are now being sidelined.)
10.02.2026 01:42 β π 0 π 0 π¬ 1 π 0So Iβm glad some people who apparently always hated the discipline of coding are having fun.
How much fun do you think my engineer is having?
And the stuff about βoh well we just work at a higher level nowβ doesnβt save them: there are swathes of skills just being junked now.
β¦ and are now being told their skillset is useless.
The native ageism of the industry imho prevents it from thinking seriously about the older engineer who used to thrive on great DSL design and is now being told her/his skillset is useless and is wondering how she will feed her kids in future.
β¦ a bunch of folks too liked things like domain theory and now weβre basically tossing all those avenues out because turns out we can automate code monkeys so weβll just throw scale at the problem.
And a bunch of folks spent a long time earning peanuts to get a very particular set of skillsβ¦
Iβm well aware that some ppl are enjoying this. And believe me I can see the appeal.
But doesnβt it occur to you there are people who are not?
A bunch of folks are βglad that code is overβ. Well maybe they never liked it but lots of folks thought it was interesting as formal notationβ¦
Imho thatβs not quite right. That may be where the conversation about new software starts but itβs not where it ends.
10.02.2026 01:30 β π 0 π 0 π¬ 0 π 0Honestly the frontier LLM I use is totally hopeless at code comprehension (even when good at generation).
Perhaps it understands its *own* code butβ¦
The βslave mindβ model of AI simy doesnβt fit this. Nor, indeed, does the βegoless and theory-of-mind-lessβ raving robot of the LLM really seem plausible to me as something on which to build a kind of social and epistemic agency.
10.02.2026 01:28 β π 0 π 0 π¬ 0 π 0AIs as currently implemented are simply denied the *social* status and roles that would allow this kind of level of epistemic agency. No reason in principle we couldnβt fix this, plenty itβs hard in practice β and not just technical ones.
10.02.2026 01:26 β π 0 π 0 π¬ 1 π 0An engineer rather has epistemic agency: they engage with the problem, discover the driving concerns underlying the requirements, generate, store, evangelise and document new, more precise and formal knowledge. Notwithstanding mgt fantasies about buses, *they* were part of the outcome too.
10.02.2026 01:24 β π 1 π 0 π¬ 2 π 0