The AdaOS Operating System (2000) • Hacker News Board

Re: The AdaOS Operating System (2000)

#31

Post by dapids » Sun, Nov 03, 2019, 10:20 PM UTC

zozbot234 wrote: post #30

dapids wrote: post #22

Earlier quoted context omitted.

With the creation of the MISRA C standards for JSF these memory safety issues have largely been accounted for in the MISRA standards review process.

> ... C .... > ... these memory safety issues have largely been accounted for ... Hahaha. Hahahahahaha.

Instead of laughing like a child maybe provide a defendable argument?

Once again largely, C is a language not the compiler providing its implementation.

Re: The AdaOS Operating System (2000)

#32

Post by johnisgood » Sun, Nov 03, 2019, 10:20 PM UTC

ajxs wrote: post #27

I was just looking at this recently, funnily enough, while looking for other examples of x86 Operating-System development in Ada. Here are a few other examples of Operating-System development in Ada, in various levels of completion. - https://github.com/ajxs/cxos - https://github.com/Lucretia/bare_bones - https://marte.unican.es/todo.htm - https://sourceforge.net/projects/lovelaceos/ - https://sourceforge.net/project…

Do not forget AuroraUX.

Back when it was based on OpenSolaris:

https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page)

https://web.archive.org/web/20090415214139/http://auroraux.b... (About)

Then DragonFlyBSD:

https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page)

https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?)

https://web.archive.org/web/20110904173302/http://www.aurora... (System Overview)

https://web.archive.org/web/20110904171806/http://www.aurora... (Project Goals)

https://web.archive.org/web/20091127065848/http://www.aurora... (Hydra Package Manager)

Re: The AdaOS Operating System (2000)

#33

Post by inferiorhuman » Sun, Nov 03, 2019, 10:31 PM UTC

Twirrim wrote: post #25

tornato7 wrote: post #15

Earlier quoted context omitted.

Sourceforge isn't a reputable website anymore. They have been known for bundling spyware/crapware with their installers of open source software.

That was under previous owners. They've since been bought out by a company that actually gives a damn. Unfortunately there's a good argument for too little, too late. The damage to the brand's reputation is immense.

SF still has tons of ads and other really obnoxious UI choices. Take for example:

https://sourceforge.net/projects/pkgconfiglite/

There's so much crap on that page I couldn't even begin to care about. On the top half of the page: downloads this week, share this, open source software, business software, services, resources, sourceforge's twitter account, sourceforge's facebook account, sourceforge's linkedin, sourceforge newsletters, and of course a gigantic sourceforge banner.

If you go further: user reviews, recommended projects, top searches, other useful business software, similar business software, more twitter links unrelated to the project, related business categories.

SourceForge is a freaking dumpster fire even if they're no longer bundling malware.

Re: The AdaOS Operating System (2000)

#34

Post by ajxs » Sun, Nov 03, 2019, 10:39 PM UTC

johnisgood wrote: post #32

ajxs wrote: post #27

I was just looking at this recently, funnily enough, while looking for other examples of x86 Operating-System development in Ada. Here are a few other examples of Operating-System development in Ada, in various levels of completion. - https://github.com/ajxs/cxos - https://github.com/Lucretia/bare_bones - https://marte.unican.es/todo.htm - https://sourceforge.net/projects/lovelaceos/ - https://sourceforge.net/project…

Do not forget AuroraUX. Back when it was based on OpenSolaris: https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page) https://web.archive.org/web/20090415214139/http://auroraux.b... (About) Then DragonFlyBSD: https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page) https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?) https://web.archive.org/web/20110904173…

Thanks so much for the link! I'm having a little trouble finding the source on those pages. Is there a link to it that's still active?

Re: The AdaOS Operating System (2000)

#35

Post by johnisgood » Sun, Nov 03, 2019, 10:44 PM UTC

ajxs wrote: post #34

johnisgood wrote: post #32

Earlier quoted context omitted.

