yttrium173340 (@yttrium173340)

44 Follows

View profile

Masato Ohba

ohbarye

Software Engineer / Engineering Manager

10 followers 31 decks

From Formal Specification to Property Based Test

4.9k

5年間のFintech × Rails実践に学ぶ - 基本に忠実な運用で築く高信頼性システム / 5 Years Fintech Rails Retrospective

13k

nrs

nrslib

https://nrslib.com

68 followers 78 decks

任せる範囲はこう広がった / How the Scope of AI Delegation Has Expanded

290

どこまでを引き受けるのか — 変わり続ける役割と、変わらない思考法 / How Much We Take On — Evolving Roles and Enduring Ways of Thinking

1.2k

Takumi Shotoku

sinsoku

9 followers 27 decks

TypeProf 開発レポート 2026-05 / TypeProf Dev Report 2026-05

140

Automatically generating types by running tests

19k

sapi_kawahara

2 followers 51 decks

氷川神社の話

EzSignという電子ペーパー

godan

3 followers 24 decks

献立を支える技術

110

僕のイベントスタッフ装備の最適解

170

vaaaaanquish

14 followers 21 decks

人はいかにして確率的な挙動を受け入れていくのか

3.9k

生成AIによるソフトウェア開発の収束地点 - Hack Fes 2025

21k

Tomoyuki KOYAMA

tomoyk

2 followers 18 decks

OSINT for SRE:  学術論文とポストモーテムから探る システム障害の共通パターン / SRE NEXT 2026

4.8k

イベントとリソース定義から作成した依存グラフを用いた連鎖障害の調査時間の短縮 / DPS-206

ちげ

chige

NIT, Nara College Dpt.of Electrical engineering
-> NAIST SE-lab -> Goodpatch

2 followers 24 decks

今更聞けないデザイン思考 - 高専キャリア2024冬 / imasara-design-thinking

1.5k

Stol - UNISYS hackathon

400

Junichi Kobayashi

junk0612

Working as Rails engineer as usual.
I'm interested in Ruby's parser.

4 followers 19 decks

rage against annotate_predecessor

260

The Implementations of Advanced LR Parser Algorithm

2.8k

nwiizo

79 followers 97 decks

20分でわかるセキュアAPI

260

型は壁、Rustでもバグを直すな、表現できなくせよ

2.4k

Kazuma Watanabe

wata727

1 follower 10 decks

Terraform言語の静的解析 / static analysis of Terraform language

200

SmartHRにおけるBiTemporal Data Modelの実践のその後 / After the practice of BiTemporal Data Model in SmartHR

3.9k

sue445

5 followers 15 decks

ruby.wasmとPicoRuby.wasmに対応した仮想DOMライブラリを作ってる話 #kaigieffect_kaigi

170

Create Ruby native extension gem with Go

820

Takuto Wada

PRO twada

395 followers 52 decks

2026年のソフトウェア開発を考える（2026/07版） / Agentic Software Engineering 2026-07 Findy Edition

26k

2026年のソフトウェア開発を考える（2026/05版） / Software Engineering Scrum Fest Niigata 2026 Edition

19k

ar_tama

23 followers 26 decks

翻訳・対話・越境で強いチームワークを作ろう！ / Building Strong Teamwork through Interpretation, Dialogue, and Border-Crossing

2.8k

AIコーディングとエンジニアリングの現在地 / A Snapshot of AI Coding and Engineering(Sept. 2025)

750

yag_ays

3 followers 7 decks

対話型AIの構築における工夫とデータセットの重要性 - 素早くデータを構築し検証するためには

7.2k

目と耳を持った自然言語処理 - スタートアップにおける価値創出のために

3.9k

uzulla

21 followers 43 decks

ALL CODE BASE ARE BELONG TO STUDY

7.8k

バイブスあるコーディングで ~PHP~ 便利ツールをつくるプラクティス

590

さっちゃん

ne_sachirou

.｡oO(さっちゃんですよヾ(〃l _ l)ﾉﾞ☆)
https://scrapbox.io/ne-sachirou/

2 followers 61 decks

敎へない敎師と、考へる機械

火星曆

Kuniwak

PRO orgachem

28 followers 54 decks

AIベース静的検査器の偽陽性率を抑える工夫3選

2.8k

仕様漏れ実装漏れをなくすトレーサビリティAI基盤のご紹介

11k

MIXI ENGINEERS

PRO mixi_engineers

198 followers 249 decks

『モンスターストライク』の運営に伴走する！データ民主化への解析グループの3つのアプローチ

510

実践が先生だった— 新卒サーバーエンジニア1年目のリアル

540

Takuma Kajikawa

kajitack

24 followers 29 decks

TypeScript × React コンポーネント設計

なぜ関数型プログラミングで「型」と「証明」が語られるのか #fp_matsuri

1.1k