We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Keep It Local

00:00
Untertitel
Aus
Abspielgeschwindigkeit
1
Qualität
1080p
Untertitel
Aus
Englisch (automatisch erzeugt)
Abspielgeschwindigkeit
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Qualität
1080p
720p
480p
360p
240p
0
 Zitieren
 Teilen
 Herunterladen Bestellen
Kein Logo verfügbarEmberConf
Kein Logo verfügbarConfreaks, LLC
 Krycho, Chris

Formale Metadaten

Titel
Keep It Local
Untertitel
Or: (part of) what "reasoning about your code" really means
Serientitel
Anzahl der Teile
23
Autor
Lizenz
CC-Namensnennung 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
Keep It Local by Chris Krycho What do Steve McConnell’s variable scoping guidelines in Code Complete 2, pure functional programming, the data ownership system in Rust, classical object-oriented programming, the actor model in Erlang, and autotracking in Glimmer all have in common? Every one of them is aiming at the same key ingredient of robust, reliable software: the ability to “reason about your code.” But what does that actually mean?
00:00
MaschinencodeProgrammierungFormale SpracheTotal <Mathematik>Funktion <Mathematik>Lokales MinimumSchlussregelWiderspruchsfreiheitComputerROM <Informatik>Minkowski-MetrikBeschreibungskomplexitätAlgorithmusGamecontrollerMaschinencodeAggregatzustandFunktionalEliminationsverfahrenParametersystemProgrammierungProzess <Informatik>Rechter WinkelFunktion <Mathematik>Nichtlineares GleichungssystemGewicht <Ausgleichsrechnung>Formale SprachePhysikalisches SystemTermCachingResultanteTotal <Mathematik>MereologieStellenringLesezeichen <Internet>Transformation <Mathematik>BitSystemaufrufGemeinsamer SpeicherMAPSchreiben <Datenverarbeitung>Minkowski-MetrikVariableLokales MinimumHalbleiterspeicherSchlussregelMathematikProgrammfehlerSchaltnetzEin-AusgabeLoopSoundverarbeitungNeuroinformatikAutomatische IndexierungProgrammierspracheTypentheorieSpielkonsolePolygonzugFunktionale ProgrammierspracheMixed RealityPunktRefactoringKlassische PhysikInformatikDatenstrukturKomplexitätstheorieGüte der AnpassungPhysikalismusHöhere ProgrammierspracheBenutzerschnittstellenverwaltungssystemMinimalgradKategorie <Mathematik>FaserbündelImplementierungSpannweite <Stochastik>MultiplikationsoperatorKontrollstrukturComputeranimationJSONBesprechung/Interview
09:50
ComputerMaschinencodeBeschreibungskomplexitätAlgorithmusROM <Informatik>Minkowski-MetrikRadiusRefactoringVollständigkeitFunktionalEliminationsverfahrenKontrollstrukturVariableDijkstra-AlgorithmusProzess <Informatik>MultifunktionGasströmungHydrostatikRelation <Informatik>BeobachtungsstudieCASE <Informatik>ProgrammierungParametersystemAggregatzustandGeheimnisprinzipFunktion <Mathematik>Einfache GenauigkeitAbgeschlossene MengeOffene MengeVariableDijkstra-AlgorithmusMinkowski-MetrikPhysikalisches SystemMultifunktionProzess <Informatik>MaschinencodeCASE <Informatik>PunktRadiusProgrammfehlerBeobachtungsstudieSoftwareentwicklerMultiplikationsoperatorFunktionalProgrammierungKontextbezogenes SystemBefehl <Informatik>Divergente ReiheLeistung <Physik>Statistische HypotheseGeheimnisprinzipAggregatzustandGamecontrollerLoopTermAutomatische IndexierungGeradeZweiStellenringInterface <Schaltung>BestimmtheitsmaßComputerunterstützte ÜbersetzungHalbleiterspeicherMathematikSchlüsselverwaltungCompilerKontrollstrukturROM <Informatik>DatenmissbrauchObjekt <Kategorie>Exogene VariableMaschinenschreibenMaßerweiterungSubstitutionEinfache GenauigkeitArithmetische FolgeDatenflussStrukturierte ProgrammierungObjektorientierte ProgrammierspracheThreadHöhere ProgrammiersprachePhysikalischer EffektTypentheorieVollständigkeitATMKlasse <Mathematik>ZahlenbereichDesign by ContractFormation <Mathematik>Kontrast <Statistik>Inverser LimesRelativitätstheorieSchreib-Lese-KopfFunktionale ProgrammierspracheComputeranimationBesprechung/Interview
19:20
Einfache GenauigkeitInterface <Schaltung>Offene MengeAbgeschlossene MengeCASE <Informatik>Umkehrung <Mathematik>SystemprogrammierungATMBeobachtungsstudiePhysikalisches SystemWiederherstellung <Informatik>Stochastische AbhängigkeitAggregatzustandE-MailKonstruktor <Informatik>ZeichenketteFunktion <Mathematik>SchnelltasteLuenberger-BeobachterRootkitMaschinencodeRadiusMathematikSchnittmengeLesen <Datenverarbeitung>MereologieDreiecksfreier GraphComputerspielKategorie <Mathematik>TermGraphfärbungExogene VariableClientKette <Mathematik>Klasse <Mathematik>Klassische PhysikUmwandlungsenthalpieNeuroinformatikGruppenoperationProgrammschleifeRadiusGamecontrollerFunktionalEndliche ModelltheoriePhysikalisches SystemWeg <Topologie>Primitive <Informatik>ZeichenketteE-MailZahlenbereichObjekt <Kategorie>AggregatzustandSummierbarkeitObjektorientierte ProgrammierspracheFehlertoleranzRootkitSchlüsselverwaltungLuenberger-BeobachterMaschinencodeStrukturierte ProgrammierungFunktionale ProgrammierspracheDatenflussUmkehrung <Mathematik>Interface <Schaltung>ImplementierungSoftwaretestMultiplikationsoperatorAusnahmebehandlungEreignishorizontKonditionszahlMessage-PassingTypentheorieKontextbezogenes SystemKonstruktor <Informatik>Zusammenhängender GraphReelle ZahlWiederherstellung <Informatik>AdressraumStochastische AbhängigkeitProgrammierungKontrast <Statistik>SystemaufrufApp <Programm>StellenringFormale GrammatikComputeranimation
28:50
QuadratzahlComputeranimation
Transkript: Englisch(automatisch erzeugt)