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

Starred by kobaryo

artoy
View profile
seccamp2025_LT_デコンパイラ研究最前線
Avatar for KikyoNanakusa kikyonanakusa
7
2.2k
Effect の双対、Coeffect
Avatar for ゆきくらげ yukikurage
6
1.7k
形式手法特論：位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th
Avatar for y_taka_23 ytaka23
3
1.6k
Haskell でアルゴリズムを抽象化する / 関数型言語で競技プログラミング
Avatar for Naoya Ito naoya
19
6.1k
リバースエンジニアリング新時代へ！
GhidraとClaude DesktopをMCPで繋ぐ/findy202507
Avatar for @tkmru tkmru
8
1.9k
エンジニアのための事業貢献入門/A business introduction for engineers
Avatar for Daisuke Sato dskst
88
26k
とあるSREの博士「過程」 / A Certain SRE’s Ph.D. Journey
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
9
4.1k
AI時代のソフトウェア開発を考える（2025/07版） / Agentic Software Engineering Findy 2025-07 Edition
Avatar for Takuto Wada twada
PRO
143
65k
AIと共に進化する開発手法： 形式手法と関数型プログラミングの可能性
Avatar for Hiroshi Ito itohiro73
18
7.3k
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
280
データの整合性を保つ非同期処理アーキテクチャパターン / Async Architecture Patterns
Avatar for mokuo mokuo
61
23k
普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
Avatar for y_taka_23 ytaka23
11
3.3k
embedパッケージを深掘りする / Deep Dive into embed Package in Go
Avatar for task4233 task4233
2
450
30分でわかる「リスクから学ぶKubernetesコンテナセキュリティ」/30min-k8s-container-sec
Avatar for mochizuki875 mochizuki875
3
700
【NLPコロキウム】LLMに論理推論を教えられるか？- 人工コーパスを用いたアプローチ -
Avatar for もりし morishtr
4
530
NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
Avatar for y_taka_23 ytaka23
4
710
無自覚にメンバーの心理的安全性を奪っていた経験から得た学び
Avatar for Toshikazu Ohashi lighttiger2505
159
210k