Top Tweets for #Codemesh
WebAssembly is an exciting new technology, which opens a lot of doors for how applications are built on the web. In this video, @torch2424 last year at #CodeMesh, highlighted some of the key features that make WebAssembly a great.
Watch the video https://t.co/6MGO4f0xMC
Are consensus algorithms in OTP based on Paxos? Raft?
Consensus protocols are vital to distributed systems, yet they're always constrained by theoretical limits. Watch Dániel Szoboszlay at #CodeMesh, presenting his talk "Consensus Protocols in OTP"
https://t.co/OMXqpUMkHf
Idris is a functional programming language with first-class types, where types may be parameterised by other values
In this #CodeMESH video, @edwinbrady presents on "Dependent Type Driven Program Synthesis in Idris"
Learn more:
https://t.co/DYuZWHcMry
In systems of communicating processes or actors, data types can be used to discipline the sorts of sent and received messages. Laura Bocchi & Laura Voinea talked about "Protocol engineering for communicating actors" at last year's #CodeMESH.
https://t.co/KcUAiKPU83
Want to learn more about Podman, a community-driven, open source container engine? Then watch this video from last year's #CodeMesh and see @vlntnrthbrg presenting his talk "Podman - create, run and secure Linux containers"
Watch the video here
https://t.co/Nq0o8NkWYc
Closing statement by @edwinbrady nails it: "Programs spend most of their lives in an incomplete state, therefore typed programming languages need to support holes". Holes in #Haskell are an absolute essential tool in my development workflow. #codemesh
Watching the #codemesh 2020 panel discussion on types. With @Felienne, @edwinbrady, @odersky. We certainly need better tools in #SoftwareEngineering. A lot of us are still stuck with very byzantine approaches. https://t.co/uNIQ7m0Fos
Today we are announcing @CodeSyncGlobal as a new #GoldSponsor and their @CodeBEAMio and @CodeMeshIO as #MediaSponsors 🎉
You can win free tickets to the #CodeMesh November!
https://t.co/YnLs1Ht0GD
Register your team!
Our online training has been hugely popular at virtual conferences. Many of the tutorials have completely sold out. We're looking for new tutorials for #CodeMesh, a language-agnostic alternative tech conference. Submit yours via the form in the below tweet. #functionalprogramming
Do you have a tutorial you'd like to share with our audience? Call for tutorials is also open. This is a great way to share your knowledge with a community who are passionate about finding the right tool for the job. Submit your talk at https://t.co/hWbLGtfFAc #cft #elearning
I missed this last year, but WOW😍! the talks at
@CodeMeshIO London look great! Check out some of them here >> https://t.co/QjRcuVYAaF #codemesh
«all models are wrong but some models are dangerous and harmful too» — @Abebab #CodeMesh
«those that classify hold power» — @Abebab #CodeMesh
«western society changed from partnership to domination» — Veronica is going back to pre-history in this talk about AI #CodeMesh
«no mate this morning?»— @Abebab is now hooked on mate and is Veronica, @silverSpoon and @old_sound fault #CodeMesh
“The closer we come to danger the more brightly do the ways into saving power begin to shine and the more questioning we become” — Heidegger via Liesebeth de Mol #CodeMesh
«Programs themselves are histórical and hold layers and layers of history» — Liesebeth de Mol #codemesh
«We disagree a lot on what computer science IS
Is it about anarchy ? complexity ? Something else ?» — Liesbeth de Mol #CodeMesh
«Theory doesn’t need to come before practice , contrary to a lot of our western thinking » — Liesebeth de Mol #Codemesh
Last Seen Hashtags on Sotwe
brosis()******** filter:videos
Seen from United States
ladyboy
Seen from Oman
whitegirls
Seen from Turkey
normallyAbnormal
Seen from United States
Tylerdupree
Seen from United States
zelal
Seen from Germany
resumeinfografik
Seen from United States
candid
Seen from United States
jav
Seen from India
istanbultravesti
Seen from Turkey
Most Popular Users
Elon Musk 
@elonmusk
241.7M followers
Barack Obama
@barackobama
118.9M followers
Cristiano Ronaldo
@cristiano
114.6M followers
Donald J. Trump
@realdonaldtrump
111.9M followers
Narendra Modi
@narendramodi
107.2M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.4M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90.1M 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.3M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers