はじめまして！t3tra です
幅広く技術を好み色々なコトに触れています
職種としては Researcher だったのでエンジニアは自称しないようにしています...自称 "エンジニア" ってなんかアレじゃない？
計算機科学・数理論理学・計算可能性理論・遺伝工学・生物情報科学・量子情報科学・宇宙科学・ロボティクス・セキュリティ
何でもは出来ないわ、出来ることだけよ。
プログラミング言語:
Python3・C/C++・HTML/CSS・JavaScript/TypeScript・Agda・Coq (Rocq Prover)・Swift・Scala3
ライブラリ/フレームワーク:
Flask・FastAPI・Jinja2・Pydantic・React・Astro・Next.js・Hono・shadcn/ui・Bootstrap・jQuery・Mermaid・Three.js・SwiftUI・OpenGL・SPIR-V・LLVM/MLIR・llvmlite・Tcl/Tk・Qt6・OpenCV・Cubical Agda・pybind11/nanobind・PyO3/Maturin・Qiskit・libei (Erlang/OTP)・libjvm (JDK)・Mathematica (Wolfram Engine)・Boehm GC・BLAS/LAPACK・NumPy・SymPy・SciPy・Matplotlib・MediaPipe・ImGUI・pwntools・boto3・SQLAlchemy・pytest・googletest・just・Sphinx・MkDocs・MathJax・react-scan・Pyodide・discord.py
ツール類:
Git・macOS・Linux・Visual Studio Code・Wrangler (Cloudflare Workers CLI)・uv・Ruff・pyright・Homebrew・FFmpeg・CMake・Ninja・Clang・objdump・LLDB・Radare2・Ghidra・CyberChef・Metasploit Framework・Slurm・Terraform・Kubernetes・Redis・systemd・hyperfine・NodeJS・Deno・Bun
ちなみにこのサイトは FastAPI + Jinja2 で構築されており、ホスティングには Cloudflare Workers (Beta: Python Runtime) を利用しています。
HTML/CSS は手書きのもので、UI フレームワーク等は使用しておりません。個人的に嫌いなので JavaScript も不使用です。
いつか BBS も実装したいなぁ、私のインターネット史の始まりは掲示板だったし。