datagott > wetenschap

Casper H.S. Dik (12.01.2019, 00:51)
Izak van Langevelde <eezacque> writes:

>On Fri, 11 Jan 2019 18:29:28 +0000, Rob Windgassen wrote:


>Laat ik het zo zeggen, we hebben in Nederland geen software industrie van
>enige betekenis, men vind het al heel innovatief om een database aan het
>web te hangen.


Denk je dat ASML alleen maar hardware maakt? Veel software is embedded
maar des ondanks erg belangrijk.

(Eeen waferstepper kost evenveel as een Boeing, weegt bijna net zo veel
en er zit heel veel software in en gaat ook een jaar of dertig mee)

Casper
het varken uit Stettin (12.01.2019, 10:49)
On 11-01-19 23:51, Casper H.S. Dik wrote:
> Izak van Langevelde <eezacque> writes:
>> Denk je dat ASML alleen maar hardware maakt? Veel software is embedded

> maar des ondanks erg belangrijk.
> (Eeen waferstepper kost evenveel as een Boeing, weegt bijna net zo veel
> en er zit heel veel software in en gaat ook een jaar of dertig mee)
> Casper

.... en loopt waarschijnlijk op een variant van embedded Linux...
Izak van Langevelde (12.01.2019, 12:30)
On Fri, 11 Jan 2019 22:51:19 +0000, Casper H.S. Dik wrote:

> Izak van Langevelde <eezacque> writes:
> Denk je dat ASML alleen maar hardware maakt? Veel software is embedded
> maar des ondanks erg belangrijk.
> (Eeen waferstepper kost evenveel as een Boeing, weegt bijna net zo veel
> en er zit heel veel software in en gaat ook een jaar of dertig mee)


De grote uitdagingen voor ASML liggen op terreinen van optica en
werktuigbouwkunde. Inderdaad, software speelt ook een rol, en het feit
dat ASML steeds weer als enige voorbeeld genoemd wordt, sterkt mij in
mijn overtuiging dat Nederland geen software industrie van betekenis
heeft.
Cohen (12.01.2019, 12:32)
On Sat, 12 Jan 2019 09:49:54 +0100, het varken uit Stettin wrote:

> On 11-01-19 23:51, Casper H.S. Dik wrote:


Het zou me niet verbazen als ze ondertussen de 50 miljoen regels zijn
gepasseerd.

>> (Eeen waferstepper kost evenveel as een Boeing, weegt bijna net zo veel
>> en er zit heel veel software in en gaat ook een jaar of dertig mee)
>> Casper

> ... en loopt waarschijnlijk op een variant van embedded Linux...


VxWorks en Solaris om precies te zijn. Die laatste zal geloof ik worden
vervangen door een Linux.
Izak van Langevelde (12.01.2019, 12:35)
On Fri, 11 Jan 2019 23:09:54 +0100, Jos Bergervoet wrote:

> On 1/11/2019 12:07 PM, Izak van Langevelde wrote:
> ...
> Ja, prima toch? "Bewijs teruggebracht tot eerder bewezebn stelling!"


Mijn punt is dat het hier gaat om een of andere vage microkernel, waarvan
een aantal eigenschapjes worden bewezen, hetgeen een verder niet genoemde
hoeveelheid tijd en geld kost, waarna men concludeert dat formele
verificatie in de praktijk haalbaar is.

Ik heb zelf een jaar of vijf in dat wereldje vertoefd, temidden van mensen
die niets van software weten, om eigenschappen van systeempjes te bewijzen
met methoden die absurd veel tijd en geld kosten, om te ontdekken dat er
buiten de academische wereld geen hond in dergelijk werk ge´nteresseerd
is.
Cohen (12.01.2019, 12:57)
On Sat, 12 Jan 2019 10:35:47 +0000, Izak van Langevelde wrote:

> On Fri, 11 Jan 2019 23:09:54 +0100, Jos Bergervoet wrote:
> 65fe0d2b4b09999b5ab2dbc7dcce98be516b.pdf>
> Mijn punt is dat het hier gaat om een of andere vage microkernel,
> waarvan een aantal eigenschapjes worden bewezen, hetgeen een verder niet
> genoemde hoeveelheid tijd en geld kost, waarna men concludeert dat
> formele verificatie in de praktijk haalbaar is.


Automated formal verification mogelijk wel. In de toekomst althans.

