🌳🐿️
1970s Britain owned its water, transport, mail, energy, millions of council houses and sat on a huge North Sea energy reserve. The national debt was £80bn.
1980s #Neoliberalism / #privatisation started by Thatcher-lead Tories destroyed the UK.
2025 Britain has no assets and a national debt of £2,746.6 Billion*
Police Sweeps of Homeless Camps are Worse Than You Think www.counterpunch.org/2025/12/05/p...
Enforcement often involves “sweeps” where officers destroy or confiscate property and arrest or fine unhoused individuals. #Occupy #ACORN #Canada #USA #HousingCrisis
Police Sweeps of Homeless Camp...
Just turned my Acorn Electron into musical keyboard 🎹 awesome, love it #Acorn #Electron #Retrocomputing
#ArtAdventCalendar Day 4
I think that nature is a better artist than me. Perhaps therefore, my jacket and trouser pockets are always full after a walk in the woods. And then I put the stuff on the table and talk to it, or it talks to me. After all that chatting, I have a new collage. 😉
#nature #collage #intuitiveEmbroidery #mixedmedia #embroidery #forest #bark #acorn #storytelling #NatureMatchCuts #artist #AtelierTetebrec
неприятно болеть.
Одновременно, за счёт некоторого упоротства, удалось поизучать пару вещей.
Наткнулся и потыкал очень простой верификатор теорем Acorn[1]. Оно прикольное, оно простое, оно тупое (там не очень большая база готовых теорем, и, по ощущениям, оно ещё и немного тупит). Возможно также плюс - что есть плагин для VS Code. Код на acorn выглядит примерно так:
```acorn
theorem threeven_plus_three(n: Nat) {
threeven(n) implies threeven(n + 3)
} by {
let d: Nat satisfy {
3 * d = n
}
3 * (d + 1) = n + 3
}
```
A implies B - из A следует B,
threeven - функция (Nat) -> Bool, определённая ранее,
переменная n: Nat - произвольное натуральное число.
Здесь доказывается, что если n делится на 3 без остатка, то и n+3 делится на 3 без остатка.
К сожалению, не то, что я вот сейчас хотел, т.к. это всё же не solver а proover, но прикольно было потыкаться. Как solver тыкаю другое.
[1] Acorn https://acornprover.org/
Zolder opruimen; jaargangen KIJK doorlezen (deel 12/veel):
Februari 1984 - Heel even gingen Clive Sinclair en Acorn samenwerken op technologisch vlak in 'MetaLab', later werden het uitdrukkelijke concurrenten. Omdat het misging. De KIJK had het in 1984 al wel over kunstmatige intelligentie, spraakherkenning en kennisbanken.
#KIJK #1984 #ZolderOpruimen #Sinclair #ZX81 #AI #KI #KunstmatigeIntelligentie #Acorn #MetaLab
Liquid Glassに対応したMac画像編集アプリ「Acorn v8.3」がブラックフライデー&App Store Awardsファイナリスト選出記念で約30%OFFセール中。
https://applech2.com/archives/20251125-acorn-for-mac-liquid-glass-black-friday.html
#applech2 #仕事効率化 #Acorn #Mac #MacAppStore #アプリ #グラフィック_デザイン #セール #トライアル版 #レビュー #有料
De la joieta de llibre "Cocina bellotera para la era postpetrolera" de César Lema.
(Si el compreu, feu-ho directament a l'autor, perquè hi ha gent venent-ne còpies sense el seu permís)
#quercus #silvestrescomestibles #cuinasilvestre #acorn #bellota #roure #alzina #edibleperennials #edibleplants #cocinabellotera #wildfoods
It’s another BBC Master video from me and in this one I’m taking a quick look at Word Processing 1980’s style using VIEW.
Also, can we transfer a word processing document from the Master to a modern Mac? 🤔
Worth a try. 😁
7 Random BBC Micro Games: Bandit, Asteroid Storm, Wizzys Mansion, Nutter, Cruncher, Parachute, Scramble & Mutant Spiders
https://www.youtube.com/watch?v=3TwEXjmPNfs
#Acorn #BBCMicro #RetroComputers #RetroGaming #8bit
Rewatched “Micro-Men” (https://youtu.be/XXBxV6-zamM), the BBC’s own dramatic retelling of the birth of Acorn Computers and the BBC Micro:
https://en.wikipedia.org/wiki/Micro_Men
Only now did I notice the cameo by Sophie Wilson. 🤦🏽♂️
Oak's acorn bounty
Ground just carpeted with nuts
Deer feast in progress
#Haiku #OneHaikuADay #WritersCollective #writingcommunity #BackToHaiku #Seasons #Autumn #Fall #Winter #Acorn #Acorns #Oak #Trees #Nuts #Treenuts #Deer #Tree #Food #Forage #USA #Photography
November 16, 2025
The follow-up talk by another legend in #BBCMicro and #ARM mythology, Steve Furber, is also available now:
“From Little Acorns…”, The Centre For Computing History (https://youtu.be/eeQn_AJqX54).
I'm trying to get the Acorn Archimedes core for the Mister working.
I'm able to boot it with the Ridcos 3 rom, and the desktop starts. However, I have so far failed to add a hard disc image to it. I created an empty file, and used 'configure idefsdiscs 1' as instructed in the readme for the core. I've had varying degrees of success with this (seeminly depending on the size of the image), but even when a disc is detected, it tells me it's not formatted.
I apparently need a tool called HDform, which I downloaded a floppy image and ran. However, it gives me an error saying it doesn't recognise the disc.
One tried all sorts of variations, and nothing works. Is there anyone with Archimedes experience that can provide some tips?
"From Acorn to ARM with Professor Steve Furber MBE
Professor Steve Furber MBE has had an enormous impact on the computer industry. From inspiring a generation of young coders with the BBC Micro in the '80s to the creation of the ubiquitous ARM CPU, he has been at the heart of an industry."
A very interesting talk about the history of #Acorn Computer.
This is a UNIX textbook, I know this!
#retrocomputing #oldunix #acorn #riscix