abap34
@abap34
Followers
2K
Following
24K
Media
174
Statuses
3K
CS undergrad in https://t.co/8ti769vRtZ / https://t.co/3qV5KQw5Tg / プログラミング言語の研究をしています
Joined August 2018
証明支援系カレンダーの18日目の記事を投稿しました！ カバレッジ検査アルゴリズムの検証付き実装をAgdaでした話です！ https://t.co/JXR422vFSa
1
8
14
このあとの発表資料です！ Julia の新世代 Language Server について，Julia コンパイラインフラの最近の進展と一緒に紹介します！ #JuliaLangJa2025
https://t.co/PBX0CJJCLE
speakerdeck.com
0
13
60
JET・JETLS が recursive に依存パッケージまで解析できるようにした！ 無制限に解析させてくとまだまだ多くの場合で解析がコケちゃうけど、うまくいった時は大量にバグ候補が見つかって見ててめちゃ楽しい 😀(これは CSV.jl を開いて InlineStrings.jl のバグらしきものを発見する様子)
0
3
18
博士課程の先輩に 「コンフォートゾーンにとどまっちゃダメだよ」 ってアドバイスされたから 「たまには四川屋台じゃなくてわざわざ王将でチャーハン食べてみるみたいなことですか」って言ったら そうだよ って言われたことある
0
4
90
自分はこれから一生マジョリティ側の人間だぜ～ と全く思っていないためマイノリティを排除するような風潮は厳しいとおもってゐる とりあえず自分と自分の友達 (もちろん留学生の友達含め) が安心してパソカタできるようにしてくれるところに入れたつもり
0
0
19
そういえば少し前にブログに類似記事のサジェスト機能をつけたんだけど結構いい感じに動いていて happy (tf-idf につっこんでるだけだけど全然十分 👍)
0
0
12
短期間で LinkedIn ないの？ｴｰ が 2回生えたのでアカウント作りました (持ってはいたけど) マイミク登録お願いします 👇 https://t.co/0tmLc02tiO
jp.linkedin.com
Undergraduate Student at Institute of Science Tokyo · Undergraduate student at the Institute of Science Tokyo. I research the theory and implementation of making programs fast and secure without...
1
1
37
簡単にですが参加しますよブログ書きました。 プロポーザルも載せてます https://t.co/s1iigoED6E
abap34.com
Google Summer of Code 2025 に参加します！ やりたいことや準備について書きます。
0
4
38