Jun Ando (@anjn)

6 Follows
View profile

miyo

miyo

2 followers 2 decks
量子コンピュータを支える FPGA技術@FPGAX#14
2
71
FPGA向け オープンソースEDAの動向あれこれ
1
240

r1ru

riru

4 followers 5 decks
Formal Development of Operating Systems in Rust
1
380
プログラム検証入門
6
1.9k

y_taka_23

ytaka23

著名ねこみみエンジニア

Twitter: https://twitter.com/y_taka_23
GitHub: https://github.com/y-taka-23

30 followers 60 decks
NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
4
500
形式手法の 10 メートル手前 #kernelvm / Kernel VM Study Hokuriku Part 7
6
1.1k

Takumi Sueda

puhitaku

From a computer with ❤️
Twitter: @puhitaku

12 followers 28 decks
組み込みLinuxの時系列
4
1.5k
電子辞書にステータスバーを実装する
0
210

Fadis

fadis

17 followers 42 decks
C++でシェーダを書く
6
4.5k
ライトたくさんReSTIRを実装しよう
2
1.1k

ebiken

PRO
ebiken

3 followers 56 decks
SDNという名のデータプレーンプログラミングの歴史
2
400
OpenFlow Specification Summary
1
140