Perdita Stevens

@CureLongCovid I just want to know what the documentary was, so I can watch it too.

I was watching a documentary about the bubonic plague of 1900 last night (what? this is how I relax. don’t @ me) and OMG it was just like today but with more racism and a lot more rats. It shows how resistant we are to learning from our past mistakes Anyway, hi H5N1! 👋🏻

@ejustin46 New in 2004, that is...

@Vitality_UK @Fazzaship Hi, I PMed you this morning with that info and the same problem, but haven't yet had any response.

@Fazzaship Hiya, I am sorry to hear this. Can you please DM us with your DOB, full name and membership number so I can access your account? - Darren

What is going on with your app @Vitality_UK? The points update is worse than ever. How are we meant to monitor our activity? And yes, I always follow the steps to ensure it correctly updates 🙄

. @activegroupgmbh’s Markus Schlegel reports on bidirectional data transformations and their use in industrial practice.

Marc Kaufmann and Bogdan Popa tell us what continuations have ever done for us at #FUNARCH2024.

. @jmchapman_ talks about the use of formal methods at @InputOutputHK to implement the Cardano blockchain.

BTW, you can watch the #FUNARCH2024 livestream here (resuming in a half hour): youtube.com/watch?v=cX8yWB…

Mohit Tekriwal talks about a verified interpreter for additive manufacturing programs at #FUNARCH2024!

Input | Output's @jmchapman_, Arnaud Bailly, and @polinavinovino will present their work ‘Applying Continuous Formal Methods to Cardano’ at FUNARCH 2024 on September 6, a satellite workshop at the upcoming International Conference on Functional Programming (ICFP), to be held in Milan, Italy. IO remains fully committed to foundational, peer-reviewed research in its development processes. Speak to James Chapman or read the full paper on IO's research library. iohk.io/en/research/li…

#FUNARCH2024 starts off with Marco Sampellegrini @_alpacaaa giving his keynote on Architecturing Functional Programs.

Weixi Ma talks about the F3 compiler for feature engineering at #FUNARCH2024 !

The proceedings for FUNARCH 2024 are available online - see you next week in Milan! dl.acm.org/doi/proceeding…

We're looking forward to seeing your for FUNARCH 2024 on September 6 in Milan. Note that you'll need to register via the @icfp_conference@bird.makeup site - early registration deadline is tomorrow! icfp24.sigplan.org/attending/regi…

Co-located with ICFP 2024 in Milan this year is the Functional Software Architecture (FUNARCH) workshop. Come and participate in discussions about the construction and structure of large and long-lived software projects that are implemented in functional languages, and listen to some talks that touch on topics like feature engineering; applying continuous formal methods to the proof-of-stake cryptocurrency Cardano; and bidirectional data transformations. @ACMFUNARCH functional-architecture.org/events/funarch…

The program for #FUNARCH2024 is up! We have a diverse lineup, ranging from experience report on applied functional software architecture to formal methods! functional-architecture.org/events/funarch…

We're happy to announce the program for FUNARCH 2024 is complete - @_alpacaaa will do the keynote!

We've extended the deadline for FUNRARCH 2024 to June 12th. Know something about what makes functional programming work in the large? Write it up! functional-architecture.org/events/funarch…

New Online Training Event! Come and join us for a training session on 'Creating Augmented Reality Applications with M2AR and ARWFML'. With Fabian Muff. Register for free 👉 community.mde-network.org/events/creatin…

Not even two weeks to go until the deadline on Monday, June 3: Send us your paper on FP in the large - to the SIGPLAN Workshop on Functional Software Architecture! functional-architecture.org/events/funarch…

Our next Research Demonstration is up! Presentations from Onur Kilincceker on 'Exploring DevOps Practices for Model-Based System Engineering and Model-Driven Engineering' and Jeroen Keiren on 'Model checking in the context of digital twins'. Register here: community.mde-network.org/events/explori…