GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Cole B. (csb6@mastodon.social)

  1. Embed this notice
    Cole B. (csb6@mastodon.social)'s status on Friday, 24-Apr-2026 14:37:19 JST Cole B. Cole B.
    in reply to
    • clacke

    @clacke Just stumbled across this - GNAT was bootstrapped from a proprietary Ada compiler (from Alsys) until it got to the point where it could self-host. See https://usenet.ada-lang.io/comp.lang.ada/5ee5b646.0202250655.6fd2bfb8@posting.google.com/

    In conversation about 4 months ago from mastodon.social permalink

    Attachments


  2. Embed this notice
    Cole B. (csb6@mastodon.social)'s status on Friday, 24-Apr-2026 14:37:15 JST Cole B. Cole B.
    in reply to
    • clacke

    @clacke The only example of a real language with its initial implementation written in Ada that I know of is the ParaSail language. (https://github.com/parasail-lang/parasail) It was designed by the lead designer of Ada 95 and subsequent Ada standards so no surprise that he picked it. I suspect most language designers use the language they are most familiar with and that is rarely Ada

    In conversation about 4 months ago from mastodon.social permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: opengraph.githubassets.com
      GitHub - parasail-lang/parasail: Parallel Specification and Implementation Language
      Parallel Specification and Implementation Language - parasail-lang/parasail

User actions

    Cole B.

    Cole B.

    Programmer interested in formal methods and compilers

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          389628
          Member since
          24 Apr 2026
          Notices
          2
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.