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

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...
Kommentar til En æra er slut: Linux siger endeligt farvel til floppy-disketter

Re: Begræder det ikke :-)

Det er nok et af de medie, og enheder som har haft den længste leve tid i EDB verden ? Det er i hvert fald tæt på, men afhænger nok lidt af hvornår man opfatter et medie som nyt, og hvornår man opfatter det som dødt. 1.44MiB floppydiske er fra 1986, omend den fysiske 3,5"-form er fra...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

UB

Derudover er GCC sammen med LLVM de oversættere der udnytter udefineret opførsel allermest aggressivt (eksempler. Det er også mit indtryk at de fleste C-programmører ikke har forståelse for hvad der egentlig er udefineret opførsel - f.eks. regner de fleste med at signed heltal bare løber over og...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Hvad laver dit program

Har Rust macroer??? Ja. De tillader vilkårlige transformationer og kodegenerering, ganske som Lisp-makroer, og med nogenlunde de samme fordele og ulemper. Beregningsmæssigt er de ikke stærkere end C++ templates (begge er Turing-komplette), men de er langt mere udtryksfulde, da deres def...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Manglende aspekt?

En anden er, at meget kode i dag genbruges på flere platforme, og krydskompileres, med deraf risiko for manglende styr på "undefined behavior". Hvad er det for en kobling du ser mellem krydskompilering og undefined behaviour? Sidstnævnte er et koncept fra sprogspecifikationen, og...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Manglende aspekt?

Og der er ikke nødvendigvis en 100% garanti for, at selv om et programmeringssprog er sikret i forhold til sprogets logik og brug af memory, at maskinkoden ikke kan rumme (masser af) uhensigtsmæssigheder. Der er bestemt mulighed for at en oversætter kan generere forkert kode, og at denne ...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Hvad laver dit program

Jeg er godt klar over at det er lidt OT i forhold til programmering af embeddede systemer, men hvis man laver forretningsorienterede programmer, og/eller webapplikationer, så er der tit en farlig masse stings man skal rode med, hvorfor string håndtering så afgjort er vigtig Det var heller...