#CodeMeshV never ceases to remind me how lucky I am meeting so many pioneers who helped form computer science as we know it today. I started to program Turtle Graphics at 12 on a Commodore Vic 20. 37 years on, I am listening to Cynthia Solomon telling me about it.

An overview of the topics I'll cover in my #Haskell tutorial at #CodeMeshV next week.

I'm getting quite excited about my #CodeMeshV tutorial next week. Here's what I'll be talking about: introducing both #Haskell and property-based testing with #QuickCheck.

Turns out Test Driven Development was invented in 1945! A quote I mentioned in my #codemeshv talk yesterday, from Jean Jennings Bartik's autobiography:

A Massive Thanks to everyone who helped make #CodeMeshV such a fun and rewarding experience. We couldn't have done it without our amazing attendees, sponsors, organisers, program committee, speakers, tutors, panellists, AMA guests and volunteers.

It is essential to run step by step by the state-of-the-art technology in this pandemic time to make sure we survive this "new normal" age. Thanks to Dr. Herbert Daly, I got the chance to attend CodeMESH events with remarkable agenda and head experts. #CodeMeshV #technology

"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV

😍 Extremely proud to be #diversity & #inclusion sponsors for #CodeMeshV – a 2-day virtual conference November 5 - 6 exploring different functional programming languages and alternative tech. Get your 🎟 #DistributedSystems #concurrency

Listening to @dylanbeattie’s live concert. What better way to spend the first evening in #lockdown with friends and colleagues at #CodeMeshV

@headinthebox is having strange dreams again :-) #codemeshV

In my very first slide at my #CodeMeshV talk today on formal verification for security hardware I will start with an illustrative Coq proof in Visual Studio Code showing rev (rev l) = l. Hopefully I will not loose everyone at slide 1!

My #CodeMeshV talk "A True Heart of Silicon" is on Friday 6 November at 22:20 GMT. Designing and formally verifying a high assurance silicon root of trust with the #Coq interactive theorem prover. #Coq => #SystemVerilog => #Xilinx #FPGA | #OpenTitan.

"I would assume that I don't have to convince people of the need for thinking". -- Leslie Lamport starting his "Ask Me Anything" session at last week #CodeMeshV. :D

😍 @CodeMeshV - a 2-day virtual conference 5-6 Nov 2020 - starts today! #CodeMeshV attendees, we have a special offer for you — 👉 visit our virtual booth and enter our t-shirt giveaway! #EmergingTech #AlternativeTech

My talk "A True Heart of Silicon" at #CodeMeshV in November will describe work formally specifying, verifying and re-implementing high assurance components of the silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom.

My #CodeMeshV talk in 4 slides. 06 Nov / 19:45 GMT, 1:45 EST / Track 1

3. 2. 1. GO! #CodeMeshV has just begun! Let's enjoy two days starting with @tomaspetricek and his keynote session: Cultures of programming. Few Last Minute tickets are still available:

Hey Code Meshers - Join Dali from @ErlangSolutions running a live demo of WombatOAM the #Erlang and #Elixir system performance and monitoring tool - visit their virtual stand from 12:20 pm today (UK time) #CodeMeshV

Big thanks to our Gold Sponsors @appunite - software development that focuses on delivering and growing digital products. You can find out more about them and our other partners in the conference app. #CodeMeshV