本文へスキップ

ポッドキャスト
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
あなたのもの
ここにあなたの局はありますか？

申請すれば、八言語のどこからでもデータ・ロゴ・SNS を直せます。無料です。
自分の登録を申請する
ZARZA Studio
- Radio demo
ラジオ局
放送中
— いま放送中の局

ディレクトリの全局を実際に確認しています。本当に放送しているときだけ、レコードは回ります。
ディレクトリを見る

ja

ログイン

#41 – IDRIS — Systems Programming Meets Full Dependent Types

Misreading Chat

26/12/2018 29 min

再生 "#41 – IDRIS — Systems Programming Meets Full Dependent Types"

Descargar episodio Ver en sitio original

エピソードの概要

汎用プログラミング言語に Dependent Types を組み込んだ実験的なプログラミング言語 Idris について向井が話します。

この番組のほかのエピソード Misreading Chat

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues? 11/12/2024

#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise 04/12/2024

#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL 13/11/2024

#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models 24/10/2024

#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis 02/10/2024

#138: Distilling the Knowledge in a Neural Network 11/09/2024

#137: Optimal Quantile Approximation in Streams 13/08/2024

#136: Distinct Elements in Streams: An Algorithm for the (Text) Book 07/08/2024

#135: In-Datacenter Performance Analysis of a Tensor Processing Unit 02/07/2024

#134: LoRA: Low-Rank Adaptation of Large Language Models 09/06/2024

Ver todos los episodios

ZARZA Studio — あなたの局を今日からオンエアに：ライブラリー、ミュージッククロック、番組表、キャビンとレポート。すべてブラウザーから。

ZARZA Studio を知る

— いま放送中 — カタログの局数 39,151 ポッドキャスト — 国