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
#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.
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!
Yeah, yeah, online events are no match for in-person networking, but... what about being able to catch-up with the amazing talk given by @fordosviktoria yesterday before the second day of #CodeMeshV starts?
#priceless
#weBEAMtogether
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
118.8M followers
Cristiano Ronaldo
@cristiano
114.5M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.3M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.7M followers
X
@x
60.7M followers