Kodsnack 712 - När man kan sin modell

Fredrik och Kristoffer sågs på stan för ett snack om Gram, teoribyggande, och ganska mycket mer.

Kristoffer jobbar på ett jätteprojekt när han inte har något annat för sig. Kommunikation är ett problem - när det tar massor av tid att förklara varför och hur någonting behöver göras, tid man också skulle kunna lägga på att få en del av dem gjorda. Problemen kanske också behöver mogna och utforskas innan det går att låta någon annan göra något åt dem på ett effektivt sätt.

Spelar det någon roll hur mycket ett gränssnitt sticker ut eller passar in i nuvarande trender? Vad får uppmärksamhet och varför? Och varför får det inte fler konsekvenser att påstå saker vitt och brett? Man borde inte bygga verktyg som stödjer dåliga sätt att jobba på. Man borde hitta bättre sätt att jobba istället för att bygga bättre verktyg för att stödja dåliga arbetssätt. Eller? Branschen har fastnat i icke-optimala sätt att jobba.

Vad vill Kristoffer göra med Gram och varför? Och vad vill han inte göra? Hur borde flikar fungera? Och hur borde bra git-stöd i en textredigerare se ut?

Varför är långa listor i gränssnitt alltid svårt? Det och andra problem man borde lösa på ett bra sätt en gång, inte halvbra många gånger.

Programmering som teoribyggande. Varför kan vi inte rita i våra IDE:er, eller på andra sätt fånga allt teoribyggande och alla antaganden som inte går att utläsa av koden?

Gränsen mellan språkmodeller och deterministiska verktyg. AI-sök saboterar möjligheter att hitta vissa sorters nålar i höstacken.

Kodgranskning och teoribyggande - borde man fokusera mer på teorin i sitt granskande? All teori som inte finns med i koden.

Rust är lite för bra för Kristoffer. Men det finnas massor som skulle kunna bli bättre också.

Ett stort tack till Cloudnet som sponsrar vår VPS!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @thieta, @krig, och @bjoreman på Mastodon, har en sida på Facebook och epostas på info@kodsnack.se om du vill skriva längre. Vi läser allt som skickas.

Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

Länkar

• Sommar-låten
• Hajk
• jj - git-ersättare
• Zed
• Patrik - vän av och gäst i podden
• Bug refinement - man vet att det är viktigt när förklaringen är femton sidor om man skulle skriva ut den!
• Mörk - Kristoffers markdownparser i Gleam
• Om jag haft mer tid hade jag skrivit ett kortare brev
• Gram
• Neovim
• Kai's power tools
• Bryce
• Kai's power goo - video
• Kai själv
• Jupyter notebook
• Magit
• Versionskontrollsystem där man skapade motsvarigheten till en commit först - innan man börjar göra ändringar - var nog just jj i ett avsnitt av Developer voices
• RAD debugger
• RAD game tools
• REPL - read-evaluate-print-loop
• Tailwind
• Immediate-mode GUI
• CSS
• GPUI - hårdvaruaccelererat UI-ramverk som driver Zed och Gram
• Gleam
• Commonmark
• Servo
• Nlnet - ger stöd till personer och organisationer som bidrar till ett öppet informationssamhälle
• Henna Virkkunen
• Computer science off course
• Programming as theory building
• Peter Naur
• BNF - Backus-Naur-form, eller Backusnormalform
• MS paint
• Stöd oss på Ko-fi!
• objc2 - Rust-låda med Objective-c-bindningar
• Newspeak
• Deltadb - Zeds nya lösning för versionskontroll
• Zig
• Tokio
• Garry Tan - VD för Y combinator och glad vibekodare
• Token ring

Titlar

• Ett nytt utvecklingspass
• Den tekniska personen
• När vi har mer än tre användare
• Ticket-fokuserat sätt att arbeta
• Lär er använda git
• Jag borde bli bättre på git
• Alla borde bli bättre på git
• Atomerna för att bygga saker
• Ett sämre git
• Sortera sin kompost
• Välja precis rätt ord
• Gram power tools
• Metaboll
• Experimentgram
• Det är ju bara en texteditor
• En ny padda
• Immediate-mode CSS
• Tre tentakler
• Ni ser inte bra ut utifrån
• I ord förklara vad jag vill ha
• När man kan sin modell
• Vem är du att vara upprörd?
• Par-promptande
• Glorifierat undo
• En teori om hur man vill jobba
• Framtiden för programmering
• Min startup i Gleam
• Rust är för bra
• Nu sker det magi i bakgrunden
• Värdelös kunskap
• Professionell Rust
• Ett skal som ser ut att funka
• Mesh och b-post