![]() |
![]() |
#41 | ||||||
Computer Nerd
Join Date: Sep 2007
Location: Rotterdam/Netherlands
Age: 48
Posts: 3,839
|
Quote:
Note that this routine was a place holder routine for a proper search function. While there should be enough functionality in the .net framework to get nice results, I like writing things by hand (it's a hobby ![]() Quote:
Anyway, this is basically a feeling I've had for a long time now. I feel most things aren't written half as fast as they could be. I can't lay my finger on it, but I'm sure that there is at the very least some truth to it. Quote:
Quote:
![]() Quote:
![]() Quote:
|
||||||
![]() |
![]() |
#42 | |
The Spanish Songstress
Join Date: Jul 2009
Location: Finland
Posts: 114
|
Quote:
You find reward in doing "the job" itself, whereas most already have a defined problem which needs to be solved and "how" is not the real question as long as it "works" (fast enough) and delivers the results wanted. For me personally, I sometimes have fun finding 'the "best" way to do something', but most often I just have a set of results I need to achieve and I have to balance on when "enough is enough". Of course, I usually work with other coders too, and that means I can't usually write the most convoluted & efficient piece of code imaginable, instead I have to keep it maintainable and extendable. |
|
![]() |
![]() |
#43 | |||
Registered User
Join Date: Mar 2009
Location: moon
Posts: 373
|
It's definitely an issue of hobbyist versus commercial development.
![]() Quote:
Quote:
![]() Quote:
As for Word I honestly couldn't tell, as I very rarely need or use word processors. If I was to hazard a guess I'd say that inserting objects from an Excel spreadsheet that depends on lots of macro code and database access is a bit heavy, but there are probably better examples. Some companies do really crazy stuff with Office ... |
|||
![]() |
![]() |
#44 | |
The Spanish Songstress
Join Date: Jul 2009
Location: Finland
Posts: 114
|
Quote:
![]() I wish it was done at least for some core technologies, but it's simply too expensive. (can't bother to look up details now, but one microcode kernel was proved by some aussies a while back: took ab 4 years to prove 7500 lines of code and the proof was ab 200000 lines) (of course, even proved code isn't perfect - it could still be faster/smaller/prettier/tastier/sexier ![]() |
|
![]() |
![]() |
#45 |
Linux snob
Join Date: Sep 2008
Location: Monkey Island
Posts: 997
|
You mean the seL4 microkernel. Another verified microkernel is Coyotos, which was written in BitC. BitC takes a modern, functional approach on low level programming. Funny how this keeps circling back. In fact, the *ML languages were used originally for automated verification.
But I don't know if the end user profits from a verified system. IBM reached 99.999% uptime in its mainframes without it. Modern Linux and BSDs are stable enough imo. That reminds me. Techniques such as extreme programming, design by contract (a rudimentary form of verification) and such are new. |
![]() |
![]() |
#46 |
The Spanish Songstress
Join Date: Jul 2009
Location: Finland
Posts: 114
|
Yup, seL4 was what I was referring to. Thanks for the reminder.
This is true. Which probably is one of the reasons why it's almost never done. Diminishing returns and all that. |
![]() |
![]() |
#47 |
Registered User
Join Date: Mar 2009
Location: moon
Posts: 373
|
Mathematically proving that code follows some spec doesn't help you if the spec is wrong in the first place.
![]() |
![]() |
![]() |
#48 |
Linux snob
Join Date: Sep 2008
Location: Monkey Island
Posts: 997
|
Plus you have to differentiate between partial and total correctness. Partial correctness means that your code does what it is supposed to do and total correctness means that it does so in a finite number of steps. The latter can be impossible to prove for a given program.
Frustrating, isn't it? ![]() |
![]() |
Currently Active Users Viewing This Thread: 1 (0 members and 1 guests) | |
Thread Tools | |
![]() |
||||
Thread | Thread Starter | Forum | Replies | Last Post |
Classic WB 1.x era apps and game mods | chocolate_boy | Amiga scene | 1 | 10 March 2010 09:52 |
Computer speakers from Amiga era... | Paul_s | Nostalgia & memories | 10 | 18 November 2009 09:02 |
Win95-Era, Educational/Puzzle (Not amiga) | Nipedley | Retrogaming General Discussion | 3 | 09 March 2009 03:58 |
What are your top ten games from the 8-bit era? | Bombjacker | Retrogaming General Discussion | 34 | 07 August 2004 12:50 |
Bleem! - The end of an era | MethodGit | Retrogaming General Discussion | 14 | 21 November 2001 16:53 |
|
|