Lock in $30 Savings on PRO—Offer Ends Soon! ⏳
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for wint

Starred by wint

wint
View profile
Symbolic model checker from scratch in Rust
Avatar for r1ru riru
1
900
1000 行で実現する Linux on Browser
Avatar for bokuweb bokuweb
17
5.2k
現代的システム開発概論 2024
Avatar for Recruit recruitengineers
PRO
113
51k
12年前の『型システム入門』翻訳の思い出話
Avatar for Yusuke Endoh mame
14
2.5k
Linux コンテナの歴史を追うとコンテナの仕組みがわかる / Dai Kichijoji pm
Avatar for tenforward tenforward
36
16k
集中して作業する技術/how_to_work_deeply
Avatar for Ryo Tomidokoro hanhan1978
65
53k
開発部に不満を持っていたCSがエンジニアにジョブチェンしてわかった「勝手に諦めない」ことの大切さ
Avatar for Sakurai sakuraikotone
49
28k
【東京都知事選2024】安野たかひろマニフェスト（サマリー版）ver 2.0
Avatar for 安野たかひろ takahiroanno2024
22
270k
経営視点から捉えた開発生産性 / Development productivity from a management perspective
Avatar for Masayuki Imamura kyuns
12
11k
アプリケーションが 正しく動作するということ - 自動テスト編 / Automated Testing
Avatar for soudai sone soudai
PRO
18
3.9k
えにしテックさん１５周年に寄せて〜万葉と私のこれまでの学び〜
Avatar for Yasuko Ohba nay3
65
49k
tree-sitter-rbsで作って学ぶRBSとパーサージェネレーター
Avatar for Tomohiro Hashidate joker1007
3
340
SQLを速くする！インデックス入門
Avatar for ムーザルちゃんねる mu_zaru
45
11k
次世代Web認証「パスキー」 / mo-zatsudan-passkey
Avatar for Yukiya Nakagawa nkzn
32
18k
型クラスと依存型のカルパッチョ、代数的構造を添えて
Avatar for soukouki soukouki
2
600
LLMの現在
Avatar for Preferred Networks pfn
PRO
229
120k
オブジェクト指向宗教史
Avatar for Hisateru Tanaka tanakahisateru
32
18k
人工衛星管制システムにおけるCICD / CICD in satellite control systems
Avatar for iselegant iselegant
8
1.7k