GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — aiya000 - Overview

@aiya000 aiya000 Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
@aiya000
aiya000
Follow
View aiya000's full-sized avatar
🐶
Inu

aiya000 aiya000

🐶
Inu
Follow
Sponsor
🖼️~~Programmer with no vibe coding~~ → ⚙️Full vibecoder (hobby and professional use) -📘「せつラボ」シリーズを執筆(数学および圏論の初歩入門書) → https://aiya000.booth.pm/items/131
191 followers · 54 following
  • Japan
  • https://twitter.com/public_ai000ya
  • @public_ai000ya
  • https://aiya000.booth.pm
  • https://zenn.dev/aiya000
  • https://qiita.com/aiya000

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
  • Sponsoring
aiya000/README.md

にっこにっこにー🤟🙄🤟
Moggiと''love''で接近中!


注記:

最近はフルバイブコーダーとして活動中。
以前はコードクオリティとメンテナンス性を、技術的かつ美術的視点で捉え、活動を行なっていました。

以下の内容は、まだこの差分について更新がありません🙋‍♂️


Webフロントエンド、静的型付けエンジニアです。 静的型付き言語・型システムに強い興味があります!

  • ✨ Vim ✨

    • Vimプラグインをいくつか作っています
  • ✨ Haskell ✨

    • すき: lens, megaparsec
  • ✨ TypeScript ✨

    • すき: Nuxt.js, Vue.js
  • 💠 自己紹介2023 💠


職務経歴書

  • public_ai000ya - X bio

スキルおよび経歴が、詳細に確認できます。 Twitterより流入してくれた方々向けなので、かなりカジュアルですが、ご了承ください。

職務経歴書プレビュー

(2025-05-20 現在)


ポートフォーリオ

  • aiya000 - LAPRAS

技術力スコア・市場価値スコア・スキルや実際の活動(主にGitHub・Qiita・Zenn)・参加したイベント(connpass経由)が確認できます。

職務経歴書プレビュー

(2025-05-20 現在)


実質自己PR

rirekisho - GitHub


自己紹介・活動

  • 仕事

    • フロントエンドエンジニア(現)
    • フルスタックエンジニア(旧)
  • 趣味

    • 数学(圏論)
    • 技術書執筆
  • すき

    • ✨ Vim ✨
    • ✨ Haskell ✨
      • lens, servant, mtl, megaparsec
    • ✨ TypeScript ✨
      • Nuxt.js, Vue.js
    • Idris, Scala, Kotlin
    • VRChat
    • YazawaNico
  • その他

    • Zenn: https://zenn.dev/aiya000
    • Qiita: https://qiita.com/aiya000
    • ブログ(雑記・個人的な報告など): http://aiya000.github.io

作品

書籍

【「せつラボ」シリーズを執筆中✨ -- 数学および圏論の初歩入門書】
💠 https://aiya000.booth.pm/items/1316747 💠
💠 https://aiya000.booth.pm/items/1298622 💠


【「矢澤にこ先輩といっしょに代数!」を執筆! -- 代数的構造についての初歩入門書】
💠 https://aiya000.booth.pm/items/1575006 💠
💠 https://aiya000.booth.pm/items/1575006 💠


Popular repositories Loading

  1. hs-time-script hs-time-script Public

    Time script = Vim script + static typing

    Haskell 51 1

  2. luarrow.lua luarrow.lua Public

    True pipeline operators and elegant Haskell-style function composition for Lua

    Lua 46 1

  3. nico-lang nico-lang Public

    Nico-lang is the programing language of Nico Yazawa

    Haskell 32

  4. vim-ghcid-quickfix vim-ghcid-quickfix Public

    Increse your Haskell development via ghcid!

    Vim Script 32 5

  5. dotfiles dotfiles Public

    Practical configuration files by 5000++ commits. e.g., Neovim and tmux with editprompt for Claude Code. Global AI Instructions for Claude Code, Devin, gemini-cli, and (GitHub) copilot-cli. No needi…

    Lua 21 1

  6. bakaup.vim bakaup.vim Public

    bakaup.vim is an enhanced automatic backup system. Backup your file when you written a file like`/path/to/file.txt`, it backed up to `{backup-dir}/%path%to%2025-10-10_09-40_file.txt`

    Vim Script 21 1

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.