Viewing profile — patrickkidger

I'd love to have a way to make xlsx files be git-compatible, i.e. stored in plaintext. I realise this may be out-of-scope as it's kind of baked into the file format, but does Nobie…

The Tiny Pharma Company | Founding Scientist | London/Zurich https://tinypharma.bio/jobs/ AI+pharma startup, and each person owns a program, from concept to clinic. (Further detail…

I'll offer a +1 to the sibling comment here. Yeah it's totally true you can't build a one-size-fits-all foundation model, the data just isn't there. But also... no-one needs that. …

Oh hello Thomas, fancy seeing you here :D ex-Cradlers unite!

Oh heck, this is awesome to see on the front page! I wrote the underlying Cradle-1 paper that is being discussed! I used to work for Cradle and writing this paper was the last thin…

I'm not sure if I'm about to be the old man yelling at clouds, but Anthropic seem to be 'AWS-ifying'. An increasing suite of products which (at least to me) seem to undifferentiate…

Quick heads-up that these days I recommend https://github.com/patrick-kidger/jaxtyping over the older repository you've linked there. I learnt a lot the first time around, so the n…

I think so! I've not tried a couple of things you mention (e.g. background images) but e.g. for dynamic placing there are libraries like https://typst.app/universe/package/meander …

It also applies to any .py file. (At least in practice with e.g. pyright) That said, the documentation on this matter is close to nonexistent.

Yup, you(/sibling comments) have it correct, it's to mark it as private. Not sure where I got it from, it just seems clean. I don't think I see this super frequently in the ecosyst…

This is how static type checkers are told that an imported object is part of the public API for that file. (In addition to anything else present in that file.) C.f. "the intention …

Oh neat! This is my library. Happy to answer any questions. (Though it's really a pretty tiny library that just does what it says on the tin, not sure how many questions there can …

Went scrolling looking for this! Most of the article is about problems solved in JAX. Also worth noting the Array API standard exists now. This is generally also trying to straight…

> What open source alternatives? Helix: https://github.com/helix-editor/helix/ Like vim, but already has an LSP etc out of the box. Things are already there so the config files are…

I have a US number and live in Switzerland. At least for me, I only receive SMS messages whenever I visit the US -- the rest of the time they're just dropped and I'll never see the…

FWIW - I used to do research in this area - PINNs are a terribly overhyped idea. See for example https://www.nature.com/articles/s42256-024-00897-5 Classical solvers are very very …

Likewise, spending another comment just to agree. Both on the low profile and the low travel distance. I've tried low-profile chocs and they still have too much travel! But I'm stu…

So why this over qutebrowser [1] ? (Which has been my go-to keyboard-first browser for a long time.) This isn't mentioned in the FAQ despite I think being the natural comparison. […

You want runtime typechecking. See either beartype [1] or typeguard [2]. And if you're doing any kind of array-based programming (JAX or not), then jaxtyping [3]. [1] https://githu…

I think a lot of the commenters here are being rather unfair. PyTorch has better adoption / network effects. JAX has stronger underlying abstractions. I use both. I like both :)

I was just reading this too! I think it's a really interesting choice in the design space. So to elucidate this a little bit, the trade-off is that this is now incompatible with e.…

IIUC then penzai is (deliberately) sacrificing support for higher-order operations like `lax.{while_loop, scan, cond}` or `diffrax.diffeqsolve`, in return for some of the other new…

I have a Tap Strap 2. (Although only as of a couple of weeks ago, so still pretty new to it.) Answering your questions, split into pros and cons: ## Pros You can customise the layo…