Pat Alt's Avatar

Pat Alt

@patalt.org

Trustworthy AI, Counterfactual Explanations, Open-Source Software and other PhD things at TU Delft. @julialang.org developer @taija.org Website: www.patalt.org

446
Followers
912
Following
73
Posts
25.07.2023
Joined
Posts Following

Latest posts by Pat Alt @patalt.org

Thank you very much - hope you're well!

04.03.2026 07:33 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I'm thankful also to my committee members, among them @mmitchell.bsky.social, for many interesting questions and discussions.

And, of course, immensely grateful to @julialang.org and its community for having me and having had such a strong impact on my research and the whole Ph.D. experience.

04.03.2026 07:22 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The Ph.D. is wrapped indeed as of last Wednesday!

It was a pleasure and privilege to be working under the supervision @informusiccs.bsky.social and Arie van Deursen these past few years.

Thesis: www.patalt.org/thesis/
Defence: www.patalt.org/content/talk...
FOSS: @taija.org #julialang

04.03.2026 07:22 πŸ‘ 9 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

Lieben Dank, Ronny πŸ™

27.02.2026 22:22 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Really love the show so far πŸ‘

27.02.2026 18:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Screen shot of selected git commit history.

Screen shot of selected git commit history.

Graduation highlight: my former students and now colleagues gifted me a *PhD Wrapped* of my git commit history and it's a bloodbath. Enjoy* www.patalt.org/content/talk...

*viewer discretion advised

27.02.2026 18:51 πŸ‘ 5 πŸ” 0 πŸ’¬ 3 πŸ“Œ 1
Karen Hao

Karen Hao

Nicky Woolf

Nicky Woolf

Thomas Germain

Thomas Germain

I'm co-hosting a new BBC podcast! It's called The Interface, and it's all about how tech is rewiring your week and your world.

www.bbc.com/mediacentre/...

05.02.2026 15:29 πŸ‘ 152 πŸ” 29 πŸ’¬ 10 πŸ“Œ 7

My pass:

23.07.2025 10:41 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
a cartoon dog is sitting at a table with a cup of coffee surrounded by fire . Alt: A cartoon dog is sitting at a table with a cup of coffee surrounded by fire saying β€œThis is fine.”

Back from a mostly offline vacation. Has anything noteworthy happened?

13.06.2025 07:30 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Haven’t read the full paper, but in my mind, this is just an inevitable consequence of extremely high degrees of freedom and MI just exists in the context of that

12.06.2025 12:21 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I don’t think multiplicity of explanations is necessarily problematic, in fact it may often be desirable e.g. in the context of algorithmic recourse. But it’s definitely important to be transparent about it when interpreting and communicating results in MI and XAI more broadly

12.06.2025 12:17 πŸ‘ 4 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

"Reject" despite mostly positive reviews

Somehow I'm not as fazed this time, because we have done a ton of robustness checks, the theory checks out and criticism was largely about presentation. I guess the 45 page appendix didn't help ...

27.05.2025 12:33 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Iβ€˜m avoiding actual eye contact at all costs

23.05.2025 16:04 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I did use RCall.jl back then to extend Plots.jl functions with ggplot2 (incredible scenes) and even those monstrosities still work, so props to #rstats I guess.

22.05.2025 12:50 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I love the fact that I can go back to my 3-4yo #julialang project, run `julia +1.8`, then `[ instantiate` and

EVERYTHING. JUST. WORKS. I LOVE IT*

*Julia, not my 3-4yo code

22.05.2025 12:46 πŸ‘ 12 πŸ” 0 πŸ’¬ 2 πŸ“Œ 1

I've had little time for #julialang dev work in recent weeks as I've been wrapping up my thesis. Can't wait to get back to it soon and DifferentiationInterface.jl will be one of the first places to look at.

20.05.2025 08:24 πŸ‘ 7 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

This work and the chart should go a long way in terms of explaining "why Julia" to AI folks:

1. Autodiff through anything using anything (one day ...)
2. Multiple dispatch fosters extensibility and interoperability of different ecosystems that OOP just doesn't (in practice).
3. See 1.

20.05.2025 08:24 πŸ‘ 11 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

