Artem Pelenitsyn
@pelenitsyn.top
Postdoc at Purdue ON ACADEMIC JOB MARKET for 2026. PhD in CS. Interests: programming languages and compilers, types. Languages: Haskell, Julia.
SNL got AI right youtu.be/Qtr81JWCl6c?...
AI Photos - SNL
YouTube video by Saturday Night Live
youtu.be
November 20, 2025 at 5:57 PM
SNL got AI right youtu.be/Qtr81JWCl6c?...
"[part of our code is closed for no good reason]... We will make all our code, fine-tuned models and data public after a paper acceptance." famous last words…
November 8, 2025 at 7:29 PM
"[part of our code is closed for no good reason]... We will make all our code, fine-tuned models and data public after a paper acceptance." famous last words…
Shortest saddest story from Hemi... U Wyoming: "While we primarily seek expertise in core areas of AI/ML, we welcome scholars with expertise in other areas of AI/ML..."
November 6, 2025 at 7:21 PM
Shortest saddest story from Hemi... U Wyoming: "While we primarily seek expertise in core areas of AI/ML, we welcome scholars with expertise in other areas of AI/ML..."
Finishing Alien: Earth… you must see The Sheep
October 29, 2025 at 2:24 AM
Finishing Alien: Earth… you must see The Sheep
Reposted by Artem Pelenitsyn
Wow. Harvard nuking its PhD programs
- Science PhD admissions reduced by more than 75%
- Arts & Humanities reduced by about 60%
- Social Sciences by 50–70%
- History by 60%
- Biology by 75%
- The German department will lose all PhD seats
- Sociology from six PhD students to zero
- Science PhD admissions reduced by more than 75%
- Arts & Humanities reduced by about 60%
- Social Sciences by 50–70%
- History by 60%
- Biology by 75%
- The German department will lose all PhD seats
- Sociology from six PhD students to zero
Harvard FAS Cuts Ph.D. Seats By More Than Half Across Next Two Admissions Cycles | News | The Harvard Crimson
The Faculty of Arts and Sciences slashed the number of Ph.D. student admissions slots for the Science division by more than 75 percent and for the Arts & Humanities division by about 60 percent for th...
www.thecrimson.com
October 21, 2025 at 5:11 PM
Wow. Harvard nuking its PhD programs
- Science PhD admissions reduced by more than 75%
- Arts & Humanities reduced by about 60%
- Social Sciences by 50–70%
- History by 60%
- Biology by 75%
- The German department will lose all PhD seats
- Sociology from six PhD students to zero
- Science PhD admissions reduced by more than 75%
- Arts & Humanities reduced by about 60%
- Social Sciences by 50–70%
- History by 60%
- Biology by 75%
- The German department will lose all PhD seats
- Sociology from six PhD students to zero
It's always great to see a paper published for which you served as a subject in its user study!
#SPLASH folks, check out our OOPSLA talk today at 10:30 on Syntactic Completions with Material Obligations! @dm0ney.bsky.social will discuss how we turn arbitrary text into parsed trees by error correction with a generalization of holes called obligations, turning parsing into structure editing!
October 17, 2025 at 1:20 AM
It's always great to see a paper published for which you served as a subject in its user study!
Reposted by Artem Pelenitsyn
Wrote a new article where I checkpoint the work we’ve done so far enabling Kaggle style EDA-to-model workflows in Haskell.
Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example.
mchav.github.io/iris-classif...
Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example.
mchav.github.io/iris-classif...
Progress towards Kaggle-style workflows in Haskell
There’s been a lot of work in the Haskell ecosystem that has made it easier to write interactive Kaggle-like scripts. I’d like to showcase the synergy between 3 such tools: dataframe (my own creation)...
mchav.github.io
October 14, 2025 at 6:24 AM
Wrote a new article where I checkpoint the work we’ve done so far enabling Kaggle style EDA-to-model workflows in Haskell.
Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example.
mchav.github.io/iris-classif...
Covers Jupyter notebooks, dataframes, charting and machine learning with the iris dataset as the working example.
mchav.github.io/iris-classif...
Aaand another one www.higheredjobs.com/search/detai... (search for H-1B)
Smaller colleges are noticing the H1B fee proposal and unsure that they will take relevant candidates. After all the turmoil that the bigger colleges went through earlier this year (and keep navigating it), what a time to be on the job market... www.holycross.edu/academics/fa...
October 10, 2025 at 6:19 PM
Aaand another one www.higheredjobs.com/search/detai... (search for H-1B)
Reposted by Artem Pelenitsyn
ICFP/SPLASH'25 is starting tomorrow!
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Venue NUS School of Computing - ICFP/SPLASH 2025
Latest Announcements
If you’re planning to attend FARM Performance and have a dinner on NUS campus, please, check this illustrated guide with directions to YST Conservatory and NUS UTown food courts....
conf.researchr.org
October 10, 2025 at 5:23 PM
ICFP/SPLASH'25 is starting tomorrow!
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus:
conf.researchr.org/venue/icfp-s...
Reposted by Artem Pelenitsyn
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
2026.splashcon.org/track/oopsla...
SPLASH 2026 - OOPSLA - SPLASH 2026
Welcome to the website of the SPLASH 2026 conference. We are working hard to fill the website with all related information. Please check back soon!
In the meantime, please consider this overview of th...
2026.splashcon.org
October 2, 2025 at 1:16 PM
OOPSLA 2026 deadline is just a week away! Can you please help us get the word out by sharing? Thanks!
2026.splashcon.org/track/oopsla...
2026.splashcon.org/track/oopsla...
felleisen.org/matthias/Tho...
I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…
I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…
Not in the US
felleisen.org
October 1, 2025 at 3:35 PM
felleisen.org/matthias/Tho...
I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…
I checked my mail archive: I've been following TYPES since Oct 2018 and I don't remember this stringent moderation in the past. Survivor's bias or there is something in the air recently that makes things explode. If only there was a german word for it…
@dbp.bsky.social forked @shriram.bsky.social & other's (I'd like to say "excellent" but I only had a cursory look, and I loved it) DCIC textbook in the brave-NEU Pythonistic Fundies: neu-pdi.github.io/cs2000-publi... The fork is here: dcic.pdi.run, but I'd pay BIG (metaphorical) $ to see the diff!
Daniel Patterson (@dbp.bsky.social)
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
dbp.bsky.social
October 1, 2025 at 3:20 PM
@dbp.bsky.social forked @shriram.bsky.social & other's (I'd like to say "excellent" but I only had a cursory look, and I loved it) DCIC textbook in the brave-NEU Pythonistic Fundies: neu-pdi.github.io/cs2000-publi... The fork is here: dcic.pdi.run, but I'd pay BIG (metaphorical) $ to see the diff!
Smaller colleges are noticing the H1B fee proposal and unsure that they will take relevant candidates. After all the turmoil that the bigger colleges went through earlier this year (and keep navigating it), what a time to be on the job market... www.holycross.edu/academics/fa...
October 1, 2025 at 3:10 PM
Smaller colleges are noticing the H1B fee proposal and unsure that they will take relevant candidates. After all the turmoil that the bigger colleges went through earlier this year (and keep navigating it), what a time to be on the job market... www.holycross.edu/academics/fa...
category theory^W^W type checking for the working software engineer sdiehl.github.io/typechecker-...
Introduction - Typechecker Zoo
Typecheckers built for fun
sdiehl.github.io
August 22, 2025 at 2:05 PM
category theory^W^W type checking for the working software engineer sdiehl.github.io/typechecker-...
Reposted by Artem Pelenitsyn
The call for nominations for SIGPLAN Research Highlights for 2024 is open! Deadline: 15 August 2025.
Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form:
forms.gle/mE3Qf2AJfSTN...
Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form:
forms.gle/mE3Qf2AJfSTN...
SIGPLAN Research Highlights nomination for 2024
SIGPLAN seeks nominations for outstanding papers to be awarded a Research Highlight distinction and recommended for consideration for the Research Highlights section in Communications of ACM.
Eligibi...
forms.gle
July 20, 2025 at 6:32 PM
The call for nominations for SIGPLAN Research Highlights for 2024 is open! Deadline: 15 August 2025.
Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form:
forms.gle/mE3Qf2AJfSTN...
Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form:
forms.gle/mE3Qf2AJfSTN...
Reposted by Artem Pelenitsyn
Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️
June 23, 2025 at 10:47 AM
Don't forget to read the PLDI papers now that the conference is over! If you don't know where to start, you can read one of the 6 papers that received a distinguished paper award! See the full list in no particular order below ⬇️
Reposted by Artem Pelenitsyn
These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively:
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye
June 23, 2025 at 10:54 AM
These PC members received a distinguished reviewer award for having more than half of their reviews flagged positively:
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye
- Aaron Bembenek
- Benjamin Delaware
- Chris Casinghino
- Colin Gordon
- Rohan Padhye
Reposted by Artem Pelenitsyn
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP
Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.
www.bloomberg.com
June 18, 2025 at 9:29 PM
excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
Reposted by Artem Pelenitsyn
PLMW is calling for student applications -- if you are a student interested in ICFP/SPLASH 2025, consider applying!
Deadline: July 15, AoE
conf.researchr.org/home/icfp-sp...
Deadline: July 15, AoE
conf.researchr.org/home/icfp-sp...
PLMW @ ICFP/SPLASH 2025 - ICFP/SPLASH 2025
The SPLASH-ICFP Programming Languages Mentoring Workshop encourages graduate students (PhD and MSc) and senior undergraduate students to pursue research in programming languages. This workshop will pr...
conf.researchr.org
June 10, 2025 at 1:26 PM
PLMW is calling for student applications -- if you are a student interested in ICFP/SPLASH 2025, consider applying!
Deadline: July 15, AoE
conf.researchr.org/home/icfp-sp...
Deadline: July 15, AoE
conf.researchr.org/home/icfp-sp...
Reposted by Artem Pelenitsyn
PL Academics in the US; I'm looking around for postdoc positions for the coming year!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
May 12, 2025 at 4:42 PM
PL Academics in the US; I'm looking around for postdoc positions for the coming year!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now
Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~
Reposts welcomed!
Reposted by Artem Pelenitsyn
I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking
June 9, 2025 at 8:37 PM
I know it's a really tough time for research funding right now, but does anyone have openings for computer science postdocs in the US? Especially in formal proof, possibly (but not necessarily) intersecting with AI? I have two really great researchers looking
Reposted by Artem Pelenitsyn
Cannot make it to Prague for @programming-conf.bsky.social?
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
May 27, 2025 at 1:23 PM
Cannot make it to Prague for @programming-conf.bsky.social?
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
Reposted by Artem Pelenitsyn
In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq.
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
E2: Satnam Singh (Groq)
YouTube video by current continuation
www.youtube.com
May 29, 2025 at 1:50 PM
In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq.
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)
www.youtube.com/watch?v=_g5f...
Reposted by Artem Pelenitsyn
Calculus (yet again) spotted in the wild.
April 24, 2025 at 4:21 PM
Calculus (yet again) spotted in the wild.
cabal-install 3.14.2.0 is released and has a number of important regression fixes:
discourse.haskell.org/t/cabal-inst...
Try it now!
Many thanks to the release manager Mikołaj Konarski and all contributors!
Please, repost if you're in the Haskell-land!
discourse.haskell.org/t/cabal-inst...
Try it now!
Many thanks to the release manager Mikołaj Konarski and all contributors!
Please, repost if you're in the Haskell-land!
Cabal-install 3.14.2.0 released
Cabal team is happy to announce the release of cabal-install tool version 3.14.2.0 and related libraries. Early adopters that have switched to the vanilla ghcup channel can already install it via gh...
discourse.haskell.org
April 8, 2025 at 3:07 PM
cabal-install 3.14.2.0 is released and has a number of important regression fixes:
discourse.haskell.org/t/cabal-inst...
Try it now!
Many thanks to the release manager Mikołaj Konarski and all contributors!
Please, repost if you're in the Haskell-land!
discourse.haskell.org/t/cabal-inst...
Try it now!
Many thanks to the release manager Mikołaj Konarski and all contributors!
Please, repost if you're in the Haskell-land!