#acorn

Peter Rileypeterjriley2024
2025-12-11

@PabloMartini

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 / started by Thatcher-lead Tories destroyed the UK.
2025 Britain has no assets and a national debt of £2,746.6 Billion*

linktr.ee/acornunion

* Source: ons.gov.uk/economy/governmentp

ACORN Manchester members hold 
BAILIFF FREE BRITAIN banners
2025-12-07

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...

2025-12-05

Just turned my Acorn Electron into musical keyboard 🎹 awesome, love it #Acorn #Electron #Retrocomputing

Petra van CronenburgNatureMC@mastodon.online
2025-12-04

#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

A rectangular (portrait) abstract collage on a yellow background. The composition is based on a cross with the intersection point shifted to the top right. It's made with different white papers (transparent fluffy mulberry paper and lace print) and nature findings (wild cherry bark, a grea lichen, a very long acorn (like a pendant), an intertwined structure (root?), and some small copper stars. The natural holes in the bark are embroidered with silver thread.A completely curled and intertwined wooden structure marks the intersection point. If I remember well, it was a root found in a maize field.A long acorn mounted like a pendant under a real lichen. It comes from a nearly 200 yrs old oak.The outer bark of a wild cherry, native to our forest edges. It's placed in the focus of the collage. The natural holes let me think of a writing done by the tree - I embroidered abstract signs along these holes (with silver thread). They look like unknown letters from another civilisation.
Yastreb :verifiedpolyam:yastreb@mastodon.ml
2025-11-29

неприятно болеть.

Одновременно, за счёт некоторого упоротства, удалось поизучать пару вещей.

Наткнулся и потыкал очень простой верификатор теорем 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 acornprover.org/

#acorn #formal_methods #formalMethods

2025-11-29

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

2025-11-25

Liquid Glassに対応したMac画像編集アプリ「Acorn v8.3」がブラックフライデー&App Store Awardsファイナリスト選出記念で約30%OFFセール中。
applech2.com/archives/20251125

#applech2 #仕事効率化 #Acorn #Mac #MacAppStore #アプリ #グラフィック_デザイン #セール #トライアル版 #レビュー #有料

El Jardí de les Bruixesjardidelesbruixes@mementomori.social
2025-11-23

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

Fragment que parla sobre microorganismes capaços de degradar tanins, del llibre Cocina bellotera para la era postpetrolera
2025-11-19

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. 😁

youtu.be/0TwPnIhplDM

#bbcmicrocomputer #acorn #retrocomputing

Video thumbnail image for Yawning Angel's latest video where he looks at VIEW on the BBC Master computer.
Rod Hull - www.tfw8b.comfuturewas8bit@oldbytes.space
2025-11-16

7 Random BBC Micro Games: Bandit, Asteroid Storm, Wizzys Mansion, Nutter, Cruncher, Parachute, Scramble & Mutant Spiders
youtube.com/watch?v=3TwEXjmPNfs
#Acorn #BBCMicro #RetroComputers #RetroGaming #8bit

रञ्जित (Ranjit Mathew)rmathew
2025-11-16

Rewatched “Micro-Men” (youtu.be/XXBxV6-zamM), the BBC’s own dramatic retelling of the birth of Acorn Computers and the BBC Micro:

en.wikipedia.org/wiki/Micro_Men

Only now did I notice the cameo by Sophie Wilson. 🤦🏽‍♂️

2025-11-16
Color image of oak tree acorns covering the yard, Bath Township, Summit County, Ohio, USA. Image shows acorns simply covering the ground under an oak tree in shades of tan and umber and brown filling the photo.
2025-11-15

This would be a great opening for a side quest.

Post to /r/Askmen: "How can I befriend the neighborhood crackhead? - I don't smoke crack, but I know that the neighborhood crackhead has been stealing acorns from the local squirrel population and stashing them somewhere. I need to gain access to his acorn stash for reasons that I cannot disclose. How can I befriend him without crack?"
रञ्जित (Ranjit Mathew)rmathew
2025-11-15

The follow-up talk by another legend in and mythology, Steve Furber, is also available now:

“From Little Acorns…”, The Centre For Computing History (youtu.be/eeQn_AJqX54).

Elias Mårtensonloke@functional.cafe
2025-11-12

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?

#retrocomputing #mister #acorn #archimedes

Tim Riemannoctoate
2025-11-11

Interesting presentation by Professor on the Collective: "From to "
youtube.com/watch?v=W2yDnrYrhR

2025-11-11

"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.

#RetroComputer #VintageComputer

youtube.com/watch?v=W2yDnrYrhR0

2025-11-05

This is a UNIX textbook, I know this!
#retrocomputing #oldunix #acorn #riscix

Front cover of the book "The Design and Implementation of the 4.3BSD operating system"

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst