Jón Fairbairn

@jonfairbairn@hostux.social
70 Followers
77 Following
2.8K Posts
Former theoretical computer scientist.
Reprophotographer.
Woodworker
Minor sysadmin
Bass player
Bluesky#nobridge
Saturday Morning Breakfast Cereal - Positive

Saturday Morning Breakfast Cereal - Positive

@linux_mclinuxface web page with links to short videos where static images aren’t enough.

But this is the "marketplace of ideas" fallacy. And maybe it wouldn't even be a fallacy if everyone participating in the conversation was just there to express what they sincerely believed and listen and learn.

But we aren't in a marketplace. Or a Quaker meeting hall.

If one side throws millions at "the earth is flat!" the natural weakness of this argument won't keep it from spreading.

We are bringing good faith and listening to a propaganda fight.

🏦 💰 Taxpayer money should fund public goods.

When governments invest in software, it should be #FreeSoftware: software that gives the rights to use, understand, adapt, and share.

Sign the open letter to support this principle:
🔗 https://publiccode.eu

#publiccode #SoftwareFreedom

https://publiccode.eu/en/

I’ve been reading posts against using LLMs for software development, and some posts which are cautiously for it. One thing I’m wondering is: any LLM-coding supporter addressed the theory-building question?

I’m talking about Peter Naur’s 1985 essay:
https://gist.github.com/onlurking/fc5c81d18cfce9ff81bc968a7f342fb1

0. Assuming that Peter Naur was right, i.e. that humans building a “theory” (a shared mental model) of the software is crucial to its ongoing development and success.
1. Do LLM usage or “agentic coding” weaken the team’s theory of the software?
2. If it does, how is that not a catastrophe?

Programming as Theory Building - Peter Naur

Programming as Theory Building - Peter Naur. GitHub Gist: instantly share code, notes, and snippets.

Gist

We all suspected it, now it’s confirmed.

#Musk ordered shutdown of #Starlink satellite service as #Ukraine retook territory from #Russia

A previously unreported order by #ElonMusk to cut satellite #communications over a portion of Ukraine disrupted a counteroffensive by Kyiv in the autumn of 2022. Reuters investigated the billionaire's order & its implications for countries increasingly reliant on his Starlink internet service.

#power #corruption #oligarchy
https://www.reuters.com/investigations/musk-ordered-shutdown-starlink-satellite-service-ukraine-retook-territory-russia-2025-07-25/

We're excited to announce that we've just become Accredited Registrars for .ie domains! We will now handle these registrations directly with the .ie registry, allowing us to offer better prices and also offer registrations to individuals as well as companies. As always, we apply our no-nonsense approach to pricing: no loss-leaders or inflated renewal prices, just a fixed mark-up on our cost price. We've got some integration work to do before you can order through our site, but watch this space.

TIL that when radio station frequencies in the UK changed in 1978, Cambridge's King's Singers were tasked with *singing* the announcement, and the new frequencies.

It's INCREDIBLE

https://inv.nadeko.net/watch?v=EfQ5bNA6amQ

Rogatons Rediffusions - 01/06/2023 - "Wonderkid"
Source: https://www.bouletcorp.com/rogatons/2023/06/01

from my link log —

Designing for the eye: optical corrections in architecture and typography.

https://www.nubero.ch/blog/015/

saved 2025-07-15 https://dotat.at/:/VSRGT.html

Designing for the Eye – Optical Corrections in Architecture and Typography

The Nuberodesign Blog

Nuberodesign