00:07:23 [[Fish]] https://esolangs.org/w/index.php?diff=152454&oldid=152453 * MihaiEso * (+142) /* Examples */ 00:37:08 [[Hello,world!]] N https://esolangs.org/w/index.php?oldid=152455 * MihaiEso * (+1396) Created page with "{{Distinguish/Confusion|Hello, world!}} '''Hello,world!''' is a joke esolang by [[User:MihaiEso]], it is a [[Nope.]] derivative and a [[no-code esolang]]. Every program is a [[Hello, world!]] program, so the esolang is ''completely'' unusable for programming. ==Na 00:37:57 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152456&oldid=152455 * MihaiEso * (+77) /* Name */ 00:38:33 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152457&oldid=152456 * MihaiEso * (+13) /* Name */ 00:40:03 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152458&oldid=152457 * MihaiEso * (+50) 00:40:35 [[Hello, world!]] https://esolangs.org/w/index.php?diff=152459&oldid=120635 * MihaiEso * (+80) 00:41:09 [[Hello, world!]] https://esolangs.org/w/index.php?diff=152460&oldid=152459 * MihaiEso * (+1) 00:46:40 [[User:MihaiEso]] https://esolangs.org/w/index.php?diff=152461&oldid=152052 * MihaiEso * (+72) 00:47:57 [[Joke language list]] https://esolangs.org/w/index.php?diff=152462&oldid=151939 * MihaiEso * (+104) 01:15:58 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152463&oldid=152458 * PrySigneToFry * (+281) 01:50:12 [[EternalGolf]] https://esolangs.org/w/index.php?diff=152464&oldid=152409 * PrySigneToFry * (+210) 01:51:56 [[EternalGolf]] https://esolangs.org/w/index.php?diff=152465&oldid=152464 * PrySigneToFry * (+8) 01:58:53 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=152466&oldid=152331 * PrySigneToFry * (+1058) /* Join to EternalGolf development team? */ new section 02:28:11 [[ORS]] N https://esolangs.org/w/index.php?oldid=152467 * None1 * (+884) Created page with "'''ORS''' (Objects R Succinct), designed by [[User:None1]] in [[:category:2025|2025]], is an [[object-oriented]] language that has a very succinct syntax, like most other [[esoteric programming language]]s. ==Examples== ===[[Hello, world!]]=== p: sc Writer; Writer.write("H 02:33:29 [[Afth]] https://esolangs.org/w/index.php?diff=152468&oldid=152437 * Lykaina * (-73) /* Core Instructions */ updating to current 02:38:28 [[Afth/ASCII-Core]] https://esolangs.org/w/index.php?diff=152469&oldid=152309 * Lykaina * (-27) /* ASCII-Sorted Core Instructions */ 02:39:15 [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=152470&oldid=152466 * PrySigneToFry * (+2860) 02:41:07 int-e: I barely played any of it yet. 02:51:43 [[Afth/Examples]] https://esolangs.org/w/index.php?diff=152471&oldid=152438 * Lykaina * (-930) Updating to current. 02:54:40 [[Afth]] https://esolangs.org/w/index.php?diff=152472&oldid=152468 * Lykaina * (+0) /* Jumping */ updating to current 03:05:01 -!- op_4 has quit (Remote host closed the connection). 03:05:32 -!- op_4 has joined. 03:17:36 Freed up the Afth instructions <,>,^,and v 03:20:05 [[Lythnology]] N https://esolangs.org/w/index.php?oldid=152473 * RainbowDash * (+6646) Create Lythnology 03:20:26 it no longer has an increment, decrement, or shift-right 03:20:56 it does, however, have a shift-left-and-increment now 03:20:59 [[User:RainbowDash]] M https://esolangs.org/w/index.php?diff=152474&oldid=152449 * RainbowDash * (+17) /* Esolangs I've made. */ 03:22:19 shl was moved to 0, shl_inc is at 1 03:23:58 on the plus side, if i want to make a funge... 03:26:01 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152475&oldid=152473 * RainbowDash * (+437) /* Example Programs */ 03:27:10 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152476&oldid=152475 * RainbowDash * (+58) /* Ten bottles of beer on the wall */ 03:28:03 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152477&oldid=152476 * RainbowDash * (+96) /* Printing */ 03:28:17 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152478&oldid=152477 * RainbowDash * (+4) /* Printing */ 03:31:40 [[Pointing]] https://esolangs.org/w/index.php?diff=152479&oldid=152344 * Calculus is fun * (+183) /* Functions */ 03:32:06 [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=152480&oldid=152216 * Aadenboy * (-103) yawn... adding [[braingrate]] I guess... 03:32:48 [[Pointing]] M https://esolangs.org/w/index.php?diff=152481&oldid=152479 * Calculus is fun * (+16) /* Linked List */ 03:44:17 -!- Lykaina has quit (Quit: Leaving). 03:49:06 [[Special:Log/upload]] upload * RainbowDash * uploaded "[[File:Lythnolo.png]]" 03:53:11 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152483&oldid=152478 * RainbowDash * (+298) 03:53:38 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152484&oldid=152483 * RainbowDash * (+29) 03:54:28 [[Lythnology]] M https://esolangs.org/w/index.php?diff=152485&oldid=152484 * RainbowDash * (+28) 04:03:56 [[Afth]] https://esolangs.org/w/index.php?diff=152486&oldid=152472 * Hakerh400 * (-39) Add interpreter 04:11:34 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152487&oldid=152463 * MihaiEso * (+175) /* Name */ Added some names 04:12:54 [[Fish]] https://esolangs.org/w/index.php?diff=152488&oldid=152454 * MihaiEso * (+27) /* Hello, world! */ 04:17:20 [[Template talk:InDebated]] N https://esolangs.org/w/index.php?oldid=152489 * PrySigneToFry * (+215) Created page with "Can I create this template? 
 :''This is currently being debated. It may be changed in the future.''[[Category:Being-Debated]][[Category:Being-Debated| ]]
