Jesper Louis Andersens billede

Jesper Louis Andersen

Funktionel programmør. Ekspert i distribution og samtidighed (concurrency).

Kommentarer

Kommentar til Gödel, Escher, Bach & Microsoft

Re: Rice's lov

Jeg tror det ville være langt bedre, hvis datalogerne begyndte at fatte at der er en globaliseret verdensøkonomi involveret i alt hvad de roder med og at den hverken har tid eller evner til at forstå datalogi. ... Nu kan jeg ikke udtale mig på alle datalogers vegne (specielt eftersom je...
Kommentar til Gödel, Escher, Bach & Microsoft

Re: Rice's lov

Alt det som udgør en sikkerhedsrisiko ? Så nemt er det desværre ikke. Gang på gang har vi opdaget hvorledes et system vi fandt sikkert viste sig at have en eller anden lille ting i et hjørne som vi havde glemt at sikre os imod. Problemet er lidt det at dit system skal beskyttes mod alle n...
Kommentar til Gödel, Escher, Bach & Microsoft

Re: Rice's lov

Googles Native Client (NaCl) har begrænset x86 maskinkode til dels at bruge en begrænset API og dels gjort indirekte hop og lignende ulovligt, så man er sikret mod hop ud af koden. Tag gerne et kig på WebAssembly. Andreas Rossberg er med i det projekt, og det er ikke helt tosset hvad de h...

Re: ansvar og procedurer!

Jeg hæfter mig umiddelbart ved at "systemerne skal startes op i en bestemt rækkefølge" Det plejer at være udtryk for at det system man har bygget ikke er designet ordentligt. Har du (dybe) afhængigheder mellem delsystemer, så kan du ikke tåle at visse komponenter sætter ud fordi resten...

Re: Brug de kulturelle normer sammen med tallene

En bedre løsning er at finde et ellers ubrugt Unicode-tegn til decimalkomma, gemme tal uden tusinderadskillelse og med det valgte tegn i stedet for decimalkomma/-punktum. Lokale kulturelle normer kan så bruges til at vise og indlæse tal -- men den interne repræsentation bør være uafhængig af di...

OCaml

Programmeringssproget OCaml har stjålet en god ide fra nogen af de ældre sprog (jeg kan ikke lige huske hvilket der er tale om på stående fod, men det går ret langt tilbage). Du kan simpelthen bare skrive: # 1_000_000;; - : int = 1000000 Og det parses på oplagt vis. Ideen er at du indfører et...
Kommentar til Amber Rudd er en uvidende idiot

Re: Amber Rudd er ikke en uvidende idiot

Men mit forslag er balanceret og rammer specielt kriminelle. Det kan gennemføres uden at trampe på folks rettigheder. Hvis du ser nogen specifikke problemer ved forslaget så vil jeg gerne høre det. Din løsning er umådelig svær at implementere i praksis. Men lad os antage at det lykkedes. ...
Kommentar til Amber Rudd er en uvidende idiot

Re: Amber Rudd er ikke en uvidende idiot

Nemlig. Henrik advokerer for en ændring i forhold til det system der har holdt os sikre de sidste 100 år. Jeg er ikke enig i at man kan skille det ad på den måde. Kryptering har været en del af problemet siden ca. 1945, og det er tydeligt at man fra statens side helst så at den slags var ...
Kommentar til Amber Rudd er en uvidende idiot

Re: Amber Rudd er ikke en uvidende idiot

Altså nu må du bestemme dig ;-) Heh. Guderne skal vide at jeg ikke er begejstret for Trine, men hun har definitivt success med hendes metode. Ellers kommer du ikke til at sidde i et parti. Ganske vist et stort et af slagsen, hvilket er en nemmere opgave end andre partier. Men det er en b...
Kommentar til Amber Rudd er en uvidende idiot

Amber Rudd er ikke en uvidende idiot

Den rigtige mærkat er at Amber Rudd er UK's svar på Trine Bramsen. Hver gang du har en situation hvor der har været terror, eller lignende farlige ting, så findes der en gruppe af politikere der skal udvise handlekraft. Trine og Amber og nok temmeligt ens her. Det handler egentlig ikke om...
Kommentar til Lad os få noget fornuftig offentlig IT

