Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for kobaryo

Starred by kobaryo

artoy
View profile
Effect の双対、Coeffect
Avatar for ゆきくらげ yukikurage
6
1.6k
形式手法特論：位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th
Avatar for y_taka_23 ytaka23
3
1.3k
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
Avatar for Naoya Ito naoya
18
5.9k
リバースエンジニアリング新時代へ！
GhidraとClaude DesktopをMCPで繋ぐ/findy202507
Avatar for @tkmru tkmru
7
1.8k
エンジニアのための事業貢献入門/A business introduction for engineers
Avatar for Daisuke Sato dskst
88
25k
とあるSREの博士「過程」 / A Certain SRE’s Ph.D. Journey
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
8
3.9k
AI時代のソフトウェア開発を考える（2025/07版） / Agentic Software Engineering Findy 2025-07 Edition
Avatar for Takuto Wada twada
PRO
139
55k
AIと共に進化する開発手法： 形式手法と関数型プログラミングの可能性
Avatar for Hiroshi Ito itohiro73
18
7.1k
AWS のポリシー言語 Cedar を活用した高速かつスケーラブルな認可技術の探求 #phperkaigi / PHPerKaigi 2025
Avatar for y_taka_23 ytaka23
11
2.7k
Type Theory as a Formal Basis of Natural Language Semantics
Avatar for Daiki Matsuoka daikimatsuoka
1
270
データの整合性を保つ非同期処理アーキテクチャパターン / Async Architecture Patterns
Avatar for mokuo mokuo
61
23k
普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
Avatar for y_taka_23 ytaka23
11
3.2k
embedパッケージを深掘りする / Deep Dive into embed Package in Go
Avatar for task4233 task4233
2
440
30分でわかる「リスクから学ぶKubernetesコンテナセキュリティ」/30min-k8s-container-sec
Avatar for mochizuki875 mochizuki875
3
690
【NLPコロキウム】LLMに論理推論を教えられるか？- 人工コーパスを用いたアプローチ -
Avatar for もりし morishtr
4
520
NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
Avatar for y_taka_23 ytaka23
4
690
無自覚にメンバーの心理的安全性を奪っていた経験から得た学び
Avatar for Toshikazu Ohashi lighttiger2505
159
210k
Webフロントエンドの脆弱性つまみ食い 2024年版
Avatar for tyage tyage
17
5.6k