ほた (@hota1024) header
ほた (@hota1024) profile picture

大学生 プログラミング言語とか OS とか Web とか TRPG とか SFC22/SecHack365 2021 表現/SecCamp 2020 @ShizuokaTECH

静岡↔藤沢
Joined July 2017
Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)Photo by ほた (@hota1024)
▲#とんがり帽子のアトリエ #WitchHatAtelier の世界を体験できる対話型RPG とんがり帽子のアトリエTRPG が発売決定! hj-tongari-trpg.com/ ▲11/14(土)開催のTRPGサミットにて白浜鴎氏描き下ろしのメインビジュアルを初公開! ブースに『キーフリー』のコスプレイヤーが登場し、フライヤー配布を行います。 ▲ぜひお立ち寄りください!
6
1,140
285
2,290
273,852
ほた retweeted
もうすぐ新作のMacアプリも出すよ 動くものは1日で完成したんだけど、調整と改善で4ヶ月以上かかってる…
4
51
22
1,286
81,267
🫰🫰
K/DA × ユニクロ UTme! スタート!🎮 世界中のファンを魅了したK/DAの音楽とスタイルを反映した公式グラフィックスタンプがUTme!に登場。店舗のiPadでスタンプを選んで配置し、自分だけのTシャツやトートバッグをその場で作れます。 📍対応店舗:잠실 롯데월드몰점、명동점 ※10/23〜開始(Riot GamesのWorlds 2026 & K/DAカムバック記念コラボの一環) ※日本は実施未定だが、6年前みたいに来る可能性も
2
181
13
2,980
63,254
ほた retweeted
#Glisp Canvasを(ひとまず)リリースしました 6年前からずっと頭の中で渦巻いていた機能のイメージがようやく取り出せて、とてもスッキリしている 関数型言語の構文木をinteraction substrateに宣言的なグラフィックツールをつくったら最高じゃない?っていう
I've just released #glisp Canvas; it's the biggest update since 2020💥 - Directly manipulate a shape, and its code rewrites itself - Incremental evaluation - Non-destructive path ops: offset, unite, blend… - Files are SVGs with the program inside glisp.app/canvas/
3
36
3
317
14,075
民法656条及び648条により支払いを拒否しますといいましょう。 医療契約は準委任なので、報酬は事前の合意で決まります(民法656条・648条)。やばくない金額で合意してください #mond_minpou_shindan
34
6,064
1,457
38,740
4,062,738
ほた retweeted
多摩美術大学芸術祭2026「artopia」公式サイト / WEB 2026年度多摩美術大学大学芸術祭「artopia」の公式サイトにて実装を担当させていただきました。 本サイトの制作にあたり、キービジュアルや映像をはじめ芸術祭の手掛けてくださった皆様、そして実行委員として運営を支えてくださった皆様に、心より感謝申し上げます。 tamabi-artfes.com/
1
24
179
6,842
ほた retweeted
そーいえばコードレビューはしなくなったけどAIに作業させてる時間になるべく全体のコードを読むようにはしている。AIに質問しながら。 なんというか無駄かもしれないけど、コードを読まないと解像度が上がらないんだよね
1
10
3
101
5,793
ほた retweeted
SFC合格しました😭 環境情報学部です! 来年からよろしくお願いします🙇‍♂️
19
10
3
241
6,917
ほた retweeted
CMSやエディタ自作界隈なるものを最近肌で感じている セルフホスト、ローカルファースト、ハイパーテキストの話をする会を催したら面白そう (BNNとか日本デザインセンターみたいな、デザイン方面の版元や制作会社を巻き込んで) baku89.com/%E8%87%AA%E4%BD%9…
7
61
5,637
◤ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ 映画ぼっち・ざ・ろっく! 星のあしあと ティザービジュアル公開 _____________◢ 「ぼっち・ざ・ろっく!」前日譚が 2027年に待望の映画化――。 監督・若林信× キャラクターデザイン・堀口悠紀子× 脚本・吉田恵里香× アニメーション制作・CloverWorks bocchi.rocks/ #ぼっち・ざ・ろっく
831
75,009
12,747
261,024
13,904,027
LoL のチャンピオンのレベルごとのパラメータの変化を確認できるサイトを作った. (細かなバグは結構あるけど...) loldata.hota.codes/ja/champi…
2
202
ぜひLoLにきてください。 みんなやさしくて、あったかいゲームですよ。 ここには、5人で力を合わせる喜びがあります。 はじめて会った仲間と、ひとつの目標に向かって走る。 言葉が通じなくても、ピン1つで気持ちは伝わります。たくさん鳴らしてくれる人もいます。 170体をこえるチャンピオンが、あなたを待っています。 きっと「この子だ」と思える相棒に出会えるはずです。 出会えなくても大丈夫。毎週新しいスキンが、あなたを応援してくれます。 ゲームの中では、いろんな季節がめぐります。 春には新しいアイテム、夏には大きなパッチ、秋には世界大会。 そして冬には、ランクがそっとリセットされます。何度でも、やり直せるのです。 勝った日は、仲間と「GG」と言い合って笑いましょう。 負けた日も、「GG」と言えば、それでおしまい。 いつだって次の試合が、すぐそこにあります。本当に、すぐそこに。 10年以上、世界中の人に愛されてきた理由が、きっとわかります。 あなたの毎日に、ちょっとした熱を。 LoLは、今日もあなたを待っています。
ユナイトがサービス終了することになったのですが、LOLって今どんな感じでしょう?🙄 むかーしむかし、NA鯖で遊んでいて、日本鯖が実装されてからも少しプレイしていました。 復帰勢にも優しい環境でしょうか? 今がっつりLoLをやっている方の意見を聞いてみたいです🙏 #LOL #リーグオブレジェンド
75
2,377
432
10,456
2,128,515
ほた retweeted
Verylの形式検証についてzennに記事を書きました。 KaniによるVerylコンパイラの形式検証|dalance zenn.dev/dalance/articles/44… #zenn
こちらを参考にVerylコンパイラの形式検証を試しています。SVの規格で定義された意味論をkaniで書き、VerylコンパイラのRustコードを直接検証するループをCodexに回してもらうことにしました。さっそく4値評価周りのバグが見つかっており、役に立ちそうです。
1
19
48
2,741