Fluid now supports PurePy v0.12, which means dataclasses and Python-style modules and imports with full compatibility with that subset of Python. pure-py.github.io

Deterministic free will algorithm: 10 REPEAT 20 Evaluate plausible actions 30 Pick best one 40 Do it 50 UNTIL DEAD

👋 Could you be one of our 2026 ICCS interns? We’re looking for 5 interns to join us this summer. 3 will work on projects under the supervision of ICCS postdoctoral researchers; 2 will work on projects in collaboration between ICCS + @clr-cambridge.bsky.social Info: iccs.cam.ac.uk/opportunitie...

`git reset --soft HEAD~` is some crazy magic-user spell, I have to relearn it every time I cast it.

Everything is in the eye of the beholder. Even beholding is in the eye of the beholder.

☀️ The 2026 ICCS Summer School will bring together researchers for a week of collaborative, hands-on learning and expert-led sessions supporting their scientific work. 🗓️ When? Monday 13 July to Friday 17 July 2026 📍 Where? Centre for Mathematical Sciences, @cam.ac.uk iccs.cam.ac.uk/events/insti...

Yeah, "general intelligence" is not a thing. But it's not not a thing either.

New preprint with Robert Atkey. This paper recasts Galois slicing (a program slicing technique) as a kind of automatic differentiation, with lattices of slices corresponding to tangent spaces, and forward and backward slicing corresponding to forward- and reverse-mode AD. arxiv.org/abs/2511.09203

Galois Slicing as Automatic Differentiation

Galois slicing is a technique for program slicing for provenance, developed by Perera and collaborators. Galois slicing aims to explain program executions by demonstrating how to track approximations ...

arxiv.org

Condensed version of NAP3/CCRA3 transparent brushing-and-linking demo from @propl.dev in Singapore. Built with @f.luid.org

Preserving Interactive Research Content: Challenges, Frameworks, and Best Practices #FORCE11 force11.github.io/pircwg/

1. We ( @jbakcoleman.bsky.social, @cailinmeister.bsky.social, @jevinwest.bsky.social, and I) have a new preprint up on the arXiv. There we explore how social media companies and other online information technology firms are able to manipulate scientific research about the effects of their products.

Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!

Reposting — looks like organisers uploaded a new video with better audio and different timings. Authoring Tools for Transparent Climate Reporting, presented at @propl.dev 2025: youtu.be/IIRJeleXeuU?... @iccscambridge.bsky.social

[ICFP/SPLASH'25] Peony NE - PROPL (Oct 13th)

YouTube video by ACM SIGPLAN

youtu.be

Anyone from @plrg-bristol.bsky.social at ICFP/SPLASH?

The 2nd PROPL is today, and will be livestreaming from www.youtube.com/watch?v=IIRJ... in an hour! Full program here conf.researchr.org/home/icfp-sp... and an overview of the program at dl.acm.org/action/showF...

[ICFP/SPLASH'25] Peony NE - PROPL (Oct 12th)

YouTube video by ACM SIGPLAN

youtube.com

No durians

PROPL '25: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. Now online: dl.acm.org/doi/proceedi... Looking forward to the workshop next week @icfp-conference.bsky.social/SPLASH

Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet | ACM Conferences

dl.acm.org

Language-Based Dependency-Tracking for Explorables, presented at LIVE 2025. Joint work with Joe Bond, Cristina David, @mcnuttandrew.bsky.social and Alfonso Piscitelli. www.youtube.com/watch?v=gds8...

LIVE 2025 - Language-Based Dependency-Tracking for Explorables

YouTube video by The LIVE Workshop

youtube.com

Realising that “as Immanuel Kant would say” is quite triggering for me

Super-excited for *two* ALIFE workshops on goal-directed behaviour tomorrow: 2025.alife.org/program#WORK... and 2025.alife.org/program#WORK...

ALife 2025 Program

Experience the full ALife 2025 Program: Special Sessions, Workshops, Tutorials, Art & Demos, an Industry Expo and more.

2025.alife.org

Less than 24 hours till the LIVE 2025 Q & A / Discussion session! Watch the presentations: www.youtube.com/playlist?lis... Join us to chat about them: links at liveprog.org Hope to see ya there!

Companion (Workshop) Proceedings for ‹Programming› 2025 are now available! Co-edited with @jonathoda.bsky.social and @tomasp.net. Thanks to the awesome OASIcs publishing team for getting this over the line. drops.dagstuhl.de/entities/vol...

pseudonymous double-barrelled dipshit

Excited for three Fluid presentations coming up: Fluid: Towards Transparent, Explorable Research Outputs rsecon25.society-rse.org Language-Based Dependency Tracking for Explorables liveprog.org Authoring Tools for Transparent Climate Reporting conf.researchr.org/home/icfp-sp...

Workshop on Live Programming (LIVE)

The 11th Workshop on Live Programming (LIVE 2025) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.

liveprog.org

My AGI 2025 talk on “Subjectivity Via Self-Simulation” is online at youtu.be/WtWfmBujxxU?.... I had a blast, thanks to all the organisers (esp. Hikari Sorensen, @mitibennett.bsky.social and Leonard Eberding) for pulling off a great event.

Machine Consciousness: Philosophy and Implementation

YouTube video by SingularityNET

youtu.be

Great day at Machine Consciousness workshop, although sad to miss Interpretable Natural Language -- something I know nil about but sounds super-interesting. aigents.github.io/inlp/ Highlight of the day was still discovering @mitibennett.bsky.social quietly playing Chris de Burgh on the piano.

Excited to be at the Machine Consciousness: Philosophy and Implementation workshop at AGI 2025. My thought for the day: consciousness as a self-hosted digital twin.

Excited to be speaking on Subjectivity as Self-Simulation: Virtualising the Cartesian Theatre at the AGI 2025 Philosophy and Machine Consciousness workshop. Even more buzzed to see @annaciaunica.bsky.social and @drmichaellevin.bsky.social just announced as invited speakers! agi-conf.org/2025/ 🤯

Are you working to make programming more direct, tangible, and alive? Think about submitting to the LIVE 2025 workshop — Call for Submissions open now: liveprog.org

Workshop on Live Programming (LIVE)

The 11th Workshop on Live Programming (LIVE 2025) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.

liveprog.org

Cannot make it to Prague for @programming-conf.bsky.social? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org