marc-kd

- friends
18,455 link karma
1,045 comment karma
send messageredditor for
what's this?

TROPHY CASE


  • Four-Year Club

    Verified Email

Where do you shop for groceries in Huntsville? by MattSayarin HuntsvilleAlabama

[–]marc-kd 1 point2 points ago

Essentially they're a premium supermarket. The products they carry are organic, chemical free, etc., and so you pay somewhat more, it's not exorbitant though.

Just take a walk through and judge for yourself.

DragonEgg compiler, llvm as a gcc backend with Ada support by orbitaliain ada

[–]marc-kd 1 point2 points ago

It is very expensive for the small user. Best info I recall was that for a mainstream platform, i.e. Linux or Windows (and maybe Solaris?), it was $12K/yr. More esoteric platforms were more.

In that, though, you got very high quality service and support, which I've had the pleasure of calling on in the past. And when your support contract is up, nothing bricks, I mean, you can keep using the latest version of GNATPRO you received while under contract for as long as you want.

Where do you shop for groceries in Huntsville? by MattSayarin HuntsvilleAlabama

[–]marc-kd 0 points1 point ago

My wife likes the spinach portabello ones.

Where do you shop for groceries in Huntsville? by MattSayarin HuntsvilleAlabama

[–]marc-kd 3 points4 points ago

Wherever's closest :-)

In my case that's the Kroger and Publix on Winchester Rd. Though I do hit up EarthFare for cookies, cheese, apples, frozen ravioli, and their chicken cordon bleu rollers. Mmm, tasty!

TASTE: a set of tools for the development of embedded, real-time systems in Ada (or C) by gneuromantein ada

[–]marc-kd 0 points1 point ago

Crikey, this is a pretty serious collection of stuff!

What's The Best Language For Safety Critical Software? by jackhammer2022in programming

[–]marc-kd 4 points5 points ago

Mr. Fish is mistaken. Of course Ada won't give you a compiler error on an index out of bounds. It will give you an exception during run-time.

Some Ada compilers, though, can detect and report at compile-time situations where such an exception will be raised during run-time.

What's The Best Language For Safety Critical Software? by jackhammer2022in programming

[–]marc-kd 2 points3 points ago

Ada has a solid reputation for the development of safety critical software in a variety of fields, and the latest revision of the language, Ada 2012, is especially focused on enhancing the verification of "program correctness":

The most important enhancements are those directly related to program correctness, namely the introduction of more powerful assertion mechanisms (predicates) in the language: pre- and postconditions for subprograms, type invariants, and subtype predicates. These are mechanisms that encourage the programmer to better specify the intent of the code they write, and allow the run-time to verify that this intent is in fact obeyed. These “programming by contract” features are also useful for static analysis tools.

Here's a brief overview of Ada 2012, from whence the above quote was excerpted.

And there's always the Ada Reddit!

Looking for an honest auto-body shop in the area. by zachwlewisin HuntsvilleAlabama

[–]marc-kd 2 points3 points ago

I've had a couple things done there as well. Very satisfied. In fact, they're the ones who recommended Dent Systems to me since that was such a small job.

Looking for an honest auto-body shop in the area. by zachwlewisin HuntsvilleAlabama

[–]marc-kd 1 point2 points ago

I had Dent Systems on Pratt Ave take out a small ding in my car. Quite reasonable, and when I found out after-the-fact he doesn't take credit cards, trusted me to leave and come back the next day with the checkbook.

view more: next