home.social

#ats2 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #ats2, aggregated by home.social.

  1. This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

    It is VERIFIED. It requires proofs of correct values.

    pastebin.com/q6pV2FvG

    #programming #Unicode #utf8 #ats #ats2

  2. This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

    It is VERIFIED. It requires proofs of correct values.

    pastebin.com/q6pV2FvG

    #programming #Unicode #utf8 #ats #ats2

  3. This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

    It is VERIFIED. It requires proofs of correct values.

    pastebin.com/q6pV2FvG

    #programming #Unicode #utf8 #ats #ats2

  4. This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

    It is VERIFIED. It requires proofs of correct values.

    pastebin.com/q6pV2FvG

    #programming #Unicode #utf8 #ats #ats2

  5. This may interest programmers. It a version of my UTF-8 encode/decoder that I contributed to Rosetta Code.

    It is VERIFIED. It requires proofs of correct values.

    pastebin.com/q6pV2FvG

    #programming #Unicode #utf8 #ats #ats2

  6. Endlich kommen #ETS2 und #ATS2 auf die Konsole. Ich freue mich 🤗

    Quelle: XboxDynasty
    search.app/221dH

  7. I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

  8. I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

  9. I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

  10. I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

  11. I’m pretty sure in #ATS #ATS2 you can use linear streams to capture the concept of status code returns in a self-cleaning, lightweight thunked manner that avoids if-fel towers, closures, executing on failed values while short-circuiting on failure without overhead. I will need to test this theory…

  12. Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

  13. Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

  14. Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

  15. Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

  16. Today I printed Hello, World to an ncurses screen in ATS2. Probably the most exciting feeling I have had programming in a while, especially if you consider my background/existing knowledge. #ats #ats2

  17. This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : truckermudgeon.github.io

    #trucksim

  18. This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : truckermudgeon.github.io

    #trucksim

  19. This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : truckermudgeon.github.io

    #trucksim

  20. This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : truckermudgeon.github.io

    #trucksim

  21. This website is really cool! it shows all accessible and inaccessible roads that actually exists in #ETS and #ATS2 : truckermudgeon.github.io

    #trucksim

  22. Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

  23. Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

  24. Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

  25. Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

  26. CW: Rosetta Code

    I have added a second #ATS implementation--this one based closely on the #StandardML, to aid people in comparing the two languages:

    Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code rosettacode.org/wiki/Continued

    I also demonstrate having the program broken into multiple files. Some things, which you might not expect to, have to be done "manually" in #ATS2 ...

    #atslang #sml

  27. CW: Rosetta Code

    I have added a second #ATS implementation--this one based closely on the #StandardML, to aid people in comparing the two languages:

    Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code rosettacode.org/wiki/Continued

    I also demonstrate having the program broken into multiple files. Some things, which you might not expect to, have to be done "manually" in #ATS2 ...

    #atslang #sml

  28. CW: Rosetta Code

    I have added a second #ATS implementation--this one based closely on the #StandardML, to aid people in comparing the two languages:

    Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code rosettacode.org/wiki/Continued

    I also demonstrate having the program broken into multiple files. Some things, which you might not expect to, have to be done "manually" in #ATS2 ...

    #atslang #sml

  29. CW: Rosetta Code

    I have added a second #ATS implementation--this one based closely on the #StandardML, to aid people in comparing the two languages:

    Continued fraction/Arithmetic/G(matrix ng, continued fraction n1, continued fraction n2) - Rosetta Code rosettacode.org/wiki/Continued

    I also demonstrate having the program broken into multiple files. Some things, which you might not expect to, have to be done "manually" in #ATS2 ...

    #atslang #sml

  30. CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

  31. CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

  32. CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

  33. CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

  34. CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)