Typesystemer

Hvilke verktøy har vi for å sjekke at koden vi skriver gjør det vi tror den gjør? Hva slags oppførsel kan vi garantere, hva kan vi ikke garantere og hvorfor er det sånn? Hvorfor er god testing vanskelig? Kan testing påvirke koden i negativ retning? Er unit-testing og typer ekvivalente? I denne episoden tar Stian og Mikael en liten runde i testingen og verifikasjonens verden.Artikler:Oskar Wickström - Property-Based Testing in a Screencast Editor: Introduction: https://wickstrom.tech/programming/2019/03/02/property-based-testing-in-a-screencast-editor-introduction.htmlAn introduction to property-based testing: https://fsharpforfunandprofit.com/posts/property-based-testing/---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

10 Jun 201931min

Hva er kompleksitet og hvordan manifesterer det seg i koden vi skriver? Må du stå evig vakt mot kompleksiteten, eller finnes det enklere måter å holde den unna? Hvordan påvirker kompleksitet opptaket av ny kunnskap? Har enkel tilgang på 3. parts kode gjort noe med hvordan kompleksitet sniker seg inn i kodebasen? Dette er noen av spørsmålene som dukker opp i denne episoden av Kortslutning, hvor Stian og Mikael tar et lite dypdykk i kompleksitet i frontend-kode.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

27 Mai 201933min

Mikael og Stian har "nettopp" byttet jobb. Med det så kommer det også mange andre endringer i hverdagen som mange kan kjenne seg igjen i. I denne episoden snakker de om hvordan jobbytte har vært for de og hva de ser på som viktig både for seg selv og selskap som skal legge tilrette for tiltredelse og fratredelse.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

13 Mai 201932min

I denne episoden plukker Mikael og Stian fra hverandre ideen om hva et jobbintervju kan være. Alle bitene, fra første møte til siste invervju, blir studert og drøftet. Arbeidsmarkedet har forandra seg, så kanskje det er påtide at jobbintervjuene forandrer seg også?---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

15 Apr 201936min

Å skaffe nye kolleger er en stor del av bransjen stort sett uansett hvor du jobber. Og det er mange ulike måter å gjøre rekruttering på. Mikael og Stian diskuterer hvordan de tenker det kan gjøres best, og litt om hvordan det ikke burde gjøres.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

1 Apr 201933min

Hvordan påvirker chat og internsystemer bedriftskulturen din? Hvilke utfordringer eksisterer og hvilke forskjeller blir gjeldene for ulike typer bedrifter? Mikael og Stian har tatt en prat om egne erfaringer med og tanker om den digitale bedriftskulturen som oppstår i samarbeidsverktøyene vi bruker hver dag.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

18 Mar 201935min

Har vi gått for langt med bruken av avhengigheter? Er et avhengighetshelvete uungåelig eller bare en følge av mangel på kost/nytte analyse? Mikael og Stian snakker seg gjennom avhengigheter og hva de gjør med koden vi skriver i denne episoden av Kortslutning.---Følg oss og send oss meldinger på @kortslutning.fun. Hosted on Acast. See acast.com/privacy for more information.

4 Mar 201933min