Joshua Lock's Avatar

Joshua Lock

@joshuagl.bsky.social

Software engineer and part-time PhD student (programming systems / human computer interaction / computing education)

252 Followers  |  237 Following  |  16 Posts  |  Joined: 24.08.2023  |  1.6273

Latest posts by joshuagl.bsky.social on Bluesky

Pycon UK in September features a talk on our Strype project ( strype.org ) from my colleague Pierre, if you're interested and near Manchester. Lots of other interesting-looking talks and a keynote from @felienne.bsky.social - what more could you want?

05.08.2025 11:31 โ€” ๐Ÿ‘ 0    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

you made the right choice not trying to caption it. ๐Ÿ˜ฎ

17.07.2025 12:57 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Wow. I'll never read RFC 2119 the same way again (sadly, yes, I have read it multiple times).

I suspect the "over-the-top sarcastic, passive-aggressive, condescending" reading might not suite Strype. I wonder how versatile the voice actor is.

17.07.2025 12:56 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I notice in the source code there's type information (as a comment beneath method definitions) but that doesn't make it to the documentation, is that a conscious decision? Python docs aren't very consistent about this, but I personally prefer to see the expected types.

06.06.2025 09:23 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Strype | Code with Frames!

Those are nice docs! I couldn't find them linked from strype.org either, might be worth adding them somewhere on the landing page?

06.06.2025 09:23 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I'd be more than happy to review the API surface and make some proposals. I'm not a Python API expert, but I have written a fair amount of Python.

05.06.2025 20:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Is there an easy way to view the API surface for the graphics (media?) API?

The example you give of a sound literal constructor feels like it could be solved by having a single constructor with a sound argument that has a default value of None?

If the argument is not set, you get an empty sound.

05.06.2025 20:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

This is very cool! FYI, the Newcastle and Manchester events don't appear to be listed on the Strype events page.

05.06.2025 20:22 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Post image

ATTENTION: Free Computing Teachers Conference

Our speakers are now confirmed for CKC 2025:

@dsyme.bsky.social @megjlow.bsky.social @beckyfranks.bsky.social @tracygardner.bsky.social @lollypopstar.bsky.social @neilccbrown.bsky.social @suesentance.bsky.social

Sign up here: tinyurl.com/CKC-Kings

24.05.2025 16:33 โ€” ๐Ÿ‘ 5    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

We are in urgent need of several Associate Editors to join the ACM TOCE Editorial Board. If you're interested in serving, write Amy at ajko@uw.edu and share your reviewing experience and expertise. Without more volunteers to manage our rising submissions, we may have to pause submissions.

08.05.2025 17:28 โ€” ๐Ÿ‘ 2    ๐Ÿ” 6    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1
Preview
International university students Letโ€™s not shoot ourselves in the foot again.

Tim Leunig here, with a warning to all those MPs who want to just allow universities to implode: in 100 constituencies the university is one of the top three exporters. Take Huddersfield: the uni there easily outstrips in turnover the biggest local company. timleunig.substack.com/p/internatio...

06.05.2025 19:06 โ€” ๐Ÿ‘ 82    ๐Ÿ” 44    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 4
Post image

Save the date!

On 5th July, we are hosting the CAS & King's Computing Conference for teachers. If you are a computing teacher and can come to London, have a look at this: a fantastic free event with great talks and workshops.

Open for registration now.

www.computingatschool.org.uk/events/2025/...

01.05.2025 21:27 โ€” ๐Ÿ‘ 4    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Gimme gimme

01.05.2025 11:13 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

We surely don't want all debugging code committed to the VCS, but it feels like there's a design space for ephemeral/one-time debugging logic vs longer lived debugging logic that could be explored with richer tools.

12.04.2025 07:45 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

This could extend quite naturally to debug profiles, such that the code can remain, and even be committed to the VCS, but only be executed when you're in the debugging profile.

12.04.2025 07:45 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Post image Post image

There's also now a George Bool statue at Lincoln Central train station

