@Steve_Yegge John Deere makes embedded software systems that drive million-dollar harvester convoys via satellite. They are not some old timey relic for the purpose of this comparison.
@JustDeezGuy@valigo With respect to Dijkstra, tests very much can show the absence of *specific* bugs: that's why we have regression tests. Nothing can ever show the absence of ALL *possible* bugs, and no tests ever promised to do so.
@AkashSharm44677@valigo That is exactly correct. Tests express INTENT. Therefore, they can be correct even w/o code being tested. At a certain level (interface, acceptance, integration), tests apply equally to multiple implementations (think: a client in python 2, python 3, golang, etc.)
@HugeriskCapital@lemire I already see AI used (at work) to catch long-standing bugs or digest distributed log traces. Insight and effectiveness varies from pretty good to worse than useless.
I do like the idea of analyzing permutations, but it seems even more susceptible to just being fed to AI.
@mark_ledain@netcapgirl I think you're right, but it is also why AI would replace consultancies, to the extent it is attributed the same authority and ownership.
At a minimum, if human actors are still needed, the consultancies themselves can become wrappers for the AI-vended version of their service
@glorfindeil@MarioVerbelen But I also built GitLab pipelines w/ "go test -cover ./..." output to get red/green coverage highlighting in the Merge Request diff view. Super useful when you see new code introduced and tests that are supposed to cover it, but the code is still showing red (uncovered).
@KyaCannot@Hbomberguy James is correct here, with the additional context that even statements largely attributed ex cathedra authority were not declared explicitly as such. Papal infallibility wasn't declared until 1870; thereafter, it was invoked exactly once, in 1950 (paraphrasing Wikipedia).
@charle_marle@dhh To most consumers of mainframe CPU cycles, they *were* priced according to usage. One of my CIS profs used USD@1960s $20,000 of unreserved (late night) mainframe clock to word process his thesis.
@RapidsJason@tombogert Reaching the Finals in both Concacaf and Leagues Cup (winning the latter), added to the schedule congestion. Especially the CCC Home/Away aggregate format, international travel, etc.
@ExcretusMaximus@fuckyouiquit "Also, we are, as an industry sector 'desperate' to hire, but we have decided to be massive dicks demeaning ALL potential applicants. Our emotions are more important than our business objectives."
@AndrewVisnovsky@SiempreSeattle It absolutely is a readymade sports narrative, like Wrexham. And if it doesn't get that treatment, screw it, it's just beautiful, electric soccer to watch. Made here.
@AndrewVisnovsky@SiempreSeattle It's not superiority, more an accurate characterization of city age and economic base: state gov'ment, banking, insurance, and one of the largest universities. Hardhat guys were a better vibe. In the 90s, US soccer was still fighting (unfair) rep as "euro", effete.