Do not forget AuroraUX. Back when it was based on OpenSolaris: https://web.archive.org/web/20090314042407/http://auroraux.b... (Main Page) https://web.archive.org/web/20090415214139/http://auroraux.b... (About) Then DragonFlyBSD: https://web.archive.org/web/20110824053558/http://www.aurora... (Main Page) https://web.archive.org/web/20110824053558/http://www.aurora... (Why Ada?) https://web.archive.org/web/20110904173…

Thanks so much for the link! I'm having a little trouble finding the source on those pages. Is there a link to it that's still active?

Unfortunately not that I know of. :( I think I still have my hard drive somewhere back from 2009, I might be able to get some data off from it. It is an old Maxtor, 30 GB I think. The pins are broken so I will definitely have to fix that, but I will have to find it first.

I believe I can get in touch with someone who was really enthusiastic about the project! He was like 14 years old at the time, really really zealous so I would like to think that he made backups. I got the links above from him a couple of weeks (or months?) ago when we were going down the nostalgia lane. :) For what it is worth, I met him on IRC (freenode), in #ada.

Re: The AdaOS Operating System (2000)

#36

Post by johnisgood » Sun, Nov 03, 2019, 11:24 PM UTC

joubert wrote: post #19

sqldba wrote: post #3

Is Ada still around?

Yes. Latest language standard is Ada 2012. Spark, a subset of Ada 2012 supports formal proofs of program properties ranging from absence of run-time errors to functional correctness (compliance of the code with formally specified requirements). If you're curious, you can learn more at https://learn.adacore.com/courses/courses.html

Re: The AdaOS Operating System (2000)

#37

Post by infradig » Sun, Nov 03, 2019, 11:40 PM UTC

coldtea wrote: post #8

kpU8efre7r wrote: post #7

Earlier quoted context omitted.

What? I just left a job in defense software that used Ada and it was a fairly new program.

So we agree. It never went anywhere => ie. it never left. Still used for what it was used => ie. the same kind of software (defense, etc).

The expression is "never went away" then, as "never went anywhere" usually means it dudded.

Re: The AdaOS Operating System (2000)

#38

Post by ajxs » Mon, Nov 04, 2019, 12:05 AM UTC

johnisgood wrote: post #35

ajxs wrote: post #34

Earlier quoted context omitted.

Thanks so much for the link! I'm having a little trouble finding the source on those pages. Is there a link to it that's still active?

Unfortunately not that I know of. :( I think I still have my hard drive somewhere back from 2009, I might be able to get some data off from it. It is an old Maxtor, 30 GB I think. The pins are broken so I will definitely have to fix that, but I will have to find it first. I believe I can get in touch with someone who was really enthusiastic about the project! He was like 14 years old at the time, really really zealou…

I'm still lurking in there from time to time! If you can get it without too much trouble I'm sure there are a few people out there who will appreciate it!

Re: The AdaOS Operating System (2000)

#39

Post by fao_ » Mon, Nov 04, 2019, 12:29 AM UTC

dapids wrote: post #31

zozbot234 wrote: post #30

Earlier quoted context omitted.

> ... C .... > ... these memory safety issues have largely been accounted for ... Hahaha. Hahahahahaha.

Instead of laughing like a child maybe provide a defendable argument? Once again largely, C is a language not the compiler providing its implementation.

Yep. UB means that your program could crash, but it also means it's valid for the compiler to print out a warning and do the right thing, or error, or anything.

Re: The AdaOS Operating System (2000)

#40

Post by galangalalgol » Mon, Nov 04, 2019, 1:04 AM UTC

knome wrote: post #10

galangalalgol wrote: post #6

Earlier quoted context omitted.

A lot of flight and safety critical software has gone c++ at least in the US. Do178b approved g++ clones started popping up about 25 years ago and have made dramatic inroads.

>g++ clones What does this mean? Something like certified forks of g++?

There have been those. Also there have been closed source compilers with identical switches. I have always suspected copyright violations because the scope of writing a c++ compiler but who knows.