About Cosense
Help
Log in
mrsekut-p
M
o
o
n
B
i
t
W
e
b
A
s
s
e
m
b
l
y
に
特
化
し
た
プ
ロ
グ
ラ
ミ
ン
グ
言
語
w
e
b
s
i
t
e
g
i
t
h
u
b
c
o
m
p
i
l
e
r
O
C
a
m
l
実
装
d
o
c
s
@
m
i
z
c
h
i
h
t
t
p
s
:
/
/
w
w
w
.
m
o
o
n
b
i
t
l
a
n
g
.
c
o
m
/
b
l
o
g
/
m
o
o
n
b
i
t
-
a
i
>
M
o
o
n
B
i
t
は
2
0
2
2
年
1
0
月
、
C
h
a
t
G
P
T
の
発
表
と
同
時
に
発
表
さ
れ
た
。
ム
ー
ン
ビ
ッ
ト
プ
ラ
ッ
ト
フ
ォ
ー
ム
は
、
単
な
る
プ
ロ
グ
ラ
ミ
ン
グ
言
語
で
は
な
く
、
I
D
E
、
コ
ン
パ
イ
ラ
、
ビ
ル
ド
シ
ス
テ
ム
、
パ
ッ
ケ
ー
ジ
マ
ネ
ー
ジ
ャ
な
ど
を
含
む
開
発
者
ツ
ー
ル
チ
ェ
ー
ン
と
し
て
登
場
し
た
。
私
た
ち
は
、
プ
ロ
グ
ラ
ミ
ン
グ
言
語
の
ツ
ー
ル
チ
ェ
ー
ン
全
体
が
A
I
と
ど
の
よ
う
に
連
携
す
る
の
が
ベ
ス
ト
な
の
か
を
再
考
す
る
ユ
ニ
ー
ク
な
立
場
に
あ
っ
た
。
DeepL
L
o
c
a
l
S
a
m
p
l
i
n
g
G
l
o
b
a
l
S
m
a
p
l
i
n
g
M
o
o
n
B
i
t
が
W
e
b
A
s
s
e
m
b
l
y
時
代
の
理
想
(
の
原
型
)
だ
っ
た
>
文
法
的
に
は
G
C
付
き
の
R
u
s
t
で
、
W
e
b
A
s
s
e
m
b
l
y
に
コ
ン
パ
イ
ル
さ
れ
ま
す
。
と
く
に
C
D
N
E
d
g
e
W
o
r
k
e
r
上
で
の
実
行
を
想
定
し
て
い
る
よ
う
で
す
。
J
S
/
T
S
/
R
u
s
t
以
外
で
G
U
I
を
書
き
た
い
と
い
う
モ
チ
ベ
ー
シ
ョ
ン
h
t
t
p
s
:
/
/
z
e
n
n
.
d
e
v
/
m
i
z
c
h
i
/
a
r
t
i
c
l
e
s
/
p
r
a
c
t
i
c
a
l
-
m
o
o
n
b
i
t
#
プ
ロ
グ
ラ
ミ
ン
グ
言
語
Related
Sort by
Related
Modified
Created
Last visited
Most linked
Page rank
Title
Links
WebAssembly
プログラミング言語
一覧系[https://pldb.io/ PLDB: a Programming Language DataBase]めっちゃある生まれた年も書いてるググラビリティ終わってる言語でも見つけられる。嬉しい[mrsekut.icon]
WebAssembly
PicoML
OCamlのsubset[TypeScript実装]https://github.com/Quramy/pico-ml[@quramy]https://quramy.medium.com/自作プログラミング言語と-webassembly-コンパイラ-a19b80c25f1e
AssemblyScript
『Rustで学ぶWebAssembly』
Wasmer
Squoosh
[Google製]画像の最適化ツールJPEG/PNG/GIFなどをWebPやAVIFなどに変換したりできる[WebAssembly]を使っているらしい [ref https://www.infoq.com/jp/news/2018/12/google-squoosh-pwa-webassembly/][website https://squoosh.app/][github https://github.com/GoogleChromeLabs/squoosh]
Mewz
Ruvy
[WebAssembly] runtime上で動く[Ruby][Shopify製][github https://github.com/Shopify/ruvy][Rust実装][Ruby.wasm]をベースにしたツールチェイン
AltJS
最終的に[JavaScript]にコンパイルされる言語やJS上のライブラリの総称こんな感じの動機JavaScriptに型を付けたい他の言語風なsyntaxでwebフロントエンドを書きたい今使っている言語でwebフロントエンドを書きたい
『RustとWebAssemblyによるゲーム開発』
Rio term
ざっくりAssemblyScript
WebAssemblyざっくり概要
2019/5/24[tryangle勉強会]動機kansai.ts (6/10) で何を発表するか迷ってる[WebAssembly]関連
Wasmer Edge
[Wasmer, Inc.製]https://wasmer.io/products/edge[https://www.publickey1.jp/blog/23/webassemblywasmer_edge.html 分散モノリスとWebAssemblyランタイムを用いた新しいアプリプラットフォーム「Wasmer Edge」登場。オーケストレーションもサービスメッシュも不要 - Publickey]
『進捗大陸 02』
from [進捗大陸]https://booth.pm/ja/items/666792自作言語[Rill]と[WebAssembly][LLVM]を使ったWASMサポートとランタイム移植の話再帰を持つ関数型言語の符号解析
TypeScript Compilation SIG
TypeScriptを[WebAssembly]にCompileするhttps://www.publickey1.jp/blog/23/typescriptwebassemblytypescript_compilation_sigbytecode_alliance.htmlhttps://github.com/bytecodealliance/governance/blob/main/SIGs/SIG-TypeScript-Compilation/proposal.md
WordPress Playground
[In-Browser WordPress][website https://wasm.wordpress.net/][github https://github.com/WordPress/wordpress-playground]PHPやSQLiteなども[WebAssembly]化して、browser上で実行している外部にPHPサーバーを立てていないということ
SQLite Wasm
[SQLite]を[WebAssembly]化https://sqlite.org/wasm/doc/trunk/index.mdhttps://www.publickey1.jp/blog/22/sqlitewebassemblysqlite3_wasmjs.htmlhttps://developer.chrome.com/en/blog/from-web-sql-to-sqlite-wasm/
Kernel-WASM
[Wasmer, Inc.製][Linuxカーネル]内に[WebAssembly] runtimeを実装[github https://github.com/wasmerio/kernel-wasm]https://www.publickey1.jp/blog/23/linuxwebassemblykernel-wasm.html
WAVM
[WebAssembly]の[VM]WAVM is a WebAssembly virtual machine, designed for use in non-browser applications.[website https://wavm.github.io/]
『ハンズオンWebAssembly』
Reference Types
[WebAssembly]https://zenn.dev/igrep/articles/2021-11-wasm-reference-types
Wasm/k
[WebAssembly]で[継続]を扱えるように拡張したものhttps://wasmk.github.io/https://github.com/donald-pinckney/WasmContinuationshttps://wasmk.github.io/FullVersion.pdf
OCaml実装
Flow
Catala
Austral
開発者は[@eudoxia0][github https://github.com/austral/austral][OCaml実装]https://borretti.me/article/introducing-australIntroducing Austral: A Systems Language with Linear Types and Capabilities
Haxe
Eff
[Algebraic Effects and Handlers]を扱う[関数型プログラミング]の言語OCamlっぽいシンタックス開発者は[Matija Pretnar][『An Introduction to Algebraic Effects and Handlers』][docs https://www.eff-lang.org/]
ReScript
Dark
Pysa
[Pyre][Meta製]の[Python]静的解析ツールhttps://mag.osdn.jp/20/08/12/145600[github https://github.com/facebook/pyre-check/][OCaml実装]
SATySFi
静的型付きOCaml風syntaxの[組版処理システム]開発者は[@gfngfn]拡張子は`.saty`前身となるものに[Macrodown]がある[github https://github.com/gfngfn/SATySFi]
誰かの自作言語
mattan氏のankohttps://github.com/mattn/anko[Go]っぽいインタプリタ言語[Mud][https://github.com/0918nobita/psyche psyche]
Tezos
https://www.scamlang.dev/https://www.dailambda.jp/blog/2020-02-01-scaml-jp-0/[OCaml実装]の[Blockchain]
Caramel
from [プログラミング言語]https://github.com/AbstractMachinesLab/caramel[OCaml実装]https://caramel.run/
@mizchi
『JavaScript/TypeScript実力強化書』
Vibe Codingの開発のモードを明確に切り分ける
プロトタイピングモードと実装モードで求めるものが異なるこれはAI関係なくプロトタイピングする際にも意識すべきだが、with AIだと特に適当にモード向けにcommandを用意しておくと便利かもしれない[Vibe Codingのプロトタイピングモード]捨てる前提でつくる
.claude/commands/orchestrator.md
[@mizchi]氏のやつ[https://zenn.dev/mizchi/articles/claude-code-orchestrator Claude Code 版 Orchestaror で複雑なタスクをステップ実行する]https://github.com/mizchi/typescript-mcp/blob/main/.claude/commands/orchestrator.md
lsmcp
開発者は[@mizchi]agentに[LSP]を使わせる[MCP server (実装)]agentがgo to definitionなどを使えるようになる[github https://github.com/mizchi/lsmcp][https://zenn.dev/mizchi/articles/introduce-lsmcp lsmcp - 汎用的な LSP の MCP サーバーを作った]
.claude/commands/gemini-search.md
claude codeから[Gemini CLI]のwebsearchさせる[@mizchi][https://zenn.dev/mizchi/articles/gemini-cli-for-google-search gemini-cli の google_web_search が最高]`## Gemini Search``\`gemini\` is google gemini cli. You can use it for web search.`
Coding AI向けのcustom instructions
AIから引き出せる性能は、自分の能力に比例する
by [@mizchi]>高度なAIは自分の鏡みたいなもので、AIから引き出せる性能は、自分の能力にそのまま比例する。[https://zenn.dev/mizchi/articles/all-in-on-cline#vs-プログラマ不要論 CLINEに全部賭けろ]
AIから引き出せる性能は、自分の能力にそのまま比例する
by [@mizchi]>高度なAIは自分の鏡みたいなもので、AIから引き出せる性能は、自分の能力にそのまま比例する。[https://zenn.dev/mizchi/articles/all-in-on-cline#vs-プログラマ不要論 CLINEに全部賭けろ]
Lighthouse
[Chrome DevTools]から計測できる以下の4つの指標で評価してくれるパフォーマンスアクセシビリティベストプラクティス
mizchi氏のwebパフォーマンス調査
株式会社PLAID
設立9期で上場2020/12/17[website https://plaid.co.jp/][tech blog https://tech.plaid.co.jp/][blog https://blog.plaid.co.jp/]
lizod
lightweight [zod]-like validator600bytes開発者は[@mizchi][github https://github.com/mizchi/lizod]intial commitは2023/5/23
Tailwind CSSが負債化するとは
[@mizchi]氏のこのツイートを発端に2023/5/23付近で盛り上がってた>[https://twitter.com/mizchi/status/1660949807199055873 @mizchi]: tailwind 絶対数年後に激ヤバ負債になってるという確信がある>[https://twitter.com/mizchi/status/1661019969205997574 @mizchi]: じゃあ何を選べばって話、とりあえず各Viewライブラリが当然持ってるであろう Scoped CSS でコンポーネントに閉じて外に影響でなければなんでもいいと思います(今は)
Webの理想的なBuild Size
from [JavaScriptのBuild Size周り]https://qiita.com/mizchi/items/418be9abee5f785696f0#実践編-モダンフロントエンドの発達段階と最適化https://qiita.com/mizchi/items/418be9abee5f785696f0#昨今のjsビルド問題とその解決のためのゴール設定以下、らしいwebpack推奨は144kb以内
プログラミング言語
Search 312 pages
New Links
Local Sampling
Global Smapling
Created
2 years ago
by
mrsekut
Updated
9 months ago
by
mrsekut
Views: 55
Page rank: 6.4
Copy link
Copy readable link
Start presentation
Hide dots
MoonBit
https://gyazo.com/f9f273cf5efef0cc3fcd70493e314ee8
WebAssembly
に特化したプログラミング言語
website
github
compiler
OCaml実装
docs
https://www.youtube.com/watch?v=cOQ2m6HCTrQ
@mizchi
https://www.moonbitlang.com/blog/moonbit-ai
MoonBitは2022年10月、ChatGPTの発表と同時に発表された。ムーンビットプラットフォームは、単なるプログラミング言語ではなく、IDE、コンパイラ、ビルドシステム、パッケージマネージャなどを含む開発者ツールチェーンとして登場した。私たちは、プログラミング言語のツールチェーン全体がAIとどのように連携するのがベストなのかを再考するユニークな立場にあった。
DeepL.icon
Local Sampling
Global Smapling
MoonBit が WebAssembly 時代の理想(の原型)だった
文法的には GC 付きの Rust で、 WebAssembly にコンパイルされます。とくに CDN Edge Worker 上での実行を想定しているようです。
JS/TS/Rust以外でGUIを書きたいというモチベーション
https://zenn.dev/mizchi/articles/practical-moonbit
#プログラミング言語