Tags

雑感

• すまん､他社行くわ (ボツ案: プログラミングを始めて10年目になるし､新卒で入った会社もやめて転職する)
• PPL 2023を､スポンサー枠で｡
• 江ノ島のチューリングと呼ばれて(ない)1年
• ポケモンユナイトで今気持ちよくなりたいならゴルサポクッキーからやぶポイントゲッター蟹一択
• PPL 2021を､スポンサー枠で｡
• 応援してくれている皆様へ
• ScalaMatsuri2019いってきた
• 勉強会を開催したらbig nameを召喚してしまった
• ML Dayやった, 新たなバイト始まった, 技術書典がある
• 大学院における日本学生支援機構の奨学金
• 筋肉偏差値70
• キラキラ受験記
• Qiitaより早くコードに行番号を追加した
• Qiitaっぽいlistingのcaption
• T470sの下ArchとWin10が同棲、しかし愛の巣が崩壊
• 5年次､Typed Racket
• ご報告
• 読書の秋､ファミレスのドリンクバーで粘る秋
• Luaの無名再帰
• 10月の決意
• 『君の名は｡』考察
• うわ〜ん変わっちゃった〜〜! kindleのフォントが変わっちゃった〜! どうか､しましたか? kindleのフォントが変わってしまったのですが…｡
• 今日はSB69の日
• 3年次2年任期満了記念
• 振り返り2015
• 百合漫画と今年
• インターン､など
• X1 Carbon 2015にArchをインストールした後におこなう儀式
• STAR☆ANIS アイカツ！スペシャルLIVE TOUR 2015 SHINING STAR*
• Apriled
• 3/15は星宮いちごちゃんの誕生日､はてブからの移住

Lua

• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装
• Luaで無限リスト
• local修飾子の働き(PUC-Lua)
• 通年でLua最適化器を作った
• Define-Use chainとその構成法
• Luaの無名再帰
• Lua5.2から5.3への内部表現について💢
• Lua 5.3.3 release - 変更に"python rule"とありますが -
• Luaのtableについて
• Luaでは関数外でもreturnが書ける､これな〜んでだ?
• Luaちょっとしたコードチューニング
• awesome WMでタイマー
• 自作Lua処理系に型注釈をつけた(嘘)
• 通年でLua処理系を作った
• LPegの使い方 patternその2
• LPegの使い方 patternその1
• texluaとtex.print
• LuaRocksとの戦い2

LuaRocks

• LuaRocksとの戦い2

Vim

• Ensime-vimを入れる
• 5年次､Typed Racket
• Apriled

Keyboard

• Apriled

LaTeX

• subfilesを使ってみんなで記事を書く､しおりも出す
• LaTeXライティング
• Beamerを書く
• スライドを書いてると思ったらBeamerのテンプレートだけが肥大化した
• texluaとtex.print
• Apriled

アイカツ

• 3年次2年任期満了記念
• STAR☆ANIS アイカツ！スペシャルLIVE TOUR 2015 SHINING STAR*

MoonScript

• Define-Use chainとその構成法
• Luaの無名再帰
• 自作Lua処理系に型注釈をつけた(嘘)
• 通年でLua処理系を作った
• LPegの使い方 patternその2
• LPegの使い方 patternその1

Linux

• ThinkPad T470sのトラックポイントの感度をLinux上でも良くする
• RAID0なF2FSにArchをインストールする
• Gtk3アプリケーションのキーバインド
• インターン､など
• ArchLinuxをインストールしました｡
• X1 Carbon 2015にArchをインストールした後におこなう儀式

Arch

• RAID0なF2FSにArchをインストールする
• X1 Carbon 2015にArchをインストールした後におこなう儀式

sh

• 振り返り2015
• インターン､など

百合

• りりくるRSは最高
• 3年次2年任期満了記念
• 百合漫画と今年

awesome

• awesome WMでタイマー

ArchLinux

• Ensime-vimを入れる
• NVIDIAのGPUのファン速度を動的に変更する

NVIDIA

• NVIDIAのGPUのファン速度を動的に変更する

Kindle

