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
Everything is in the eye of the beholder. Even beholding is in the eye of the beholder.
December 19, 2025 at 9:39 AM
Everything is in the eye of the beholder. Even beholding is in the eye of the beholder.
Reposted by Roly Perera
☀️ 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...
🗓️ When? Monday 13 July to Friday 17 July 2026
📍 Where? Centre for Mathematical Sciences, @cam.ac.uk
iccs.cam.ac.uk/events/insti...
December 2, 2025 at 10:53 AM
☀️ 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...
🗓️ 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.
December 1, 2025 at 9:10 AM
Yeah, "general intelligence" is not a thing. But it's not not a thing either.
Disclaimer: this paper was entirely Bob's insight and methodology. For me it was primarily a learning experience (and a very enjoyable one)!
November 13, 2025 at 10:59 AM
Disclaimer: this paper was entirely Bob's insight and methodology. For me it was primarily a learning experience (and a very enjoyable one)!
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
Actually I still live in Bristol but am employed in Cambridge. I'm usually around one week in three. Next up on 18 Nov, I'll ping you and maybe we can grab a coffee..
November 6, 2025 at 9:58 AM
Actually I still live in Bristol but am employed in Cambridge. I'm usually around one week in three. Next up on 18 Nov, I'll ping you and maybe we can grab a coffee..
And what's so borked about that starting point is that you have no resources at all for explaining consciousness *discourse* — why it exists or how it manages to refer to anything! You might as well pack your bags and go home because the one thing you can't be talking about is consciousness.
November 6, 2025 at 9:57 AM
And what's so borked about that starting point is that you have no resources at all for explaining consciousness *discourse* — why it exists or how it manages to refer to anything! You might as well pack your bags and go home because the one thing you can't be talking about is consciousness.
Hi Matt. It would be good to see you in Cambridge some time!
November 6, 2025 at 9:48 AM
Hi Matt. It would be good to see you in Cambridge some time!
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.
I feel like these bimodal distributions crop up quite a lot in human beliefs/preferences (realism vs. instrumentalism in philosophy being another). Almost like competing alleles.
October 24, 2025 at 12:27 AM
I feel like these bimodal distributions crop up quite a lot in human beliefs/preferences (realism vs. instrumentalism in philosophy being another). Almost like competing alleles.
I like the idea of intelligence as being as much about defining problems as solving them. Intelligence as niche construction.
October 24, 2025 at 12:11 AM
I like the idea of intelligence as being as much about defining problems as solving them. Intelligence as niche construction.
Solid advice Derek. I love criticism, even when painful. Even bad-faith criticism is almost always an opportunity to improve things.
October 19, 2025 at 3:04 PM
Solid advice Derek. I love criticism, even when painful. Even bad-faith criticism is almost always an opportunity to improve things.
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!
Finally, some recognition!
October 17, 2025 at 11:21 AM
Finally, some recognition!
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...
Wow. Looking forward!
October 10, 2025 at 11:31 AM
Wow. Looking forward!
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