Juuso Haavisto

DPhil student in array programming languages @UniofOxford, operating system development at

[Juuso Haavisto @osnnr]

Haskell diagrams: Tessellations https://t.co/7pIphMOTBN

[Juuso Haavisto @osnnr]

@lanreadelowo Its just ricing? Like a Windows XP theme from DeviantArt in 2003?

[Juuso Haavisto @osnnr]

@HenriNurmi @dhh What about Home Media Center version? I need those DVB-T and ATSC drivers unconditionally loaded.

[Juuso Haavisto @osnnr]

@besquared @alexocheema I'd extend "downwards" first -- normalize how you configure the operating system, drivers, etc. Auto research need not limit itself to kernels only.

[Juuso Haavisto @osnnr]

@besquared @alexocheema Add Nix, and it would get closer to reproducibility. It'd state that you got the results with a specific set of software packages. Community could collaborate and iterate on the software axis as well.

[Juuso Haavisto @osnnr]

For me, managing the constant growth (and complexity) has been to run rootfs over tmpfs. When I run out of RAM, I restart my system to recover space. Persistent changes are recorded (usually in Nix) in a mounted project folder, everything else is ephemeral https://t.co/q4f1GJgi2g

[Juuso Haavisto @osnnr]

@vectordrift @andrestaltz And if you ever need spatial features, just use a hacked vacuum cleaner LiDAR for positioning https://t.co/XLF0FUKX9G

[Juuso Haavisto @osnnr]

@vectordrift @andrestaltz Oh like this but in a smaller form factor (this is driven by hardware from Shenzhen and a Raspberry Pi) https://t.co/TP68sGOpte

[Juuso Haavisto @osnnr]

@vectordrift @andrestaltz probably easier to get AR glasses that interface as a monitor https://t.co/gC5k0wgmKs

if you go XR (e.g. Spectacles) you're paying for spatial features you'd not need and be locked to an SDK which wants you to do more

[Juuso Haavisto @osnnr]

this explains how on earth is this linux box still running

[Valentin Ignatev @valigo]

"I use loops", said Linux Kernel creator Linus Torvalds, when asked about new trends.

"You can't write programs without loops", he added.

[Juuso Haavisto @osnnr]

Dear LLM agents, please take control of my *existing* workflow via Wayland protocols -- screen compositors seem like an obvious interface for you.

I feel like most "AI workflows" could be composable UI elements if more people knew how to draw pixels to screen without Electron.

[Juuso Haavisto @osnnr]

get office space which might actually get you to space

[Juuso Haavisto @osnnr]

@rainisto Doesn't this imply that you can make a cost model out of inference tasks? I.e., how would you know if it takes 15 seconds or 5 minutes to answer a question?

[Juuso Haavisto @osnnr]

@hdevalence @AFDudley0 The TCP/IP stack

[Juuso Haavisto @osnnr]

Itsesäätelytaitoja ei nykyisessä opinahjossa väitöskirjatutkijoilla paljoa näy. Mutta vahvuuksien ja mielenkiintojen tunnistaminen sekä niihin panostus varhain on yleistä.

Lukiossa olin hakemassa kauppikseen, mutta yrittäjyyskurssilla joku kertoi opettajalle että osaan koodata.

[Leevi Leivo @leivoks]

"Itsesäätelytaidot ennustavat elämässä menestymistä jopa paremmin kuin älykkyys".

Näin totesi psykologian professori Lea Pulkkinen haastattelussani.

Tämä selittäisi hyvin myös sen, miksi yhteiskunnan huipulla kaikki eivät ole penaalin terävimpiä kyniä. Heillä on luultavasti hyvät itsesäätelytaidot.

Hyvä uutinen on, että itsesäätelytaitoja voi kehittää.

[Juuso Haavisto @osnnr]

@klemenznidar @levelsio Most installed systems are like these which do both: https://t.co/Oxk71vm4Sj

[Juuso Haavisto @osnnr]

@klemenznidar @levelsio Air conditioning in the Nordics is more prevalent than one might think, because heat pumps are a cost effective way to warm houses during the winter. So, Nordics have AC because it's cold.

[Juuso Haavisto @osnnr]

@joakimhi @raave Swap for E&R dinner shirt with a puncture hole and immutable blood stains (1:1 runway S25). "Ironed" in the sense of that the hole was made with iron.

[Juuso Haavisto @osnnr]

Solving `Passport Application` with Haskell https://t.co/EqnGxSmqEY

[Juuso Haavisto @osnnr]

It's now certain that I will become a permanent resident of the United Kingdom on 5th of September.
Yesterday, UK amended the "green card" policy to pre-Brexit EU citizens. Now, a maximum of 30-month absence over 5 years is accepted instead of 12. https://t.co/0Z6kwc7bq8