アリー・セルッティ

自己紹介

私はカリフォルニア大学サンタクルーズ校のコンピューターサイエンス学部学生です。

ソフトウェア・プログラミング言語論

長年の興味の一つなのは、fs2cats-effectにあるような関数型でストリーミングというパラダイムです。或る時、ユーザー空間の協調的マルチタスクとカーネル空間のプリエンプティブマルチタスクの相互作用をもっと深く研究したいです。

最近、Hexcastingのパターンを出力するOCamlのような言語のコンパイラーを設計してみています。Hexcastingはスタック指向で連結型言語なので再帰的な値や束縛をコンパイルすることは複雑になります。ただ今、私の言語の動作に関する正式なドキュメントをまだ書いていませんが、考えなどを経時的に記録するメモを公開しています。

もう一つの長年のプロジェクトなのはFancadeのレベルへのコンパイラーです。Fancadeの制御構造にコンパイルすることが難しいので現在後回しにしています。

ハードウェア

長い間、CPUはクロックパルスを待って次のパイプラインステージへ続ける代わりに入手可能になり次第データを処理する「クロックレスコンピューティング」に私は興味があります。例えば、エネルギー効率のために作ったクロックレスコンピューターを開発するGreenArraysなど、このようなデザインを検討している会社はすでにあります。

エネルギー効率に関して、他の感化なのは太陽光だけで電力を供給するLow-tech Magazineです。或る時、このサイト(それとも、サイトの部分)を自分の再生可能エネルギーだけでホストしたいです。

プログラミング経験

私は今主にScalaを使って、Javaも得意です。他の簡単にプログラムできる言語はC、C++、C#、Rust、Kotlinです。TypeScript・JavaScript、Python、F#、Crystal、Lua、Haskellを使ったこともあります。GitHubはs5bugですが、多くのプロジェクトは公開していません。

音楽

ピアノを始めた2008年から音楽しています。2013年からフルート練習していて、2019年と2020年では高校のマーチングバンドの一位フルートでした。それ以来、焦点は主にEWIに移っています。今の趣味の一つは好きな曲を書き写すことですし、援助のためにピアノを習い直したくて太鼓も習いたいです。

ゲーミング

私はいたちごっこの化身です。何百時間ジオメトリーダッシュをして何百時間もセレステをしたのは私の性格を証明します。他の大好きなゲームはゼルダの伝説:時のオカリナ、コロリンパ2:アンソニーと金色ひまわりのタネ、ホッローナイト、グランブルーファンタジー・ヴァーサス・ライジングです。

ファイナルファンタジーXIVは2ヶ月だけで一番プレイしたゲームになり、今は2000時間以上(二番プレイしたゲームの6倍)のプレイ時間です。Lodestoneページにパラメータとアチーブメントが見えます。主に漁師、モンク、黒魔道士としてプレイします。私は未予習攻略やレイドレースを楽しむので、いたちごっこのマインドがある固定を参加したいです。

学校のプロジェクト

学校のためにポートフォリオを作らなくてはいけないとウェブページを作ります。辞書式順序を保つために、特別な数体系を使います。

2022春
2021年から2022年までの春の学期です。
2022夏
2021年から2022年までの夏の学期です。
2023秋
2022年から2023年までの秋の学期です。
2023冬
2022年から2023年までの冬の学期です。

2022春の日本文化

現在は英語のみです。

2023秋の視覚的な伝達と相互作用

現在は英語のみです。

このウェブサイトについて

私はCSSやJavaScriptやカスタムなフォントを使わずにaly.fishを閲覧しやすいように工夫してみています。でも、サイトの一致のために、CSSとフォントは使われますしユーザーさんのブラウザがダウンロードするでしょう。URLで言語がないページでは(例えば、このページは/ja/があります)、ユーザーさんの言語にリダイレクトするためにJavaScriptがダウンロードされます。JavaScriptが無効になったら、そのページの言語リストが表示されます。