Jukka Suomela
@jukkasuomela.fi
Associate Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi
Pinned
Jukka Suomela
@jukkasuomela.fi
· Feb 3
Programming Parallel Computers
Aalto University · This is a practical hands-on course on algorithm engineering for modern parallel computers. You will learn how to design programs that make the best possible use of the computing po...
ppc.cs.aalto.fi
"Programming Parallel Computers" is again freely available to everyone! There's a course instance "Open 2025" that is already open for solving, with the first deadlines in late September! Public scoreboard! Have fun!
ppc.cs.aalto.fi
ppc.cs.aalto.fi
Jos kriittiset raaka-aineet ovat niin kriittisiä, että ne menevät luonnonsuojelun edelle … miksi kukaan ei maksa penniäkään elektroniikkaromusta, joka on täynnä niitä samaisia raaka-aineita jo valmiiksi louhittuna mukavan kompaktissa muodossa?
January 18, 2026 at 4:05 PM
Jos kriittiset raaka-aineet ovat niin kriittisiä, että ne menevät luonnonsuojelun edelle … miksi kukaan ei maksa penniäkään elektroniikkaromusta, joka on täynnä niitä samaisia raaka-aineita jo valmiiksi louhittuna mukavan kompaktissa muodossa?
Reposted by Jukka Suomela
Viime päivien uutisen valossa olisikohan nyt niin että tätäkin päätöstä voisi harkita uudelleen.
yle.fi/a/74-20191502
yle.fi/a/74-20191502
Suomen vaalidata siirtyy Amazonin pilveen – USA:n vaalivilppiepäilyjä tutkinut asiantuntija varoittaa riskeistä
Ensimmäistä kertaa vaaleissa ehdokas- ja äänestäjätiedot sekä tuloslaskenta siirtyvät Suomen rajojen ulkopuolelle. Tutkija ei käyttäisi pilvipalvelua kansallisen turvallisuuden asioissa.
yle.fi
January 18, 2026 at 1:11 PM
Viime päivien uutisen valossa olisikohan nyt niin että tätäkin päätöstä voisi harkita uudelleen.
yle.fi/a/74-20191502
yle.fi/a/74-20191502
We just had the final round of Datatähti — the Finnish Olympiad in Informatics. Task F is a good test case also for chatbots. Can you get your favorite chatbot produce a full-point solution? (Yes, such a solution exists!)
cses.fi/641/scores/
cses.fi/641/scores/
CSES - Datatähti 2026 loppu - Scoreboard
cses.fi
January 17, 2026 at 8:39 PM
We just had the final round of Datatähti — the Finnish Olympiad in Informatics. Task F is a good test case also for chatbots. Can you get your favorite chatbot produce a full-point solution? (Yes, such a solution exists!)
cses.fi/641/scores/
cses.fi/641/scores/
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...
Reposted by Jukka Suomela
January 16, 2026 at 2:04 AM
Reposted by Jukka Suomela
Our CS building has received wonderful new works of art! These are student works from Aalto University’s interdisciplinary course ‘Crystal Flowers in Halls of Mirrors: Mathematics Meets Art and Architecture’, previously exhibited at Heureka as part of the Fibrations exhibition.
January 12, 2026 at 8:38 AM
Our CS building has received wonderful new works of art! These are student works from Aalto University’s interdisciplinary course ‘Crystal Flowers in Halls of Mirrors: Mathematics Meets Art and Architecture’, previously exhibited at Heureka as part of the Fibrations exhibition.
Minusta tätä vasemmiston ajatusta tekoälyverosta voisi viilata niin, että meillä olisi EU:n laajuinen vero EU:n ulkopuolisten tekoälypalveluiden (ja miksei laajemmin pilvipalveluiden) käytöstä… www.iltalehti.fi/politiikka/a...
Vasemmistoliitosta tärähti täysin uusi veroavaus
Vasemmistoliiton kansanedustaja nostaa pöydälle uudenlaisen verotusavauksen.
www.iltalehti.fi
January 11, 2026 at 5:28 PM
Minusta tätä vasemmiston ajatusta tekoälyverosta voisi viilata niin, että meillä olisi EU:n laajuinen vero EU:n ulkopuolisten tekoälypalveluiden (ja miksei laajemmin pilvipalveluiden) käytöstä… www.iltalehti.fi/politiikka/a...
Reposted by Jukka Suomela
"Perheyritykset" lobbaavat taas näkyvästi #Perintöveroa vastaan.
Muistetaan mitä asiantuntijat ovat asiasta aiemmin sanoneet.
Muistetaan mitä asiantuntijat ovat asiasta aiemmin sanoneet.
Veroprofessori: Perintöveron poistolla Suomi yhä rajummin kahden kerroksen väkeä
Perintöveron poisto hyödyttäsi suurperijöitä ja miljonäärisukuja, sanoo vero-oikeuden professori. Monien johtavien poliitikkojen vaatimukset perintöveron poistosta ovat professori Heikki Niskakankaan ...
yle.fi
January 11, 2026 at 12:09 PM
"Perheyritykset" lobbaavat taas näkyvästi #Perintöveroa vastaan.
Muistetaan mitä asiantuntijat ovat asiasta aiemmin sanoneet.
Muistetaan mitä asiantuntijat ovat asiasta aiemmin sanoneet.
Reposted by Jukka Suomela
January 9, 2026 at 12:28 AM
Aalto University is hiring summer interns!
1: Aalto Science Institute International Summer Research Program: www.aalto.fi/en/aalto-sci...
1: Aalto Science Institute International Summer Research Program: www.aalto.fi/en/aalto-sci...
Aalto Science Institute International Summer Research Programme | Aalto University
Calling all research-oriented students: Spend Summer 2026 in Finland with a transformative research assistantship at Aalto University. Open to bachelor's, master's, and—in exceptional cases—doctoral students worldwide.
www.aalto.fi
January 7, 2026 at 9:16 PM
Aalto University is hiring summer interns!
1: Aalto Science Institute International Summer Research Program: www.aalto.fi/en/aalto-sci...
1: Aalto Science Institute International Summer Research Program: www.aalto.fi/en/aalto-sci...
A reminder that one year ago, none of these existed:
- Claude Code
- Cursor CLI
- Codex CLI
Good luck trying to make any predictions of what the software development ecosystem will look like in one year.
- Claude Code
- Cursor CLI
- Codex CLI
Good luck trying to make any predictions of what the software development ecosystem will look like in one year.
January 7, 2026 at 8:27 PM
A reminder that one year ago, none of these existed:
- Claude Code
- Cursor CLI
- Codex CLI
Good luck trying to make any predictions of what the software development ecosystem will look like in one year.
- Claude Code
- Cursor CLI
- Codex CLI
Good luck trying to make any predictions of what the software development ecosystem will look like in one year.
Lux Helsinki: "Soleil nuit Albireo"
January 7, 2026 at 7:44 PM
Lux Helsinki: "Soleil nuit Albireo"
This is the sandbox setup I'm currently using to do automatic theorem-proving and formalization with Codex + GPT 5.2: github.com/suomela/curs...
GitHub - suomela/cursor-sandbox: Cursor CLI + Claude Code + Codex Sandbox
Cursor CLI + Claude Code + Codex Sandbox. Contribute to suomela/cursor-sandbox development by creating an account on GitHub.
github.com
January 3, 2026 at 2:09 PM
This is the sandbox setup I'm currently using to do automatic theorem-proving and formalization with Codex + GPT 5.2: github.com/suomela/curs...
"Hei! Sinulle on lähetetty kotiinkuljetettava lähetys. Tuomme sen ma-pe klo 8-16 ilman erillistä ilmoitusta."
Minä varmaan olen joka ikinen päivä kotona klo 8–16 päivystämässä siltä varalta, että tämä paketti sattuisi tulemaan?
Minä varmaan olen joka ikinen päivä kotona klo 8–16 päivystämässä siltä varalta, että tämä paketti sattuisi tulemaan?
January 2, 2026 at 7:05 PM
"Hei! Sinulle on lähetetty kotiinkuljetettava lähetys. Tuomme sen ma-pe klo 8-16 ilman erillistä ilmoitusta."
Minä varmaan olen joka ikinen päivä kotona klo 8–16 päivystämässä siltä varalta, että tämä paketti sattuisi tulemaan?
Minä varmaan olen joka ikinen päivä kotona klo 8–16 päivystämässä siltä varalta, että tämä paketti sattuisi tulemaan?
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...
Tiedossa ei ole "vuosia epävarmuutta", jos ihmiset vain kykenisivät äänestämään vasemmistoa seuraavissa vaaleissa… Tarvitaan vain muutaman prosentin siirtymä kannatuksessa oikealta vasemmalle ja tämä potkulaki on vain muisto.
www.hs.fi/politiikka/a...
www.hs.fi/politiikka/a...
Työelämä | ”Potkulaki” tulee voimaan: Tiedossa vuosia epävarmuutta, sanoo asiantuntija
Työntekijöiden irtisanomista helpotetaan. Kaksi asiantuntijaa arvioi, mitä se tarkoittaa työntekijöille.
www.hs.fi
December 30, 2025 at 6:23 PM
Tiedossa ei ole "vuosia epävarmuutta", jos ihmiset vain kykenisivät äänestämään vasemmistoa seuraavissa vaaleissa… Tarvitaan vain muutaman prosentin siirtymä kannatuksessa oikealta vasemmalle ja tämä potkulaki on vain muisto.
www.hs.fi/politiikka/a...
www.hs.fi/politiikka/a...
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...
Saw the first real-world example of this in my research:
- Chatbots proved a theorem.
- I didn't trust the proof.
- Chatbots formalized the proof in Lean 4.
I'm using primarily Codex + GPT-5.2, in a sandbox with access to "uv" (for all kinds of Python things) and "elan" (for Lean 4).
- Chatbots proved a theorem.
- I didn't trust the proof.
- Chatbots formalized the proof in Lean 4.
I'm using primarily Codex + GPT-5.2, in a sandbox with access to "uv" (for all kinds of Python things) and "elan" (for Lean 4).
December 28, 2025 at 7:01 PM
Saw the first real-world example of this in my research:
- Chatbots proved a theorem.
- I didn't trust the proof.
- Chatbots formalized the proof in Lean 4.
I'm using primarily Codex + GPT-5.2, in a sandbox with access to "uv" (for all kinds of Python things) and "elan" (for Lean 4).
- Chatbots proved a theorem.
- I didn't trust the proof.
- Chatbots formalized the proof in Lean 4.
I'm using primarily Codex + GPT-5.2, in a sandbox with access to "uv" (for all kinds of Python things) and "elan" (for Lean 4).
Reposted by Jukka Suomela
Viimeinen juttuni Hesarissa talon toimittajana. Jutun työnimi oli ”tiedontuotannon jakolinjat”.
Halusin katsoa tätä ongelmallista ilmiötä nimenomaan Suomen näkökulmasta, koota yhteen tutkijoiden näkemyksiä ja esittää kysymyksiä.
Vaikealta näyttää.
www.hs.fi/kulttuuri/ar...
Halusin katsoa tätä ongelmallista ilmiötä nimenomaan Suomen näkökulmasta, koota yhteen tutkijoiden näkemyksiä ja esittää kysymyksiä.
Vaikealta näyttää.
www.hs.fi/kulttuuri/ar...
Essee | ”Sivistynyt työväenluokka on peruuttamattomasti loppu”, sanoo tutkija
Tieto on nyt arvokasta, ja siksi sitä eivät saa kaikki. Tunne epätasa-arvosta on ollut historiallisesti yleisin syy kumouksille ja konflikteille, kirjoittaa Jussi Ahlroth.
www.hs.fi
December 27, 2025 at 8:14 PM
Viimeinen juttuni Hesarissa talon toimittajana. Jutun työnimi oli ”tiedontuotannon jakolinjat”.
Halusin katsoa tätä ongelmallista ilmiötä nimenomaan Suomen näkökulmasta, koota yhteen tutkijoiden näkemyksiä ja esittää kysymyksiä.
Vaikealta näyttää.
www.hs.fi/kulttuuri/ar...
Halusin katsoa tätä ongelmallista ilmiötä nimenomaan Suomen näkökulmasta, koota yhteen tutkijoiden näkemyksiä ja esittää kysymyksiä.
Vaikealta näyttää.
www.hs.fi/kulttuuri/ar...
Happy holidays!
jukkasuomela.fi/snowflake/
jukkasuomela.fi/snowflake/
A161330 Snowflake
jukkasuomela.fi
December 23, 2025 at 6:11 PM
Happy holidays!
jukkasuomela.fi/snowflake/
jukkasuomela.fi/snowflake/
Hesari: "kurssi ampaisi nousuun"…
www.hs.fi/talous/art-2...
www.hs.fi/talous/art-2...
Laihdutuslääkkeet | Novo Nordiskin kurssi ampaisi nousuun, kun USA hyväksyi sen pillerilaihdutuslääkkeen myyntiin
Lihavuuden hoitoon aiemmin vain pistoksena annettu Wegovy sai pilleriluvan Yhdysvalloissa. Lääke tulee myyntiin myös Donald Trumpin verkkosivustolle.
www.hs.fi
December 23, 2025 at 3:08 PM
Hesari: "kurssi ampaisi nousuun"…
www.hs.fi/talous/art-2...
www.hs.fi/talous/art-2...
My prediction for 2026: this will be the year of formally verified vibe-coding and formally verified vibe-math. …
December 23, 2025 at 3:01 PM
My prediction for 2026: this will be the year of formally verified vibe-coding and formally verified vibe-math. …
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.
Hesari kirjoittaa, että "laajakaistaverkkoja koskeva EU-asetus voi aiheuttaa kerros- ja rivitalojen asukkaille tuntuvan laskun". Miten olisi sellainen näkökulma, että tämän asetuksen myötä me vihdoin saadaan koteihimme kunnollinen nettiyhteys? :)
www.hs.fi/talous/art-2...
www.hs.fi/talous/art-2...
Valokuitu | Kerrostaloasukkaita voi odottaa tuntuva lisälasku kalliin remontin päälle
EU:n tuore gigabittiasetus tiukentaa sisäverkkojen uudistamisvelvoitetta. Se velvoittaa kerros- ja rivitalot päivittämään sisäverkkonsa, jos kiinteistössä tehdään esimerkiksi putki- tai sähköremontti.
www.hs.fi
December 22, 2025 at 11:45 AM
Hesari kirjoittaa, että "laajakaistaverkkoja koskeva EU-asetus voi aiheuttaa kerros- ja rivitalojen asukkaille tuntuvan laskun". Miten olisi sellainen näkökulma, että tämän asetuksen myötä me vihdoin saadaan koteihimme kunnollinen nettiyhteys? :)
www.hs.fi/talous/art-2...
www.hs.fi/talous/art-2...