Roly Perera
@dynamicaspects.org
Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Pinned
Roly Perera
@dynamicaspects.org
· Oct 14
[ICFP/SPLASH'25] Peony NE - PROPL (Oct 13th)
YouTube video by ACM SIGPLAN
youtu.be
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
@propl.dev 2025: youtu.be/IIRJeleXeuU?...
@iccscambridge.bsky.social
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/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
November 13, 2025 at 10:57 AM
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/abs/2511.09203
Condensed version of NAP3/CCRA3 transparent brushing-and-linking demo from @propl.dev in Singapore. Built with @f.luid.org
November 6, 2025 at 12:52 PM
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/
#FORCE11
force11.github.io/pircwg/
November 6, 2025 at 9:42 AM
Preserving Interactive Research Content: Challenges, Frameworks, and Best Practices
#FORCE11
force11.github.io/pircwg/
#FORCE11
force11.github.io/pircwg/
Reposted by Roly Perera
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.
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.
October 24, 2025 at 12:47 AM
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.
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!
October 18, 2025 at 2:20 PM
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
@propl.dev 2025: youtu.be/IIRJeleXeuU?...
@iccscambridge.bsky.social
[ICFP/SPLASH'25] Peony NE - PROPL (Oct 13th)
YouTube video by ACM SIGPLAN
youtu.be
October 14, 2025 at 2:36 PM
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
@propl.dev 2025: youtu.be/IIRJeleXeuU?...
@iccscambridge.bsky.social
Anyone from @plrg-bristol.bsky.social at ICFP/SPLASH?
October 13, 2025 at 2:34 AM
Anyone from @plrg-bristol.bsky.social at ICFP/SPLASH?
Reposted by Roly Perera
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
www.youtube.com
October 13, 2025 at 1:20 AM
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...
Reposted by Roly Perera
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
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
October 10, 2025 at 8:21 AM
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
Looking forward to the workshop next week @icfp-conference.bsky.social/SPLASH
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
www.youtube.com
October 10, 2025 at 12:16 AM
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...
Realising that “as Immanuel Kant would say” is quite triggering for me
October 6, 2025 at 1:40 AM
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
October 5, 2025 at 11:12 AM
Super-excited for *two* ALIFE workshops on goal-directed behaviour tomorrow: 2025.alife.org/program#WORK... and 2025.alife.org/program#WORK...
Reposted by Roly Perera
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!
Watch the presentations: www.youtube.com/playlist?lis...
Join us to chat about them: links at liveprog.org
Hope to see ya there!
October 3, 2025 at 9:53 PM
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!
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...
drops.dagstuhl.de/entities/vol...
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025)
drops.dagstuhl.de
September 17, 2025 at 2:55 PM
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/entities/vol...
pseudonymous double-barrelled dipshit
September 13, 2025 at 3:15 PM
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...
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
September 3, 2025 at 4:08 PM
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...
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...
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
August 21, 2025 at 6:37 AM
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.
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.
AGI INLP Workshops
AGI INLP Workshop
aigents.github.io
August 10, 2025 at 7:50 PM
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.
August 10, 2025 at 9:50 AM
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/ 🤯
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. ...
agi-conf.org
July 3, 2025 at 3:04 PM
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
June 16, 2025 at 8:00 AM
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
Reposted by Roly Perera
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
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
May 27, 2025 at 1:23 PM
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
🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online!
👉 Keep an eye on: 2025.programming-conference.org
Reposted by Roly Perera
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.
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.
May 30, 2025 at 2:29 AM
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.
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.
Reposted by Roly Perera
These boxes are not moving. A mind-bending optical illusion by Japanese artist Jagarikin.
May 7, 2025 at 1:03 AM
These boxes are not moving. A mind-bending optical illusion by Japanese artist Jagarikin.