形式手法のまとめlikers
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/
- @Andhy
Andyさんです色々やってます「プログラミングのお勉強」facebookグループ運営https://www.facebook.com/groups/486375838546664/営業メールお断り
- Madnyax@Madnyax
関西出身の一浪一留した元大学院生。 今は工場でシステム開発 最近はLinuxの諸々を勉強中
- Kohki Yamagiwa@tamanobi
Vim/Python/生成AI/C++/Common Lisp/PHP/JavaScript/データ分析/機械学習/画像解析/NEM
- @s_karuta
テストは品質を上げるきっかけ、品質を上げるのはプログラミングという考えを大事にしたい。
- @kahirokunn
Kubernetes Engineer
- 清水 素釘武@tshimizu8
電子工作、機械学習、脳、人工知能、哲学、ロボットなどをテーマに研究、Makeしています。
- Yuki Kokubun@Kuniwak
若くない何かの悩み。