Lean Uniting Proof and Code

December 06, 2025

5

Lean Uniting Proof and Code

konaito | FYBE

December 06, 2025

Tweet

More Decks by konaito | FYBE

See All by konaito | FYBE

0

1

Atoms_Life_Consciousness

0

53

The_Silent_Detachment

0

23

AI_Vivarium_Inside_Moltbook

0

68

OpenClaw_Power_Risk_and_the_Autonomous_Dawn

0

62

Skin_in_the_Game

0

41

AI Voice Desktop Companion

0

5

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

0

8

The_Procrustean_Bed_Aphorisms_for_the_Nonsucker

0

8

Featured

See All Featured

技術選定の審美眼（2025年版） / Understanding the Spiral of Technologies 2025 edition

PRO

117

110k

Noah Learner - AI + Me: how we built a GSC Bulk Export data pipeline

PRO

0

100

GitHub's CSS Performance

1032

470k

Producing Creativity

PRO

348

40k

Unlocking the hidden potential of vector embeddings in international SEO

0

170

Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs

PRO

0

57

Jess Joyce - The Pitfalls of Following Frameworks

PRO

1

64

Joys of Absence: A Defence of Solitary Play

1

290

Mobile First: as difficult as doing things right

225

10k

A Guide to Academic Writing Using Generative AI - A Workshop

PRO

0

200

Documentation Writing (for coders)

77

5.2k

PRO

1

490

Transcript