Top Tweets for #KFramework
1/3 🛠️ We’ve implemented a RISC-V model in K, available at https://t.co/bE6ZU7oZhy. Our model conforms to the unprivileged RV32E base ISA and can execute bare metal ELF files. #RISCv #Kframework
Matching logic (ML) is a powerful formalism for reasoning about program behavior. At @rv_inc, ML is the core theory behind our #kframework. We're finally launching a Discord channel for all things ML. If you have any questions or ideas, please visit! https://t.co/nHmk7gPUMH
Découvrez notre nouvelle série : « Le Point Innovation » 🔎
Dans cette première vidéo, notre collaborateur Manuel fait le point sur le K Framework abordé à la conférence EthCC Paris de cette année !
Retrouvez la vidéo sur Youtube : https://t.co/GTzMr9Bq6b
#Kframework #ETHCCParis
@Iceland_jack Most PL papers do have a small core you can run... if you know enough #Kframework to run their typing rules ;)
🔥🥰 Really enjoying this blog post at @rv_inc by @Mus_ab and Brandon Moore (https://t.co/n0VQWygiSq) comparing #KFramework to @CoqLang
👨💻 Includes this EXCELLENT answer to "how does the new gen differ from the old?"
https://t.co/sZMDwPGuso
🙌 Check it out! #FormalMethodsNOW!
Complete formal semantics of x86 in #kframework, by @vadve and @RosuGrigore's labs at UIUC in collaboration with @rv_inc. To be presented @PLDI'19. You can now use the K tool ecosystem to symbolically execute and formally verify x86 binaries, too.
https://t.co/FZw0Q1APyO
@ElrondNetwork we are building a go backend for K framework integration. We will use formal verification on smart contracts. Bug shall not pass - Gandalf. #blockchain #buidl #Kframework
Are you a programmer or a company using the K Framework? https://t.co/lEGYQMpkfi … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
Are you a programmer or a company using the K Framework? https://t.co/lEGYQMpkfi … Are you building tools using the #Kframework? Send us some love, by "liking" this or posting a link, and we'll love you back. 💌
👨💻 Formal Verification time! 👩💻 this week, we catchup with @MartinLundfall from @MakerDAO / @dapphub to talk about his work on formal verification, the #kframework, when it makes sense to use fv, when it doesn't, & more https://t.co/eNZnN2wJyr cc: @AnnaRRose @fredhrson
Watch Derek Sorensen of @Pyrofex cover #Kframework, #TypeTheory, and #Rholang semantics in this #RCON3 session.
https://t.co/zRoTJwZHeF
@mhhf demoing some of the latest formal verification tools out of @dapphub to the great minds of @rv_inc. Really impressed with the #kframework!
ICYMI We recently talked to Grigore Rosu, Professor of Computer Science at UIUC for a deep dive into the K framework - which formally defines all #ProgrammingLanguages and has massive implications for #SmartContract development.
👉 https://t.co/5m8ZLNQHpx
#Kframework
Mind-boggling episode on the #kframework by @epicenterbtc with Prof Grigore Rosu. Fantastic insight, great questions. As close as you can get to a magic wand in CS, ZK proofs aside. Thanks, epicenter! https://t.co/kZRFEP74G1
New episode is up! We are joined by Grigore Rosu, Professor of Computer Science at UIUC for a deep dive into the K framework - which formally defines all programming languages and has massive implications for #smartcontract development.
👉 https://t.co/5m8ZLNQHpx
#Kframework
You can now have your #smartcontract formally verified by @rv_inc:
https://t.co/A99qjcTpqB. The same #kframework-based technology is used to formalize #KEVM and #IELE, and to verify Casper. Thanks to @InputOutputHK and @ethereum for funding and support. #blockchain #security
.@sinan1111111111 GoF could not have slept if they would have seen this: https://t.co/6Y0bcQurFE #kframework #shen #lisp
Last Seen Hashtags on Sotwe
阿黑颜
Seen from United States
ممحونه
Seen from Egypt
LiuJiaxi
Seen from Japan
femboy
Seen from United States
omegle
Seen from United States
mãeefilho
Seen from Germany
xlii() or #exny() or #momson() or #nolimit() +filter:native_video
Seen from Netherlands
เย็ดตูดใหญ่
Seen from Thailand
男娘
Seen from Russia
filmmakingafrica
Seen from Venezuela
Most Popular Users
Elon Musk 
@elonmusk
240.7M followers
Barack Obama
@barackobama
119.2M followers
Donald J. Trump
@realdonaldtrump
111.7M followers
Cristiano Ronaldo
@cristiano
110.7M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.7M followers
NASA
@nasa
92.2M followers
Justin Bieber
@justinbieber
90.9M followers
KATY PERRY
@katyperry
87.7M followers
Taylor Swift
@taylorswift13
81.6M followers
Lady Gaga
@ladygaga
73.1M followers
Virat Kohli
@imvkohli
70M followers
Kim Kardashian
@kimkardashian
69.8M followers
YouTube
@youtube
68.7M followers
Bill Gates
@billgates
63.9M followers
Neymar Jr
@neymarjr
62.8M followers
The Ellen Show
@theellenshow
62.4M followers
CNN
@cnn
61.9M followers
X
@x
60.8M followers
Selena Gomez
@selenagomez
60.8M followers