Gilded Rose with Provable Rewrites in C (Symbolic Execution)

  Рет қаралды 175

Craft vs Cruft

Craft vs Cruft

Ай бұрын

Craft vs Cruft: Meditations on software quality. Episode 53: Gilded Rose with Provable Rewrites in C (Symbolic Execution)
Follow Ray Myers
LinkedIn: / cadrlife
Nopilot.dev
Mender.AI
Twitter: / lambdapocalypse
References:
Repo
github.com/raymyers/gilded-ro...
Gilded Rose kata collection
github.com/emilybache/GildedR...
Klee
klee-se.org
Crossing Refactoring's Rubicon, 2001 article by Martin Fowler
martinfowler.com/articles/ref...
ChatGPT & Copilot are NOT Refactoring Tools, video by Emily Bache
• ChatGPT & Copilot are ...

Пікірлер
Automated Gilded Rose Refactor
19:00
Automated Gilded Rose Refactor
Craft vs Cruft
Рет қаралды 98
Turns out REST APIs weren't the answer (and that's OK!)
10:38
Turns out REST APIs weren't the answer (and that's OK!)
Dylan Beattie
Рет қаралды 129 М.
Inside Out 2: Who is the strongest? Joy vs Envy vs Anger #shorts #animation
00:22
Inside Out 2: Who is the strongest? Joy vs Envy vs Anger #shorts #animation
AnythingAlexia
Рет қаралды 30 МЛН
Can A Seed Grow In Your Nose? 🤔
00:33
Can A Seed Grow In Your Nose? 🤔
Zack D. Films
Рет қаралды 30 МЛН
ХХХІІІ Жазғы Олимпиада ойындары | Дзюдо | Финал | Елдос Сметов - Олимпиада Чемпионы
08:32
ХХХІІІ Жазғы Олимпиада ойындары | Дзюдо | Финал | Елдос Сметов - Олимпиада Чемпионы
QAZSPORT TV / ҚАЗСПОРТ TV
Рет қаралды 651 М.
НЫСАНА КОНЦЕРТ 2024
2:26:34
НЫСАНА КОНЦЕРТ 2024
Нысана театры
Рет қаралды 1,6 МЛН
*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023
54:28
*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023
cpponsea
Рет қаралды 267 М.
Coding a Web Server in 25 Lines - Computerphile
17:49
Coding a Web Server in 25 Lines - Computerphile
Computerphile
Рет қаралды 331 М.
Angular Code Review Best Practices - Refactoring From Junior Level to Senior
27:10
Angular Code Review Best Practices - Refactoring From Junior Level to Senior
Monsterlessons Academy
Рет қаралды 10 М.
The 3 Laws of Writing Readable Code
5:28
The 3 Laws of Writing Readable Code
Kantan Coding
Рет қаралды 449 М.
Dissecting Devin | Craft vs Cruft 49
19:08
Dissecting Devin | Craft vs Cruft 49
Craft vs Cruft
Рет қаралды 309
JPEG is Dying - And that's a bad thing
8:09
JPEG is Dying - And that's a bad thing
2kliksphilip
Рет қаралды 94 М.
Conflict Clouds as Personal Growth w/ Karl Perry | Craft vs Cruft 47
49:27
Conflict Clouds as Personal Growth w/ Karl Perry | Craft vs Cruft 47
Craft vs Cruft
Рет қаралды 96
Compilers, How They Work, And Writing Them From Scratch
23:53
Compilers, How They Work, And Writing Them From Scratch
Adam McDaniel
Рет қаралды 136 М.
What is the Smallest Possible .EXE?
17:57
What is the Smallest Possible .EXE?
Inkbox
Рет қаралды 340 М.
Is the C programming language still worth learning?
9:27
Is the C programming language still worth learning?
Jacob Sorber
Рет қаралды 94 М.
ЧТО ЭТО За Флешки Замурованные в СТЕНЕ? #shorts
0:53
ЧТО ЭТО За Флешки Замурованные в СТЕНЕ? #shorts
Bubble™
Рет қаралды 7 МЛН
Homemade mobile phone cooling device, the phone does not get hot and can be used as a stand. I n
0:11
Homemade mobile phone cooling device, the phone does not get hot and can be used as a stand. I n
Toy Kid
Рет қаралды 35 МЛН
Сколько реально стоит ПК Величайшего?
0:37
Сколько реально стоит ПК Величайшего?
CONSTRUCT PC
Рет қаралды 3,9 МЛН
Samsung W24 waterproof hard-core display digital technology waterproof test Samsung Samsung w24
0:11
Samsung W24 waterproof hard-core display digital technology waterproof test Samsung Samsung w24
Trendy Tech Review Show
Рет қаралды 674 М.
ОТРЫГНУЛА ВИДЕОКАРТА RADEON RX 6600M в ИГРОВОМ LEGION 5 PRO / ЧТО БУДЕТ ПРИ ПЕРЕГРЕВЕ НОУТБУКА?🔥
33:14
ОТРЫГНУЛА ВИДЕОКАРТА RADEON RX 6600M в ИГРОВОМ LEGION 5 PRO / ЧТО БУДЕТ ПРИ ПЕРЕГРЕВЕ НОУТБУКА?🔥
notebook-31
Рет қаралды 115 М.
Looks very comfortable. #leddisplay #ledscreen #ledwall #eagerled
0:19
Looks very comfortable. #leddisplay #ledscreen #ledwall #eagerled
LED Screen Factory-EagerLED
Рет қаралды 13 МЛН
Раскроет ли i5 RTX 4070? #пк #игры #гейминг #сборкапк #игровойпк #pc #games #gamingpc #ncidia
1:00
Раскроет ли i5 RTX 4070? #пк #игры #гейминг #сборкапк #игровойпк #pc #games #gamingpc #ncidia
MaxxPC
Рет қаралды 44 М.