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
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...
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.)
Are there any estimates of roughly how much might be the carbon footprint of all LLM/AI activities of an average university professor/lecturer/researcher in 2026? …
December 21, 2025 at 8:04 PM
Are there any estimates of roughly how much might be the carbon footprint of all LLM/AI activities of an average university professor/lecturer/researcher in 2026? …
Reposted by Jukka Suomela
We are hiring an Assistant Professor in computer science! This is a broad call, all areas of computer science will be considered! We are in particular interested in datacenter-scale computing systems.
www.aalto.fi/en/open-posi...
www.aalto.fi/en/open-posi...
Assistant Professor in Computer Science | Aalto University
Candidates applying to this call are considered for Assistant Professor position only. Applicants are required to have a doctoral degree and a publication track record in top journals and conferences in a relevant field.
www.aalto.fi
December 17, 2025 at 1:43 PM
We are hiring an Assistant Professor in computer science! This is a broad call, all areas of computer science will be considered! We are in particular interested in datacenter-scale computing systems.
www.aalto.fi/en/open-posi...
www.aalto.fi/en/open-posi...
Reposted by Jukka Suomela
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...
Reposted by Jukka Suomela
Tuloerot Suomessa kasvoivat viime vuonna, pienituloisia jo yli 780 000 https://www.ts.fi/uutiset/6852337
#yhteiskunta #tuloerot #köyhyys #politiikka #hallitus #Leikkaukset
#yhteiskunta #tuloerot #köyhyys #politiikka #hallitus #Leikkaukset
Tuloerot Suomessa kasvoivat viime vuonna, pienituloisia jo yli 780 000
Lapsiperheet ja ulkomaalaistaustaiset kärsivät eniten.
www.ts.fi
December 20, 2025 at 7:43 PM
Tuloerot Suomessa kasvoivat viime vuonna, pienituloisia jo yli 780 000 https://www.ts.fi/uutiset/6852337
#yhteiskunta #tuloerot #köyhyys #politiikka #hallitus #Leikkaukset
#yhteiskunta #tuloerot #köyhyys #politiikka #hallitus #Leikkaukset
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? …
Nähtiin tänään "Flamingonpunainen unelma". Oli aivan loistava, tätä voi lämpimästi suositella kaikille. Ja vain tunnin mittainen, joten jos ei olekaan omaan makuun, ei ole suuri menetys. :)
www.jurkka.fi/class/flamin...
www.jurkka.fi/class/flamin...
Flamingonpunainen unelma
Flamingonpunainen unelma on sukellus unenomaiseen populaarikulttuurin maailmaan. Se on mystinen matka kohti tummenevia palmuja, rakkauden villeimpiä rantoja.
www.jurkka.fi
December 20, 2025 at 6:51 PM
Nähtiin tänään "Flamingonpunainen unelma". Oli aivan loistava, tätä voi lämpimästi suositella kaikille. Ja vain tunnin mittainen, joten jos ei olekaan omaan makuun, ei ole suuri menetys. :)
www.jurkka.fi/class/flamin...
www.jurkka.fi/class/flamin...
Reposted by Jukka Suomela
Oikeusvaltiota murennetaan ja ihmisiä asetetaan varallisuuden mukaan täysin eri asemaan lain edessä. Köyhällä (eikä edes keskituloisella) olisi tämän jälkeen varaa puolustaa itseään, koska maksettavaksi jäisi syyttömänäkin helposti kymmeniä tuhansia. Käsittämätön ehdotus!
www.hs.fi/paakirjoituk...
www.hs.fi/paakirjoituk...
Pääkirjoitus | Oikeusministeriön hanke on pysäytettävä alkuunsa
Oikeusministeriö on valmistellut lakiluonnosta, joka rajoittaisi syytteestä vapautetulle oikeudenkäyntikuluista maksettavia korvauksia.
www.hs.fi
December 20, 2025 at 7:04 AM
Oikeusvaltiota murennetaan ja ihmisiä asetetaan varallisuuden mukaan täysin eri asemaan lain edessä. Köyhällä (eikä edes keskituloisella) olisi tämän jälkeen varaa puolustaa itseään, koska maksettavaksi jäisi syyttömänäkin helposti kymmeniä tuhansia. Käsittämätön ehdotus!
www.hs.fi/paakirjoituk...
www.hs.fi/paakirjoituk...
"every year, only some 30 ERC Plus Grants can be awarded across all fields and all career stages"
erc.europa.eu/apply-grant/...
erc.europa.eu/apply-grant/...
ERC Plus Grant
This webpage on the ERC Plus Grant call is provided for informational purposes only, pending the adoption of the updated Work Programme 2026 by the European Commission. The updated work programme, whi...
erc.europa.eu
December 19, 2025 at 9:17 PM
"every year, only some 30 ERC Plus Grants can be awarded across all fields and all career stages"
erc.europa.eu/apply-grant/...
erc.europa.eu/apply-grant/...
Everything related to peer review is always confidential. You are not allowed to leak any information related to the paper you reviewed and your review on it to any third parties, which obviously includes the chatbot companies.
I find this very alarming. AI is being used in explicitly prohibited ways. No doubt this will soon be the norm. The consequences of this will be dramatic. Over the holidays, the publishers and the whole of academic community are doing nothing else but working on a solution to this, right? RIGHT?!
More than half of researchers now use AI for peer review — often against guidance
A survey of 1,600 academics found that more than 50% have used artificial-intelligence tools while peer reviewing manuscripts.
www.nature.com
December 19, 2025 at 9:28 AM
Everything related to peer review is always confidential. You are not allowed to leak any information related to the paper you reviewed and your review on it to any third parties, which obviously includes the chatbot companies.
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...
Tämähän menee jännäksi: vasemmisto + vihreät + sdp + rkp on jo yli 47%.
www.hs.fi/paivanlehti/...
www.hs.fi/paivanlehti/...
HS-gallup | Kokoomuksen kannatus alimmillaan Orpon hallituskaudella
Hallituspuolueiden yhteenlaskettu kannatus on nyt yli 10 prosenttiyksikköä pienempi kuin elokuussa 2023, jolloin hallitus toipui ensimmäisestä rasismikriisistään.
www.hs.fi
December 17, 2025 at 9:04 PM
Tämähän menee jännäksi: vasemmisto + vihreät + sdp + rkp on jo yli 47%.
www.hs.fi/paivanlehti/...
www.hs.fi/paivanlehti/...