sno2wman.net

お前の好きなものが分かってよかった

『テレフォン・ハンバーガー』 コメント欄

自己紹介

怪しい奴め お前は誰だ

次のものに興味があります.いくつかの項目には具体的なキーワードも付けておきます.ただし,私はここで挙がっているあらゆるものの専門家ではありません.

  1. Webフロントエンド開発 React Next.js
  2. 再現性のある開発環境の構築 Nix Dev Container
  3. 音MAD Otomadb
  4. 論理学 様相論理 認識論理 Gödelの不完全性定理
  5. 型理論
  6. 定理証明支援系 LEAN
  7. 計算理論
  8. 分散システム Kubernetes
  9. 知識工学
  10. 推薦システム
  11. 検索システム

プロジェクト

プロジェクトにようこそ!

Otomadb

ユーザからデータを募集したりすることによって,音MADの体系的なデータベースを作る. 技術的には,以下の目的を持って開発している.

タグシステムの改善
従来のタグシステムの不満点(タグの親子関係やエイリアス)を改善したタグシステムを作成する.
推薦システムの構築
タグシステムやユーザのいいね情報から,好きそうな音MADを推薦するシステムを作成する.

制作物

つくりましょう つくりましょう さてさて何ができるかな

SnO2WMaN/infrastructures

Nix
NixOS
Kubernetes
ArgoCD

自宅で実際に運用しているサーバやk8sクラスタ等の構成ファイル.

Otomadb Web

TypeScript
Node.js
Next.js
GraphQL
urql
Tailwind CSS
Storybook
Vercel

OtomadbのWebフロントエンド.

Otomadb API

TypeScript
Node.js
GraphQL
GraphQL Yoga
Prisma
PostgreSQL
Neo4j
Nix

Otomadbのバックエンド. GraphQL APIとしてやり取りする.

Otomadb k8s Manifests

Kubernetes
ArgoCD

Otomadbのk8sマニフェスト. 実際にこのマニフェストが自宅のk8sクラスタにデプロイされている.

rust-proplogic-toylang

Rust
Nix
Dev Container

命題論理の簡単な計算機をRustで作る.次の目的があった.

  1. Rustの勉強
  2. Dev ContainerにNixを入れて安定したRustの開発環境を構築する.

deno2nix

Deno
Nix

Denoで書かれたプログラムをNixでうまく取り扱うためのユーティリティ.

corepack.nix

Node.js
Nix

Node.jsのパッケージマネージャ管理ツールであるCorepackをNixでも使うためのユーティリティ.

satyxin

Nix
SATySFi

SATySFIのパッケージ解決などをNixで行うための諸々.

All your nicovideos in Scrapbox

Deno
TypeScript

Scrapbox内で言及したニコニコ動画の動画を全て取得する.使いやすいようにAPIとして提供.

連絡先

It's the hotline, right?

Twitter @SnO2WMaN
コミュニケーションツール(1).
Scrapbox /sno2wman
私的なメモや日報など.
GitHub @SnO2WMaN
制作物(1).
Email [email protected]
重要な連絡.
Fedibird @SnO2WMaN
コミュニケーションツール(2).

ソーシャル

改訂により2022年度から高等学校の学習指導要領から『現代社会』は消滅しました.

追加や削除は連絡先またはIssueより連絡してください.

haxibami haxibami.net
一階堂洋 みそは入ってませんけど
非常に混乱した文体.
みかぶる 人造日本人
りんすき rinsuki.net
uynet ゆいネット
ふぁぼん ふぁぼんのホームページ
Aumy fuku.day
Xe Iaso Xe
Nixや様々なWeb技術、面白い試みなど.
gfngfn gfnweb
組版システムSATySFiの開発者.
Ryota Kameoka ryota-ka.me
ブログにNixなどの日本語の記事がある.
Sigmy shigu.jp
バイブ デカメシドットコム
okkaradon okkaradon.com

スキルセット

わたしにできること

TODO:後で書く.制作物のタグなどを参照してください.