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