Search results for #CodeMeshV
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
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
Here's another top video on Hacker News this month. yahnd.com/theater/r/yout… @CodeMeshIO @CodeBEAMio @CodeElixirIO #keynote #computerculture #childrencynthia #solomon #codemeshv #codesync #logo #computer #realcurrenttrend
Our amazing keynotes from #CodeMeshV are now available on YouTube. youtube.com/watch?v=-CWO3I… with Cynthia Solomon, @headinthebox @odersky @tomaspetricek #AlternativeTech #EmergingTech
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-re… #tech
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/ladl-…
"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
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.
@headinthebox is having strange dreams again :-) #codemeshV
#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.
#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.
@satnam6502 does a tremendous job of conveying his engaging lively style of presentation over video. Fascinating project! #CodeMeshV
Back home, listening to @satnam6502 talking about #coq..... I have some explaining to do. #codemeshV
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 !
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/pionee…
Achievement unlocked with @anne_biene: Interviewing and making Leslie Lamport smile. #CodeMeshV
Achievement unlocked with @anne_biene: Interviewing and making Leslie Lamport smile. #CodeMeshV
"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV
Countdown to the Ask me Anything with Leslie Lamport tonight at #CodeMeshV !
Still a few awesome talks scheduled for today Code Meshers including keynotes from Leslie Lamport and @headinthebox #CodeMeshV
Looking forward to this later today! #CodeMeshV
Looking forward to this later today! #CodeMeshV
