9 Aug 2021
Watch CodeMeshV 2020 talk by Viktória Fördős to explore the challenges that #Erlang systems are faced with, analyse the vulnerabilities exists in Erlang and learn how to apply the principles of secure design to software projects on the #BEAM: youtu.be/6fnQxYVPBp4
2
19 Jul 2021
Today we have something really special! A brilliant #CodeMESHV 2020 talk by @jboner, the CEO & Founder of @ightbend and @jroper, #Scala developer, architect and creator of @akka has just been published:🙌#Cloudstate Towards Stateful #Serverless 👉youtu.be/fb8e1MymApg
1
3
7 Jul 2021
A funny thing happened on the way to the future...' - Why #Mainframes Still Matter - an inspiring #CodeMeshV 2020 talk by @HaloedPayload is now available live on our YT chanel: youtu.be/1VSY03lhIfg
1
3
2
3 Dec 2020
Here's another top video on Hacker News this month. yahnd.com/theater/r/youtube/… @CodeMeshio @CodeBEAMio @CodeElixirIO #keynote #computerculture #childrencynthia #solomon #codemeshv #codesync #logo #computer #realcurrenttrend
3
3
1 Dec 2020
Our amazing keynotes from #CodeMeshV are now available on YouTube. youtube.com/watch?v=-CWO3IpC… with Cynthia Solomon, @headinthebox @odersky @tomaspetricek #AlternativeTech #EmergingTech
7
9
24 Nov 2020
If you didn't manage to join us at #CodeMeshV you can still catch-up with all the talk videos, QandA rooms and chat forums that were at the conference through purchasing exclusive access to our @CodeSyncGlobal virtual conferences hub. eventbrite.co.uk/e/code-sync… #tech
7
9
10 Nov 2020
Here are the slides of my LADL presentation at #CodeMeshV last week. As Leslie Lamport stated: "If you want to think rigorously, the best way is to use mathematics" speakerdeck.com/eramirem/lad…
7
27
"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
1
8
9 Nov 2020
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.
4
15
6 Nov 2020
#CodeMeshV talk done! As usually I am emotionally drained after a high energy presentation. Hopefully I have helped to spread the word about formal methods for the design *and* implementation of high assurance systems. Time to go for a cycle ride to wind down.
6 Nov 2020
@satnam6502 does a tremendous job of conveying his engaging lively style of presentation over video. Fascinating project! #CodeMeshV
4
2
45
6 Nov 2020
@satnam6502 does a tremendous job of conveying his engaging lively style of presentation over video. Fascinating project! #CodeMeshV
4
6 Nov 2020
Back home, listening to @satnam6502 talking about #coq..... I have some explaining to do. #codemeshV
8
6 Nov 2020
Great discussion with @maria_fibonacci @binarytemple @JaniWithYay @reachfh moderated by @schainks on our panel about Orchestration at @CodeMeshIO #CodeMeshV. Y'all will want to watch the video once it is out !
Thank you to the rest of the panel for supporting me !
2
9
Turns out Test Driven Development was invented in 1945! A quote I mentioned in my #codemeshv talk yesterday, from Jean Jennings Bartik's autobiography: tsup.truman.edu/product/pion…
2
15
61
6 Nov 2020
Achievement unlocked with @anne_biene: Interviewing and making Leslie Lamport smile. #CodeMeshV
6 Nov 2020
"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV
2
30
6 Nov 2020
"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV
2
3
23
6 Nov 2020
#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.
1
15
6 Nov 2020
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!
1
3
40