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
hausagirls
Seen from Germany
momson(***) filter:native_video
Seen from Belgium
nolimit()+*+*+filter:native_video
Seen from France
omegle
Seen from United Kingdom
incestomamá
Seen from Mexico
지인능욕
Seen from Korea
政经观察
Seen from United States
monkeyapp
Seen from United States
NOlimit filter:videos
Seen from Turkey
momson ()
Seen from United States
Trends for you
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


