" 04:45:36 [[Hello,world!]] https://esolangs.org/w/index.php?diff=152490&oldid=152487 * PrySigneToFry * (+50) 04:49:10 [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=152491&oldid=152330 * PrySigneToFry * (+85) 05:34:57 I read the documentation for ASN.1 BER library in OpenBSD, and it seems like the documentation is not complete, and seems to be limited in some ways. 05:35:33 One problem seems to be the OID structure, which seems unnecessary to me. Decoding OIDs into sequences of numbers is rarely necessary, except to display them, and this structure imposes unnecessary limits on OIDs, too. 05:37:55 (If you only want to check if it is valid, this can be done by the regular expression: /^(([\x81-\xFF][\x80-\xFF]*)?[\x00-\x7F])+$/ although it does not need to be implemented as a regular expression.) 05:38:19 (Maybe, I can write to them about that, if I know who to write to?) 06:02:05 [[User talk:Aadenboy]] M https://esolangs.org/w/index.php?diff=152492&oldid=152491 * Aadenboy * (+55) canon 06:06:04 [[Template talk:InDebated]] https://esolangs.org/w/index.php?diff=152493&oldid=152489 * Unname4798 * (+247) 06:06:12 [[Template:InDebated]] N https://esolangs.org/w/index.php?oldid=152494 * Unname4798 * (+174) Created page with ":''This is currently being debated. It may be changed in the future.''[[Category:Being-Debated]][[Category:Being-Debated| ]]" 06:16:56 [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=152495&oldid=151647 * PrySigneToFry * (+182) /* Category:Being-Debated */ new section 06:17:40 [[Category:Being-Debated]] N https://esolangs.org/w/index.php?oldid=152496 * PrySigneToFry * (+63) Created page with "This category is for the articles that currently being debated." 06:22:58 [[User talk:Fizzie]] https://esolangs.org/w/index.php?diff=152497&oldid=134929 * PrySigneToFry * (+1192) /* Babel plug-in */ new section 06:24:10 [[User:Tommyaweosme/sandbox]] https://esolangs.org/w/index.php?diff=152498&oldid=149308 * PrySigneToFry * (+77) 07:32:39 -!- ais523 has quit (Read error: Connection reset by peer). 07:39:47 -!- craigo has joined. 07:39:52 -!- craigo has quit (Remote host closed the connection). 07:40:38 -!- craigo has joined. 08:03:23 shachaf: I may have played a bit too much; I sleep-optimized one of the levels. 08:06:04 Anyway here's something I found useful while playing Sea Magic: A map with abbreviated level names next to the entries. https://int-e.eu/~bf3/tmp/seamap.png 08:24:52 I wonder what is "being debated". 08:27:05 oh great, another undiscussed category 08:29:55 [[MarkupL]] https://esolangs.org/w/index.php?diff=152499&oldid=151097 * Ractangle * (-1) 08:30:49 [[Special:Log/upload]] upload * Ractangle * uploaded "[[File:MarkupL logo.png]]" 08:31:21 [[MarkupL]] https://esolangs.org/w/index.php?diff=152501&oldid=152499 * Ractangle * (+49) 08:32:27 [[MarkupL]] https://esolangs.org/w/index.php?diff=152502&oldid=152501 * Ractangle * (+1) /* MarkupL syntax */ 08:55:36 [[Stuley]] https://esolangs.org/w/index.php?diff=152503&oldid=145859 * Ractangle * (-10) /* Syntax */ 09:18:52 -!- chomwitt has joined. 09:19:58 Hi 09:41:36 -!- stillrefitself has joined. 09:49:05 -!- stillrefitself has left (WeeChat 4.5.2). 09:49:22 -!- stillrefitself has joined. 09:49:39 -!- stillrefitself has left (WeeChat 4.5.2). 10:01:13 [[Special:Log/upload]] overwrite * Ractangle * uploaded a new version of "[[File:My github profile read me.png]]" 10:30:11 [[Opal]] https://esolangs.org/w/index.php?diff=152505&oldid=138179 * Ractangle * (+21) 10:32:19 [[Opal]] https://esolangs.org/w/index.php?diff=152506&oldid=152505 * Ractangle * (+15) /* {{cd|new}} */ 10:34:56 [[Opal]] https://esolangs.org/w/index.php?diff=152507&oldid=152506 * Ractangle * (+21) 10:38:26 [[StormLang]] https://esolangs.org/w/index.php?diff=152508&oldid=152382 * PrySigneToFry * (+66) 10:39:20 [[Opal]] https://esolangs.org/w/index.php?diff=152509&oldid=152507 * Ractangle * (+40) /* {{cd|new}} */ 10:39:50 [[Opal]] https://esolangs.org/w/index.php?diff=152510&oldid=152509 * Ractangle * (-60) 10:40:13 [[Opal]] https://esolangs.org/w/index.php?diff=152511&oldid=152510 * Ractangle * (-7) /* Syntax */ 10:41:02 [[Opal]] https://esolangs.org/w/index.php?diff=152512&oldid=152511 * Ractangle * (-1) /* new */ 10:43:41 [[Opal]] https://esolangs.org/w/index.php?diff=152513&oldid=152512 * Ractangle * (+78) /* new */ 10:43:54 [[Opal]] https://esolangs.org/w/index.php?diff=152514&oldid=152513 * Ractangle * (-10) /* Syntax */ 11:18:36 [[Markleft]] N https://esolangs.org/w/index.php?oldid=152515 * PrySigneToFry * (+3308) Created page with "Markleft is designed by PSTF, made for help human easier to note more things. = Overview = Markleft is Markup-like language, can document like Wiki pages(because it is based on Wiki-Markdown). In PsiLine Universe, it is designed by Dmitry Slavoicca. = Syntax = 11:40:54 -!- Sgeo has quit (Read error: Connection reset by peer). 11:49:34 [[Opal]] https://esolangs.org/w/index.php?diff=152516&oldid=152514 * Ractangle * (+1) 11:50:06 [[Opal]] https://esolangs.org/w/index.php?diff=152517&oldid=152516 * Ractangle * (+6) /* Interpreter */ 11:50:50 [[Opal]] https://esolangs.org/w/index.php?diff=152518&oldid=152517 * Ractangle * (-56) /* Implementation */ 11:51:10 [[Opal]] https://esolangs.org/w/index.php?diff=152519&oldid=152518 * Ractangle * (+41) 12:01:38 [[Opal]] https://esolangs.org/w/index.php?diff=152520&oldid=152519 * Ractangle * (-1) /* Syntax */ 12:05:23 [[Talk:Markleft]] N https://esolangs.org/w/index.php?oldid=152521 * Ractangle * (+224) Created page with "
In PsiLine Universe
Plagiarism~~~" 12:46:59 [[Bitchanger Busy beaver]] https://esolangs.org/w/index.php?diff=152522&oldid=152426 * C++DSUCKER * (+303) 13:20:31 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…). 13:32:02 fungot: hi 13:32:03 int-e: we might be able to create the real implementation of formula, and got lost at simulating the tape when they halt. well, i've been out in an italian village i think, 13:32:22 `" 13:32:25 1/1:1278) alercah: Also, this isn't a PC thing- if it was PC, it wouldn't list ones for whites \ 714) profanity specialities 13:32:45 -!- ais523 has joined. 13:33:24 `olist 1319 13:33:26 olist : shachaf oerjan Sgeo boily nortti b_jonas Noisytoot 13:35:22 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152523&oldid=152521 * PrySigneToFry * (+1082) 13:36:32 [[Special:Log/delete]] delete * Ais523 * deleted "[[Category:Being-Debated]]": undiscussed category and it would probably make more sense to use a page for this as a category (but I wouldn't expect it to see enough use to be worth it) 13:43:19 [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152524&oldid=152404 * C++DSUCKER * (+96) /* Random number generator */ 13:43:49 -!- tromp has joined. 14:08:34 [[Snakel]] https://esolangs.org/w/index.php?diff=152525&oldid=150645 * PrySigneToFry * (+86) Fixed script 14:08:40 that was already olisted 14:10:33 [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152526&oldid=152524 * PrySigneToFry * (+59) 14:19:36 . o O ( `duolist ) 14:26:48 -!- mtm has joined. 14:33:56 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152527&oldid=152523 * PrySigneToFry * (+108) 14:40:21 [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152528&oldid=152526 * C++DSUCKER * (+0) 14:44:51 [[Talk:Loop preventing brainfuck]] N https://esolangs.org/w/index.php?oldid=152529 * C++DSUCKER * (+128) Created page with "Should the cells be non-wrapping? --~~~~" 14:45:41 [[Talk:Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152530&oldid=152529 * C++DSUCKER * (-2) 14:57:55 [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152531&oldid=152528 * C++DSUCKER * (-30) 15:06:48 -!- craigo has quit (Quit: Leaving). 15:12:37 [[Snakel]] https://esolangs.org/w/index.php?diff=152532&oldid=152525 * 47 * (-86) no 15:17:56 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152533&oldid=152527 * 47 * (+153) 15:18:04 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152534&oldid=152533 * 47 * (+22) 15:24:08 [[User:Ractangle/Debating]] N https://esolangs.org/w/index.php?oldid=152535 * 47 * (+689) Created page with "A page for my (or [[User:Ractangle]]) draft articles ==Bake== '''Bake''' is an esolang created by Damac Toltius in 1991. Two years after [[Snakel]] was released ==Syntax== {{cd|''n''[...]}} Creates a line.
{{cd|'...'}} String.
{{cd|G ''n''}} Goes to li 15:24:12 [[Bake]] https://esolangs.org/w/index.php?diff=152536&oldid=150451 * 47 * (-807) Replaced content with "Page moved [[User:Ractangle/Debating]]" 15:24:42 [[User:Ractangle/Debating]] https://esolangs.org/w/index.php?diff=152537&oldid=152535 * 47 * (-1) /* Bake */ 15:26:40 [[Bake]] https://esolangs.org/w/index.php?diff=152538&oldid=152536 * 47 * (+87) 15:27:28 [[Bake]] https://esolangs.org/w/index.php?diff=152539&oldid=152538 * 47 * (+3) 15:30:01 [[User:Ractangle/Debating]] https://esolangs.org/w/index.php?diff=152540&oldid=152537 * 47 * (+113) 15:30:24 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152541&oldid=152534 * 47 * (+0) 15:30:39 [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152542&oldid=152541 * 47 * (+1) 15:31:38 [[Snakel]] https://esolangs.org/w/index.php?diff=152543&oldid=152532 * 47 * (-91) /* See also */ 15:31:55 [[Snakel]] https://esolangs.org/w/index.php?diff=152544&oldid=152543 * 47 * (-850) /* Compatibility methods */ 15:33:49 [[Snakel]] https://esolangs.org/w/index.php?diff=152545&oldid=152544 * 47 * (-11) /* Syntax */ 15:35:58 [[Snakel]] https://esolangs.org/w/index.php?diff=152546&oldid=152545 * 47 * (+41) 15:37:30 [[Snakel]] https://esolangs.org/w/index.php?diff=152547&oldid=152546 * 47 * (+6) /* Syntax */ 15:39:35 [[Snakel]] https://esolangs.org/w/index.php?diff=152548&oldid=152547 * 47 * (-7) 15:43:57 -!- FreeFull has joined. 15:44:29 [[Snakel]] https://esolangs.org/w/index.php?diff=152549&oldid=152548 * 47 * (+8) /* Syntax */ 15:45:14 [[Snakel]] https://esolangs.org/w/index.php?diff=152550&oldid=152549 * 47 * (+31) /* Not specifying a type or specify a non-existent type to a variable */ 15:50:38 [[Talk:Bitchanger Busy beaver]] https://esolangs.org/w/index.php?diff=152551&oldid=152447 * C++DSUCKER * (+305) 15:53:54 [[Snakel]] https://esolangs.org/w/index.php?diff=152552&oldid=152550 * 47 * (+33) /* Not specifying a type or specify a non-existent type to a variable (as long as it's not defined) */ 15:54:37 [[Snakel]] https://esolangs.org/w/index.php?diff=152553&oldid=152552 * 47 * (+3) /* Not specifying a type or specify a non-existent type to a variable (as long as it's not defined) */ 15:54:51 [[Snakel]] https://esolangs.org/w/index.php?diff=152554&oldid=152553 * 47 * (-2) /* Not specifying a type or specify a non-existent type to a variable (as long as it's not defined) */ 15:55:28 [[Snakel]] https://esolangs.org/w/index.php?diff=152555&oldid=152554 * 47 * (+1) /* Using anything BUT a tab/4 spaces as indentation */ 15:55:42 [[Snakel]] https://esolangs.org/w/index.php?diff=152556&oldid=152555 * 47 * (-1) /* Using anything BUT a tab or spaces as indentation */ 16:15:23 [[Opal]] https://esolangs.org/w/index.php?diff=152557&oldid=152520 * 47 * (-27) 16:18:12 [[Special:Log/move]] move * 47 * moved [[Mark]] to [[Mark (MeowcaTheoRange)]] 16:20:58 [[Mark (Ractangle)]] N https://esolangs.org/w/index.php?oldid=152560 * 47 * (+132) Created page with "{{WIP}} '''Mark''' is an esolang created by "The Mark Team" in 2004. which became famous for using markup-like syntax for programing" 16:23:08 -!- Thelie has joined. 16:30:24 [[Mark (Ractangle)]] https://esolangs.org/w/index.php?diff=152561&oldid=152560 * 47 * (+16) 16:31:56 [[Bitchanger Busy beaver]] https://esolangs.org/w/index.php?diff=152562&oldid=152522 * C++DSUCKER * (+21) 16:32:13 [[Bitchanger Busy beaver]] M https://esolangs.org/w/index.php?diff=152563&oldid=152562 * C++DSUCKER * (+1) 17:12:27 -!- amby has joined. 17:17:05 [[Special:Log/move]] move_redir * 47 * moved [[Mark (MeowcaTheoRange)]] to [[Mark]] over redirect: Revert 17:17:05 [[Special:Log/delete]] delete_redir * 47 * 47 deleted redirect [[Mark]] by overwriting: Deleted to make way for move from "[[Mark (MeowcaTheoRange)]]" 17:17:58 [[Special:Log/move]] move * 47 * moved [[Mark (Ractangle)]] to [[Flag mark]] 17:18:27 [[Special:Log/move]] move * 47 * moved [[Flag mark]] to [[(mark]] 17:19:09 [[(mark]] https://esolangs.org/w/index.php?diff=152570&oldid=152568 * 47 * (+2) 17:24:30 [[Ball Pit]] N https://esolangs.org/w/index.php?oldid=152571 * Aadenboy * (+3671) Created page with "{{WIP}} {{infobox proglang |name=Ball Pit |paradigms=imperative |author=[[User:Aadenboy]] |year=[[:Category:2025|2025]] |memsys=[[:Category:Stack-based|Multiple stacks]] |dimensions=[[:Category:Two-dimensional languages|Two dimensional]] |class=[[:Category:Turing comp 17:25:07 [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=152572&oldid=152480 * Aadenboy * (+87) add [[Ball Pit]] 17:25:50 [[Language list]] M https://esolangs.org/w/index.php?diff=152573&oldid=152443 * Aadenboy * (+15) /* B */ add [[Ball Pit]] 17:27:12 [[Trampolines]] M https://esolangs.org/w/index.php?diff=152574&oldid=142349 * Aadenboy * (-66) link to [[Ball Pit]] 17:32:05 [[Zudjn]] https://esolangs.org/w/index.php?diff=152575&oldid=151830 * DevThatCodes * (+20) /* syntax */ 17:34:16 -!- Lord_of_Life_ has joined. 17:34:35 -!- Lord_of_Life has quit (Ping timeout: 252 seconds). 17:35:40 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 18:12:33 cu 18:34:00 -!- ais523 has quit (Ping timeout: 252 seconds). 18:43:42 -!- ais523 has joined. 18:44:14 -!- amby has quit (Read error: Connection reset by peer). 18:45:29 -!- amby has joined. 19:05:29 -!- alec3660 has joined. 19:48:02 [[Talk:Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=152576&oldid=141455 * Tommyaweosme * (+1215) 19:54:14 [[Talk:Brainfuckconsole74]] M https://esolangs.org/w/index.php?diff=152577&oldid=152576 * Blashyrkh * (+219) 19:57:58 -!- Sgeo has joined. 20:14:55 [[(mark]] https://esolangs.org/w/index.php?diff=152578&oldid=152570 * Ractangle * (-22) 20:20:12 [[(mark]] https://esolangs.org/w/index.php?diff=152579&oldid=152578 * Ractangle * (+140) /* Syntax */ 20:20:55 [[(mark]] https://esolangs.org/w/index.php?diff=152580&oldid=152579 * Ractangle * (+17) o mi god 20:28:55 [[(mark]] https://esolangs.org/w/index.php?diff=152581&oldid=152580 * Ractangle * (+42) /* Syntax */ 20:39:32 possibly relevant to this channel: a typesystem hole in Rust that lets you prove any two types equal, that can be made to work all the way back to Rust 1.1: https://github.com/rust-lang/rust/issues/135011 20:40:04 it basically seems to be "define a proof in terms of itself without the compiler noticing, allowing you to prove arbitrary things" 20:56:04 Oh that looks fun. 21:00:51 cool minimization effort too 21:03:23 [[User:Buckets]] M https://esolangs.org/w/index.php?diff=152582&oldid=152444 * Buckets * (+11) 21:03:37 [[Language list]] M https://esolangs.org/w/index.php?diff=152583&oldid=152573 * Buckets * (+12) 21:04:15 [[Niner]] N https://esolangs.org/w/index.php?oldid=152584 * Buckets * (+914) Created page with "Niner is an Esoteric programming language created by [[User:Buckets]] in 2021. (The start will start at the top right and point downwards at the Start.) {| class="wikitable" ! Header text !! Header text |- | Commands || Instructions |- | 9 || Point upwards. |- | i || Point 21:25:19 [[Niner]] M https://esolangs.org/w/index.php?diff=152585&oldid=152584 * Buckets * (+583) 21:31:13 ooh another unsoundness bug 21:43:56 Löb's theorem in the wild! Amazing. 21:45:25 The hole seems to be a little bigger than described at the top; later on there's a description of implementing an impossible trait with an empty tuple and the same sort of fallacious reasoning. 21:46:33 It's post hoc ergo propter hoc, right? Begging the trait, so to speak. 21:58:03 Ugh. Unrelated: Somebody please talk me out of constructing the native type theory of a real-world ISA. 22:20:34 -!- chomwitt has quit (Ping timeout: 248 seconds). 22:41:41 korvo: I can't think offhand of real-world ISAs where that's even interesting (other than possibly CHERI) 22:42:05 they generally treat everything as just an arbitrary sequence of bits of the specified width 23:27:32 I have a vectorisation problem – some code I want to vectorise is spending most of its time in operations that vectorise well, but one of the operations is a widening 64-to-128-bit multiplication – I think that'd faster be done element-wise, but what's the best way to get the results into the vector registers after doing so? 23:30:31 I guess the options are scalar-register-to-vector-register moves and moving via memory 23:42:08 ais523: this is on x86_64? 23:51:28 -!- Thelie has quit (Quit: Leaving.). 23:52:00 b_jonas: primarly 23:52:24 ideally this would be portable but performance is a larger concern 23:56:09 I'm not even sure what language to write it in – maybe Rust with inline asm 23:56:13 if it has to be nonportable