TheodoreM @_TheodoreM_

Data Engineer @MoJGovUK - Python / Scala / Spark fiend - Ex @ONS - Contributor to splink - Views my own. 😎 I know how to exit VIM 😎 @[email protected] Joined July 2015

Tweets

4K
Followers

214
Following

1K
Likes

5K

FFmpeg @FFmpeg

2 months ago

Learn assembly here: github.com/FFmpeg/asm-les…

5 44 592 48K 324

Charlie Marsh @charliermarsh

3 months ago

You can set `UV_TORCH_BACKEND=auto` and uv will automatically install the right CUDA-enabled PyTorch for your machine, zero configuration

74 231 3K 187K 1K

Download Image

Igal Tabachnik @hmemcpy

4 months ago

rewrites the typescript compiler in go gets laid off 🤔

122 207 7K 553K 553

Download Image

Charlie Marsh @charliermarsh

4 months ago

ty, our upcoming static type checker and language server for Python, is accidentally on the front page of HN. We're rapidly closing in on an initial "experimental preview release"...

24 39 586 36K 66

Download Image

Petar Veličković @PetarV_93

5 months ago

i started out by studying graph attention networks and now i'm... basically studying graph attention networks again?! 😅

9 7 127 7K 13

Download Gif

Joseph Suarez 🐡 @jsuarez5341

10 months ago

x.com/i/article/1851…

5 58 561 68K 1K

Charlie Marsh @charliermarsh

5 months ago

Our type checker can solve Diophantine equations via the Python type system (this isn't a joke, it actually works)

28 36 659 54K 128

Download Image

Anthony Bonato @Anthony_Bonato

7 months ago

Sudoku is graph theory

152 2K 18K 1.2M 5K

Download Video

Charlie Marsh @charliermarsh

7 months ago

We’re building a new static type checker for Python, from scratch, in Rust. From a technical perspective, it’s probably our most ambitious project yet. We’re about 800 PRs deep!

111 216 3K 156K 384

Download Image

Which makes sense, because Nicholas Carlini (err, Dr. Nick, sorry) is a former pentester (and a co-author of Microcorruption). Today, he studies low-level mathematical attacks on AI models. This week, on SCW: securitycryptographywhatever.com/2025/01/28/cry…

0 10 47 7K 28

David Tolnay @davidtolnay

7 months ago

Not long ago, I used to have a more optimistic impression of Rust users. I would not have guessed that so many otherwise-judicious people would go for blatantly AI-"maintained" Rust libraries. The `serde_yml` crate is a fork of a high-quality but unmaintained library. In the…

32 129 792 91K 148

Download Image

Charlie Marsh @charliermarsh

8 months ago

I know I'm biased but it's amazing that you can SSH into a random machine, drop in a PEP 723 script, and run: curl -LsSf astral.sh/uv/install.sh | sh uv run script.py Bootstraps Python, provisions an environment, installs dependencies, etc.

25 44 742 58K 408

Charlie Marsh @charliermarsh

9 months ago

It's what makes `uv python install` feel magical. There's no build step!

6 2 183 9K 33

Download Image

Charlie Marsh @charliermarsh

9 months ago

python-build-standalone has exploded in popularity, with over 70M downloads all-time. But what is a "standalone" Python build? It wasn't obvious to me at first! Initially, I didn't understand what problem was being solved or why it mattered...

19 49 733 123K 551

Download Image

TheodoreM @_TheodoreM_

10 months ago

0 0 0 9 0

Download Image

Michael Bronstein @mmbronstein

10 months ago

Advisory to my current PhD students: I expect nothing short of this in your viva

Intelligent Systems @MPI_IS

10 months ago

Advisory to my current PhD students: I expect nothing short of this in your viva

34 207 2K 223K 235

Download Image

19 63 1K 86K 130

Beauty Of Nature 🌳 @ShouldHaveAnima

10 months ago

261 2K 14K 717K 2K

Download Video

TheodoreM @_TheodoreM_

10 months ago

0 0 1 18 0

Download Image

Transluce @TransluceAI

11 months ago

Eliciting Language Model Behaviors with Investigator Agents We train AI agents to help us understand the space of language model behaviors, discovering new jailbreaks and automatically surfacing a diverse set of hallucinations. Full report: transluce.org/automated-elic…