21.03.2025 15:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Video thumbnail

I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here's a short video of me motivating the editor and study.

Details in thread. Reskeets appreciated! ๐Ÿ™

14.03.2025 19:26 โ€” ๐Ÿ‘ 33    ๐Ÿ” 24    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 1

Enjoyed that. Thanks!

05.03.2025 20:55 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

๐Ÿ›น

05.03.2025 19:44 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
TypeScript types can run DOOM
YouTube video by Michigan TypeScript TypeScript types can run DOOM

This is the greatest programming project of all time

www.youtube.com/watch?v=0mCs...

27.02.2025 17:20 โ€” ๐Ÿ‘ 19    ๐Ÿ” 3    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Industry-funded studentship in Computer Science 3.5yr Studentship funding for a specific PhD project on Debugging and runtime visualisation in a frame-based system.

Come and do a PhD with us!

Interested in programming languages, development tools, HCI and computing education?

@neilccbrown.bsky.social and I are jointly supervising a fully funded PhD. Theme: "Debugging and runtime visualisation in a frame-based system".

Details www.kcl.ac.uk/study-legacy...

22.02.2025 16:38 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Your 5 yo sound hilarious

22.02.2025 00:00 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Do you play ice hockey?

21.02.2025 20:41 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
50 Reasons Why Everyone Should Want More Walkable Streets From making you live longer to making cities more resilient: If you want a reason to make your city more walkable, it's in here.

โ€œSomeone with a 1-hr car commute needs to earn 40% more to be as happy as someone with a short walk to work. On the other hand, if someone shifts from a long commute to a walk, their happiness increases as much as if theyโ€™d fallen in love.โ€ #CityMakingMath

50 reasons to want walkable streets.

22.01.2025 05:58 โ€” ๐Ÿ‘ 1161    ๐Ÿ” 299    ๐Ÿ’ฌ 25    ๐Ÿ“Œ 35
A sign that reads "All I want is to be someone that makes new things and thinks about them."

A sign that reads "All I want is to be someone that makes new things and thinks about them."

Still thinking about this sign spotted at the @inkandswitch.com get-together:

18.01.2025 23:20 โ€” ๐Ÿ‘ 1497    ๐Ÿ” 142    ๐Ÿ’ฌ 22    ๐Ÿ“Œ 5

Open source projects should include a user expectations document to go alongside the code of conduct and license. Describe what support and maintenance expectations will be provided. Absence of such document should imply โ€œas isโ€.

31.12.2024 21:42 โ€” ๐Ÿ‘ 9    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
An invitation into Droste's Lair A swords-and-sorcery programming environment for building and counting mathematical structures

@joshuahhh.com and I invite you to explore our experimental visual programming environment (which takes place in a dungeon)

Features
- dissolve the bounds of decision and explore all possibilities at once
- use sigillic incantations, delve into recursive caverns

vezwork.github.io/drostes-lair-post

16.12.2024 15:36 โ€” ๐Ÿ‘ 59    ๐Ÿ” 22    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 2
Suggestion: Replace "investigators at different career stages may be competing" with "investigators at different stages of career can compete"

Suggestion: Replace "investigators at different career stages may be competing" with "investigators at different stages of career can compete"

It's really remarkable how well this product can make you look like a non-native speaker who doesn't know the jargon of the field.

11.12.2024 23:41 โ€” ๐Ÿ‘ 156    ๐Ÿ” 7    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 1
Preview
AI's $20 billion air pollution problem Researchers find AI-related emissions will soon rival that of all the cars in California and cause asthma deaths to spike.

The paper, The Unpaid Toll: Quantifying the Public Health impact of AI, โ€œfinds that the generation of electricity for data centers hosting artificial intelligence applications could pollute the air so much that by 2030 an additional 1,300 people may die prematurely each year as a result.โ€

09.12.2024 18:40 โ€” ๐Ÿ‘ 87    ๐Ÿ” 52    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 2

@joshuagl is following 20 prominent accounts