#codemeshv 搜尋結果

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…

tomaspetricek's tweet image. 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…

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!


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

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

#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.

FrancescoC's tweet image. #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.

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 opentitan.org silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom. codesync.global/speaker/satnam…

satnam6502's tweet image. 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 opentitan.org silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom. codesync.global/speaker/satnam…

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

roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 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. codesync.global/speaker/satnam…


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

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

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.

rjmh's tweet image. 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.

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.

CodeMeshIO's tweet image. 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.

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

CodeMeshIO's tweet image. "If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV

"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

dnsimple's tweet image. 😍 @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

😍 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 🎟 codesync.global/conferences/co… #DistributedSystems #concurrency

dnsimple's tweet image. 😍 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  🎟  codesync.global/conferences/co…
#DistributedSystems #concurrency

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

A_H_Zolfaghari's tweet image. 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

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

CodeMeshIO's tweet image. 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

Professional Starcraft players learn a complicated game FAST. Professional developers learn complicated games, too. What techniques can we take from Starcraft? a presentation for #CodeMeshV by @webyrd


The @CodeMeshIO conference (Europe's version of @strangeloop_stl) is going virtual this year. Program looks amazing, and not having to travel makes it accessible for folks in US + worldwide. Worth a look #codemeshV codesync.global/conferences/co…


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

CodeMeshIO's tweet card. Cloudstate Towards Stateful Serverless - James Roper, Jonas Bonér |...

youtube.com

YouTube

Cloudstate Towards Stateful Serverless - James Roper, Jonas Bonér |...


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

CodeMeshIO's tweet card. A funny thing happened on the way to the future (...) - Herbert Daly...

youtube.com

YouTube

A funny thing happened on the way to the future (...) - Herbert Daly...


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

eventbrite.co.uk

Code Sync Recorded Talks 2020/2021

Access the videos from past events organised by Code Sync/Erlang Solutions Team including ElixirConf EU, Code BEAM V, Code Mesh and others.


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-…

speakerdeck.com

LADL-Code Mesh V

Revamped presentation from ScaleConf 2019 for Code Mesh V 2020


"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.

CodeMeshIO's tweet image. 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.

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…

tomaspetricek's tweet image. 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

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

CodeMeshIO's tweet image. "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

CodeMeshIO's tweet image. "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!



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

CodeMeshIO's tweet image. 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

Estamos listos! #CodeMeshV

Después de la platica de @Conisoft2020 me paso a @CodeMeshIO En una hora voy a tener el gusto de presentar a @BernardoDCGA Se va a poner muy buena su platica sobre Cálculo Lambda. Me pueden pasar sus preguntas codesync.global/speaker/bernar…



#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.

FrancescoC's tweet image. #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.

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…

tomaspetricek's tweet image. 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…

#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.

FrancescoC's tweet image. #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.

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

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 opentitan.org silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom. codesync.global/speaker/satnam…

satnam6502's tweet image. 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 opentitan.org silicon root of trust on FPGAs. With @BenBlaxill and Jade Philipoom. codesync.global/speaker/satnam…

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

roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1
roopshasamanta's tweet image. My #CodeMeshV talk in 4 slides. 
06 Nov / 19:45 GMT, 1:45 EST / Track 1

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

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

😍 @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

dnsimple's tweet image. 😍 @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

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.

rjmh's tweet image. 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.

😍 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 🎟 codesync.global/conferences/co… #DistributedSystems #concurrency

dnsimple's tweet image. 😍 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  🎟  codesync.global/conferences/co…
#DistributedSystems #concurrency

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

CodeMeshIO's tweet image. "If you want to think rigorously, the best way is to use mathematics" - listening to the great Leslie Lamport now at #CodeMeshV

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.

CodeMeshIO's tweet image. 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.

Many thanks to @simplabs @telnyx and Pleroma for joining us as Silver sponsors. Also, our competition and media partners Clever Bunny, @ManningBooks @EventBrowseUS @spawnfest and @TheErlef see y'all tomorrow #CodeMeshV

CodeMeshIO's tweet image. Many thanks to @simplabs @telnyx and Pleroma for joining us as Silver sponsors. Also, our competition and media partners Clever Bunny, @ManningBooks @EventBrowseUS @spawnfest and @TheErlef see y'all tomorrow #CodeMeshV

"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


Join Michael Sperber from @activegroupgmbh for the tutorial - Functional Programming Architecture at #CodeMeshV on 6 November. US and European friendly time. You can buy a combo ticket via our eventbrite page #FunctionalProgramming #concurrency #parallelism #multicore

CodeMeshIO's tweet image. Join Michael Sperber from @activegroupgmbh for the tutorial - Functional Programming Architecture at #CodeMeshV on 6 November. US and European friendly time. You can buy a combo ticket via our eventbrite page #FunctionalProgramming #concurrency #parallelism #multicore

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

CodeMeshIO's tweet image. 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

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

CodeMeshIO's tweet image. 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

Huge Thanks to our Platinum Sponsors and conference partners @duffelhq @Klarna and @WhatsApp - Thank you for your continued support for #CodeMeshV codesync.global/conferences/co… #AlternativeTech #EmergingTech

CodeMeshIO's tweet image. Huge Thanks to our Platinum Sponsors and conference partners @duffelhq @Klarna and @WhatsApp - Thank you for your continued support for #CodeMeshV codesync.global/conferences/co… #AlternativeTech #EmergingTech

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

A_H_Zolfaghari's tweet image. 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

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: ow.ly/CIZj50Cc9qN

CodeMeshIO's tweet image. 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: ow.ly/CIZj50Cc9qN

Loading...

Something went wrong.


Something went wrong.


United States Trends