Nevromorf elektronikk
1 nm (nanometer, 10^-9) transistor.
100 milliarder transistorer i en prosessor.
Silisiumbasert.
Men skalering er forbi, koste mye å bruke de mest moderne prosessorer.
Hjernen: 20 W. Store datasenter: 10-30 MW.
Hjernen kan lære: energieffektiv.
Nevromorf teknologi: hente inspirasjon fra hjernen, energieffektiv teknologi på noen områder. Stikkord: Mønstergjenkjenning.
Prosessor, og minne. Lagring og behandling er separert (forenklet vekk fra prossesorens arbeidsminne). Henting og skriving av data - trafikk - koster energi.
Hjernen funker ikke sånn!
Materialer som kan endres (struktur/oppnugging/symmetri eller annet) når strøm sendes gjennom. Informasjon forblir i materialet i seg selv.
Ferroelektrisitet: Materialet er spontant ladet. Elektrisk felt flytter ladingen. Forblir slik når felt forsvinner. Brukes allerede mye i minne. (ferroelektrisk ram - hurtigminne)
Kan styre flere nivåer enn 2! 8-16 nivåer per enhet.
Bygger oksidlag. stacks. fungerer som synapser
Hjernen har trillion synapser.
beste i dag: 10X10.
SELVBESKRIVELSE
når noe beskriver seg selv og er sant. Varierende kompleksitet.
Det du prøver å si er bundet av det du sier. (Denne setningen har trettitre bokstaver)
Selvbeskrivende databaser.
Selvbeskrivelsen må beskrive seg selv!
Bootstrapping: skrive en kompilator i språket selv. Se bilde.
Gobels ufullstendighetsteorem:
Algebra: syntaktisk manipulering av symboler.
Semantikk: meningen vi legger i symbolene / det de egentlig representerer/betyr.
Syntaktisk logikk er det en datamaskin kan. (Turing komplett)
Lurt Godel oversette utsagn og bevis til tall. Laget på en måte slik at man kan manipulere tallene og bevare mening.
Hodeløs setning: denne setningen kan ikke bevises med syntaktisk manipulering.
Blir veldig paradoksalt og veldig artig.
20 programmeringsspråk på 20 minutter
20 programmeringsspråk på 20 minutter
FORTRAN: 1957 ikke turing-komplett. Kan ikke beregne alle funksjoner som lar seg beregen (i utgangspunktet) stort i usa
LISP: 1958. Masse parenteser. Stor innflytelse på andre språk. Garbage collection opphav. Historisk viktig - enkelt å lage en ny lisp.
Cobol: 1959. Skal være lesbart. (Men har aldri lest noe positvt om cobol). Gamle finanssystemer er skrevet i Cobol. (Verdifullt)
ALGOL: 1960. stort i Europa. Strukturer. Ting begynner og slutter, tabulator.
APL: fakultetsfunkjson er innebygd! hvis ikke: kryss slash iota. Måtte kjøpe egne tastaturer for å bruke greske bokstaver. Populært på 60 tallet i en liten periode. Flotte ideer. NOtasjon for vektoralgebra. NumPy likner veldig på APL, men med mange flere ord. Spennene språk.
Simula. 1967. Utviklet i oslo av ole johan dahl og en ellere annen nygård. Først OOP. Fundamentalt nytt!
Forth: 1970. DU har ikke hørt om det og kommer ikke til å høre mer om det. Stack-basert. Hodevrengende. I verdensrommet. Ennkelt å implementere til kompilatorer.
Smalltalk 1972. Alt er objekter. Dynamisk og vakkert oppsett i smalltalk appen.
C. 1972. etter de hadde laget B. Ligner på ordentlig kode! KOmmer nære maskinen: alt defineres, minneallokering, osc. Nærmere maskinkode enn andre språk.
C++ 1983. Bjarne sostrup, dansk. C var ikke raskt nok. C + objekter og klasser, C, OOP, enda mer.
Erlang. 1986. Systemer som prater med hverandre. Kommplisert! Acture-modellen. Syntaksen ser rart ut, for maksinen de kjøpte hadde ikke C, men heller Prolog.
Perl: 1987. Gaffateip-språket. Noe funker her, noe funker her, litt perl i mellom, så går det bra. Viktig i tidlig internett. Perl er bra på å jobbe med tekst, sende tekst frem og tilbake.
Haskell: 1990: Funksjoner! Rene funksjoner uten sideeffekter. Kraftig typesystem.
Python: 1991.
Java. 1995. Virtuell maskin. Kan lages og kjøres på mange ulike typer maskiner.
JavaScript. 1995. Språk med masse småfeil! Utviklet på 13 dager. Wonky og rart. Nå er det ganske mye bedre.
Clojure. 2007. Lisp. (forelesers favoritt). Kraftige ideer, ting kjøres parallellt.
Go. 2009. Kompromiss. Lite språk. For-loops, ikke while. Kanaler.
Rust. 2010. Rewrite it in rust. God tilgang til hardware, på elegant måte.
Zig. 2016, Andrew kelleys. Ikke kommet i v1 ennå.