Jukka Suomela
@jukkasuomela.fi
Associate Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
Aalto University is looking for an Assistant Professor in Computer Science, application deadline February 2, 2026!
www.aalto.fi/en/open-posi...
www.aalto.fi/en/open-posi...
January 25, 2026 at 11:04 AM
Aalto University is looking for an Assistant Professor in Computer Science, application deadline February 2, 2026!
www.aalto.fi/en/open-posi...
www.aalto.fi/en/open-posi...
This is pretty wild. Given that it's not written by someone who has got a weird misunderstanding of how neural networks work, but it's written by Anthropic: www.anthropic.com/constitution
January 24, 2026 at 8:46 PM
This is pretty wild. Given that it's not written by someone who has got a weird misunderstanding of how neural networks work, but it's written by Anthropic: www.anthropic.com/constitution
Here are the slides of my talk in Helsinki CS Theory Seminar today: jukkasuomela.fi/doc/theory-s...
This is about the project where chatbots did most of the work: they not only proved theorems but also formalized the results in Lean 4.
This is about the project where chatbots did most of the work: they not only proved theorems but also formalized the results in Lean 4.
January 21, 2026 at 6:56 PM
Here are the slides of my talk in Helsinki CS Theory Seminar today: jukkasuomela.fi/doc/theory-s...
This is about the project where chatbots did most of the work: they not only proved theorems but also formalized the results in Lean 4.
This is about the project where chatbots did most of the work: they not only proved theorems but also formalized the results in Lean 4.
Hallituksen esitys eduskunnalle laiksi työsopimuslain muuttamisesta ja siihen liittyviksi laeiksi:
valtioneuvosto.fi/paatokset/pa...
valtioneuvosto.fi/paatokset/pa...
January 17, 2026 at 10:11 AM
Hallituksen esitys eduskunnalle laiksi työsopimuslain muuttamisesta ja siihen liittyviksi laeiksi:
valtioneuvosto.fi/paatokset/pa...
valtioneuvosto.fi/paatokset/pa...
Lux Helsinki: "Mycelium Network"
January 7, 2026 at 7:44 PM
Lux Helsinki: "Mycelium Network"
Lux Helsinki: "Valon Huoneet"
January 7, 2026 at 7:44 PM
Lux Helsinki: "Valon Huoneet"
Lux Helsinki: "Soleil nuit Albireo"
January 7, 2026 at 7:44 PM
Lux Helsinki: "Soleil nuit Albireo"
New year, new opportunities! Application deadline February 2, 2026: www.aalto.fi/en/open-posi...
January 2, 2026 at 1:25 PM
New year, new opportunities! Application deadline February 2, 2026: www.aalto.fi/en/open-posi...
Reminder: we are hiring an Assistant Professor in computer science! All areas of computer science will be considered. We are in particular interested in candidates whose research is on datacenter-scale computing systems. Deadline: Monday, February 2nd, 2026. www.aalto.fi/en/open-posi...
December 29, 2025 at 12:34 PM
Reminder: we are hiring an Assistant Professor in computer science! All areas of computer science will be considered. We are in particular interested in candidates whose research is on datacenter-scale computing systems. Deadline: Monday, February 2nd, 2026. www.aalto.fi/en/open-posi...
… ja se nousuun ampaissut kurssi vuoden aikaperspektiivillä:
December 23, 2025 at 3:08 PM
… ja se nousuun ampaissut kurssi vuoden aikaperspektiivillä:
My Cursor usage in 2025. It was a good tool, but now we have something even better.
December 22, 2025 at 11:47 PM
My Cursor usage in 2025. It was a good tool, but now we have something even better.
What is this stuff that Codex started to print to my terminal? (The text fragments that you see here are 100% unrelated to anything I was doing.)
December 21, 2025 at 11:12 PM
What is this stuff that Codex started to print to my terminal? (The text fragments that you see here are 100% unrelated to anything I was doing.)
… No ei, ChatGPT on nyt hurahtanut tähän samaan. Kysyin piruuttani sitten ChatGPT:ltä sen lähteitä ja odotin ympäripyöreää selittelyä, mutta mutta…
December 20, 2025 at 7:27 PM
… No ei, ChatGPT on nyt hurahtanut tähän samaan. Kysyin piruuttani sitten ChatGPT:ltä sen lähteitä ja odotin ympäripyöreää selittelyä, mutta mutta…
Hämärät tarinat suomalaisista loppiaisen piparkakkuperinteistä on vihdoin siivottu pois Wikipediasta, kaikki hyvin? …
December 20, 2025 at 7:27 PM
Hämärät tarinat suomalaisista loppiaisen piparkakkuperinteistä on vihdoin siivottu pois Wikipediasta, kaikki hyvin? …
We are hiring summer interns: www.aalto.fi/en/aalto-sci...
December 18, 2025 at 9:05 PM
We are hiring summer interns: www.aalto.fi/en/aalto-sci...
ChatGPT 5.2 "extended thinking" can be sometimes a bit … extensive
December 17, 2025 at 4:39 PM
ChatGPT 5.2 "extended thinking" can be sometimes a bit … extensive
Are there any easter eggs hidden in the #AdventOfCode day 8 inputs?
December 8, 2025 at 9:21 PM
Are there any easter eggs hidden in the #AdventOfCode day 8 inputs?
#AdventOfCode day 4: Printing Department
December 7, 2025 at 12:06 AM
#AdventOfCode day 4: Printing Department
We had the second exam of our Distributed Algorithms course yesterday, and I checked how various chatbots would have done in the exam.
December 2, 2025 at 11:35 PM
We had the second exam of our Distributed Algorithms course yesterday, and I checked how various chatbots would have done in the exam.
This year I really enjoyed the first day of #AdventOfCode. The problem was simple yet thought-provoking. I wanted to have a an elegant solution and everything that I came up with had annoying special cases. Until I realized that you can do it like this (always rotate right, flip the dial if needed).
December 2, 2025 at 12:45 PM
This year I really enjoyed the first day of #AdventOfCode. The problem was simple yet thought-provoking. I wanted to have a an elegant solution and everything that I came up with had annoying special cases. Until I realized that you can do it like this (always rotate right, flip the dial if needed).
Minusta tämä tilasto taksinkuljettajien kohonneesta onnettomuusriskistä on vähän huolestuttavan näköinen, vaikka ei ihan suoraan liitykään matkustajan turvallisuuteen. cris.vtt.fi/en/publicati...
November 30, 2025 at 12:38 PM
Minusta tämä tilasto taksinkuljettajien kohonneesta onnettomuusriskistä on vähän huolestuttavan näköinen, vaikka ei ihan suoraan liitykään matkustajan turvallisuuteen. cris.vtt.fi/en/publicati...
Vähemmän työtä arviointipaneeleille.
November 20, 2025 at 8:10 PM
Vähemmän työtä arviointipaneeleille.
Kaivokadun kaavaselostuksessa todetaan, että "Idän suuntaan käytetyin jalankulkureitti kulkee Rautatientorin bussiterminaalin läpi Fennia-korttelin suuntaan." Joten siihen tällätään bussiterminaali ja lukuisat kävelijät loikkivat jossain peruuttavien bussien välissä? kartta.hel.fi?sukkaId=2024...
November 17, 2025 at 8:40 PM
Kaivokadun kaavaselostuksessa todetaan, että "Idän suuntaan käytetyin jalankulkureitti kulkee Rautatientorin bussiterminaalin läpi Fennia-korttelin suuntaan." Joten siihen tällätään bussiterminaali ja lukuisat kävelijät loikkivat jossain peruuttavien bussien välissä? kartta.hel.fi?sukkaId=2024...
Kaivokadun suunnitelmista: Asematunnelin kulkureitit tulevat muuttumaan huomattavasti. Nykyinen iso avara alue, jossa voi kulkea sujuvasti joka suuntaan, muuttuu jonkinlaiseksi sokkeloksi, jossa kuljetaan liiketilojen väliin jääviä käytäviä pitkin? Aineistoa: kartta.hel.fi?sukkaId=2024...
November 17, 2025 at 8:32 PM
Kaivokadun suunnitelmista: Asematunnelin kulkureitit tulevat muuttumaan huomattavasti. Nykyinen iso avara alue, jossa voi kulkea sujuvasti joka suuntaan, muuttuu jonkinlaiseksi sokkeloksi, jossa kuljetaan liiketilojen väliin jääviä käytäviä pitkin? Aineistoa: kartta.hel.fi?sukkaId=2024...