Tim Head's Avatar

Tim Head

@betatim

Trained scientist building software. Also: hike, bike, run, swim, ski, pizza

200
Followers
86
Following
65
Posts
13.05.2023
Joined
Posts Following

Latest posts by Tim Head @betatim

Why do some people love AI for building software and others hate it? My guess is that people who happen to use code to solve a problem love AI, those who like the process of crafting code hate it.

WDYT?

23.02.2026 08:57 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
Infrastructure Engineer - Python Software Foundation - Career Page Apply to Infrastructure Engineer at Python Software Foundation in Remote.

come work with meeee πŸ₯Ή

The Python Software Foundation is hiring an infrastructure engineer.

Apply: pythonsoftwarefoundation.applytojob.com/apply/DNzZlB...

19.02.2026 16:24 πŸ‘ 10 πŸ” 9 πŸ’¬ 0 πŸ“Œ 2

yeah, but I worked so hard on that new turn signal. I need you to know about it!!

19.02.2026 14:46 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
A snowy mountain ridge that has a few tracks from skiers going along it on it. Bright blue sky.

A snowy mountain ridge that has a few tracks from skiers going along it on it. Bright blue sky.

View across a snowed in plateau with alps in the background

View across a snowed in plateau with alps in the background

View of mountains with ski touring tracks in the snow. Big, low clouds in the background. Blue sky above

View of mountains with ski touring tracks in the snow. Big, low clouds in the background. Blue sky above

Weekend views

16.02.2026 08:13 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

So how does it work? Meet Miniature (mini + IA, get it?), a complete AI agent in ~225 lines of Python. No frameworks, no abstractions. Code: github.com/glouppe/miniature

12.02.2026 09:30 πŸ‘ 29 πŸ” 7 πŸ’¬ 3 πŸ“Œ 1

For the last two day Strava hasn't manage to sync activities from Garmin. It feels like the early days of Strava again :D

12.02.2026 09:20 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

How far away are we from the point where humans only use issues and PR comments, bots act on the issues and make PRs that then get human review and more input

Instead of using an editor I might as well use the GitHub UI directly no?

11.02.2026 12:22 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Trust, but verify - using AI tools in public

Thoughts on using AI in public: betatim.github.io/posts/using-...

10.02.2026 14:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

How do you use AI tools to work on a project as a team?

10.02.2026 09:00 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The day my coffee and milk unmix is the day a backlog will get longer. That "Publish paper on how entropy is bunk" project won't get done by itself ;)

10.02.2026 08:59 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The age old cycling advice for fixing problems: ride harder!

Cold fingers? Ride harder!
Not fit enough? Ride harder!
Miserable rainy ride? Ride harder!
AI not letting your focus on riding? Ride harder

Have fun out there on the bike. Claude will be waiting when you get back

09.02.2026 07:59 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

I just made a sidecar viewer of output you can run in jupyter console or even a regular ipython terminal to get rich interactives without a notebook.

pip install runtimed

import runtimed
runtimed.sidecar()

08.02.2026 20:58 πŸ‘ 11 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

Seriously, shall we still teach students how to even program?

05.02.2026 22:03 πŸ‘ 6 πŸ” 1 πŸ’¬ 3 πŸ“Œ 0

A bit like the skill that a scientist can tell if a scientist knows what they are talking about or not. Even if it isn't their field of research. You can't suggest the right solution, but you can tell that it is not quite right. This is what we need for the future

06.02.2026 11:52 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

A little bit. In the (near) future it'll be more important to be able to judge the work of a programmer (e.g. AI tool) than to write code yourself. Learning a bit of programming probably helps with that.

06.02.2026 11:50 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Preview
The Synthetic Senior | FOSDEM 2026 Thank you to the organizers: Laura & Shirley The Synthetic Senior FOSDEM 2026 Community Dev Room Abigail Cabunoc Mayes GitHub, SustainOSS, OpenJS @abbycabs Rethinking Free Software Mentorship in the A...

"The Synthetic Senior" β€” my #FOSDEM talk on AI + open source mentorship

The 3 C's for finding contributors worth investing in:
πŸ’‘ Comprehension
βš™οΈ Context
πŸ”„ Continuity

