Welcome to Triton’s documentation! — Triton documentation
Getting Started Installation Tutorials Python API triton triton.language triton.testing Type Promotion Broadcasting Differences with NumPy Triton MLIR Dialects Triton MLIR Dialects and Ops Programming Guide Introduction Related Work Debugging Triton Welcome to Triton’s documentation!¶ Triton is a language and compiler for parallel programming. It aims to provide a Python-based programming environm
リトルランゲージはプログラミングの未来だ
chreke's blogより。 マクスウェルの方程式が書かれたTシャツを着たオシャレな女性 特に、ガブリエラ・ゴンザレスの『The end of history for Programming』を読み、アラン・ケイの『Programming and Scaling』の講演を見て、「リトルランゲージ」 (非常に特定な問題を解決するために設計された小さな言語)が、プログラミングの未来であると確信しました。どちらも素晴らしいので、是非読んでみて欲しいのですが、もし、時間があれば、私が「リトルランゲージ」とはどういう意味なのか、なぜそれが重要なのかを説明します。 「リトルランゲージ」とは何か? ジョン・ベントリーは、彼の名を冠した論文『Little Languages』の中で、「リトルランゲージ」という言葉を作り、彼は次のように定義しました。 [...] リトルランゲージは特定の問題領域に特化し
FPGA向けのなんちゃって言語処理系を作ってみよう - Qiita
この記事は、インテル® FPGA Advent Calendar 2020 13日目の記事です。 TL;DR FPGAでLチカするための専用言語と処理系を作ってみました。 前口上 ソフトウェアプログラミングって開発に使える言語とか便利なフレームワークとかがたくさんありますね。中にはジョークみたいな言語やツールもあったりして、なんだか楽しいです。というわけで、FPGA向けにも気軽にいろいろ処理系をつくって楽しんでみるというのはいかがでしょうか。 今回作る処理系は 冒頭で書いた通り、今回はFPGAでLチカするための専用言語Lとその処理系を作ってみます。おそらくLチカはFPGAにもっともよく実装されているアプリケーションではないでしょうか？簡単に実装できれば、FPGAにかかわる人の開発効率の大幅な向上に寄与できるハズです。 早速使ってみよう Lのコードを書いてLチカするまでの一通りの手順をみてみ
Coqをベースとしたハードウェア表現および生成プラットフォーム"Kami"を試す - FPGA開発日記
MITのプログラム言語を研究しているグループの検証プラットフォーム「Kami」の論文を読んでいる。 KamiとはCoqをベースとしたDSLで、ハードウェアを表現するための言語およびそのプラットフォーム。KamiはCoqのハードウェア記述から検証、ハードウェア生成までを行うことを目的とする。 論文は以下に掲載されている。30ページもあり長い。 Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification http://plv.csail.mit.edu/kami/papers/icfp17.pdf とりあえず動かしてみる。以下のリポジトリを使おう。 github.com # Revision : ed1d6cd $ git clone git@github.com:
これからの時代、少量カスタムで大量種類のチップを設計する方法とは (UCBの論文を読む) - FPGA開発日記
UCB(University of California, Berkeley)の論文を教えてもらい、読んでみることにした(実際には大量にGoogle翻訳した)。 この論文は"Generating the Next Wave of Custom Silicon"という論文である。 著者から分かる通り、RISC-VとChiselの思いっきり関係者である。 Generating the Next Wave of Custom Silicon Borivoje Nikolić, Elad Alon, Krste Asanović, Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, USA https://ieeexplore.ieee.org/xpl/mostRecentIss
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - sifive/Kami: Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
GitHub - mephistopheles-8/s-pression: A minimal example of a static, S-expression eDSL in ATS2
GitHub - mephistopheles-8/atshtml: A static HTML eDSL for ATS2
GitHub - bitemyapp/esqueleto: New home of Esqueleto, please file issues so we can get things caught up!
GitHub - RaminHAL9001/Dao: The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.