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

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

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

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.

"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

😍 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

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
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
youtube.com
YouTube
A funny thing happened on the way to the future (...) - Herbert Daly...
Our amazing keynotes from #CodeMeshV are now available on YouTube. youtube.com/watch?v=-CWO3I… with Cynthia Solomon, @headinthebox @odersky @tomaspetricek #AlternativeTech #EmergingTech
youtube.com
YouTube
A Computer Culture for Children | Cynthia Solomon | Code Mesh V 20
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.

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

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.

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…

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

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

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

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

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

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

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

Something went wrong.
Something went wrong.
United States Trends
- 1. #KonamiWorldSeriesSweepstakes 1,706 posts
- 2. Mitch McConnell 28.2K posts
- 3. Term 191K posts
- 4. #2025MAMAVOTE 1.64M posts
- 5. Andrade 10.4K posts
- 6. AJ Green N/A
- 7. Tyla 30.8K posts
- 8. Carter Hart 3,418 posts
- 9. Budapest 21.6K posts
- 10. No Kings 153K posts
- 11. Dairy Bird N/A
- 12. Big L 11K posts
- 13. Ace Frehley N/A
- 14. Somalia 32.4K posts
- 15. ACEATTORNEY 2,785 posts
- 16. Anya 16.7K posts
- 17. Chanel 30.9K posts
- 18. Nick Khan N/A
- 19. Nissan 5,020 posts
- 20. Jaden Ivey N/A