Been there, done that

Det er rart at se de gamle mennesker efterhånden er kommet på de samme tanker som de yngre kom på i 2011: https://www.version2.dk/comment/168380#comment-168380 Jeg har ikke ændret holdning siden da. Vi skal have et CA i statsregi og det skal drives af staten. Det skal ikke udliciteres til en el...
Kommentar til Produktansvar for software

Enig!

Jeg kan kun være fuldstændigt enig med Ole (+ PHK, Schneier og Geer)her. Vi bliver nødt til at behandle vores software som ethvert andet produkt vi køber. Der er en oplagt virkemåde og hvis produktet har sikkerhedsfejl, må det skønnes at dette ikke er tiltænkt adfærd at den solgte vare. De skal ...
Kommentar til Git er ikke versionskontrol

Har man egentlig brug for en linear historik?

I en linear historik gælder det ikke at tidspunktet hvor noget er skrevet på ligger fast historisk. Hvis det skulle være tilfældet skulle man have et system som RCS hvor en fil låses før man retter i den og låses op bagefter. I praksis har man en linearization, i den forstand at der findes et bes...
Kommentar til Git er ikke versionskontrol

Re: Git giver bedst versionskontrol

Jeg kan stadig huske quilt.sh. Dejligt lille værktøj til at holde en patch-stak til dit SVN repo fordi SVN dengang var for elendig til at strukturere branches. Mercurial lavede "queues" til samme formål, og git formaliserede det i høj grad i en interactive rebase-konstruktion. Jeg kan...
Kommentar til AMD øger effektiviteten med 40 procent

Re: Zen er rimeligt interessant

Nøjagtigt det samme kan siges om Intels HyperThreading teknologi... SMT har udviklet sig temmeligt meget over årene, så i det store og hele klarer workloads sig ofte bedre med SMT i dag end uden. Du skal dog ikke forvente en faktor 2 i ydelse, for det har aldrig været intentionen med SMT....
Kommentar til AMD øger effektiviteten med 40 procent

Zen er rimeligt interessant

Der er en chance for at AMD har lavet et design der kan lave konkurrence med Intel på nogen punkter. Grundliggende er ideen at du har SMT i chippen, noget AMD ikke har lavet før, og du har 16+ threads ud af det. Hvis de har ret i deres 40% IPC increase, så kommer de på omgang med hvad Intel kan. ...
Kommentar til Hvad bliver det næste vi slukker-tænder for ?

Re: Genstart.

Ja, i højeste grad, for robusthed handler først og fremmest om overblik. Hvis jeg lister den VHDL kode, der autogenereres ud fra min grafik, vil jeg garantere for, at der ikke findes én eneste programmør i hele verden, der ville kunne skabe sig nok overblik til sikkert at kunne rette nogen sted...
Kommentar til Hvad bliver det næste vi slukker-tænder for ?

Re: Genstart.

Jeg har desværre ikke kendskab til de nævnte sprog (det burde jeg måske se at få) og stiller derfor følgende spørgsmål: det overhead du tale om, er det ikke kun gemt væk i de pågældende sprog i forhold til C? Med andre ord, er der tale om et runtime overhead i C i forhold til de pågældende spro...
Kommentar til Hvad bliver det næste vi slukker-tænder for ?

Re: Genstart.

Hvis du mener "arbejde for applikations-programmøren", så ja. Hvis du mener spilde af tid & instruktioner, så NEJ! Arbejde for applikations-programmøren, naturligvis. Go kommer relativt tæt på C efterhånden (indenfor en faktor 1.5 er ikke umuligt for typiske programmer. De...
Kommentar til Hvad bliver det næste vi slukker-tænder for ?

Re: Genstart.

Der er bland nogle debattører her en tilsyneladende meget stor aversion mod C, hvilket på mange måder er forståeligt. C’s syntaks er ikke nødvendigvis den kønneste der findes. C er rigtigt godt hvis dit problem har relativt lille abstraktionsbehov, eller kan skæres sådan at abstraktionsbe...