Francesco 🍥

bitonic on github, @bitonic: @bitonic.bsky.social; @[email protected]

[Tatsunami @qrostar_en]

I helped with the Japanese translation for Oeuf (a new game by increpare)

You are an egg and try to get back home. Its a bit hard, but there's a sense of achievement when reaching a checkpoint :)

[increpare @increpare]

Oeuf /uːf/: a 3D precision-platformer where you are an egg. Go on an adventure, play with friends, have fun in the level editor! https://t.co/aQEIisn4yT #OeufGame OUT NOW

[Francesco 🍥 @trascendentale]

I'm delighted to announce that we've open sourced the distributed filesystem we've been working on at XTX for the past three years! You can read about its design at https://t.co/1paQzqq6y7 .

[Pete Cawley @corsix]

I am pleased to see https://t.co/LsBlary2Li published to the world - if you were wondering what motivated blog posts about Reed Solomon / CRCs / Raft, now you know.

[Francesco 🍥 @trascendentale]

@Jess_Riedel @quantian1 "This data is adjusted for inflation and for differences in living costs between countries."

[Francesco 🍥 @trascendentale]

I spent a good few hours figuring out under which conditions storing Go pointers in assembly is safe. Here's a little explainer: https://t.co/wzqCGqc64s

[Francesco 🍥 @trascendentale]

See https://t.co/rKP5edMM1v for more details and code. All the blame for the idea goes to @kmett.

[Francesco 🍥 @trascendentale]

Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!

[Francesco 🍥 @trascendentale]

@yishan @Nick65979825 @robinhanson @davidmanheim He did have tweets (since deleted) clearly showing he was unaware that "liberalism" has a different meaning (i.e. it does not mean "left wing") outside of the US, my impression is that the current political climate is getting to his head a little bit :).

[Francesco 🍥 @trascendentale]

@robinhanson @Nick65979825 @davidmanheim Not sure if this is a serious question, but there is a literal "fascio" (a bundle of rods) in the middle of this logo. Fascio is where the term "fascism" comes from.

[Francesco 🍥 @trascendentale]

I've long wanted to wait on file descriptors and futexes at the same time. I've recently realized that it is now possible through io_uring: https://t.co/IEpnrAnN5Y

[Francesco 🍥 @trascendentale]

These tie together with my previous post on distributed transactions ( https://t.co/8hNhSNI4h2 ). More posts will probably be coming on the same topic :).

[Francesco 🍥 @trascendentale]

Two more distributed filesystem themed blog posts:

* One on how to use CRCs and Reed-Solomon coding together effectively in a distributed filesystem: https://t.co/v1PERbBiDW
* Another to explain how to implement the CRC functions mentioned in the first: https://t.co/mPvpesBnap

[Francesco 🍥 @trascendentale]

A short post on using message authentication codes to make certain bugs in distributed transactions a lot harder. Saved my bacon more than once in the past year, and dead simple to implement.

https://t.co/8hNhSNI4h2

[Francesco 🍥 @trascendentale]

@shachaf https://t.co/2z7dSahHO8 might be of interest -- I haven't really gone through it properly, but it does contain a bunch of stuff that is usually not covered (probably because it's less relevant outside the kernel)

[Francesco 🍥 @trascendentale]

Wrote down my notes on a very annoying topic -- stopping Linux threads in an orderly manner.

Includes a fairly exotic use of rseq at the end based on an idea by @corsix .

https://t.co/qbOYR0DoXc

[Francesco 🍥 @trascendentale]

@shachaf I "like" how the extreme relaxedness of the DEC Alpha had a big influence in memory ordering APIs, serving as some sort of insanity upper bound (eg https://t.co/YIz4uZrmxE )

[Francesco 🍥 @trascendentale]

@obadzz Glad you liked the post! Blog software: https://t.co/QOs8RsW2ct

[Francesco 🍥 @trascendentale]

Blog post: a very quick primer on Reed-Solomon coding. Most Reed-Solomon explanations rightfully focus on the finite fields bit, but I thought it'd be worth giving some intuition of how it works more generally. https://t.co/JC6OqrZdvS

[Francesco 🍥 @trascendentale]

@corsix I wanted to mention this (without the matrix bit to not throw too many things into the pot), but forgot. Just added an addendum.