Troels Henriksen

Rss
Personligt feed med nye kommentarer i tråde, du overvåger:
https://www.version2.dk/mit/0/kommentarer?token=HPnHcLYhJ8jCXC_UoTnfzqY2R9xpwMBmKONAZAek0jk

Kommentarer

Re: Rust Performance

Performance af Rust ser i Benchmark ud til at være bedre end C på en række målinger, bedre end C++ på de fleste målinger og langt bedre end Java på alle målinger. Rust er et udmærket sprog, men den indbyrdes ydelse for rimeligt ækvivalente sprog (her C/C++/Rust) er ofte mest et tegn på hv...
Kommentar til Intel gav indtryk af, at alle sårbarheder var fjernet – det var de ikke

Re: Hvad så med

AMD's nye 3000 serie har også en ny såkaldt TAGE branch predictor enhed, som potentielt er mere sårbar mht. spectre v2 end den gamle perceptron predictor. Dette synes jeg faktisk relaterer til en interessant pointe. Der er for meget snak om at Intel's ydelsesfordele...
Kommentar til Sådan blev Danmark en supermagt i programmeringssprog

Re: TIHILL

Hvorfor har datalogi i Danmark den her insisteren på at bruge bøvede, danske termer? Jeg kan ikke tale for andre, men for mit vedkommende er det delvist en udfordrende leg at finde på gode begreber, og delvist fordi det rent grammatisk ofte er skønnere. Hvordan bøjer du "stack frame...

Hvordan er burgeren stillet?

Jeg synes al denne snak om biler og rat forplumrer den egentlige debat. Det handler jo i virkeligheden om hvorvidt Burger King skulle forbydes at putte tomat i en whopper blot fordi McDonalds har tomat i en Big Mac (tænkt eksempel - jeg ved ikke hvem af de to der kom først). Nu jeg tænker efter...
Kommentar til Big Brother Awards 2019

Re: Hvorfor Big Brother?

Nøjagtigt som nu... Nej, netop ikke. Lige nu sker der en konstant passiv overvågning af alle. Du ved at du altid bliver overvåget, og dine data lagret potentielt for evigt, til eventuel senere nærundersøgelse. Det giver en helt anden dynamik end hvad der beskrives i 1984. Sådan som ...
Kommentar til Big Brother Awards 2019

Hvorfor Big Brother?

Jeg har aldrig helt forstået hvorfor Big Brother er symbolet på totalovervågning. Jeg indrømmer at jeg er ung nok til at jeg hørte folk bruge Big Brother som symbol på overvågning før jeg selv fik læst 1984, og da jeg endelig læste bogen var den ikke helt hvad jeg havde forventet. Bevares - der...
Kommentar til Sådan blev Danmark en supermagt i programmeringssprog

Re: Lang vej igen

Der har været meget lidt udvikling af sprog som minimerer programmerings fejl og konsekvensen af hardware fejl. Der er da Erlang! Det er ganske vist lavet i Sverige af en englænder, men da det er opkaldt efter en dansk matematiker synes jeg godt vi kan tage det med på listen alligevel.

Re: Kan vi få nogle konkrete eksempler?

Tror at reaktoren mente at vi måske staidgt har et forsknings og udviklings miljø som ligner det. Hvor man ikke mente at en kvinde som Marie Curie var dygtigt eller klog nok til at modtage en nobelpris. Albert Einstein er jo et skoleeksemple på dette, hvor han ikke ønsket eller have nok mandsm...
Kommentar til Skal STARTTLS være et krav for følsomme email

Jeg bruger ikke STARTTTLS

Jeg bruger ikke STARTTTLS på min personlige mailserver. At drive en mailserver synes jeg ikke er en glæde, og jeg nyder ikke specielt at gøre det, ej heller har jeg nogen synderlig kompetence eller talent for det. Jeg gør det mest af princip, fordi jeg går ind for decentralisering, og jeg mener...

Re: Reinheitsgebot

Og kassere kunderne/brugerne? Det er svært at vælge rigtigt, når man også skal have alle andre til at vælge på samme måde. Desværre. Mine kunder plejer at udvise forståelse når jeg forklarer årsagen. Evt. kan man bruge nogle af de visuelle hjælpemidler jeg præsenterede tidligere i debatt...

Reinheitsgebot

Hvis ens browser ikke kan afvikle Standard ML, så er det pragmatiske og etiske valg at kassere browseren.

Standard ML er folkets forsvar mod den internationale fascisme!

Hvordan kan man direkte benytte SML til at give en webside funktionalitet?

Re: Brug nu bare Standard ML!

Lad mig understrege at Standard ML især er et fremragende valg hvis man har hang til halvdøde sprog fra 90'erne.

Undgå skandaler

Re: Brug nu bare Standard ML!

Kommentar til Test af kommentarsystem og tekstformatering

billede

Brug nu bare Standard ML!

Den seneste definition af Standard ML udkom i 1997, og siden er der ikke rørt ved det, for det blev gjort ordentligt til at starte med.
Kommentar til 8chans nye leverandør af DDoS-beskyttelse bliver smidt af internettet

Re: Demokratisk og fair?

Jeg syntes faktisk at man burde lave en lov der siger at disse firmaer ikke kan nægte at hoste en side, med mindre denne på en eller anden måde er dømt for noget ulovligt ved en domstol. Cloudflare er ikke en webhost, de er et DDOS-skjold og CDN.
Kommentar til Matematisk logik verificerer sikkerhed i skyen

Re: Hvordan navigerer Byron Cook uden om Kurt Gödel?

Den typiske fremgangsmåde er at hvis man ikke kan verificere programmets sikkerhed, så afviser man det.
Kommentar til Ny ballade om deep learning: Algoritmer dumper i efterprøvning

Re: Hvad er Peer review værd?

Jeg tror ikke at forskningsverdenen inden for datalogi (stærkt generaliseret) er klar til at være software udviklere med uniforme arbejdsgange (på tværs af universiteter), source control, automatiseret tests, peer review af pull requests osv. Jeg er enig. Jeg arbejder med anvendt datalog...