iiinova — where your digital self keeps evolving

opale !! @n1ark.acouphene.net · 17h

making a DSL that will solve all my problems and unify everything and make everyone's life better

0213

opale !! @n1ark.acouphene.net · 22/09/2026

there's no goat without a g & t

131

opale !! @n1ark.acouphene.net · 21/09/2026

its very hard for me to attend talks because im too funny and i make myself and my colleagues want to laugh very easily

2100

opale !! @n1ark.acouphene.net · 16/09/2026

i could spend 3 hours configuring obsidian to be exactly how i want, and struggle anytime i want to do something obsidian doesn't support and for which there isn't a plugin. OR i can just summon exactly what i want into existence and make it evolve as i use it anyways i have a notetaking app now:D

2110

opale !! @n1ark.acouphene.net · 26/08/2026

this is such an all timer post i might start sending it to people that make obviously llm generated writing bc its unbearable jola.dev/posts/the-so...

jola.dev

The social contract of writing

About the value of genuine writing in a world being drowned in slop.

0102

opale !! @n1ark.acouphene.net · 25/08/2026

i still got it Anthropeum.com · Aug 25 2026 🟦🟩🟩🟩🟦🟦🟩🟩🟩🟦 80,269 · top 1% of players today!

120

Reposted by opale !!

cinnamon 🐇 🏳️‍⚧️ @plushie.holdings · 25/08/2026

its just interesting that we don't refer to it as 'bottom type' instead of never given the general vibe around here

3522

opale !! @n1ark.acouphene.net · 24/08/2026

Anthropeum.com · Aug 24 2026 🟨🟩🟩🟦🟦🟩🟦🟩🟨🟨 73,367 · top 7% of players today!

010

opale !! @n1ark.acouphene.net · 24/08/2026

yesterday during book club someone claimed argentina was the only true cyberpunk country

3100

opale !! @n1ark.acouphene.net · 23/08/2026

got bored so i did a lil tips and tricks guide for anthropeum with a map to explore what the Met has "acquired" check it out or don't n1ark.com/blog/anthrop... anyways Anthropeum.com · Aug 23 2026 🟦🟦🟦🟩🟨🟦🟩🟩🟩🟦 84,794 · top 6% of players today!

n1ark.com

Anthropeum Tips and Tools | Opale Sjöstedt

Some notes on getting better at Anthropeum, with a little tool to explore what is stored in the Met!

371

opale !! @n1ark.acouphene.net · 12/08/2026

i might write a lil blog post on abstraction, been doing some work that has forced me to do things properly and oughh its so nice also spent the day writing a symbolic stub for core::ptr::align_offset and there's probably something to say there too

040

opale !! @n1ark.acouphene.net · 11/08/2026

it would be cool if ocaml had even more syntax sugar or some form of `unit -> unit t` coercion for monads. basically a wait to be able to have `fn1 x; f2 y; f3 z` as monadic code rather than `let* () = fn1 x in let* () = fn2 y in f3 z`

150

opale !! @n1ark.acouphene.net · 11/08/2026

anthropeum (my favourite browser game atm) just changed the map rendering on the game and i hate it so much . . we had such a good thing going </3

330

opale !! @n1ark.acouphene.net · 09/08/2026

STOP DOING MATHS we were not supposed to do bit manipulations on floats !! hello i would like the decimal 0x3f851592 they have taken us for fools

part of the implementation of expf in Rust

0120

opale !! @n1ark.acouphene.net · 09/08/2026

finally made my IEEE-754 soft floats library for ocaml (using rustc_apfloat). i am free of my shackles. no longer will i rely on the evil z3 to compute floats for me !!!

180

opale !! @n1ark.acouphene.net · 07/08/2026

i hate the ocaml package release process SO much let me please just release my packages why are we being elitists about what packages get released

340

opale !! @n1ark.acouphene.net · 06/08/2026

