iiinova — where your digital self keeps evolving

Reposted by Roly Perera

Andrew McNutt @mcnuttandrew.bsky.social · 24/09/2026

Do you like VIS/HCI/programming interfaces? Do you care about critical visualization? Or perhaps building dynamic data interfaces? Perhaps some combo therein? If so! I'm hiring for Ph.D. student to work with me at UBC starting Fall 2027! You should apply! www.mcnutt.in#/hiring-26

mcnutt.in

Andrew McNutt

Andrew McNutt is an assistant professor of Computer Science at the University of Utah, where he leads the HAVOC Lab and works on HCI, visualization, and programming interfaces.

154

Reposted by Roly Perera

Fluid News @f.luid.org · 30/07/2026

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

pure-py.github.io

PurePy

PurePy: a pure, functional subset of Python for scientific computing. Formal specification and reference checker.

022

Roly Perera @dynamicaspects.org · 22/02/2026

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

010

Reposted by Roly Perera

Institute of Computing for Climate Science @iccscambridge.bsky.social · 04/02/2026

👋 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...

Four students walking along the towpath by the River Cam in summer. The trees are green and it's a beautiful day

114

Roly Perera @dynamicaspects.org · 15/01/2026

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

210

Roly Perera @dynamicaspects.org · 19/12/2025

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

031

Reposted by Roly Perera

Institute of Computing for Climate Science @iccscambridge.bsky.social · 02/12/2025

☀️ 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...

Participants at ICCS Summer School work and chat together during session

113

Roly Perera @dynamicaspects.org · 01/12/2025

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

010

Roly Perera @dynamicaspects.org · 13/11/2025

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

arxiv.org

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 ...

161

Roly Perera @dynamicaspects.org · 06/11/2025

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

021

Roly Perera @dynamicaspects.org · 06/11/2025

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

010

Reposted by Roly Perera

Carl T. Bergstrom @carlbergstrom.com · 24/10/2025

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.

Three schematic diagrams. The first illustrates selective publishing of internal resection, the second selective causal focus, and the third selective access and funding for researchers.

16755357

Roly Perera @dynamicaspects.org · 14/10/2025

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

youtu.be

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

YouTube video by ACM SIGPLAN

031

Reposted by Roly Perera

Programming for the Planet @propl.dev · 13/10/2025

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...

youtube.com

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

YouTube video by ACM SIGPLAN

154

Reposted by Roly Perera

Dominic Orchard @dorchard.bsky.social · 10/10/2025

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

dl.acm.org

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

032

Roly Perera @dynamicaspects.org · 10/10/2025

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...

youtube.com

LIVE 2025 - Language-Based Dependency-Tracking for Explorables

YouTube video by The LIVE Workshop

073

Roly Perera @dynamicaspects.org · 06/10/2025

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

020

Roly Perera @dynamicaspects.org · 05/10/2025

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

2025.alife.org

ALife 2025 Program

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

030

Reposted by Roly Perera

Josh Horowitz @joshuahhh.com · 03/10/2025

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!

192

Roly Perera @dynamicaspects.org · 17/09/2025

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...

drops.dagstuhl.de

Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)

063

Roly Perera @dynamicaspects.org · 13/09/2025

pseudonymous double-barrelled dipshit

000

Roly Perera @dynamicaspects.org · 03/09/2025

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...

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.

031

Roly Perera @dynamicaspects.org · 21/08/2025

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.

youtu.be

Machine Consciousness: Philosophy and Implementation

YouTube video by SingularityNET

140

Roly Perera @dynamicaspects.org · 10/08/2025

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.

aigents.github.io

AGI INLP Workshops

AGI INLP Workshop

010

Roly Perera @dynamicaspects.org · 10/08/2025

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.

110

Roly Perera @dynamicaspects.org · 03/07/2025

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/ 🤯

agi-conf.org

Home - AGI-25

The 18th Annual AGI Conference August 10 – 13, 2025 IN-PERSON & VIRTUAL FROM REYKJAVÍK UNIVERSITY, ICELAND Register to Attend – Live or Virtually The frontier of mind and machine is closer than ever. ...

161

Reposted by Roly Perera

Tomas Petricek @tomasp.net · 27/05/2025

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

11010

Reposted by Roly Perera

Sakana AI @sakanaai.bsky.social · 30/05/2025

Introducing The Darwin Gödel Machine sakana.ai/dgm The Darwin Gödel Machine is a self-improving agent that can modify its own code. Inspired by evolution, we maintain an expanding lineage of agent variants, allowing for open-ended exploration of the vast design space of such self-improving agents.

