Top Tweets 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 ๐https://t.co/JtVgIEyUFr
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: https://t.co/DgVYUFLx5P
Here's another top video on Hacker News this month. https://t.co/t2TtDUvHSp @CodeMeshio @CodeBEAMio @CodeElixirIO #keynote #computerculture #childrencynthia #solomon #codemeshv #codesync #logo #computer #realcurrenttrend
Our amazing keynotes from #CodeMeshV are now available on YouTube. https://t.co/ZQRUbgXnNA 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. https://t.co/RKf9zeYKE1 #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" https://t.co/NrqNzGiqzk
"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.
#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
@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: https://t.co/kh3yxfjiuJ
"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV
"If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now 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
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!
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.1M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.1M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.5M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61M followers
X
@x
60.9M followers
CNN Breaking News
@cnnbrk
59.9M followers