Henrik Lievonen

HenrikLievonen@mastodon.hli.fi

I am a post-doc researcher at CISPA, Germany, researching distributed algorithms with Sebastian Brandt. I wrote my PhD at Aalto University, Finland, on the same topic, superviced by <a href="https://mastodon.social/@JukkaSuomela" class="u-url mention">@JukkaSuomela</a>'s.During my PhD, I was an active part in the development of the highly-popular Programming Parallel Computers course (<a href="https://ppc-exercises.cs.aalto.fi/" target="_blank" rel="nofollow noopener" translate="no">https://ppc-exercises.cs.aalto.fi/</a>) at Aalto. It's open for everyone, try how fast you can compute the cross correlation of a matrix 😉

Posts

View post
Aamun ensimmäiset kaksi junaa selätetty. Jälkimmäiseen ehdin tsägällä kun se oli 25 minuuttia myöhässä, mutta saapui määränpäähän 3 min liian myöhään että oisin ehtinyt vaihtaa laiturin yli tuntia suunniteltua aikaisempaan junaan Mannheimista kohti Hampuria. No, sainpahan ainakin kahvia ☕ #junat #matkustaminen #pintaapitkin
View post
Noniin, nyt sitten testiin &quot;suomalainen tomaatti-mozzarellaleipä&quot;. Näyttää ihan hyvältä, vaikka sisältö muistuttaakin enemmän Italaista. #uusiulkosuomalainen
View post
Ensimmäiset (tuntemattomat) suomalaiset löydetty, ja mistäs muualta kuin luxemburgilaisesta viinakaupasta 😆 #uusiulkosuomalainen
View post
It has been 0 days since an online service silently truncated my password 😡 #security #password
View post
Mua on aina ihmetyttänyt, kuinka kokoomus onnistuu myymään itsensä ”talouspuolueena”, ja kuinka juuri he muka ovat oikea taho talouden tasapainottamiseen. No, tästä suivaantuneena päätin sitten hieman tutkia asiaa ja piirsin oheisen kuvaajan, johon on mustalla merkitty Suomen julkisyhteisöjen velan suhde bruttokansantuotteeseen sekä valkoisella Suomen BKT ja kokonaisvelan määrä tällä vuosituhannella. #politiikka #fipol #talous
View post
Hmm... Maybe making the tail function copy the whole string into a new buffer in a functional programming language was not that good of an idea: even counting the length of a string is now a quadratic operation, let alone parsing any string. I guess I&#39;ll fix that in the original level-0 implementation so that my level-1 parser can actually become usable.
View post
En muista kuka täällä teki pitkän arvion HSLn käyttäytymissääntökuvista, mutta eivät ne täysin selviä kaikille ole kun nyt tässä ratikassa semmoinen ehkä 5-v. lapsi kyselee äidiltänsä yksitellen niiden merkityksiä 🥲
View post
Okay, this caught me by surprise: If you have Greek letters in the path of your project,, #Rust refuses to compile that project. Linking seems to fail because it searches for path containing 316273 instead of λ.
View post
Muistakaa että perjantaina neljältä on hyvä aika viedä asioita tuotantoon 💪 #tuotantoonvienti #perjantai
View post
Look at weather forecast: 5 – 7 °C Think: Oh, it is going to be awfully hot today! I guess I&#39;m a Finn who has just been through a cold winter 😅
View post
Scientific text is sometimes too boring and dry. Therefore, I decided to make my website more accessible to the general public: https://meow.henriklievonen.fi/ I&#39;m a serious scientist with a serious web presence 🐱 Edit: Link changed to a more permanent location.
View post
Hey those who understand #radicle: how does one force push? I made a mistake in the commit message and pushed it to radicle. I then noticed my mistake, amended the commit and force pushed. This gave me a warning but succeeded otherwise. However, whenever I pull from the upstream, git ignores my force push and returns the local main branch back to the one with the typo. This is a private repo with my two machines as the delegates, a server allowed to sync it, and threshold 1. Thanks in advance!
View post
Olipas kiva käydä kävelemässä Kruunuvuoressa ja samalla täydentää karttaa! #OpenStreetMap #StreetComplete
View post
Minulla on raadonmittauslaite ja haluan saada mittaustuloksen luettua. Se pitää lähettää viranomaiselle tulkittavaksi, mutta olen unohtanut mikä se viranomainen taas olikaan. Mikä on oikea kohde?