girl who has a weirdly religious relationship with Census Designated by Jane Remover

162

opale !! @n1ark.acouphene.net · 04/08/2026

when my tweet flops on twitter but i repost the same joke on bsky and get 10 times the interactions

instagram story i lower the rim and pretend im LeBron for hours

1292

Reposted by opale !!

Leonard Stimpfle @leonardstimpfle.eurosky.social · 02/08/2026

It's what type theorists refer to as setlist

071

opale !! @n1ark.acouphene.net · 02/08/2026

im glad we call them dj sets and not dj lists because i would hate to hear the same song twice

2889

opale !! @n1ark.acouphene.net · 25/07/2026

unrelatedly i got an idea for an article for acouphène im Very excited about hehe

110

opale !! @n1ark.acouphene.net · 25/07/2026

the discourse around llms is so sterile its actually annoying

010

Reposted by opale !!

cinnamon 🐇 🏳️‍⚧️ @plushie.holdings · 17/07/2026

i caved and wrote a little jj primer. it mostly outlines a mental model for what's going on inside jj and then defers to a Real Tutorial, but i think it'll be useful char.lt/blog/2026/07/jj-vcs/

char.lt

charlotte's jujutsu tutorial - Charlotte Som

a little primer on becoming a version control hipster

3488

opale !! @n1ark.acouphene.net · 20/07/2026

i wrote a blog post about a cool optimisation i did to make quadratic behaviour linear while remaining sound !! its a mix of pretty technical GC details and theoretical Rust stuff, which is the best of mixes imo, go read it !! ! !! soteria-tools.com/blog/meta-ga...

soteria-tools.com

Meta Garbage Collection: Using OCaml's GC to GC Rust - Soteria

Tracking Rust's aliasing model can be quadratically expensive if done naively. Learn how we fixed this in Soteria Rust by doing meta garbage collection.

0328

opale !! @n1ark.acouphene.net · 20/07/2026

something happened and now none of my LSPs or auto-formatters work in Zed, great

030

Reposted by opale !!

annie @versary.town · 18/07/2026

do u like music i love music music is so cool i love music soundcloud.com/annieversary...

041

opale !! @n1ark.acouphene.net · 14/07/2026

writing a blog post and i keep doing minor edits does this ever converge or am i bound to do this every hour until release

061

opale !! @n1ark.acouphene.net · 01/07/2026

<work> you must be DYING to know how symbolic execution relates to ai ! well wait no more because there was a paper about it and we explain what the paper is about in our latest blog post !! ai !! llms !!! all the stuff people scream about !!! wow ! </work> soteria-tools.com/blog/teachin...

soteria-tools.com

Teaching AI to Reason About Software - Soteria

A team at AWS taught a small language model to catch bugs in C by training it on Soteria’s symbolic execution traces, beating a model four times its size. We look at what they did and why it matters.

3257

opale !! @n1ark.acouphene.net · 01/07/2026

this art history thing too easy Anthropeum.com · Jul 1 2026 🟩🟨🟩🟩🟦🟦🟩🟨🟦🟦 81,415 · top 16% of players today!

020

opale !! @n1ark.acouphene.net · 30/06/2026

i hate british sliced bread i bought this pack FIVE (5) days ago and it's already gone mouldy how is anyone meant to finish a pack of bread, im sorry i dont eat >2 slices a day !!

190

Reposted by opale !!

rain 🌦️ @sunshowers.io · 16/06/2026

Update: iddqd is now formally verified*! * with limitations that are fundamental to this kind of formal verification, making it a complement to the existing layers of validation For more, see: oxide.computer/blog/iddqd-u...

Update 2026-06-16: Since publication, we’ve used Soteria to verify that iddqd's no-duplicate-index invariant holds under arbitrarily adversarial Hash and Ord implementations. Soteria is similar to Kani in spirit, though with different internals that make it more compatible with iddqd. Soteria is implemented as a symbolic execution engine that lets you declare points of nondeterminism in your code. (For example, within iddqd, we represent an adversarial Hash or Ord return value as nondeterministic, since we want to model adversarially bad user code.) Then, it:

