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 Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

Programmer skal altid være deterministiske - ellers er det noget helt galt med den underlæggende teori. Klart, men programmets adfærd kan være nondeterministisk hvis det afhænger af ekstern adfærd. Et distribueret system er et klassisk eksempel på dette, da forsinkelser i netværkstrafikk...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: jens madsen

For mig lyder din metode ubekendt. Er der nogen som har brugt den på et større projekt? Det lyder som om den metode der blev brugt til at udvikle rumfærgens kontrolsystem. Her var der to helt separat udviklede systemer, der brugte både forskelligt maskinel og programmel (og maskinellet v...

Re: Hvis vi var bare lidt fornuftige...

Jeg havde da indtrykket at man netop uddannede de bedste IT hjerner på universiteterne... I løbet af fem år kan du ikke uddanne folk i hvordan man udvikler et projekt med tusindvis af involverede parter, andet end på et meget teoretisk grundlag. Universiteterne har absolut ingen praktisk...

Re: Hvis vi var bare lidt fornuftige...

...så ville DIKU, IT-Universitetet og DTU løbe med den opgave i tæt samarbejde med de medicinske fakulteter. Kan du uddybe hvordan du tænker det skulle foregå? Jeg kender ikke meget til ITUs og DTUs interne forhold, men jeg arbejder på DIKU og umiddelbart vil jeg ikke tro jeg har en enes...

Sært design

Det er noget lort med kondensatorfejl på switches, men dette får mig nu til at spærre øjnene op: Systemet har også opkoblet 16 Nvidia K80-acceleratorer. Hvorfor have GPUer hvis man kun har så lavt et antal? Så er det jo ikke engang hver knude der kan nå en. En enkelt K80 kan ifølge NVIDIA ...
Kommentar til Professor får millionbevilling til udvikling af nye algoritmer

Re: Sammenblanding af data og viden

Nu spurgte jeg sådan set i min seneste kommentar bare helt konkret til, hvad det i artiklen omtalte forventes at kunne, når det engang er færdigt. Men tak for svar alligevel :-) Efter at have skimmet Per Christian Hansens bibliografi lader han til for tiden at lave billedrekonstruktion, a...
Kommentar til Professor får millionbevilling til udvikling af nye algoritmer

Re: Sammenblanding af data og viden

den i artiklen omtalte ønskede algoritme Du virker utroligt forvirret. Lad os lige taget nogle punkter: Algoritme er blevet et skræmmeord for letpåvirkelige, men betyder i princippet bare noget i stil med detaljeret opskrift på løsning af et matematisk problem. Måden hvorpå man løser ...
Kommentar til WinRAR-sikkerhedshul gennem 19 år er fundet, udnyttet og patchet

Måske er jeg naiv

Det mest absurde for mig er at sikkerhedshullet befandt sig i noget tredjepartskode, UNACEV2.DLL, som ikke er blevet opdateret siden 2005 og som man ikke havde kildeteksten til. Det virker helt uansvarligt. Måske er jeg naiv, men det virker oplagt ikke at have en afhængighed af en binær klat de...
Kommentar til Der er penge i FOSS

Re: En fjerde model

Mit tyske er for rustent til at jeg kan følge de juridiske argumenter, men typisk er der ikke forskel på akademisk og hobbymæssig udvikling af fri kode - du kræver blot at dine bidragydere licenserer deres bidrag under samme licens som resten af programmellet. Problemerne opstår kun hvis man ikk...
Kommentar til Software som er offentligt finansieret bør være open source

Re: Pas på forskellen

Open source medfører ikke automatisk, at softwaren er gratis at bruge -- kun at kildekoden er tilgængelig. Free open source software (FOSS) er til gengæld gratis. Det første punkt i The Open Source Definition siger: The license shall not restrict any party from selling or giving away the...

Re: Virtuel maskine

Du nævner at elever er blevet dumpet hvis de ikke vil installere programmet (som kun er til Windows og iOS?) da de bruger Linux - er det sandt? (evt. kilde?) Det vil vel være ulovligt da både iOs og Windows er betalingsprogrammer? Jeg tror ikke det er ulovligt at kræve at man bruger betal...

Re: Virtuel maskine

Så vil der ikke være nogen overvågning af elevens egen pc, men total overvågning i den virtuelle maskine. Så ville det ikke være muligt at holde øje med om eksaminanten tilgår forbudte resurser uden for den virtuelle maskine. Personligt synes jeg dette fokus på eksamenssnyd er gået for v...
Kommentar til Love indenfor softwareudvikling

Re: Flere 'love'

Amdahls lov Det er altid værd at huske at Amdahls Lov blev formuleret i en markedsføringskontekst hvor Amdahl udtalte sig om IBM's konkurrerende mainframe-arkitektur, som var langt mere parallel end Gene Ahmdals egen. Amdahls Lov passer naturligvis, men personligt synes jeg...
Kommentar til Genudsendelse

Re: Husker nogen iAPX 432?

Intel lærte på sin vis: Da GPGPU begyndte at bliver populært fra omkring 2006, især ansporet af NVIDIAs CUDA, begyndte Intel selv at arbejde på deres egen GPU-lignende chip. Antageligvis motiveret af hvor katastrofalt det var gået hver gang man afveg fra x86, valgte man at basere chippen, der fi...
Kommentar til Genudsendelse

Re: Spændende historie ...

Faktum er at da Itanium blev lanceret var der generelt koncensus om at CISC CPU'er hørte til på historiens losseplads og at der var brug for RISC CPU arkitektur for at blive ved med at hæve performance. At Intel ønskede at få del i det marked kan ikke overraske. Dette er rigtigt...
Kommentar til Genudsendelse

Min erfaring med Itanium

Min egen erfaring med Itanium begrænser sig til en rackserver jeg fandt forladt i DIKUs kælder for nogle år siden. Den var konfigureret til kun at kommunikere på serielporten (ikke skærmudgangen), men jeg kunne ikke gennemskue dens opsætning, så jeg kunne få forbindelse. Jeg bemærkede dog at de...

Re: Tak for god opfølgning...

Det, jeg mener, er, at de åbenbart ansfes for sikre nok til, at man lader forskere medbringe dem og logge på verden over. Men det kan man måske sikre på en eller anden måde? Jeg forstår ikke din slutning her. Man anser dem jo netop ikke for sikre, og netop derfor er det ikke noget proble...

Re: Og det blev selvfølgeligt anmeldt til datatilsynet ?

Hvis der ikke er følsomme data, ja så er det jo ikke et problem, og så behøver du jo ikke føle dig truffet, så hvorfor gør du det? Jeg er personligt ret ligeglad, for jeg ved udmærket selv hvorvidt mit arbejde er problematisk. Mit problem er at Rigsrevisionens rapport er mangelfuld, ford...

Re: Og det blev selvfølgeligt anmeldt til datatilsynet ?

Og det blev selvfølgeligt anmeldt til datatilsynet ? Det ved jeg ikke, da det ikke var min server og ikke min forskningsgruppe. Dertil er jeg ret sikker på at der ikke var personfølsomme data på den. Der var muligvis nogle gamle anonyme medicinske billeder (MR-scans og den slags) som må...

Re: Det´ li´godt utroligt..

Så personfølsomme forskningsdata befinder sig aldrig på bærbare/private computere? Jeg ved, at der sker opstramninger på det felt, men jeg mener ikke, at det er fuldt gennemført. Det tror jeg ikke nogen ved, og det er ikke hvad Rigsrevisionens rapport handler om. Jeg har læst lidt i den,...