Moving fast and breaking things is difficult to justify when things are humans

20.05.2025 08:10 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

... but not area of expertise I'm afraid so just thinking out loud

14.05.2025 13:47 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

hmm I guess you're thinking of something along the lines of probing activations (see e.g. arxiv.org/abs/2404.14082) but that just maps from learned representations to some output. Honestly the best I can think of for attribution is membership inference attacks: www.cs.cornell.edu/~shmat/shmat...

14.05.2025 13:47 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
A comparison of automatic differentiation paradigms between Python and Julia:
- In Python, one chooses the autodiff framework first (PyTorch / JAX), then the appropriate scientific library
- In Julia, one writes the scientific library first, then one tries to make it compatible with several autodiff frameworks (Enzyme, Zygote, etc)

A comparison of automatic differentiation paradigms between Python and Julia: - In Python, one chooses the autodiff framework first (PyTorch / JAX), then the appropriate scientific library - In Julia, one writes the scientific library first, then one tries to make it compatible with several autodiff frameworks (Enzyme, Zygote, etc)

How to make #autodiff user-friendly? What lies beyond the safety of Python-world? Why does it matter for scientific machine learning?
All this, and more, in our latest preprint with @adrhill.bsky.social! Spoiler alert: it describes the most useful software I ever wrote.
arxiv.org/abs/2505.05542

12.05.2025 18:59 πŸ‘ 52 πŸ” 15 πŸ’¬ 1 πŸ“Œ 1

Hello Friends!

I'm on the job market now!

I have a oodles of knowledge for all the software performance engineering tricks in Rust, Julia and other systems languages and would love to work with teams that are looking to skill up in those respects, from back ends to big data crunching!

09.05.2025 18:03 πŸ‘ 38 πŸ” 20 πŸ’¬ 1 πŸ“Œ 1
Brother and my smiling after the finish

Brother and my smiling after the finish

Me running in asphalt somewhere in DΓΌsseldorf.

Me running in asphalt somewhere in DΓΌsseldorf.

Zoomed in version of the previous pic showing a Julia stick placed on my number tag.

Zoomed in version of the previous pic showing a Julia stick placed on my number tag.

Ran my first marathon last Sunday with my brother and a friend. Thought the #julialang sticker might help but we ran hella slow 🐌

02.05.2025 09:06 πŸ‘ 7 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

In all seriousness, I’ve learned a lot from the work of @mmitchell.bsky.social and others in her field and I’ve also learned a lot from Hard Fork. There’s disagreements but I feel that there’s also certain overlaps and you+Kevin have a fantastic platform to discuss them using >300 characters.

02.05.2025 04:28 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I happen to know a great podcast where this conversation could be continued πŸ‘€

02.05.2025 04:28 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
a boy sitting in front of a computer with the word sweet written on it Alt: a boy sitting in front of a computer with the word sweet written on it

I was today years old when I learned that #revealjs (standard HTML presentation format for @quarto.org) has #vim bindings

01.05.2025 13:39 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Generative AI is a Climate Disaster w/ Sasha Luccioni - Tech Won’t Save Us A left-wing podcast for better technology and a better world.

Assuming it can be solved and assuming hallucinations become less of an issue (o4-mini πŸ‘€), there is still a very valid question about how environmentally sustainable this is vis-a-vis traditional search (and evidence has been pretty damning, e.g. techwontsave.us/episode/229_...)

26.04.2025 05:50 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Hard Fork did a good episode on this a while ago when Google’s AI summaries still recommended people eat rocks. How sustainable is it to essentially take away revenue from your own suppliers? Maybe this can be solved, but I’m not convinced it serves us or Google well in the long term.

26.04.2025 05:50 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I’ve been positively surprised by Brave’s AI summaries lately, because they induce me to click on links to multiple sources. That helps with one major concern: diminishing incentives for folks to actually freely supply the content you’re going to just AI summarize.

26.04.2025 05:50 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Profile photo of me in my favorite coral jumper.

Profile photo of me in my favorite coral jumper.

Girlfriend said it was time for a professional headshot

25.04.2025 12:00 πŸ‘ 7 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0