• うわ〜ん変わっちゃった〜〜! kindleのフォントが変わっちゃった〜! どうか､しましたか? kindleのフォントが変わってしまったのですが…｡

Lua VM

• Lua VMに見る多値の扱い
• Control Flow Graph

code optimization

• Control Flow Graph

Lua Bytecode

• 通年でLua最適化器を作った

Optimizer

• 通年でLua最適化器を作った

Racket

• fcontrol/runでshallow effect handler
• delimited continuationの夏
• 5年次､Typed Racket

Typed Racket

• PFDS in Typed Racket その1
• 5年次､Typed Racket

pfds

• PFDS in Typed Racket その1

jekyll

• Qiitaより早くコードに行番号を追加した
• Qiitaっぽいlistingのcaption

OCaml

• OCaml環境をNixでセットアップしてGitHub Actionsでopamに楽にパッケージを上げる
• OCamlで非同期ちゃんねる
• Retrofitting Effect Handlers onto OCaml
• 並行並列OCaml5.0
• Extending OCaml's open
• Algebraic Effectsの型システム入門(2) 多相エフェクト
• エフェクト､do､ANF､継続､継続
• OCaml 4.08のbinding operator
• Algebraic Effectsであそぼう
• delimited continuationの夏
• コンパイラ中間言語およびその最適化の設計と実装
• 相互再帰の分解
• Menhirが便利
• OCamlでevalして結果をstringで得る

WORD

• Lily58による.xmodmapのハードウェア実装
• 筋肉偏差値70
• LaTeXライティング
• Menhirが便利

筋肉

• 筋肉偏差値70

CPS

• エフェクト､do､ANF､継続､継続
• 筋肉偏差値70

関数

• 相互再帰の分解

卒研

• コンパイラ中間言語およびその最適化の設計と実装

最適化

• コンパイラ中間言語およびその最適化の設計と実装

コンパイラ

• コンパイラ中間言語およびその最適化の設計と実装

ThinkPad

• ThinkPad T470sのトラックポイントの感度をLinux上でも良くする

Scala

• 貧者の Algebraic Data Types と(浅い)網羅性判定
• ScalaMatsuri2019いってきた
• Scala書いた
• Ensime-vimを入れる

Delimited Continuation

• fcontrol/runでshallow effect handler
• delimited continuationの夏

Algebraic Effects

• Retrofitting Effect Handlers onto OCaml
• 『作ってかんたんAlgebraic Effects』
• 並行並列OCaml5.0
• Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?
• fcontrol/runでshallow effect handler
• Algebraic Effectsの型システム入門(2) 多相エフェクト
• Rubyでもalgebraic effectsがしたい!
• koka-lang/koka REPL超入門
• Algebraic Effectsの型システム入門
• 技術書典6に合同誌を出した; effect system勉強会をやった
• 勉強会を開催したらbig nameを召喚してしまった
• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装
• Algebraic Effectsとは? 出身は? 使い方は? その特徴とは? 調べてみました!
• Algebraic Effectsであそぼう

就活目的

• ML Dayやった, 新たなバイト始まった, 技術書典がある
• 現在のスキルセット

ML Day

• ML Dayやった, 新たなバイト始まった, 技術書典がある

JSSST

• ML Dayやった, 新たなバイト始まった, 技術書典がある

技術書典

• 技術書典6に合同誌を出した; effect system勉強会をやった
• subfilesを使ってみんなで記事を書く､しおりも出す

Haskell

• 『作ってかんたんAlgebraic Effects』
• エフェクト､do､ANF､継続､継続
• Neovimへのhaskell-ide-engineの導入

Neovim

• Neovimへのhaskell-ide-engineの導入

LSP

• Neovimへのhaskell-ide-engineの導入

JavaScript

• 日刊Promise(3) スレッドプールっぽいものを作ってsetTimeoutを改修
• 日刊Promise(2) とりあえずPromiseを置いてけぼりにして評価器を実装する
• 日刊Promise(1) 初回は嬉しいASTの定義付き
• Algebraic Effectsとは? 出身は? 使い方は? その特徴とは? 調べてみました!

Go

