Top Tweets for #deepspec

Data Wrangler™ @SiliconMoran

about 1 hour ago

AI is registering incremental evolution at a blistering pace, #DeepSeek is reshaping the mould with #DSpark #DeepSpec. Autonomous intelligence on automobiles and Drones is here with us sooner than anticipated. We will need new boundaries/definitions. https://t.co/mbcfE4Iqgv

0

0

0

0

32

over 6 years ago

CertiK's Co-Founder and Assistant Professor of Computer Science at @Columbia University, Professor @guronghuieric, spoke at #NEODevCon 2019 🌟 To learn more about #FormalVerification, #DeepSpec, #CertiKOS, and #DeepSEA, watch our video below! https://t.co/Xu7INI0CgT

0

4

0

0

0

almost 7 years ago

@certikorg conducts proofs locally and composes all the proofs together to deliver a certificate showing that the Smart Contract is correct in respect to the specifications. #FormalVerification #DeepSpec #Blockchain

CertiK's tweet photo. @certikorg conducts proofs locally and composes all the proofs together to deliver a certificate showing that the Smart Contract is correct in respect to the specifications.

#FormalVerification #DeepSpec #Blockchain https://t.co/tE7DLPbh9N

0

6

1

0

0

Виталий Брагилевский

almost 8 years ago

#deepspec at the old Fine Hall tea room meeting Gödel, Church, Turing and others @deep_spec

_bravit's tweet photo. #deepspec at the old Fine Hall tea room meeting Gödel, Church, Turing and others @deep_spec https://t.co/VkIbIM6Hf4

0

9

2

0

0

almost 8 years ago

@deep_spec #dsss18 #deepspec

musa314's tweet photo. @deep_spec
#dsss18
#deepspec https://t.co/masoRVmO0x

1

9

2

0

0

Ben Delaware @GhostofBendy

almost 8 years ago · Princeton

Had a great time lecturing at the DeepSpec Summer School! #deepspec

GhostofBendy's tweet photo. Had a great time lecturing at the DeepSpec Summer School! #deepspec https://t.co/eguSjU7ttp

1

37

5

0

0

Artem Pelenitsyn 🇺🇦 @[email protected] @ulysses4ever

almost 9 years ago · Rostov-na-Donu

all the lectures, lecture materials, and exercises from the #deepspec SS are online: https://t.co/ZgfWJnT1lA #pl #fp #coq

0

2

1

0

0

Ben Zorn (he/him) https://aka.ms/zorn @benzorn

almost 9 years ago

Great to see #deepspec #verification ideas being taught given all the known #cybersecurity challenges. https://t.co/ZFyK819ljY

0

1

1

0

0

Tijs van der Storm @tvdstorm

over 9 years ago

My interview with Benjamin Pierce for @Release_nl at @splashcon: https://t.co/SI9jx6t0nJ #DeepSpec #splash16

0

3

2

0

0

カジュアル釣り部 @We_Are_KFC

almost 10 years ago

新しい仲間たち大活躍‼︎ #fishing #ハゼクラ #mi2spec #deepspec #pocketsクランク #kurakura #チーバくん #マッキーチューン

We_Are_KFC's tweet photo. 新しい仲間たち大活躍‼︎ #fishing #ハゼクラ #mi2spec #deepspec #pocketsクランク #kurakura #チーバくん #マッキーチューン https://t.co/kROPNdNYXQ

1

2

2

0

0

Justin Rohrman @JustinRohrman

almost 10 years ago

For those interested in software and academia https://t.co/G8FYl7nOTO here is a write up I did on #DeepSpec for @AST_News

0

1

1

0

0

Justin Rohrman @JustinRohrman

almost 10 years ago

Here is my write up on the #deepspec workshop for @AST_News https://t.co/G8FYl7nOTO

0

6

11

0

0

Justin Rohrman @JustinRohrman

about 10 years ago · Princeton

Race conditions - aka the heisenbug uncertainty principle #deepspec

JustinRohrman's tweet photo. Race conditions - aka the heisenbug uncertainty principle #deepspec https://t.co/AELNqggoSt

0

3

3

0

0

Justin Rohrman @JustinRohrman

about 10 years ago

The main tool discussed in the #DeepSpec workshop, called coq, has an ~8 month release cycle. https://t.co/oJXyfq29Lk

0

1

1

0

0

Justin Rohrman @JustinRohrman

about 10 years ago · Princeton

JustinRohrman's tweet photo. Yup #deepspec https://t.co/SdEgafqHbL

0

1

2

0

0

Justin Rohrman @JustinRohrman

about 10 years ago

Something of note: repeated use of word 'check' (instead of test) at #DeepSpec I wonder if that is intentional

0

1

1

0

0

Justin Rohrman @JustinRohrman

about 10 years ago · Princeton

What is rich, what is complex, how complex is complex? #deepspec

JustinRohrman's tweet photo. What is rich, what is complex, how complex is complex? #deepspec https://t.co/EHFjovG14K

1

1

1

0

0

Justin Rohrman @JustinRohrman

about 10 years ago · Princeton

Misperceptions about specifications #deepspec

JustinRohrman's tweet photo. Misperceptions about specifications #deepspec https://t.co/vD7iYNlnGU

2

4

6

0

0

SD Times @sdtimes

over 10 years ago

Researchers team up to develop software that eliminates bugs https://t.co/erwGrWDxnb #developers #software #DeepSpec

0

1

0

0

0

SD Times @sdtimes

over 10 years ago

Researchers team up to develop software that eliminates bugs https://t.co/6OsXgKMNC1 #developers #software #DeepSpec

0

1

1

0

0

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users