let x <- int(input()); while x != 1:     if x.odd() = true:         print(f"3{x}+1={x*3+1}");   
> 1754821033 991544 PRIVMSG #esolangs :14[[07DragonLang14]]4 10 02https://esolangs.org/w/index.php?diff=163236&oldid=160947 5* 03PrySigneToFry 5* (-9) 10
< 1754821655 852928 :amby!~ambylastn@ward-15-b2-v4wan-167229-cust809.vm18.cable.virginm.net JOIN #esolangs amby :realname
> 1754822573 552622 PRIVMSG #esolangs :14[[07User talk:Pifrited/A cubic box full of dried miscellaneous rock pieces form a beach for user's own playground14]]4 10 02https://esolangs.org/w/index.php?diff=163237&oldid=163079 5* 03I am islptng 5* (+150) 10
> 1754823938 640712 PRIVMSG #esolangs :14[[07User:Pifrited/A cubic box full of dried miscellaneous rock pieces form a beach for user's own playground14]]4 10 02https://esolangs.org/w/index.php?diff=163238&oldid=163181 5* 03PrySigneToFry 5* (+115) 10
< 1754824938 448151 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1754824977 34788 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 265 seconds
< 1754825105 849058 :Lord_of_Life_!~Lord@user/lord-of-life/x-2819915 NICK :Lord_of_Life
< 1754827112 905742 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :well now I'm running debian oldoldstable once again. sad.
< 1754827194 571349 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wait, they no longer officially support x86_32? that's a pity. there's still some cheap x86_32 hardware out there.
< 1754827615 991419 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :
ACTION → Bathtub      🐋

