Fascinating.. I always thought that GSM would not work if the cell phone is moving faster than 220 km/h... so, to me, it seems very suprising that cell phones work in planes.
Well, get an old ipod, take it apart and place the taser in the ipod casing, and connect the probes to the ear-phones... now wait until you get mugged, give the mugger the modified ipod an then RUN!
All logical formulae can be expressed in terms of negation and either disjunction or conjunction... construction of logical negation from a nand gate is trivial. Why should XOR be the champion??
There are several issues regarding the iPod. First, it has a built in battery, and therefore the iPod has sort of an expiration date. Second, this built in battery lasts only 8 hours (my iRiver FP380 lasts for over 20 hours). You can't record MP3s with your iPod (my FP380 can). And the iPods harddisk is more damageable than Flash RAM. Not to mention the size.. in my opinion the iPod is the most expensive hardisk I've ever seen.
Since I've experienced Sony's so called "support" I've decided to never buy a Sony product again. My girl friend had problems with her Sony Vaio FX802, so we sent it in and it came back unrepaired. I had to beg them to pick it up again, btw. the hotline is not free in Austria, even if you still have warranty. This time I added a very detailed description on how to reproduce the error, however, the technician ignored it and called my girl friend to complain in a very harsh tone that the notebook was not defect. I talked to the technician and could convince him that it was in fact defect, and after 3 more weeks we got it back (they exchanged the motherboard). However, when putting it together again, they forgot the screw that fixates the DVD ROM... had to provide one myself. Facit: My girl friend bought a new notbook that was significantly more expensive than others, believing that Sony's support would be better than the support of no-name manufacturers. She ended up waiting 1.5 months for her notebook.. in the meantime, it had of course become significantly cheaper. I'm now thinking about buying an Apple Powerbook. Can anybody tell me about his experiences with Apple's support?
Sorry, but I think your project manager is completely right. People don't want programs that work correctly, they want programs that look good. Indeed, the "blue screen" would be much more popular if its design would be more appealing (users would try to crash the system as often as possible if blue screens were replaced by cool animations with a great sound).
I know some functional languages that can easily compete with the speed of Java, although they provide garbage collection and bytecode portability. Have a look at SML/NJ: http://cm.bell-labs.com/cm/cs/what/smlnj/index.htm l, it provides a great IO-library, a parser generator tool (similar to yacc and lex, just that the generated code looks MUCH better), a network library (HOL98, a theorem prover that is written is SML provides a socket interface). It provides modules, so it can easily be used for big projects, too. Since functional programming is very similar to the basic mathematics everyone learns in high school, it should be (if taught in an understandable way) easier to learn than imperative languages (no side effects).
It is probably not user-friendly yet, but I think that correctness provers will be an integral part of future development tools. IFAD (http://www.ifad.dk) is working on an very nice proof-tool for VDM-SL, that provides a Java-User interface. Still it provides the whole power of the underlying HOL98-tool. Proofs will be part of our jobs soon...
I'd say, that VDM-SL is semantically specified, too (using denotational semantics), but it is more a specification language, although code generators for C++ and Java exist (http://www.ifad.dk).
There are functional languages that don't use so much parenthesis. Try SML (e.g. SML/NJ, you'll find it on http://cm.bell-labs.com/cm/cs/what/smlnj/index.htm l )
I'm sure DBC will be brought to us sooner or later (as templates and delegation). Try following link: http://www.ddj.com/articles/1999/9911/9911m/9911m. htm http://www.cs.bell-labs.com/who/wadler/pizza/ may be interresting for you, too. Georg
Slashdot Mirror
I've heard Apple will come up with a new one button keyboard, soon. Because it's so much easier to use.
The fewer components you have, the less likely you are to encounter a failure.
Not necessarily.. replicas increase dependability.
Fascinating.. I always thought that GSM would not work if the cell phone is moving faster than 220 km/h... so, to me, it seems very suprising that cell phones work in planes.
Well, get an old ipod, take it apart and place the taser in the ipod casing, and connect the probes to the ear-phones... now wait until you get mugged, give the mugger the modified ipod an then RUN!
All logical formulae can be expressed in terms of negation and either disjunction or conjunction... construction of logical negation from a nand gate is trivial. Why should XOR be the champion??
There's no WIFI support in Linux for Apple Notebooks either (at least not for the iBook G4 and the Powerbook G4).
I've just mailed her $10.
There are several issues regarding the iPod. First, it has a built in battery, and therefore the iPod has sort of an expiration date. Second, this built in battery lasts only 8 hours (my iRiver FP380 lasts for over 20 hours). You can't record MP3s with your iPod (my FP380 can). And the iPods harddisk is more damageable than Flash RAM. Not to mention the size.. in my opinion the iPod is the most expensive hardisk I've ever seen.
Since I've experienced Sony's so called "support" I've decided to never buy a Sony product again. My girl friend had problems with her Sony Vaio FX802, so we sent it in and it came back unrepaired. I had to beg them to pick it up again, btw. the hotline is not free in Austria, even if you still have warranty. This time I added a very detailed description on how to reproduce the error, however, the technician ignored it and called my girl friend to complain in a very harsh tone that the notebook was not defect. I talked to the technician and could convince him that it was in fact defect, and after 3 more weeks we got it back (they exchanged the motherboard). However, when putting it together again, they forgot the screw that fixates the DVD ROM... had to provide one myself. Facit: My girl friend bought a new notbook that was significantly more expensive than others, believing that Sony's support would be better than the support of no-name manufacturers. She ended up waiting 1.5 months for her notebook.. in the meantime, it had of course become significantly cheaper. I'm now thinking about buying an Apple Powerbook. Can anybody tell me about his experiences with Apple's support?
Sorry, but I think your project manager is completely right. People don't want programs that work correctly, they want programs that look good. Indeed, the "blue screen" would be much more popular if its design would be more appealing (users would try to crash the system as often as possible if blue screens were replaced by cool animations with a great sound).
I know some functional languages that can easily compete with the speed of Java, although they provide garbage collection and bytecode portability. Have a look at SML/NJ: http://cm.bell-labs.com/cm/cs/what/smlnj/index.htm l, it provides a great IO-library, a parser generator tool (similar to yacc and lex, just that the generated code looks MUCH better), a network library (HOL98, a theorem prover that is written is SML provides a socket interface). It provides modules, so it can easily be used for big projects, too. Since functional programming is very similar to the basic mathematics everyone learns in high school, it should be (if taught in an understandable way) easier to learn than imperative languages (no side effects).
It is probably not user-friendly yet, but I think that correctness provers will be an integral part of future development tools. IFAD (http://www.ifad.dk) is working on an very nice proof-tool for VDM-SL, that provides a Java-User interface. Still it provides the whole power of the underlying HOL98-tool. Proofs will be part of our jobs soon...
I'd say, that VDM-SL is semantically specified, too (using denotational semantics), but it is more a specification language, although code generators for C++ and Java exist (http://www.ifad.dk).
There are functional languages that don't use so much parenthesis. Try SML (e.g. SML/NJ, you'll find it on http://cm.bell-labs.com/cm/cs/what/smlnj/index.htm l )
I'm sure DBC will be brought to us sooner or later (as templates and delegation). Try following link: http://www.ddj.com/articles/1999/9911/9911m/9911m. htm http://www.cs.bell-labs.com/who/wadler/pizza/ may be interresting for you, too. Georg
Could anyone write a STABLE System for those Handhelds first? PalmOS really is the hell :(
Is there something smaller than the brain of a racist? Don't think so...