00:07:23 <esolangs> [[Fish]] https://esolangs.org/w/index.php?diff=152454&oldid=152453 * MihaiEso * (+142) /* Examples */
00:37:08 <esolangs> [[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 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152456&oldid=152455 * MihaiEso * (+77) /* Name */
00:38:33 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152457&oldid=152456 * MihaiEso * (+13) /* Name */
00:40:03 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152458&oldid=152457 * MihaiEso * (+50)
00:40:35 <esolangs> [[Hello, world!]] https://esolangs.org/w/index.php?diff=152459&oldid=120635 * MihaiEso * (+80)
00:41:09 <esolangs> [[Hello, world!]] https://esolangs.org/w/index.php?diff=152460&oldid=152459 * MihaiEso * (+1)
00:46:40 <esolangs> [[User:MihaiEso]] https://esolangs.org/w/index.php?diff=152461&oldid=152052 * MihaiEso * (+72)
00:47:57 <esolangs> [[Joke language list]] https://esolangs.org/w/index.php?diff=152462&oldid=151939 * MihaiEso * (+104)
01:15:58 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152463&oldid=152458 * PrySigneToFry * (+281)
01:50:12 <esolangs> [[EternalGolf]] https://esolangs.org/w/index.php?diff=152464&oldid=152409 * PrySigneToFry * (+210)
01:51:56 <esolangs> [[EternalGolf]] https://esolangs.org/w/index.php?diff=152465&oldid=152464 * PrySigneToFry * (+8)
01:58:53 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Afth]] https://esolangs.org/w/index.php?diff=152468&oldid=152437 * Lykaina * (-73) /* Core Instructions */ updating to current
02:38:28 <esolangs> [[Afth/ASCII-Core]] https://esolangs.org/w/index.php?diff=152469&oldid=152309 * Lykaina * (-27) /* ASCII-Sorted Core Instructions */
02:39:15 <esolangs> [[User talk:I am islptng]] https://esolangs.org/w/index.php?diff=152470&oldid=152466 * PrySigneToFry * (+2860)
02:41:07 <shachaf> int-e: I barely played any of it yet.
02:51:43 <esolangs> [[Afth/Examples]] https://esolangs.org/w/index.php?diff=152471&oldid=152438 * Lykaina * (-930) Updating to current.
02:54:40 <esolangs> [[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 <Lykaina> Freed up the Afth instructions <,>,^,and v
03:20:05 <esolangs> [[Lythnology]] N https://esolangs.org/w/index.php?oldid=152473 * RainbowDash * (+6646) Create Lythnology
03:20:26 <Lykaina> it no longer has an increment, decrement, or shift-right
03:20:56 <Lykaina> it does, however, have a shift-left-and-increment now
03:20:59 <esolangs> [[User:RainbowDash]] M https://esolangs.org/w/index.php?diff=152474&oldid=152449 * RainbowDash * (+17) /* Esolangs I've made. */
03:22:19 <Lykaina> shl was moved to 0, shl_inc is at 1
03:23:58 <Lykaina> on the plus side, if i want to make a funge...
03:26:01 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152475&oldid=152473 * RainbowDash * (+437) /* Example Programs */
03:27:10 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152476&oldid=152475 * RainbowDash * (+58) /* Ten bottles of beer on the wall */
03:28:03 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152477&oldid=152476 * RainbowDash * (+96) /* Printing */
03:28:17 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152478&oldid=152477 * RainbowDash * (+4) /* Printing */
03:31:40 <esolangs> [[Pointing]] https://esolangs.org/w/index.php?diff=152479&oldid=152344 * Calculus is fun * (+183) /* Functions */
03:32:06 <esolangs> [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=152480&oldid=152216 * Aadenboy * (-103) yawn... adding [[braingrate]] I guess...
03:32:48 <esolangs> [[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 <esolangs> [[Special:Log/upload]] upload * RainbowDash * uploaded "[[File:Lythnolo.png]]"
03:53:11 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152483&oldid=152478 * RainbowDash * (+298)
03:53:38 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152484&oldid=152483 * RainbowDash * (+29)
03:54:28 <esolangs> [[Lythnology]] M https://esolangs.org/w/index.php?diff=152485&oldid=152484 * RainbowDash * (+28)
04:03:56 <esolangs> [[Afth]] https://esolangs.org/w/index.php?diff=152486&oldid=152472 * Hakerh400 * (-39) Add interpreter
04:11:34 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152487&oldid=152463 * MihaiEso * (+175) /* Name */ Added some names
04:12:54 <esolangs> [[Fish]] https://esolangs.org/w/index.php?diff=152488&oldid=152454 * MihaiEso * (+27) /* Hello, world! */
04:17:20 <esolangs> [[Template talk:InDebated]] N https://esolangs.org/w/index.php?oldid=152489 * PrySigneToFry * (+215) Created page with "Can I create this template? <pre> :''This is currently being debated. It may be changed in the future.''<includeonly>[[Category:Being-Debated]]</includeonly><noinclude>[[Category:Being-Debated| ]]</noinclude> </pre>"
04:45:36 <esolangs> [[Hello,world!]] https://esolangs.org/w/index.php?diff=152490&oldid=152487 * PrySigneToFry * (+50)
04:49:10 <esolangs> [[User talk:Aadenboy]] https://esolangs.org/w/index.php?diff=152491&oldid=152330 * PrySigneToFry * (+85)
05:34:57 <zzo38> 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 <zzo38> 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 <zzo38> (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 <zzo38> (Maybe, I can write to them about that, if I know who to write to?)
06:02:05 <esolangs> [[User talk:Aadenboy]] M https://esolangs.org/w/index.php?diff=152492&oldid=152491 * Aadenboy * (+55) canon
06:06:04 <esolangs> [[Template talk:InDebated]] https://esolangs.org/w/index.php?diff=152493&oldid=152489 * Unname4798 * (+247)
06:06:12 <esolangs> [[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.''<includeonly>[[Category:Being-Debated]]</includeonly><noinclude>[[Category:Being-Debated| ]]</noinclude>"
06:16:56 <esolangs> [[User talk:Ais523]] https://esolangs.org/w/index.php?diff=152495&oldid=151647 * PrySigneToFry * (+182) /* Category:Being-Debated */ new section
06:17:40 <esolangs> [[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 <esolangs> [[User talk:Fizzie]] https://esolangs.org/w/index.php?diff=152497&oldid=134929 * PrySigneToFry * (+1192) /* Babel plug-in */ new section
06:24:10 <esolangs> [[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 <int-e> shachaf: I may have played a bit too much; I sleep-optimized one of the levels.
08:06:04 <int-e> 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 <korvo> I wonder what is "being debated".
08:27:05 <int-e> oh great, another undiscussed category
08:29:55 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=152499&oldid=151097 * Ractangle * (-1)
08:30:49 <esolangs> [[Special:Log/upload]] upload * Ractangle * uploaded "[[File:MarkupL logo.png]]"
08:31:21 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=152501&oldid=152499 * Ractangle * (+49)
08:32:27 <esolangs> [[MarkupL]] https://esolangs.org/w/index.php?diff=152502&oldid=152501 * Ractangle * (+1) /* MarkupL syntax */
08:55:36 <esolangs> [[Stuley]] https://esolangs.org/w/index.php?diff=152503&oldid=145859 * Ractangle * (-10) /* Syntax */
09:18:52 -!- chomwitt has joined.
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 <esolangs> [[Special:Log/upload]] overwrite * Ractangle * uploaded a new version of "[[File:My github profile read me.png]]"
10:30:11 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152505&oldid=138179 * Ractangle * (+21)
10:32:19 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152506&oldid=152505 * Ractangle * (+15) /* {{cd|new}} */
10:34:56 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152507&oldid=152506 * Ractangle * (+21)
10:38:26 <esolangs> [[StormLang]] https://esolangs.org/w/index.php?diff=152508&oldid=152382 * PrySigneToFry * (+66)
10:39:20 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152509&oldid=152507 * Ractangle * (+40) /* {{cd|new}} */
10:39:50 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152510&oldid=152509 * Ractangle * (-60)
10:40:13 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152511&oldid=152510 * Ractangle * (-7) /* Syntax */
10:41:02 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152512&oldid=152511 * Ractangle * (-1) /* new */
10:43:41 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152513&oldid=152512 * Ractangle * (+78) /* new */
10:43:54 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152514&oldid=152513 * Ractangle * (-10) /* Syntax */
11:18:36 <esolangs> [[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 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152516&oldid=152514 * Ractangle * (+1)
11:50:06 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152517&oldid=152516 * Ractangle * (+6) /* Interpreter */
11:50:50 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152518&oldid=152517 * Ractangle * (-56) /* Implementation */
11:51:10 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152519&oldid=152518 * Ractangle * (+41)
12:01:38 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152520&oldid=152519 * Ractangle * (-1) /* Syntax */
12:05:23 <esolangs> [[Talk:Markleft]] N https://esolangs.org/w/index.php?oldid=152521 * Ractangle * (+224) Created page with "<blockquote> In PsiLine Universe </blockquote> Plagiarism~~~"
12:46:59 <esolangs> [[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:03 <fungot> 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:25 <HackEso> 1/1:1278) <hppavilion[1]> alercah: Also, this isn't a PC thing- if it was PC, it wouldn't list ones for whites \ 714) <Taneb> profanity specialities
13:32:45 -!- ais523 has joined.
13:33:26 <HackEso> olist <https://www.giantitp.com/comics/oots1319.html>: shachaf oerjan Sgeo boily nortti b_jonas Noisytoot
13:35:22 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152523&oldid=152521 * PrySigneToFry * (+1082)
13:36:32 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152525&oldid=150645 * PrySigneToFry * (+86) Fixed script
14:10:33 <esolangs> [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152526&oldid=152524 * PrySigneToFry * (+59)
14:19:36 <int-e> . o O ( `duolist )
14:26:48 -!- mtm has joined.
14:33:56 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152527&oldid=152523 * PrySigneToFry * (+108)
14:40:21 <esolangs> [[Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152528&oldid=152526 * C++DSUCKER * (+0)
14:44:51 <esolangs> [[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 <esolangs> [[Talk:Loop preventing brainfuck]] https://esolangs.org/w/index.php?diff=152530&oldid=152529 * C++DSUCKER * (-2)
14:57:55 <esolangs> [[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 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152532&oldid=152525 * 47 * (-86) no
15:17:56 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152533&oldid=152527 * 47 * (+153)
15:18:04 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152534&oldid=152533 * 47 * (+22)
15:24:08 <esolangs> [[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. <br>{{cd|'...'}} String. <br>{{cd|G ''n''}} Goes to li
15:24:12 <esolangs> [[Bake]] https://esolangs.org/w/index.php?diff=152536&oldid=150451 * 47 * (-807) Replaced content with "Page moved [[User:Ractangle/Debating]]"
15:24:42 <esolangs> [[User:Ractangle/Debating]] https://esolangs.org/w/index.php?diff=152537&oldid=152535 * 47 * (-1) /* Bake */
15:26:40 <esolangs> [[Bake]] https://esolangs.org/w/index.php?diff=152538&oldid=152536 * 47 * (+87)
15:27:28 <esolangs> [[Bake]] https://esolangs.org/w/index.php?diff=152539&oldid=152538 * 47 * (+3)
15:30:01 <esolangs> [[User:Ractangle/Debating]] https://esolangs.org/w/index.php?diff=152540&oldid=152537 * 47 * (+113)
15:30:24 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152541&oldid=152534 * 47 * (+0)
15:30:39 <esolangs> [[Talk:Markleft]] https://esolangs.org/w/index.php?diff=152542&oldid=152541 * 47 * (+1)
15:31:38 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152543&oldid=152532 * 47 * (-91) /* See also */
15:31:55 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152544&oldid=152543 * 47 * (-850) /* Compatibility methods */
15:33:49 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152545&oldid=152544 * 47 * (-11) /* Syntax */
15:35:58 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152546&oldid=152545 * 47 * (+41)
15:37:30 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152547&oldid=152546 * 47 * (+6) /* Syntax */
15:39:35 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152548&oldid=152547 * 47 * (-7)
15:43:57 -!- FreeFull has joined.
15:44:29 <esolangs> [[Snakel]] https://esolangs.org/w/index.php?diff=152549&oldid=152548 * 47 * (+8) /* Syntax */
15:45:14 <esolangs> [[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 <esolangs> [[Talk:Bitchanger Busy beaver]] https://esolangs.org/w/index.php?diff=152551&oldid=152447 * C++DSUCKER * (+305)
15:53:54 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[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 <esolangs> [[Opal]] https://esolangs.org/w/index.php?diff=152557&oldid=152520 * 47 * (-27)
16:18:12 <esolangs> [[Special:Log/move]] move * 47 * moved [[Mark]] to [[Mark (MeowcaTheoRange)]]
16:20:58 <esolangs> [[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 <esolangs> [[Mark (Ractangle)]] https://esolangs.org/w/index.php?diff=152561&oldid=152560 * 47 * (+16)
16:31:56 <esolangs> [[Bitchanger Busy beaver]] https://esolangs.org/w/index.php?diff=152562&oldid=152522 * C++DSUCKER * (+21)
16:32:13 <esolangs> [[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 <esolangs> [[Special:Log/move]] move_redir * 47 * moved [[Mark (MeowcaTheoRange)]] to [[Mark]] over redirect: Revert
17:17:05 <esolangs> [[Special:Log/delete]] delete_redir * 47 * 47 deleted redirect [[Mark]] by overwriting: Deleted to make way for move from "[[Mark (MeowcaTheoRange)]]"
17:17:58 <esolangs> [[Special:Log/move]] move * 47 * moved [[Mark (Ractangle)]] to [[Flag mark]]
17:18:27 <esolangs> [[Special:Log/move]] move * 47 * moved [[Flag mark]] to [[(mark]]
17:19:09 <esolangs> [[(mark]] https://esolangs.org/w/index.php?diff=152570&oldid=152568 * 47 * (+2)
17:24:30 <esolangs> [[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 <esolangs> [[User:Aadenboy]] M https://esolangs.org/w/index.php?diff=152572&oldid=152480 * Aadenboy * (+87) add [[Ball Pit]]
17:25:50 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=152573&oldid=152443 * Aadenboy * (+15) /* B */ add [[Ball Pit]]
17:27:12 <esolangs> [[Trampolines]] M https://esolangs.org/w/index.php?diff=152574&oldid=142349 * Aadenboy * (-66) link to [[Ball Pit]]
17:32:05 <esolangs> [[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: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 <esolangs> [[Talk:Brainfuckconsole74]] https://esolangs.org/w/index.php?diff=152576&oldid=141455 * Tommyaweosme * (+1215)
19:54:14 <esolangs> [[Talk:Brainfuckconsole74]] M https://esolangs.org/w/index.php?diff=152577&oldid=152576 * Blashyrkh * (+219)
19:57:58 -!- Sgeo has joined.
20:14:55 <esolangs> [[(mark]] https://esolangs.org/w/index.php?diff=152578&oldid=152570 * Ractangle * (-22)
20:20:12 <esolangs> [[(mark]] https://esolangs.org/w/index.php?diff=152579&oldid=152578 * Ractangle * (+140) /* Syntax */
20:20:55 <esolangs> [[(mark]] https://esolangs.org/w/index.php?diff=152580&oldid=152579 * Ractangle * (+17) o mi god
20:28:55 <esolangs> [[(mark]] https://esolangs.org/w/index.php?diff=152581&oldid=152580 * Ractangle * (+42) /* Syntax */
20:39:32 <ais523> 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 <ais523> 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 <int-e> Oh that looks fun.
21:00:51 <int-e> cool minimization effort too
21:03:23 <esolangs> [[User:Buckets]] M https://esolangs.org/w/index.php?diff=152582&oldid=152444 * Buckets * (+11)
21:03:37 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=152583&oldid=152573 * Buckets * (+12)
21:04:15 <esolangs> [[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 <esolangs> [[Niner]] M https://esolangs.org/w/index.php?diff=152585&oldid=152584 * Buckets * (+583)
21:31:13 <b_jonas> ooh another unsoundness bug
21:43:56 <korvo> Löb's theorem in the wild! Amazing.
21:45:25 <korvo> 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 <korvo> It's post hoc ergo propter hoc, right? Begging the trait, so to speak.
21:58:03 <korvo> 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 <ais523> korvo: I can't think offhand of real-world ISAs where that's even interesting (other than possibly CHERI)
22:42:05 <ais523> they generally treat everything as just an arbitrary sequence of bits of the specified width
23:27:32 <ais523> 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 <ais523> I guess the options are scalar-register-to-vector-register moves and moving via memory
23:42:08 <b_jonas> ais523: this is on x86_64?
23:51:28 -!- Thelie has quit (Quit: Leaving.).
23:52:24 <ais523> ideally this would be portable but performance is a larger concern
23:56:09 <ais523> I'm not even sure what language to write it in – maybe Rust with inline asm
23:56:13 <ais523> if it has to be nonportable