Compiles the Rust program into a form suitable for formal verification.
Interprets this form until it reaches a point of nondeterminism, treating each such point as a symbol rather than a concrete value.
Branches at each point where control flow depends on a symbol, validating that there is no UB and that the invariants specified by the program are upheld. A lot of the cleverness lies in how the possibility space is collapsed down to something manageable. For example, Soteria doesn’t have to enumerate every possible Hash value; rather, it only has to fork in places where control flow depends on the Hash value.

310312

opale !! @n1ark.acouphene.net · 16/06/2026

this bad boy can fit so much fuzzing

8 simultaneously open Z3 processes, all taking >90% of the CPU

0141

opale !! @n1ark.acouphene.net · 12/06/2026

new CFCF album dropped you have no idea how important this is to me open.spotify.com/album/2l0yzX...

open.spotify.com

L.U.V. - Album by CFCF | Spotify

CFCF · album · 2026 · 13 songs

000

Reposted by opale !!

waffle .-. @waffle.pet · 11/06/2026

all rustweek talk recordings got published; and alongside them, my talk! www.youtube.com/watch?v=3jM4...

youtube.com

When is never? (Waffle at RustWeek)

YouTube video by RustNL

128414

opale !! @n1ark.acouphene.net · 10/06/2026

self promo we did a blog post to launch the startup thing we're working on ^-^ i do the rust stuff it's cool you should try it out if you like unsafe rust ill probably do a blog post on some fun performance work i did on tree borrows #soon! soteria-tools.com/blog/introdu...

soteria-tools.com

Introducing Soteria: A New Generation of Static Analysis for Rust - Soteria

Find bugs today. Teach AI to find them tomorrow.

2338

opale !! @n1ark.acouphene.net · 08/06/2026

ocaml type errors make me miss rust (a lot)

more than 100 lines of OCaml type errors

060

opale !! @n1ark.acouphene.net · 05/06/2026

said transmute instead of commute when talking earlier im cooked

150

Reposted by opale !!

gabby @fullmoon.id · 27/05/2026

The moral of the story is that human attention is the bottleneck, not the number of agents because correctness is definitionally what the human intended to happen If you can't be bothered to spare any attention to the process you will get incorrect results no matter what harness you are using

1574

opale !! @n1ark.acouphene.net · 26/05/2026

happy feeble little horse day for those that celebrate

040

opale !! @n1ark.acouphene.net · 25/05/2026

trying to do a fun thing where i use ocaml's garbage collector to do something for me that would otherwise be expensive if it works its sooo cute

270

opale !! @n1ark.acouphene.net · 24/05/2026

rust week was so incredibly good

2190

opale !! @n1ark.acouphene.net · 17/05/2026

rustweek rustweek rustweek rustweek yipeeee

0303

opale !! @n1ark.acouphene.net · 19/04/2026

making a very compact serialisation format for serde is awesome i just wish the readme said "doing x.serialize().deserialize() doesn't always work" in massive red letters because its actually a pretty important thing when paking a serialisation format ^^' github.com/jamesmunns/p...

github.com

GitHub - jamesmunns/postcard: A no_std + serde compatible message library for Rust

A no_std + serde compatible message library for Rust - jamesmunns/postcard

241

Reposted by opale !!

lisa @catte.blog · 13/03/2026

new article a little essay about the line between video games and gambling go read it ! noreturn.blog/p/gamblified...

An article whose headline reads "Gamblified Games". The subtitle "Is playing at gambling different from actually gambling?" sits above an image showing playing cards of Ultra Rare cards named "Presidency of Barack Obama" and "German Inquisition", and a Rare card named "Birds of a Feather (Billie Eilish song)"

19720