Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

Type Theory Forall « »
#25 Formally Verifying the Tezos Codebase - Formal Land

1+ y ago 1:01:32

シェア

MP3•エピソードのホーム

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.

Links

Formal Land Website
Formal Land Email: contact@formal.land
Formal Land Twitter: @LandFooBar
CoqOfOcaml
The DAO hack

… continue reading

39 つのエピソード

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#25 Formally Verifying the Tezos Codebase - Formal Land

Type Theory Forall

26 subscribers

published 1+ y ago

シェア

MP3•エピソードのホーム

コンテンツは Pedro Abreu によって提供されます。エピソード、グラフィック、ポッドキャストの説明を含むすべてのポッドキャストコンテンツは、Pedro Abreu またはそのポッドキャストプラットフォームパートナーによって直接アップロードされ、提供されます。誰かがあなたの著作権で保護された作品をあなたの許可なく使用していると思われる場合は、ここで概説されているプロセスに従うことができますhttps://ja.player.fm/legal。

In this episode we partner with Formal Land, a company that works in formally verifying the Tezos codebase! I have worked with them in the past developing new features to their source-to-source compiler CoqOfOcaml. In this episode we talk about their work with Tezos and how their techniques are applicable to other codebases as well! For this we talk with Formal Land founder Guillaume Claret and the proof engineers Daniel Hilst and Pierre Vial.

Links

Formal Land Website
Formal Land Email: contact@formal.land
Formal Land Twitter: @LandFooBar
CoqOfOcaml
The DAO hack

… continue reading

39 つのエピソード

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

すべてのエピソード

×

プレーヤーFMへようこそ！

Player FMは今からすぐに楽しめるために高品質のポッドキャストをウェブでスキャンしています。これは最高のポッドキャストアプリで、Android、iPhone、そしてWebで動作します。全ての端末で購読を同期するためにサインアップしてください。

500+以上のトピックを聴こう

クイックリファレンスガイド

トップポッドキャスト

鈴木淑子の地球は競馬でまわってる

文化放送競馬中継～今週のメインレース

ボードゲームおっぱい

聴く日経ヘッドライン

サンドウィッチマンの東北魂

トータルテンボスのぬきさしならナイト！

流行りモノ通信簿

RADIO365-TOKYO BAYSIDE RADIO STATION

町田徹のふかぼり！

足立明穂の週刊ＩＴトレンドＸ

伊藤洋一のRound Up World Now！

The other side journal

KIQTAS（キクタス）

ヴォイニッチの科学書

武田邦彦のヒバリクラブ

IchibanTalk 海外で頑張る日本人トーク

BUSINESS WARS / ビジネスウォーズ