代数的エフェクトのパフォーマンス最適化&generalizeをやっています エフェクトシステムのsoundness hole調査はお任せください
Tokyo, Japan
Joined August 2023
- Tweets4.5K
- Following158
- Followers363
- Likes2.7K
Pinned Tweet
11:30〜12:20にTrack Bにて「代数的エフェクトの高速化技法と発展的な機能」を発表します！
資料: drive.google.com/file/d/1suD…
#fp_matsuri #fp_matsuri_b
忙しくて何ヶ月後・何年後になるかわかりませんが、（手を付ける時まで状況に変化がなければ）新しいプロジェクトの開始を宣言しておきます
依存型+エフェクトシステムベースのプロンプト・応答から自然言語を完全に排除したvibe coding用の言語/エージェントフレームワーク/Web UIの開発を行います
りよ retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo:
りよ retweeted
うーん、出てきたか。OpenSSFがPyPI、npm、RubyGems等のパッケージレジストリについて、現在の「誰でも無償で大量利用できる」モデルは持続困難になっているとして、大規模企業が利用規模や商業的価値に応じて費用を負担する方向を支持する共同コミットメントを出した。
openssf.org/blog/2026/09/16/…
りよ retweeted
Unfortunately CUE has decided to adopt covariant function types: github.com/cue-lang/cue/disc…
When I was at CUE Labs I fought hard against this terrible idea. I consider it a personal failure that I couldn't prevent CUE from becoming unsound.
It's also one of those things that you can never back out of later.
りよ retweeted
JJUG CCC 2026 Fallのセッションに採択していただきました!
(エフェクトシステムで知られる) Flix言語で副作用に立ち向かう話をします💪
Tackling Side Effects with Functional Programming and Flix: JVM関数型言語Flixで学ぶ副作用の分離/局所化戦略
sessionize.com/s/lagenorhynq…
#jjug_ccc #flix
