Hacker News: GhosT078

New comment by GhosT078 in "Ada, its design, and the language that built the languages"

GhosT078 — Sat, 18 Apr 2026 01:06:41 +0000

And despite all that complexity, you make it work very well (I've used GNAT since about 2002).

New comment by GhosT078 in "Ada, its design, and the language that built the languages"

GhosT078 — Fri, 17 Apr 2026 16:07:41 +0000

I think there is a significant difference between choosing to use words (from some language) versus using brackets like {}, () and []. With nested brackets there are often debates over placement and it is usually less clear what scope is being ended by the closing bracket.

New comment by GhosT078 in "Ada, its design, and the language that built the languages"

GhosT078 — Fri, 17 Apr 2026 14:20:02 +0000

I agree. I've never understood or accepted the claim that Ada is verbose. It's simply clear and expressive. If there were some alternative concise syntax for "Ada" then I would not want to use it (because it would not be Ada).

This was proposed, as a joke, some years ago: https://www.adacore.com/blog/a-modern-syntax-for-ada

This is an old but good article on the topic: https://www.embedded.com/expressive-vs-permissive-languages-... Note that SPARK has changed significantly since this was written.

New comment by GhosT078 in "Ada, its design, and the language that built the languages"

GhosT078 — Fri, 17 Apr 2026 13:56:54 +0000

I have been using GNAT Studio (previously GNAT Programming Studio or GPS) on Linux for the last 15 years.

New comment by GhosT078 in "Ada, its design, and the language that built the languages"

GhosT078 — Fri, 17 Apr 2026 13:37:13 +0000

I didn't think these were hard to find:

https://ada-lang.io/

https://alire.ada.dev/

New comment by GhosT078 in "Surprising Places Where Ada Is Used"

GhosT078 — Fri, 09 Jan 2026 01:50:23 +0000

An interesting, although incomplete, list.

Surprising Places Where Ada Is Used

GhosT078 — Fri, 09 Jan 2026 01:50:23 +0000

Article URL: https://www.adacore.com/blog/surprising-places-where-ada-is-used

Comments URL: https://news.ycombinator.com/item?id=46549186

Points: 3

# Comments: 2

New comment by GhosT078 in "The Algebra of Loans in Rust"

GhosT078 — Fri, 26 Dec 2025 12:30:30 +0000

Ada does. It has been through 5 editions so far and backwards compatibility is always maintained except for some small things that are documented and usually easy to update.

New comment by GhosT078 in "IBM to acquire Confluent"

GhosT078 — Tue, 09 Dec 2025 14:21:55 +0000

Yes it really was quite good despite all the hate it seems to get in internet comments. I used it for several years. The feature set, particularly config specs and dynamic views, was brilliant. The product was pretty mature and complete 25 years ago. I agree that administration was complicated and performance could be slow if misconfigured. We configured right, it was very intuitive and pleasant to use. IBM has effectively killed it by continuing to charge an excessive premium while adding nothing significant since they bought Rational (for Clearcase, DOORS, Apex etc.)

New comment by GhosT078 in "Brent's Encapsulated C Programming Rules (2020)"

GhosT078 — Tue, 09 Dec 2025 13:26:22 +0000

Look to Ada for “headers” (i.e. specs) done right.

New comment by GhosT078 in "IBM to acquire Confluent"

GhosT078 — Tue, 09 Dec 2025 01:19:35 +0000

IBM is where good (acquired) software goes to die. RIP Clearcase.

New comment by GhosT078 in "Eurydice: a Rust to C compiler"

GhosT078 — Sun, 07 Dec 2025 13:00:59 +0000

Sane, easily readable syntax and expressive semantics. Easy to learn. Very scalable. Suitability, by design, for low level systems programming, including microcontrollers. Suitability, by design, for large, complex real-time applications. Easy to interface with C and other languages. Available as part of GCC. Stable and ongoing language evolution.

New comment by GhosT078 in "Eurydice: a Rust to C compiler"

GhosT078 — Sun, 07 Dec 2025 12:33:34 +0000

Yes

New comment by GhosT078 in "Eurydice: a Rust to C compiler"

GhosT078 — Sun, 07 Dec 2025 11:55:17 +0000

In my timeline, something 10x better than Rust came along in 1995.

New comment by GhosT078 in "Constant-time support coming to LLVM: Protecting cryptographic code"

GhosT078 — Wed, 26 Nov 2025 13:21:46 +0000

SPARK is a very expressive language for implementing cryptographic applications. It is available for some LLVM targets (e.g. x86-64).

New comment by GhosT078 in "GCC SC approves inclusion of Algol 68 Front End"

GhosT078 — Sun, 23 Nov 2025 13:29:47 +0000

Consider exploring Ada 2022 as a capable successor to Algol. Its well supported in GCC and scales well from very small to very large projects. Some information is at https://learn.adacore.com/ and https://alire.ada.dev/

New comment by GhosT078 in "The Lions Operating System"

GhosT078 — Sat, 22 Nov 2025 18:56:12 +0000

Ada is very scalable, suitable for everything from blinking LEDs on an AVR microcontroller board to controlling interplanetary spacecraft. Similarly, SPARK can be used incrementally, proving lower level or critical parts first.

New comment by GhosT078 in "Rust in Android: move fast and fix things"

GhosT078 — Fri, 14 Nov 2025 16:08:20 +0000

A good comment except for the "it's less pretty" claim. The Rust I've looked at seems incredibly cryptic by comparison.

New comment by GhosT078 in "Memory Safety for Skeptics"

GhosT078 — Wed, 12 Nov 2025 18:41:49 +0000

I disagree. SPARK is all about using formal methods to statically prove software properties. Clippy seems more comparable to parts of AdaCore's other static analysis toolset (gnatsas). See https://docs.adacore.com/live/wave/gnatsas/html/user_guide/f...

New comment by GhosT078 in "The history of Casio watches"

GhosT078 — Wed, 12 Nov 2025 00:34:26 +0000

Also agree. Windows Phone 8.1 and 10 were great smartphone interfaces.