> Ik heb zelf een jaar of vijf in dat wereldje vertoefd, temidden van
> mensen die niets van software weten, om eigenschappen van systeempjes te
> bewijzen met methoden die absurd veel tijd en geld kosten, om te
> ontdekken dat er buiten de academische wereld geen hond in dergelijk
> werk ge´nteresseerd is.


Oh? Dat is jouw hele argumentatie? Dat jij in 'dat wereldje' hebt
vertoefd en je conclusies hebt getrokken?

En er is natuurlijk wel degelijk interesse in dergelijk werk.

<[..]
in-the-real-world/fulltext>
Rob Windgassen (12.01.2019, 13:10)
On Sat, 12 Jan 2019 10:30:21 +0000, Izak van Langevelde wrote:

> On Fri, 11 Jan 2019 22:51:19 +0000, Casper H.S. Dik wrote:
>> Denk je dat ASML alleen maar hardware maakt? Veel software is embedded
>> maar des ondanks erg belangrijk.
>> (Eeen waferstepper kost evenveel as een Boeing, weegt bijna net zo veel
>> en er zit heel veel software in en gaat ook een jaar of dertig mee)

> De grote uitdagingen voor ASML liggen op terreinen van optica en
> werktuigbouwkunde.


daar ook. Maar ze houden geen 1000+ software ontwikkelaars van de straat
uit liefdadigheid.

> Inderdaad, software speelt ook een rol, en het feit
> dat ASML steeds weer als enige voorbeeld genoemd wordt, sterkt mij in
> mijn overtuiging dat Nederland geen software industrie van betekenis
> heeft.


zonder precies te weten wat je precies bedoeld met "software industrie"
is het vrij makkelijk te zeggen dat geen enkel land dat heeft.
Izak van Langevelde (12.01.2019, 13:30)
On Sat, 12 Jan 2019 10:57:20 +0000, Cohen wrote:

> On Sat, 12 Jan 2019 10:35:47 +0000, Izak van Langevelde wrote:
>> Automated formal verification mogelijk wel. In de toekomst althans.


Dat kun je vergeten, dankzij jongens als Turing en Church.

>> Ik heb zelf een jaar of vijf in dat wereldje vertoefd, temidden van
>> mensen die niets van software weten, om eigenschappen van systeempjes
>> te bewijzen met methoden die absurd veel tijd en geld kosten, om te
>> ontdekken dat er buiten de academische wereld geen hond in dergelijk
>> werk ge´nteresseerd is.

> Oh? Dat is jouw hele argumentatie? Dat jij in 'dat wereldje' hebt
> vertoefd en je conclusies hebt getrokken?


En wat is jouw argumentatie? Dat je er 'ns wat over gelezen hebt?

> En er is natuurlijk wel degelijk interesse in dergelijk werk.
> <[..] software-
> in-the-real-world/fulltext>


Ik heb zelf dergelijke teksten geschreven, dat wordt in dat wereldje van
je verwacht. Kijk 'ns hoeveel geld de software industrie aan dat soort
werk uitgeeft?
Cohen (12.01.2019, 13:55)
On Sat, 12 Jan 2019 11:30:36 +0000, Izak van Langevelde wrote:

> On Sat, 12 Jan 2019 10:57:20 +0000, Cohen wrote:
>> Dat kun je vergeten, dankzij jongens als Turing en Church.
>> En wat is jouw argumentatie? Dat je er 'ns wat over gelezen hebt?

> software-
> Ik heb zelf dergelijke teksten geschreven, dat wordt in dat wereldje van
> je verwacht.


Dat zeg jij...
J. J. Lodder (12.01.2019, 14:18)
Izak van Langevelde <eezacque> wrote:

> On Fri, 11 Jan 2019 22:51:19 +0000, Casper H.S. Dik wrote:
>> De grote uitdagingen voor ASML liggen op terreinen van optica en

> werktuigbouwkunde. Inderdaad, software speelt ook een rol, en het feit
> dat ASML steeds weer als enige voorbeeld genoemd wordt, sterkt mij in
> mijn overtuiging dat Nederland geen software industrie van betekenis
> heeft.


Alle werktuigbouw zit vol met embedded electronica vandaag de dag.
Zelfs je auto heeft al meer computer aan boord
dan de PCs van een paar generaties geleden,

Jan

Soortgelijke onderwerpen