Bumping into people

@bumpingintopeople.bsky.social

72 Followers 104 Following

A happy duck trying to not give a f*ck.

Screenshot of text that reads: The field of formal verification and deterministic system testing is about to cross a chasm. There are not enough skilled practitioners in the field. Bug-catching tools, when used in conjunction with adversarial code reviews by an LLM and with language analyzers driven by pre-commit hooks, will be a key component in software factories. They will enable people/agents to deliver reliable software without the burden of having to learn this specialized knowledge.
A bear chilling out.
Table showing Wordle bot analysis of the Wordle game #1774 SKILL; LUCK; WORDS LEFT; INFO GAINED 92;63;44;53% 87;42;4;83% 86;37;3;86% 99;33;2;91% 99;25;1;100% 99;ー;—;100%
A notice message on software reads: “This appears to be a long document. Save time by reading a summary using Al Assistant. By using this service, you agree to the Adobe Terms of Use and Privacy Policy”
Picture showing a screenshot of a tooltip in Microsoft Word. The tooltip includes irrelevant shortcut information when the action is zooming into a document.
I just do not see excitement there. The only thing of note they have added to Windows in the last five years is Copilot, and I have yet to meet a normal human being who enjoys using it. And all the Windows 11 changes seem to have just gone over about as well as a lead balloon. I just do not think they care at all about Windows with consumers.
Picture describing the meaning of the word: Perplexity in American English.