Podcast Rankings
✕
All
アート
ブック
デザイン
ファッション／美容
フード
パフォーマンスアート
ビジュアルアート
ビジネス
キャリア
起業
投資
マネージメント
マーケティング
非営利
コメディ
コメディインタビュー
即興コメディ
スタンドアップ・コメディ
教育
コース
ハウツー
言語学習
自己啓発
小説
コメディ
ドラマ
SF
行政
健康／フィットネス
代替療法
フィットネス
医学
メンタルヘルス
栄養
セクシャリティ
歴史
キッズ／ファミリー
子どもの教育
子育て
ペット＆動物
子どもの読みもの
レジャー
アニメ＆漫画
自動車
航空
クラフト
ゲーム
趣味
ホーム／ガーデニング
ビデオゲーム
音楽
音楽解説
音楽史
音楽インタビュー
ニュース
ビジネスニュース
今日のニュース
エンターテインメントニュース
ニュース解説
政治
スポーツニュース
技術ニュース
宗教／スピリチュアル
仏教
キリスト教
ヒンズー教
イスラム教
ユダヤ教
宗教
スピリチュアル
科学
天文学
化学
地球科学
生命科学
数学
自然科学
自然
物理
社会科学
社会／文化
ドキュメンタリー
個人ジャーナル
哲学
地域情報／トラベル
恋愛関係
スポーツ
野球
バスケットボール
クリケット
ファンタジースポーツ
アメリカンフットボール
ゴルフ
ホッケー
ラグビー
ランニング
サッカー
水泳
テニス
バレーボール
荒野
レスリング
テレビ番組／映画
バックステージ
映画史
映画インタビュー
映画レビュー
TV番組レビュー
テクノロジー
事件／犯罪
Podcast
Music
Movie
Game
Book
🎧Podcast
🎧Hajime Morrita, Jun Mukai
#99: The Prusti Project: Formal Verification for Rust
#99: The Prusti Project: Formal Verification for Rust
Release Date:
2022-09-27 21:22:29
Rust で使える静的検証ツールの論文を向井が読みました。
#99: The Prusti Project: Formal Verification for Rust
Reddit
はてなブックマーク
вконтакте
百度
Title
#99: The Prusti Project: Formal Verification for Rust
Copyright
Hajime Morrita, Jun Mukai
Release Date
2022-09-27 21:22:29
flashback
2024-06-09
#134: LoRA: Low-Rank Adaptation of Large Language Models
2024-05-21
#133: Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
2024-05-02
#132: High-Resolution Image Synthesis with Latent Diffusion Models
2024-04-23
#131: FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness
2024-04-05
#130: Diffusion models from scratch, from a new theoretical perspective
2024-03-26
#129: Programming Massively Parallel Processors (Ch.4- Ch.6)
2024-03-10
#128: Faiss: A library for efficient similarity search and clustering of dense vectors.
2024-02-29
#127: Programming Massively Parallel Processors (Ch.1- Ch.3)
2024-01-30
#126: Vector Database Management Systems
2024-01-23
#125: Always-on Vision Processing Unit for Mobile Applications
2023-12-23
#124: GAIA: a benchmark for General AI Assistants
2023-12-06
#123: SYCL 2020 Specification
2023-11-09
#122: Lifting the veil on Meta’s microservice architecture
2023-10-31
#121: The SPACE of Developer Productivity
2023-09-21
#120: On-demand Container Loading in AWS Lambda
2023-08-22
#119: Overlapping Experiment Infrastructure
2023-07-26
#118: Pathways: Asynchronous Distributed Dataflow for ML
2023-07-18
#117: DuckDB: an Embeddable Analytical Database
2023-06-06
#116: Asymmetric numeral systems
2023-05-23
#115: Constitutional AI: Harmlessness from AI Feedback
2023-05-18
#114: Invisinets: Removing Networking from Cloud Networks
2023-05-02
#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
2023-04-26
#112: SkyPilot: An Intercloud Broker for Sky Computing
2023-04-04
#111: Formal Algorithms for Transformers
2023-03-24
#110.5
2023-03-21
#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems
2023-03-01
#109: A Measure of Transaction Processing Power
2023-02-03
#108: The Verse Calculus
2022-12-21
#107: Simple Ideas That Changed Printing and Publishing
2022-12-13
#106: Human-level play in the game of Diplomacy by combining language models with strategic reasoning
2022-12-07
#105: Volcano – An Extensible and Parallel Query Evaluation System
2022-11-19
#104: It’s Time to Replace TCP in the Datacenter
2022-11-02
#103: GPU-Accelerated Path Rendering
2022-10-27
#102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow
2022-10-20
#101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics
2022-10-14
#100 AMA!
2022-10-05
#99.5 AMA?
2022-09-27
#99: The Prusti Project: Formal Verification for Rust
2022-09-14
#98: Dynamo: Amazon’s Highly Available Key-value Store
2022-08-23
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
2022-07-30
#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service
2022-07-10
#95: CockroachDB: The Resilient Geo-Distributed SQL Database
2022-06-02
#94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente
2022-05-25
#93: SEQUEL: A structured English query language
2022-05-13
#92: Software Development Waste
2021-01-26
#91: Serverless in the Wild
2021-01-19
#90: Evaluation of splittable pseudo-random generators
2020-11-01
#89: Conflict-free Replicated Data Types
2020-10-28
#88: A History of Haskell: being lazy with class
2020-10-20
#87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers
2020-10-20
#86: JavaScript: the first 20 years
2020-10-17
#85: Continuous Profiling: Where Have All the Cycles Gone?
2020-10-13
#84: Profiling a warehouse-scale computer
2020-10-08
#83: Dynamic Instrumentation of Production Systems
2020-10-05
#82: Glass: A New Media for a New Era?
2020-10-02
#81: gprof: a Call Graph Execution Profiler
2020-09-26
#80.5
2019-10-07
#80: TrueSkill™ Ranking System
2019-09-25
#79: Adversarial Examples Are Not Bugs, They Are Features
2019-09-07
#78: Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks
2019-09-04
#77: Orca: Differential Bug Localization in Large-Scale Services
2019-08-22
#76: XPC: Architectural Support for Secure and Efficient Cross Process Call
2019-08-20
#75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKit
2019-08-17
#74: FaceNet: A Unified Embedding for Face Recognition and Clustering
2019-08-13
#73: Understanding Real-World Concurrency Bugs in Go
2019-08-11
#72: How (and How Not) to Write a Good Systems Paper
2019-08-08
#71: Machine Learning at Facebook: Understanding Inference at the Edge
2019-08-02
#70: Reality Engine Graphics
2019-07-30
#69: Bandana: Using Non-Volatile Memory for Storing Deep Learning Models
2019-07-26
#68: Introduction to MCMC
2019-07-22
#67: Towards Federated Learning at Scale: System Design
2019-07-17
#66: The Rendering Equation
2019-07-14
#65: Communication-Efficient Learning of Deep Networks from Decentralized Data
2019-07-10
#64: Automating Chaos Experiments in Production
2019-06-24
#63: Programming with Algebraic Effects and Handlers
2019-06-20
#62 – A History Of Erlang
2019-06-14
#61 – Spectre is Here to Stay
2019-04-25
#60 – XGBoost: A Scalable Tree Boosting System
2019-04-19
#59 – Do Developers Learn New Tools On The Toilet?
2019-04-12
#58 – Gradient Boosting Decision Trees
2019-04-09
#57 – Asynchronous Functional Reactive Programming for GUIs
2019-04-05
#56 – Cloud Programming Simplified
2019-03-30
#55 – Functional Reactive Programming from First Principles
2019-03-28
#54 – Tales of the Tail
2019-03-21
#53 – BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding
2019-03-08
#52 – Convolutional Color Constancy
2019-03-01
#51 – Attention Is All You Need
2019-02-23
#50 – Geodesic Discrete Global Grid Systems
2019-02-19
#49 – Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code
2019-02-08
#48 – Real-time Personalization using Embeddings for Search Ranking at Airbnb
2019-01-31
#47 – Engineering the Servo Web Browser Engine using Rust
2019-01-22
#46 – An Introduction to Neural Information Retrieval
2019-01-17
#45 – Why Amazon Chose TLA +
2019-01-11
#44 – Firecracker
2019-01-04
#43 – Capsicum: practical capabilities for UNIX
2018-12-31
#42 – kvm: the Linux Virtual Machine Monitor
2018-12-26
#41 – IDRIS — Systems Programming Meets Full Dependent Types
2018-11-20
#40
2018-11-10
#39 – Service Fabric: A Distributed Platform for Building Microservices in the Cloud
2018-11-08
#38 – Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates