Top Tweets for #dependenttypes
The GHC developers are very pleased to announce the release of GHC 9.10.1! 🎉
https://t.co/YgmWnKvzpR
#Haskell #FunctionalProgramming #LinearTypes #DependentTypes
[📢@DevFestToulouse 2023 – Talk]
🎙Découvrez les types dépendants à travers des exemples simples, dans le langage #idris2 avec @glmxndr. Il nous invitera à réfléchir sur la notion de preuve en explorant les possibilités qu’offrent ce typage 👌.
#TypeTheory #DependentTypes
![MonkeyPatch_io's tweet photo. [📢@DevFestToulouse 2023 – Talk]
🎙Découvrez les types dépendants à travers des exemples simples, dans le langage #idris2 avec @glmxndr. Il nous invitera à réfléchir sur la notion de preuve en explorant les possibilités qu’offrent ce typage 👌.
#TypeTheory #DependentTypes https://t.co/ODCdJXyilQ](https://pbs.twimg.com/media/F-4anDqWoAANzdQ.jpg)
🎙Merci à @dplaindoux qui se joint à la #MonkeyConf pour partager son #expertise sur les types dépendants 🙏
et nous faire découvrir les coulisses de ses travaux 😎!
#TypeTheory #DependentTypes We💙tech
🎙Le types dépendants à travers 2 exemples simples, dans le langage #idris2 avec @glmxndr 👌
🪄Le but ? Réfléchir ensemble sur la notion de preuve en explorant les possibilités qu'offrent ce typage !
🔜Retrouvez ce talk au #DevFestToulouse
#TypeTheory #DependentTypes We💙tech
«My attempt at pretty printing type safe permutations as string diagrams:
(I am also, looking for suggestions for better line graphics)
#haskell #dependenttypes #symmetricgroup #stringdiagram»
https://t.co/bz6wJrMNvG
And here we have the proposition and a decision procedure for a singleton list to have all unique elements.
#Haskell #dependenttypes #singletons
If you have proof a key is valid, you can deliver proof that the corresponding dictionary entry exists.
#haskell #dependenttypes #singletons
Code 👏🏼 wasn’t 👏🏼 meant 👏🏼 to 👏🏼 be 👏🏼 run 👏🏼. Oh you want to see it work? We have that it’s called type checking. SMH #dependentTypes #LEAN
Making it possible to turn source code into executables was a mistake. I keep coming to the inevitable conclusion that source code is best left uncompiled. Once you make it runnable, that's when the trouble starts...
Remote Type Theorist & Formal Verification Engineer (Juvix) with competitive compensation
Check out this role working with Agda, Dependent types & Formal methods
#remotework #remotejobs #agda #dependenttypes
https://t.co/gevvfS0MET
Morning! Batteries charged? It is high time to start preparing your trip to Krakow for our #Functional February Gathering! 2 days packed with #Scala, #Erlang, #Elixirlang, #OCaml, #Elm, #Haskell, #DependentTypes, #Clojure, #Lisp and more!
👉Save a seat: https://t.co/1zfV2mYWmy
And ... we're back! We have some awesome events planned for these coming months! We'll start in two weeks with the amazing @arkh4m who will present some practical examples with #dependentTypes in @idrislang https://t.co/YiANU7U4wl
Remote Type Theorist & Formal Verification Engineer (Juvix)
with competitive compensation
Smart contracts are not secure enough for finance, law, or systems engineering.
#remotework #remotejobs #agda #dependenttypes
https://t.co/2XH3FX2vaD
Remote Type Theorist & Formal Verification Engineer (Juvix)
with competitive compensation
Smart contracts are not secure enough for finance, law, or systems engineering.
#remotework #remotejobs #agda #dependenttypes
https://t.co/uumUq48k3Q
Design for #DependentTypes
By accepting @raehaskell’s “Design for Dependent Types” proposal, the GHC Steering Committee commits to work towards the future outlined therein
https://t.co/ozBDKxlYTN
Really fun conversation w/ Bigpey on SingularityNET + Cardano, digging into some of the deeper reasons why Cardano is a great blockchain for advanced AI...
Smart contracts are not secure enough for finance, law, or systems engineering.
Remote Type Theorist & Formal Verification Engineer , with a competitive salary
#remotework #remotejobs #dependenttypes #agda
https://t.co/ttZ030EeRT
MEETUP ANNOUNCEMENT!📣📣📣 Tomorrow, after the meetup panel, we want to create themed rooms for you to mingle and chat about hot topics!🙌 ‘Dependent types in use! “, ’#Lambda calculus’ ‘#DependentTypes in Haskell’ or ...? What would you like to talk about the most?🤔
Great news! 🙌 @nikivazou will join our panel on #Types on 4 Feb.! Does the future belong to dependent types or not? Are they a cute toy, or the Next Big Thing? Should you be planning to use them? Learn if #DependentTypes will be a part of your future: https://t.co/ngYb1xLthk
It was all capped off by @EricBond10 of @47deg offering examples and showing how to work with #RefinementTypes and #DependentTypes in #Haskell
Last Seen Hashtags on Sotwe
ควยพม่า
Seen from Thailand
PremiumContent
Seen from United Kingdom
엉덩이
Seen from Korea
小男孩
Seen from Germany
livepv
Seen from Malaysia
文字コラ 規制
Seen from Japan
nolimit()*filter:native_video
snuff #bnwo
Seen from India
รับถ่ายแบบนูด
Seen from Thailand
momson filter:native_video
Seen from United States
Most Popular Users
Elon Musk 
@elonmusk
240.4M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.1M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.5M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.8M followers
KATY PERRY
@katyperry
87.4M followers
Taylor Swift
@taylorswift13
81.2M followers
Lady Gaga
@ladygaga
72.8M followers
Kim Kardashian
@kimkardashian
69.7M followers
Virat Kohli
@imvkohli
69.5M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.7M followers
The Ellen Show
@theellenshow
62.5M followers
Neymar Jr
@neymarjr
62.2M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.5M followers