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
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
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
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
There's also now a George Bool statue at Lincoln Central train station
21.03.2025 15:07 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
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
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
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
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."
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
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"
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
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
Dissoโving the web from the inside out with @folkjs.org
A research lab by @orionreed.com and @chrisshank.com exploring radically different directions that we can interface with the web.
Website: https://folkjs.org/
Github: https://github.com/folk-js
Sponsor our work: https://github.com/sponsors/folk-
PhD Student @ University of Toronto DGP Lab | HCI Research | Prev. Tsinghua University | lepingqiu.com
22. He/him. Bri'ish. Muslim. Linux user. Computer Science Research PhD student at @kingscollegelondon.bsky.social. Porfolio and occasional blog posts at https://zishan-rahman.github.io/
Life long Londoner, born, educated and now specialist Computing teacher. Views my own.
Virtual meet-up featuring speakers and conversations around digital accessibility.
Official account of King's College London University and College Union. The purpose of a union is to empower members with voice + votes at work. Our values are democracy, equality, inclusion, fairness and justice.
The Technical Symposium is SIGCSE's flagship conference. It has been held annually in February or March in North America since 1970.
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Professor at Washington University in St. Louis, Writer at The Atlantic.
https://linktr.ee/ibogost
Associate Professor of HCI at @uwischool.bsky.social studying exploitative designs in children's tech and building a better future with my fantastic PhD students. http://alexishiniker.com
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Programming Languages Postdoc @ UIUC
Trans girl ๐ณ๏ธโโง๏ธ
still here~ despite it all
https://kirancodes.me
HCI Postdoc @kingsnmes.bsky.social
Researching social interaction, disability, mental heath โซ๏ธ
https://www.kcl.ac.uk/people/seray-ibrahim โซ๏ธ
Honorary Research Fellow @ucl.ac.ukโซ๏ธ
Visiting Research Fellow @CYENS โซ๏ธ
she/her โซ๏ธ
Human-Centred Computing research at King's College London. Research leads: Dr Rita Borgo and Dr Tim Neate.
https://www.kcl.ac.uk/informatics
Assistant Prof. at UC San Diego. Helping people write better software.
Professor of Social Computing. Views my own. I like Labradors, scampi fries, Jaws, Liverpool FC and marzipan. I mostly post about the #doginternet
Experimental school supporting study in art, code, hardware + critical theory. A place for unlearning and learning.
๐โฆ๏ธ Apply now: Fall 2025 โ
โ https://sfpc.study/links