iiinova — where your digital self keeps evolving

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Amanda

@amanda.social.spejset.org.ap.brid.gy

#ComputerScientist PhD student working on specialised #ConstraintSolvers for #ProgramAnalysis, including #Polonius in #Rust. Interested in personal computing […] 🌉 bridged from ⁂ social.spejset.org/@amanda, follow @ap.brid.gy to interact

Posts Replies Media

Amanda @amanda.social.spejset.org.ap.brid.gy · 26/09/2026

Apparently this machine makes American coffee!

A paper mug of slightly brownish hot water in a Nespresso machine

031 3

Amanda @amanda.social.spejset.org.ap.brid.gy · 15/09/2026

Time for a little mental health walk before sleep

The Amperfy music player playing the Santa Monica theme from the mid 2000’s video game vampire the masquerade bloodlines.

020 2

Amanda @amanda.social.spejset.org.ap.brid.gy · 03/09/2026

@jannem here goes I guess

000 0

Amanda @amanda.social.spejset.org.ap.brid.gy · 21/08/2026

@pozorvlak @lindsey @lenary Thanks! Someone suggested I look at Riak, which I understand to essentially be I can't believe it's dynamo. I could always punt on merges and have a human merge them later if there's an actual conflict. For most types of data I […] [Original post on social.spejset.org]

A decision tree, rendered by the following mermaid:

```mermaid
flowchart TD
silverbullet(Silverbullet is annoying to work with) --> wikinew
wikinew(I should create a new wiki engine) --> noparse
noparse(I don't want to store and parse markdown all the time) --> structured
hledger(Why should it even be possible to store syntactically invalid bookkeeping in hledger) --> structured
structured(I should store structured data) --> beos
wikinew --> unicode
wikinew --> fn
unicode(No Unix file system normalises unicode) --> fs.new
fn(Platforms don't agree on allowed characters in file names) --> fs.new
beos(I wish I had BeOS file system-as-database everywhere) --> fs.new
slow(Syncthing is slow and annoying to set up) --> fs.new
fs.new(I need to reinvent a distributed file system) --> kmn(Kill me now)
```

001 1

Amanda @amanda.social.spejset.org.ap.brid.gy · 10/06/2026

I am pleased to tell you that this is in fact possible!

An iOS shortcut showing the sequential steps play sound file (modem noises), then turn on data

331 3

Amanda @amanda.social.spejset.org.ap.brid.gy · 10/05/2026

Äntligen har knubbarna kommit så att jag kan göra utbrytningar i vår bokhylla hemma!

Knubbar med handskrivna lappar: data tjafs, hem & hushåll, giftbiblioteket

Knubbar med handskrivna etiketter: marxism och annan samhällsanalys, magi & häxkonster

001 1

Amanda @amanda.social.spejset.org.ap.brid.gy · 05/10/2025

Call me conspiratorial but I don’t think #Apple wants to give up their encryption keys to my entire life. CC @atpfm re/running to the press.

A configuration screen on an iPhone:

Enter iPhone Passcode
To turn on Advanced Data
Protection, enter the passcode you
use to unlock this iPhone.

No input method is shown.

000 0