Lean Uniting Proof and Code

December 06, 2025

6

Lean Uniting Proof and Code

konaito | FYBE

December 06, 2025

Tweet

More Decks by konaito | FYBE

See All by konaito | FYBE

0

9

Atoms_Life_Consciousness

0

79

The_Silent_Detachment

0

42

AI_Vivarium_Inside_Moltbook

0

120

OpenClaw_Power_Risk_and_the_Autonomous_Dawn

0

110

Skin_in_the_Game

0

63

AI Voice Desktop Companion

0

6

龍鎖のオリ ―心の中の“こころ”―

0

10

The_Procrustean_Bed_Aphorisms_for_the_Nonsucker

0

8

Featured

See All Featured

Design in an AI World

0

160

The Curse of the Amulet

1

9.6k

RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub

141

35k

AI: The stuff that nobody shows you

PRO

3

350

Large-scale JavaScript Application Architecture

515

110k

Deep Space Network (abreviated)

0

86

Ethics towards AI in product and experience design

2

210

Git: the NoSQL Database

PRO

432

66k

How Software Deployment tools have changed in the past 20 years

0

32k

Introduction to Domain-Driven Design and Collaborative software design

1

620

Leadership Guide Workshop - DevTernity 2021

1

230

Skip the Path - Find Your Career Trail

1

72

Transcript