1358

Reposted by Roly Perera

Wonder of Science @wonderofscience.bsky.social · 07/05/2025

These boxes are not moving. A mind-bending optical illusion by Japanese artist Jagarikin.

26293172353

Roly Perera @dynamicaspects.org · 26/04/2025

What’s wrong about IIT is closely related to what’s wrong about the Hard Problem. There is no Hard Problem of consciousness that science needs to solve. Science only needs to explain why it seems like there’s a Hard Problem. But that’s a non-Hard problem, by definition.

030

Roly Perera @dynamicaspects.org · 25/04/2025

Old man goes to church a bit, and dies. Possibly of old age.

020

Roly Perera @dynamicaspects.org · 25/04/2025

The basic problem with IIT is that it takes our intuitions about consciousness and treats the content of those intuitions as the observable to be explained. But the actual observable to be explained is simply the fact that we have intuitions with that content. Explaining that would cover all bases.

010

Roly Perera @dynamicaspects.org · 14/03/2025

I love that a human artifact is a full light-day away

000

Reposted by Roly Perera

Institute of Computing for Climate Science @iccscambridge.bsky.social · 12/03/2025

👀 Fancy a summer internship working at the intersection of programming languages, AI/ML and HCI, working on a new language being developed at ICCS for open climate science communication? See @f.luid.org and www.epsrc.group.cam.ac.uk/DTP/internsh... for more information. ⏰ Deadline Fri 14 March!

epsrc.group.cam.ac.uk

Internships | EPSRC Doctoral Training Opportunities

Applications are now open! STEM Widening Participation Research Internship Programme The Schools of the Physical Sciences and Technology are inviting current undergraduate students to apply for an eig...

004

Reposted by Roly Perera

𝕮 @chrisshank.com · 06/03/2025

For example, it becomes possible for a web extension to turn any web page into a spatial canvas and start deconstructing it!

1254

Reposted by Roly Perera

Barbu Revencu @barbu-revencu.bsky.social · 28/02/2025

Preprint alert (link below)! @maxencepajot.bsky.social, @standehaene.bsky.social, and I show that human adults, but not convolutional or transformer networks, encode geometric shapes in hierarchically structured representations. TL;DR: Geometric-shape representations have internal syntax! 1/8

22812

Roly Perera @dynamicaspects.org · 21/02/2025

Something depressing (and possibly inaccurate) about a CS conference pitching itself as “radical, visionary and open” but only having 3 female PC members out of a total of 23.

030

Roly Perera @dynamicaspects.org · 18/02/2025

I love the work of Pierre Dragicevic et al on “multiverses” as a form of research transparency. But multiverses are at play even within a single computation, in the form of different instances of the same subcomputation – each seeing a different part of the input and acting differently as a result.

010

Reposted by Roly Perera

Fluid News @f.luid.org · 18/02/2025

The Institute of Computing for Climate Science (ICCS) has moved to Bluesky: @iccscambridge.bsky.social

011

Reposted by Roly Perera

Quanta Magazine @quantamagazine.org · 16/02/2025

“Before Noether’s theorem, the principle of conservation of energy was shrouded in mystery,” the physicist and mathematician Feza Gürsey wrote in 1983. “… Noether’s simple and profound mathematical formulation did much to demystify physics.” buff.ly/414iuVL

buff.ly

How Noether’s Theorem Revolutionized Physics | Quanta Magazine

Emmy Noether showed that fundamental physical laws are just a consequence of simple symmetries. A century later, her insights continue to shape physics.

29425

Reposted by Roly Perera

Carl T. Bergstrom @carlbergstrom.com · 15/02/2025

This excellent interactive tutorial on misleading data visualizations explores the idea of a "counter chart" — the graph you draw in response to refute a misleading claims flowingdata.com/projects/dis...

flowingdata.com

Defense Against Dishonest Charts

This is a guide to protect ourselves and to preserve what is good about turning data into visual things.

531212441

Roly Perera @dynamicaspects.org · 12/02/2025

@drmichaellevin.bsky.social Here’s hoping you don’t have to rebrand your entire research programme to purge it of toxic trigger words like “diverse”.

010

Reposted by Roly Perera

Pablo Samuel Castro @pcastr.bsky.social · 10/02/2025

Can LLMs be used to discover interpretable models of human and animal behavior?🤔 Turns out: yes! Thrilled to share our latest preprint where we used FunSearch to automatically discover symbolic cognitive models of behavior. 1/12

313645