• From Goroutines to Coroutines: goroutines+channelsから考えるコルーチンの分類
• GoCon2023だのCTF Writeupだの
• Lua VMに見る多値の扱い

多値

• Lua VMに見る多値の扱い

multiple value

• Lua VMに見る多値の扱い

自作キーボード

• Lily58による.xmodmapのハードウェア実装

lily58

• Lily58による.xmodmapのハードウェア実装

qmk_firmware

• Lily58による.xmodmapのハードウェア実装

xmodmap

• Lily58による.xmodmapのハードウェア実装

Coroutines

• stackfulness of coroutines
• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装

言語実装

• Retrofitting Effect Handlers onto OCaml
• 『その言語､定義されてますか』
• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装

Advent Calendar

• 並行並列OCaml5.0
• Extending OCaml's open
• 貧者の Algebraic Data Types と(浅い)網羅性判定
• 『エフェクトに部分型のある代数的効果』
• 『その言語､定義されてますか』
• Algebraic Effectsの型システム入門(2) 多相エフェクト
• Rubyでもalgebraic effectsがしたい!
• Asymmetric CoroutinesによるOneshot Algebraic Effectsの実装

ErgoDox

• qmk_firmwareで日本語配列 / マウスエミュレーションを頑張る

QMK

• qmk_firmwareで日本語配列 / マウスエミュレーションを頑張る

effect system

• エフェクト､do､ANF､継続､継続
• 技術書典6に合同誌を出した; effect system勉強会をやった

勉強会

• 技術書典6に合同誌を出した; effect system勉強会をやった

Continuation

• エフェクト､do､ANF､継続､継続

ANF

• エフェクト､do､ANF､継続､継続

型システム

• Unsound TypeScript: spread syntax
• Algebraic Effectsの型システム入門(2) 多相エフェクト
• Algebraic Effectsの型システム入門

Koka

• Algebraic Effectsの型システム入門(2) 多相エフェクト
• koka-lang/koka REPL超入門

Ruby

• Rubyでもalgebraic effectsがしたい!

型

• 『エフェクトに部分型のある代数的効果』

Extensible Effects

• Algebraic EffectsとExtensible Effectsの違いってなんや? 関係あんの?

Promise

• 日刊Promise(1) 初回は嬉しいASTの定義付き

日刊Promise

• 日刊Promise(4) 継続モナドで明日への布石
• 日刊Promise(3) スレッドプールっぽいものを作ってsetTimeoutを改修
• 日刊Promise(2) とりあえずPromiseを置いてけぼりにして評価器を実装する
• 日刊Promise(1) 初回は嬉しいASTの定義付き

TypeScript

• なんだかんだガチプロトタイピングにはTypeScript楽だしgRPCを手作りする
• 貧者の Algebraic Data Types と(浅い)網羅性判定
• Unsound TypeScript: spread syntax

pattern matching

• 貧者の Algebraic Data Types と(浅い)網羅性判定

日刊Coroutines

• 日刊Coroutines(2) あとはやるだけ(終)
• 日刊Coroutines(1) 初回は嬉しいASTの定義付き
• 日刊Coroutines(0) コルーチンのおさらいと近年の動向(若干)

coroutines

• From Goroutines to Coroutines: goroutines+channelsから考えるコルーチンの分類
• 日刊Coroutines(2) あとはやるだけ(終)
• 日刊Coroutines(1) 初回は嬉しいASTの定義付き
• 日刊Coroutines(0) コルーチンのおさらいと近年の動向(若干)

modules

• Extending OCaml's open

PPL

• PPL 2023を､スポンサー枠で｡
• PPL 2021を､スポンサー枠で｡

宣伝

• PPL 2023を､スポンサー枠で｡
• PPL 2021を､スポンサー枠で｡

gRPC

• なんだかんだガチプロトタイピングにはTypeScript楽だしgRPCを手作りする

Nix

• OCaml環境をNixでセットアップしてGitHub Actionsでopamに楽にパッケージを上げる

Go Conference

• GoCon2023だのCTF Writeupだの

CTF

• GoCon2023だのCTF Writeupだの

Java

• あの日見たジャバの最新バージョンを僕達はまだ知らない｡