Slides: docs.google.com/presentation...

01.02.2026 12:47 πŸ‘ 4 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Compiled packaging This guide is maintained by the scientific Python community for the benefit of fellow scientists and research software engineers.

You might check out some of the resources from Scientific Python if you haven't already:
* learn.scientific-python.org/development/...
* lectures.scientific-python.org/advanced/int...

28.01.2026 00:51 πŸ‘ 4 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

Question: I want to practice writing functions in C, then bring those functions into a Python package via ctypes. What is the best way to build the project since I am on a Windows OS and thus my compiler is different from Mac and Linux? #python #c #programming

27.01.2026 17:06 πŸ‘ 2 πŸ” 1 πŸ’¬ 2 πŸ“Œ 0

LLMs are always confident about being able to help you, complete a task or answer a question.

They are excellent at hiding their imposter syndrome πŸ˜‚

16.01.2026 09:09 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

In scikit-learn we have been experimenting github.com/scikit-learn... (asks for disclosure in a simple way) as well as github.com/scikit-learn... to try and improve the output when someone uses AI. github.com/scikit-learn... tries to improve the AGENTS.md wrt how to choose issues to work on

16.01.2026 08:55 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Looking for examples: do you know any OSS projects that have thoughtfully updated their contribution process for AI-assisted PRs?

Interested in:
* PR templates asking for intent/reasoning
* Comprehension checks
* Other friction-adding methods

Would love to learn from communities experimenting here

16.01.2026 02:48 πŸ‘ 8 πŸ” 11 πŸ’¬ 2 πŸ“Œ 0

There is plenty on using AI agents to write code. Curious if anyone has practical patterns for using AI agents to review PRs (including agent‑written code).

Got any blog posts, how‑tos, or examples you’d recommend?

13.01.2026 13:38 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Cool idea to use GitHub Actions. Makes me imagine a website where you enter your favourite language, maybe some other preferences and can download a tarball with your personal version of the library. To the future :D

12.01.2026 17:22 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5 hours I wrote about JustHTML yesterdayβ€”Emil StenstrΓΆm’s project to build a new standards compliant HTML5 parser in pure Python code using coding agents running against the comprehensive html5lib-tests testi...

I ported a Python library implementing a full HTML5 parser to JavaScript using GPT-5.2 and Codex CLI in 4.5 hours, and decorated for Christmas and watched Knives Out while I was doing it simonwillison.net/2025/Dec/15/...

16.12.2025 00:37 πŸ‘ 152 πŸ” 18 πŸ’¬ 8 πŸ“Œ 10

Do you know if someone has attempted the "meta challenge" of building a repo that will write an implementation in your favourite language? Would be interesting to see how well the idea "use LLM as compiler of specs to super personalised implementation" works today

12.01.2026 13:36 πŸ‘ 3 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Do you know if someone has attempted the "meta challenge" of building a repo that will write an implementation in your favourite language? Would be interesting to see how well the idea "use LLM as compiler of specs to super personalised implementation" works today

12.01.2026 13:36 πŸ‘ 3 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

Using AI in "agent mode" you realise how much of building software is about thinking and how little it is about writing code.

When writing code suddenly takes ~zero time I realise how much time I used to have while typing to think about what I was doing

12.01.2026 13:31 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I think GitHub should make an update so when someone positively reviews a PR it adds them as a coauthor.

That way they would show up in the git blame.

In the age of AI development the reviewers are even more responsible than the committers for the code that gets merged.

06.01.2026 20:04 πŸ‘ 2 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

In a few years time, will software libraries ship code or inputs to LLMs that users then "build" into specialised libraries by adding constraints for their use-cases?

12.12.2025 07:17 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
Release Highlights for scikit-learn 1.8 We are pleased to announce the release of scikit-learn 1.8! Many bug fixes and improvements were added, as well as some key new features. Below we detail the highlights of this release. For an exha...

A new version of scikit-learn has been released πŸ₯³ check out the highlights: scikit-learn.org/stable/auto_...

Thanks everyone who contributed to this release!

Let me know what you think of the experimental GPU support

11.12.2025 09:18 πŸ‘ 9 πŸ” 6 πŸ’¬ 0 πŸ“Œ 0