< 1754828092 173630 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :when I get to it, I'll have to decide if I want to double-upgrade in place or reinstall. for now I'm leaning towards double-upgrade.
> 1754828416 332025 PRIVMSG #esolangs :14[[07User:Junkshipp/Sandbox14]]4 10 02https://esolangs.org/w/index.php?diff=163239&oldid=163208 5* 03Junkshipp 5* (-2) 10/* Notes */
< 1754828496 845611 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :`lsb_release -d
< 1754828498 500797 :HackEso!~h@techne.zem.fi PRIVMSG #esolangs :Description:	Debian GNU/Linux 10 (buster)
< 1754828515 695088 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :That's I guess now oldoldoldstable.
< 1754828591 309507 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :(All the "real" installations I'm responsible for are on 12/bookworm, I just never get around to upgrading that container-like thing.)
< 1754828838 404282 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Actually I wonder if it would make more sense to run that as an actual OCI image rather than a systemd-nspawn oddity. I think those get the same level of namespace-based isolation, and then it would be easier to just swap the base.
< 1754829295 945238 :ais523!~ais523@user/ais523 QUIT :Quit: sorry about my connection
< 1754829318 15232 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :fizzie: https://www.debian.org/releases/ doesn't call it oldoldoldstable. 
< 1754829372 129509 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also breaking that list with a "historic releases" headline is painful, it says I'm so old I belong into a museum because I ran those releases
< 1754829382 396497 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Wait, "Forky"?!
< 1754829405 95700 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :they may be running out of good character names in the franchise
< 1754829429 616998 :int-e!~noone@int-e.eu PRIVMSG #esolangs :More Toy Story I see... but surely there are better names available?
< 1754829486 322412 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :maybe they'll have to switch to a different classic movie or TV series, one that has much more character names
< 1754829555 490353 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :Trixie would have been a good opportunity because it's also the name of a significant MLP character, and MLP has a TON of named characters, but it's too late if they named Forky and Duke
< 1754829564 377850 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Oh... part of the story is that they burned 8 names on 1.1 to 3.1
< 1754829697 481977 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name)
< 1754829716 588360 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: no, I think those are genuine separate releases, it's just that the world hadn't started the version number inflation yet, and it was completely normal for a project to have its major version number stay the same forever and the so-called minor version number changed when there's a huge incompatible change
< 1754829735 550987 :int-e!~noone@int-e.eu PRIVMSG #esolangs :But they also have quie a few left. https://en.wikipedia.org/wiki/List_of_Toy_Story_characters
< 1754829898 234411 :int-e!~noone@int-e.eu PRIVMSG #esolangs :And what do I know. Maybe Forky is a cool character? But without context it's just an... interesting label for a collection of software.
< 1754829910 875286 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: some of them are ineligible. you can't call a release "RC" because everyone would read that as "release candidate". 
< 1754829939 580657 :int-e!~noone@int-e.eu PRIVMSG #esolangs :b_jonas: See that's the kind of logic that I thought would also apply to "forky" :P
< 1754829973 684935 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :true
< 1754830066 967433 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(And yeah, I saw "RC" and giggled for this reason.)
< 1754830116 592449 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(Ken and Barbie would probably be risky too. Not just because of trademark issues but also because you'd have to pick one before the other...)
< 1754830488 342465 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :int-e: Ken and Barbie are from Toy Story 3. isn't that non-canon for the purpose of naming debian releases?
< 1754830518 517445 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I'm not into Toy Story, I don't know how many films the fans consider good
< 1754830898 263570 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :b_jonas: I think they used all the Toy Story 1 characters before moving onto Toy Story 2, not sure though
> 1754831202 108586 PRIVMSG #esolangs :14[[07User:I am islptng/Game:Nonsense/End14]]4 M10 02https://esolangs.org/w/index.php?diff=163240&oldid=159029 5* 03PrySigneToFry 5* (+10) 10Change the link to a game
< 1754831373 939130 :bongino!~bongino@user/bongino QUIT :Ping timeout: 245 seconds
< 1754831459 222928 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :oh, stretch is apparently from Toy Story 3
< 1754831461 142786 :nitrix_!~nitrix@user/meow/nitrix NICK :nitrix
< 1754831486 268228 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :so is bookworm
< 1754831506 339814 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :and trixie. so Toy Story 3 is definitely allowed.
> 1754831548 133135 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02User:I am islptng/Game:Nonsense10]]": not esolang-related, and edits by other users are destroying any purpose this group of subpages might originally have had
> 1754831554 896022 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02User:I am islptng/Game:Nonsense/110]]": not esolang-related, and edits by other users are destroying any purpose this group of subpages might originally have had
> 1754831561 188504 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02User:I am islptng/Game:Nonsense/210]]": not esolang-related, and edits by other users are destroying any purpose this group of subpages might originally have had
> 1754831567 698186 PRIVMSG #esolangs :14[[07Special:Log/delete14]]4 delete10 02 5* 03Ais523 5*  10deleted "[[02User:I am islptng/Game:Nonsense/End10]]": not esolang-related, and edits by other users are destroying any purpose this group of subpages might originally have had
> 1754831729 468924 PRIVMSG #esolangs :14[[07Esolang:Policy14]]4 10 02https://esolangs.org/w/index.php?diff=163241&oldid=135794 5* 03Ais523 5* (+205) 10/* Policy summary */ clarify that it's inappropriate to use this website to host things unrelated to its purpose  I suspect this has always been a rule, but not everyone seems to realise it exists
< 1754831779 860490 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think I've seen at least two Toy Story films, but don't really remember
< 1754831791 193084 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :they weren't particularly inspiring or memorable
< 1754831845 634047 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I assume that after running out of Toy Story characters, the next generalisation would be characters in other films by Pixar
< 1754831875 50689 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although maybe that would be unacceptable and there would be a need to persuade Pixar to release another Toy Story film, just so that Debian could continue
< 1754832073 986593 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I don't think that works well because most of the time Pixar sequels of sequels are bad
< 1754832096 512693 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well it'd still let Debian continue even if nobody watched it?
< 1754832124 346816 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :naah, the characters introduced it wouldn't really count as canonical Toy Story characters
> 1754832168 58507 PRIVMSG #esolangs :14[[07User:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=163242&oldid=161992 5* 03PrySigneToFry 5* (-38) 10Deleting a red link
> 1754832183 581087 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=163243&oldid=163097 5* 03C++DSUCKER 5* (+20) 10
< 1754832208 272881 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :also I think they should pick a franchise from a publisher that's less aggressive with defending their trademarks than Disney. 
> 1754832229 352960 PRIVMSG #esolangs :14[[07User talk:I am islptng14]]4 10 02https://esolangs.org/w/index.php?diff=163244&oldid=162531 5* 03PrySigneToFry 5* (+107) 10/* ... */ new section
> 1754832242 394697 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=163245&oldid=163243 5* 03C++DSUCKER 5* (+0) 10
< 1754832359 848144 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think Disney didn't own Pixar at the time Debian started?
< 1754832378 735662 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :yes
< 1754832397 815677 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :but Disney owns it now, and they probably care more about *recent* trademarks, like from a new film
< 1754832412 600702 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :also, things are only trademarked in a particular context, Disney is unlikely to trademark their characters in the context of computer software
< 1754832426 654298 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :maybe they would though
< 1754832453 331896 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I wonder if Debian could get a cheap license with some publisher that allows them to use certain names and maybe even release release-specific merchandise, for some cut of the merch income to the publisher
< 1754832480 420176 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :this lead to a high-profile incident when Apple the music label and Apple the computer manufacturer coexisted for years, then the computer manufacturer released iTunes and ended up intruding on the trademark context
< 1754832483 359617 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I forget how that one was resolved
< 1754832562 561415 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Wikipedia says that the computer company purchased the name from the music company, eventually
< 1754832673 533531 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :https://en.wikipedia.org/wiki/Apple_Corps_v_Apple_Computer
> 1754834375 399997 PRIVMSG #esolangs :14[[07Translated SLet/3/Hotcrystal0 3rd time14]]4 10 02https://esolangs.org/w/index.php?diff=163246&oldid=159032 5* 03Hotcrystal0 5* (+7152) 10
> 1754834667 675887 PRIVMSG #esolangs :14[[07User:Hotcrystal0/Sandbox/OotT ideas14]]4 10 02https://esolangs.org/w/index.php?diff=163247&oldid=163223 5* 03Hotcrystal0 5* (-1389) 10
< 1754836632 754873 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 JOIN #esolangs * :Textual User
> 1754837121 516359 PRIVMSG #esolangs :14[[07User:Pifrited/A cubic box full of dried miscellaneous rock pieces form a beach for user's own playground14]]4 M10 02https://esolangs.org/w/index.php?diff=163248&oldid=163238 5* 03Pifrited 5* (+186) 10/* yxdyxxryi Lang */
> 1754837416 744936 PRIVMSG #esolangs :14[[07User:Pifrited/A cubic box full of dried miscellaneous rock pieces form a beach for user's own playground14]]4 10 02https://esolangs.org/w/index.php?diff=163249&oldid=163248 5* 03Pifrited 5* (+130) 10
< 1754838674 806743 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754839604 217850 :korvo!~korvo@2604:a880:4:1d0::4d6:d000 PRIVMSG #esolangs :Debian could always switch to year-oriented release numbers. It's not like anybody's going to confuse them for Ubuntu.
< 1754841584 366797 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 260 seconds
< 1754841633 882452 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :well, "trixie" does sound a lot like an Ubuntu version name – it isn't actually an adjective, but some of their adjectives are really obscure and it sounds like it could be an adjective that one hasn't heard of (it has the right sound in the ending, at least)
< 1754841686 788915 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat
< 1754842328 372331 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 QUIT :Quit: Leaving.
< 1754842916 917044 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 JOIN #esolangs * :Textual User
< 1754843740 140712 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754844376 582684 :joast!~joast@2603:90d8:500:31cf:5e0f:3f4b:1cfe:5060 JOIN #esolangs joast :joast
< 1754844958 196044 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 JOIN #esolangs * :Textual User
< 1754845179 370207 :Cale!~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c QUIT :Quit: Leaving
< 1754846087 41021 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection
> 1754846337 555970 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03MAKSZAB 5*  10New user account
< 1754846339 628367 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :ais523: yeah, it's just spelled wrong, it would be "tricksy" if it's not a proper noun
< 1754846360 540814 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :oh right, that is an adjective
< 1754846413 281206 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :Ubuntu isn't far off T at the moment, maybe they could pick the phonetically same name as Debian
< 1754846430 558424 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I don't think they would want to
> 1754846731 794613 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=163250&oldid=163105 5* 03MAKSZAB 5* (+213) 10
> 1754846819 309908 PRIVMSG #esolangs :14[[07User:MAKSZAB14]]4 N10 02https://esolangs.org/w/index.php?oldid=163251 5* 03MAKSZAB 5* (+59) 10I exist
< 1754846911 788582 :DOS_User_testing!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net JOIN #esolangs * :[https://web.libera.chat] DOS_User_testing
< 1754846919 539761 :DOS_User_testing!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net QUIT :Remote host closed the connection
< 1754846942 788672 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat
< 1754846993 84944 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection
< 1754847005 788726 :DOS_User_testing!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net JOIN #esolangs * :[https://web.libera.chat] DOS_User_testing
< 1754847015 671101 :DOS_User_testing!~DOS_User_@21.red-81-33-48.dynamicip.rima-tde.net QUIT :Remote host closed the connection
< 1754847302 793709 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 JOIN #esolangs DOS_User :[https://web.libera.chat] DOS_User_webchat
< 1754847305 493900 :ais523!~ais523@user/ais523 QUIT :Quit: quit
< 1754847433 836363 :DOS_User_webchat!~DOS_User_@user/DOS-User:11249 QUIT :Remote host closed the connection
> 1754847743 549968 PRIVMSG #esolangs :14[[07Snakel14]]4 M10 02https://esolangs.org/w/index.php?diff=163252&oldid=163122 5* 03Ractangle 5* (-5) 10
< 1754848065 908809 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754848145 377657 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1754848623 167739 PRIVMSG #esolangs :14[[07MarkupL14]]4 M10 02https://esolangs.org/w/index.php?diff=163253&oldid=163195 5* 03Ractangle 5* (-296) 10
< 1754848866 789535 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 JOIN #esolangs * :Textual User
> 1754849236 316619 PRIVMSG #esolangs :14[[07Stuley14]]4 M10 02https://esolangs.org/w/index.php?diff=163254&oldid=152503 5* 03Ractangle 5* (-113) 10
> 1754849269 36453 PRIVMSG #esolangs :14[[07Stuley14]]4 M10 02https://esolangs.org/w/index.php?diff=163255&oldid=163254 5* 03Ractangle 5* (-6) 10/* Syntax */
< 1754851034 652432 :APic!apic@chiptune.apic.name PRIVMSG #esolangs :Good Night.
> 1754851303 556965 PRIVMSG #esolangs :14[[07Talk:Spellblocks14]]4 N10 02https://esolangs.org/w/index.php?oldid=163256 5* 03WarzokERNST135 5* (+134) 10Created page with "Did you make this on penguinmod ~~~~"
> 1754851470 878424 PRIVMSG #esolangs :14[[07Talk:Spellblocks14]]4 10 02https://esolangs.org/w/index.php?diff=163257&oldid=163256 5* 03WarzokERNST135 5* (-134) 10Blanked the page
> 1754851496 816788 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03WarzokERNST135 5*  10moved [[02Talk:Spellblocks10]] to [[Dfhjdsbfjhdsgfsdjhfbsdhhfbnshd]]: I dunno how to delete
> 1754851543 18022 PRIVMSG #esolangs :14[[07Talk:Spellblocks14]]4 10 02https://esolangs.org/w/index.php?diff=163260&oldid=163259 5* 03WarzokERNST135 5* (-44) 10Blanked the page
> 1754852698 220198 PRIVMSG #esolangs :14[[07Witsaff14]]4 N10 02https://esolangs.org/w/index.php?oldid=163261 5* 03Corbin 5* (+3810) 10Stub an old note. Trying to clean out my old folders.
> 1754855770 588562 PRIVMSG #esolangs :14[[07Witsaff14]]4 10 02https://esolangs.org/w/index.php?diff=163262&oldid=163261 5* 03Corbin 5* (+3861) 10All of the syntax in my notes. Examples are cribbed from partial descriptions of Zelda 3, Metroid 3, and Chrono Trigger which I drafted in 2023 and given here to public domain.
> 1754859203 147751 PRIVMSG #esolangs :14[[07Fusion Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=163263&oldid=95386 5* 03Ractangle 5* (-1) 10/* Implementations */  mini
< 1754860576 39953 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Remote host closed the connection
> 1754860765 872975 PRIVMSG #esolangs :14[[07Witsaff14]]4 10 02https://esolangs.org/w/index.php?diff=163264&oldid=163262 5* 03Corbin 5* (+3824) 10Semantics. This is transposed from how I originally imagined it but I don't think it matters. I need to double-check some stuff before I finish this section, but it's mostly done.
< 1754860776 984608 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
> 1754860873 887067 PRIVMSG #esolangs :14[[07Fusion Tag14]]4 M10 02https://esolangs.org/w/index.php?diff=163265&oldid=163263 5* 03Ractangle 5* (+1) 10/* Implementations */ oops
< 1754860913 650064 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Excess Flood
< 1754861032 988668 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord
< 1754864007 63523 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname
< 1754864127 861944 :tromp!~textual@2001:1c00:3487:1b00:99b3:9a99:29d2:5644 QUIT :Quit: My iMac has gone to sleep. ZZZzzz…
< 1754865635 41348 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :wait, C23 gained the machine fixed integer types of arbitrary fixed number of bits width (not necessarily a whole number of bytes) from zig? I hadn't heard of this until today
< 1754865643 215276 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :that's from zig, isn't it?
< 1754865700 199817 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I don't know if it is; I thought it was LLVM
< 1754865732 708966 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :the docs at https://gcc.gnu.org/projects/c-status.html#c23 say that it's supported by gcc 14
< 1754865877 728847 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Yeah, although BITINT_MAXWIDTH ("maximum width of a bit-precise integer type") need only be "greater than or equal to the value of `ULLONG_WIDTH`", so they may not be especially wide.
< 1754865894 294856 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :GCC (at least on x86-64) makes it a lot higher, though.
< 1754865905 292445 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :am I crazy if I think the best use of these is that now we kind of have a signed bool type? (as in, the true value is -1 if you cast it to a wider signed or unsigned type; though they don't behave like the bool type when casting *from* larger integer types to them)?
< 1754865960 702588 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :Rather lamely, they don't allow a signed _BitInt of width 1.
< 1754865966 216443 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :WHAT
< 1754865969 180818 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :drat
< 1754866006 838553 :int-e!~noone@int-e.eu PRIVMSG #esolangs :https://open-std.org/JTC1/SC22/WG14/www/docs/n2763.pdf primarily cites FPGAs, doesn't mention Zig at all
< 1754866011 899653 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :C23 6.7.3.1p4: "The value of /N/ for `unsigned _BitInt` shall be greater than or equal to 1. The value of /N/ for `_BitInt` shall be greater than or equal to 2."
< 1754866016 335262 :fizzie!irc@selene.zem.fi PRIVMSG #esolangs :I think it's a shame too.
< 1754866244 779854 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I care much more about C++ and rust than C, but Boost Endian only provides types whose width are the multiple of a byte, and Boost Multiprecision doesn't provide signed types without memory overhead, even though bit-precise should be implementible well enough in C++ without much language support
< 1754866366 940986 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :as far as I can tell ziglang should have signed 1-byte integer. it doesn't explicitly mention this, but it does say arbitrary bit-width signed and unsigned, and mentions u1 in examples a few times
< 1754866521 819634 :b_jonas!~x@88.87.242.184 PRIVMSG #esolangs :I'm generally *against* notionally packing multiple small integers together into a struct or bit-granular array with language support, so I don't really want to use these for that, but I would like signed and unsigned bool types ephemeral in computations. we do kind of have them in C and C++ already, because I can write -(a