Re: Verified OS concerns

[iki tornsen]

Things change, computer dev evolves too
openbsd dev team uses audit code with great success
but many industrial domains uses new technics like static analysis  with
success too
for exemple in avionics soft : astrée is a tool that certified Airbus plane
software with static analysis
read astree web page http://www.astree.ens.fr/

in such domain perfection could not exist : church gödel turing in 1930 ...

but
it could be interesting for the core team to have a static analysis tool
to test OpenBSD kernel code
it will not be a simple task for sure but it's for my own opinion  a
necessity
 and keep openBSD far beyond ...

some researchers still have this in mind  ...  openbsd
superlinthttp://kindsoftware.com/documents/proposals/superlint.html

in short and private joke : openbsd, (model) checks your 6 ! ... (release)
;)
Iki

T'('r) ex ...

[iki tornsen]

My Lord , Théo an ex ... ^^) please make a song

Re: Dennis Ritchie

[iki tornsen]

Hi all

In memorium ,wear black ribbon for  D.Ritchie

Hope that puffy where this too for next release.
Shame on that world that do not recognize true genius, their are millions!

Regards
Iki

Happy new year and wish

[iki tornsen]

Dear  Good Lord, Santa Claus and all of you ;)

first ,I wish you an happy new year ... 2010
second, thanks for openbsd ;)
third ... my wish list for next Chrismas ... a good looking ... Puffy Droid
:)))
with blinking red eyes when fishing bad packets ... lol


Best regards
radioramax

ps  :
addon wish list
proof of program for core kernel ;)