Aiono

@aiono
92 Followers
96 Following
1.2K Posts
~25 year old software engineer. Interested in programming language design and theory. Favorite things at the moment are Rust, OCaml and Nix. Huge music fan. Mostly listens to progressive rock/metal. Favorite band is Opeth. Plays E-guitar.
Githubhttps://github.com/onsah
Websitehttps://blog.aiono.dev/
LanguagesNative: Turkish, Fluent: English, Basic: German
Bluesky bridgehttps://bsky.app/profile/aiono.mastodon.social.ap.brid.gy
https://www.youtube.com/watch?v=AyGnDm_TwsY capability in #scala stuff looks really interesting. A lot of the effects research look into semantics of the effects themselves, but I think being able to reason about capabilities opaquely and letting the run-time deal with the actual effects is more realistic.
[Scala'25] Where Are We With Scala's Capabilities?

Where Are We With Scala's Capabilities? (Video, Scala 2025)Martin ...

YouTube

The Guardian has published a new map of the #Gaza yellow line. You can see that #Israel has now seized more than half of the entire strip. But this is also the very substantial majority of all Gaza's agricultural land.

This means that even if peace is restored, Gaza cannot feed itself unless Israel withdraws.

This is, in effect, a giant #ConcentrationCamp.

#GazaGenocide

https://www.theguardian.com/world/2026/jun/05/friday-briefing-how-gaza-lebanon-and-iran-have-found-themselves-caught-in-an-escalation-without-end

https://youtu.be/Xn_YpUtXWT4?t=2252 Really interesting comment from Martin Odersky about why we need proper guardrails, not just some instruction in the prompt if we want to be able to automate stuff with agents. If an agent can do anything, assume that it will do anyhing at some point, including wiping out your mailbox if it can https://www.404media.co/meta-director-of-ai-safety-allows-ai-agent-to-accidentally-delete-her-inbox/
Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show

YouTube

People who are disabled, poor or on fixed incomes should be allowed nice things.

Society acts as though anyone receiving assistance should be forced to make do with the bare minimum ALL the time.

It’s suffering as a policy choice.

It’s cruel and unnecessary.

I did this version for PL
xkcd 2501 generator

https://daringfireball.net/2026/05/what_is_a_dickover we just got an amazing word. Author really nailed it.
What Is a Dickover?

dickover — a modal panel, popover, or curtain presented by a website or app, deliberately obscuring its own content to frustrate the user with an unwanted, unnecessary, mandatory interaction; e.g. asking the user to accept “cookies”, subscribe to a newsletter, install the website’s mobile app, agree to terms of service, or anything else that the user couldn’t give two shits about.

Daring Fireball

Can we have the day off?

https://mlsu.io/posts/day-off/

h/t @nelson

#genai

Can we have the day off?

So, apparently we are at the cusp of the entire world’s white collar workforce (and, by extension, much of the US workforce) undergoing a revolution in productivity. AI is the technology that is going to revolutionize the way we work, the way we interact with the world, the way we learn, the way we socialize, and all of this. This sounds great. Really, it does. Everything getting faster and easier would be an extraordinary boon to all of our lives.

Don't build an identity around what you're *against*. Focus on what you're *for*.
It's easy to boo and heckle from the balcony. It is important to point at some things and say "not that". But your objective should be clear, you need a north star if you want to accomplish anything. You want your "win state" to be clear. If not for others, for yourself.