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: 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...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Hvad laver dit program

Jeg kan ikke se, at du ikke skulle kunne lave samme dumheder i Rust, som du kan i eks c/c++. Det kan du godt hvis du aktivt tilvælger det (ved at bruge "unsafe"-blokke), men uden for disse garanterer Rust typesikkerhed og fraværet af udefineret opførsel. Det er altså ikke umuligt...
Kommentar til Microsoft: Rust kan løse hukommelsesproblemer i C og C++

Re: Pascal Embarcadero Delphi

Rust's ownership-model handler især om at gøre det rimeligt at skrive højtydende og korrekte flertrådede programmer. Der er mig bekendt ikke nogen lignende løsning i Delphi.

Re: Nitpicking...

En "daemon" er ikke det samme som en "demon", og skal ikke oversættes til "dæmon". Overvej at beholde daemon, eller oversæt det til service. Det er tidligere nævnt på Version 2 at den rette oversættelse, hvis man kigger på det mytologiske græske ophav for...

Re: Computerkraft

Konklusionen er derfor, at hvis Sabine har ret, så er vi ekstremt heldige. For så er problemerne netop af en type, hvor større computerkraft vil hjælpe, og hvor vi ikke har stor nok computerkraft endnu. Denne kombination er lidt en sjældenhed at finde. Denne type problemer er langt de mes...

Re: Hmm...

Der er dog stadig ting i forslaget, som undrer mig - det angives i hendes eget indlæg i NYtimes, at beregningerne skulle basere sig på "grid" på 1m2 pr. felt. Hvordan kan det lade sig gøre at samle sådanne data - eks. ude i havet? Hvis beregningerne virkeligt skal være så præcise, er...

Re: Hmm...

Jeg har svært ved at se projektet for mig, men det kan da være, jeg tager fejl - hvad mener I andre? Er det realistisk? Kan det styres? Eller er det undfanget i endnu en eksponentiel forskerhjerne, der ikke kan acceptere grænser for vækst? Jeg forstår helt nyhedsværdien her, for exaskalam...

Re: kan vel så også afsløre forskere, der snyder?

Plagiat er eller kan de tkun afsløre elever? Hvis ja hvorfor den forskel? Hvis du mener spørgsmålet alvorligt, så er her tre årsager til at denne teknik ikke er så anvendelig til at opdage plagiat i forskning: Plagiat er ikke et specielt aktuelt problem indenfor forskningsmiljøer. D...
Kommentar til Microsoft antyder nyt styresystem

Re: Google Translate....

Come on, kæft det er tyndt. Hvad vil du mene er en bedre oversættelse? På engelsk er "seamless" jo alligevel også en metafor når det kommer til programmel, så jeg synes ikke der er noget galt med at bruge samme metafor på dansk.