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.

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...

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...

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...

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

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

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

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.

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.

Den typiske fremgangsmåde er at hvis man ikke kan verificere programmets sikkerhed, så afviser man det.

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...

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...

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...

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...

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...

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 ...

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...