lily, Aikatsu, Programming language, and more

• X
• GitHub
• Cotribute

• キーボードアルティメイタム 第2話 Corne V4 Chocolate
• DependabotのPRにフックして追いcommitする
• Protobufのフィールド番号は15以下のほうがSDGs - VARINTのvariability
• GoCon2024の補足: Goと見るコンパイラ最適化事情
• あの日見たジャバの最新バージョンを僕達はまだ知らない｡
• From Goroutines to Coroutines: goroutines+channelsから考えるコルーチンの分類
• GoCon2023だのCTF Writeupだの
• OCaml環境をNixでセットアップしてGitHub Actionsでopamに楽にパッケージを上げる
• すまん､他社行くわ (ボツ案: プログラミングを始めて10年目になるし､新卒で入った会社もやめて転職する)
• PPL 2023を､スポンサー枠で｡
• OCamlで非同期ちゃんねる
• 江ノ島のチューリングと呼ばれて(ない)1年
• Retrofitting Effect Handlers onto OCaml
• 『作ってかんたんAlgebraic Effects』
• 並行並列OCaml5.0
• ポケモンユナイトで今気持ちよくなりたいならゴルサポクッキーからやぶポイントゲッター蟹一択
• なんだかんだガチプロトタイピングにはTypeScript楽だしgRPCを手作りする
• PPL 2021を､スポンサー枠で｡
• 日刊Coroutines(2) あとはやるだけ(終)
• Extending OCaml's open
• 日刊Coroutines(1) 初回は嬉しいASTの定義付き
• 日刊Coroutines(0) コルーチンのおさらいと近年の動向(若干)
• 貧者の Algebraic Data Types と(浅い)網羅性判定
• Unsound TypeScript: spread syntax
• 日刊Promise(4) 継続モナドで明日への布石
• 日刊Promise(3) スレッドプールっぽいものを作ってsetTimeoutを改修
• 日刊Promise(2) とりあえずPromiseを置いてけぼりにして評価器を実装する
• 日刊Promise(1) 初回は嬉しいASTの定義付き
• 応援してくれている皆様へ
• Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?
• fcontrol/runでshallow effect handler
• 『エフェクトに部分型のある代数的効果』
• 『その言語､定義されてますか』
• Algebraic Effectsの型システム入門(2) 多相エフェクト
• Rubyでもalgebraic effectsがしたい!
• koka-lang/koka REPL超入門
• Algebraic Effectsの型システム入門
• エフェクト､do､ANF､継続､継続
• ScalaMatsuri2019いってきた
• OCaml 4.08のbinding operator
• 技術書典6に合同誌を出した; effect system勉強会をやった
• 勉強会を開催したらbig nameを召喚してしまった
• qmk_firmwareで日本語配列 / マウスエミュレーションを頑張る
• stackfulness of coroutines
• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装
• Lily58による.xmodmapのハードウェア実装
• Lua VMに見る多値の扱い
• Algebraic Effectsとは? 出身は? 使い方は? その特徴とは? 調べてみました!
• Neovimへのhaskell-ide-engineの導入
• subfilesを使ってみんなで記事を書く､しおりも出す
• ML Dayやった, 新たなバイト始まった, 技術書典がある
• 現在のスキルセット
• Algebraic Effectsであそぼう
• delimited continuationの夏
• Luaで無限リスト
• Scala書いた
• Ensime-vimを入れる
• local修飾子の働き(PUC-Lua)
• ThinkPad T470sのトラックポイントの感度をLinux上でも良くする
• コンパイラ中間言語およびその最適化の設計と実装
• 大学院における日本学生支援機構の奨学金
• 相互再帰の分解
• 筋肉偏差値70
• LaTeXライティング
• Menhirが便利
• OCamlでevalして結果をstringで得る
• ロースト
• キラキラ受験記
• Qiitaより早くコードに行番号を追加した
• Qiitaっぽいlistingのcaption
• T470sの下ArchとWin10が同棲、しかし愛の巣が崩壊
• PFDS in Typed Racket その1
• 5年次､Typed Racket
• 通年でLua最適化器を作った
• Control Flow Graph
• ご報告
• Define-Use chainとその構成法
• 読書の秋､ファミレスのドリンクバーで粘る秋
• Luaの無名再帰
• 10月の決意
• 『君の名は｡』考察
• うわ〜ん変わっちゃった〜〜! kindleのフォントが変わっちゃった〜! どうか､しましたか? kindleのフォントが変わってしまったのですが…｡
• RAID0なF2FSにArchをインストールする
• Lua5.2から5.3への内部表現について💢
• 今日はSB69の日
• Lua 5.3.3 release - 変更に"python rule"とありますが -
• Luaのtableについて
• NVIDIAのGPUのファン速度を動的に変更する
• Luaでは関数外でもreturnが書ける､これな〜んでだ?
• りりくるRSは最高
• Luaちょっとしたコードチューニング
• awesome WMでタイマー
• 自作Lua処理系に型注釈をつけた(嘘)
• Gtk3アプリケーションのキーバインド
• 3年次2年任期満了記念
• 通年でLua処理系を作った
• 振り返り2015
• Beamerを書く
• 百合漫画と今年
• スライドを書いてると思ったらBeamerのテンプレートだけが肥大化した
• インターン､など
• ArchLinuxをインストールしました｡
• LPegの使い方 patternその2
• X1 Carbon 2015にArchをインストールした後におこなう儀式
• LPegの使い方 patternその1
• STAR☆ANIS アイカツ！スペシャルLIVE TOUR 2015 SHINING STAR*
• texluaとtex.print
• Apriled
• LuaRocksとの戦い2
• 3/15は星宮いちごちゃんの誕生日､はてブからの移住