00:33:18 -!- b_jonas has quit (Quit: leaving). 00:47:40 -!- uplime has joined. 00:59:15 -!- oerjan has joined. 01:14:34 -!- tromp has joined. 01:20:15 @tell b_jonas the :()^!~ construction that i wrote up before removing ~ is pretty much exactly such a two-stack machine as you mention. 01:20:15 Consider it noted. 01:30:11 -!- uplime has quit (Quit: WeeChat 2.2). 01:31:34 -!- Cale has quit (Remote host closed the connection). 01:48:41 [[Special:Log/newusers]] create * Brianush1 * New user account 01:52:56 -!- uplime has joined. 02:01:07 -!- imode has joined. 02:25:12 -!- derpy_ has quit (Ping timeout: 268 seconds). 02:34:07 -!- brandonson has quit (Ping timeout: 240 seconds). 02:35:58 -!- brandonson has joined. 02:48:23 -!- imode has quit (Ping timeout: 245 seconds). 02:51:45 What exactly are you supposed to pass as the index for the XLookupKeysym and XKeycodeToKeysym functions? It says "Specifies the index into the KeySyms list for the event's KeyCode", but I don't know what index it is supposed to be. 03:03:55 I think I've called at least one of those functions. I believe it's the index to the list of the various keysyms attached to that specific keycode for the different combinations of modifier keys. 03:04:10 So with an index of 0, you'll get the entirely unshifted keysym. 03:04:44 In other words, the column of the "xmodmap -pk" list. 03:05:51 Or if not directly the column in that table, at least something related. 03:12:45 -!- imode has joined. 03:28:11 OK 03:29:11 How to figure out the index needed for a given set of modifier keys? 03:47:13 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 03:49:31 -!- Lord_of_Life has joined. 04:01:46 -!- FreeFull has quit. 04:11:10 bad pun time: Building gadgets for Valiant's theorem is a permanent struggle. 04:11:58 (This one: https://en.wikipedia.org/wiki/Sharp-P-completeness_of_01-permanent ) 04:13:08 * oerjan valiantly swats int-e -----### 04:14:22 first swat in almost a month 04:14:27 oerjan's getting soft 04:14:29 I did improve Valiant's "junction" gadget though. 04:15:18 * oerjan decays into mush 04:16:00 `owrjan 04:16:01 Your omnidryad saddle principal ideal golfing toe-obsessed "Darth Ook" oerjan the shifty evil grinch is a punctual expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never remember the word "amortized" so he put it here for convenience. His ark-nemesis is Noah. He twice punned without noticing it. 04:16:25 I was going to add "fungal overlord" but there's already a mushroom in there. 04:17:11 [[Special:Log/newusers]] create * Norskie7 * New user account 04:17:20 there isn't room for mush there 04:19:01 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58918&oldid=58876 * Norskie7 * (+183) 04:19:11 ... But I'd like to come up with a clause gadget from scratch and I may not be able to. Hence the struggle. 04:19:47 int-e: Wait, computing a permanent is NP-hard? 04:19:51 And even #P-hard? 04:19:54 lisp worst syntax known to man? someone's innocent... 04:19:56 Shows what I know. 04:20:24 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58919&oldid=58918 * Norskie7 * (+85) 04:21:49 shachaf: Yes. https://en.wikipedia.org/wiki/Toda%27s_theorem is even more mind-boggling (a #P oracle gives you all the power of the polynomial hierarchy) 04:22:37 . o O ( shachaf will be permanently boggled ) 04:22:40 As I learned last week. 04:22:53 I vaguely knew #P gave you a lot but I kind of expected computing permanent to be similar to computing determinant. 04:23:26 `? #P 04:23:27 ​#P? ¯\(°​_o)/¯ 04:23:55 -!- xkapastel has joined. 04:24:11 . o O ( `? ♯P ) 04:24:28 hashtag p-hard 04:24:40 also: beware the sharp swatter -----♯♯♯ 04:25:50 `icode ♯P 04:25:51 ​[U+266F MUSIC SHARP SIGN] [U+0050 LATIN CAPITAL LETTER P] 04:26:34 -!- Lykaina has joined. 04:26:37 hm the article you linked uses # but not the ♯P article itself 04:26:56 -!- Lykaina has left. 04:27:11 Fancy that. 04:30:25 seems a change from last year 04:31:29 define a computational class S 04:31:41 and then you can talk about things that are ß-hard 04:32:53 ☹ 04:33:12 i tried to check the link to complexity zoo and that had an error from the # to ♯ substitution globally applied :P 04:33:21 although the zoo itself uses # 04:36:41 https://esolangs.org/logs/ 04:36:45 uhm. 04:36:58 `icode 🝖 04:36:59 ​[U+1F756 ALCHEMICAL SYMBOL FOR HORSE DUNG] 04:37:02 good link, recommended 04:37:45 'twas a mere mispaste 04:38:01 `icode ☹ 04:38:03 ​[U+2639 WHITE FROWNING FACE] 04:39:20 that symbol is begging to become a sarcasm tag 04:40:11 my best theory yet 🝖 04:40:19 Well I'm content with the discovery that there is a Unicode symbol for horse shit. 04:40:57 But yes, that works. 04:41:29 Too bad it isn't properly displayed in my terminal. 04:41:34 aww 04:41:50 it's in mine, unlike the frowning fac 04:41:52 e 04:43:08 That's funny, the face is displayed (though barely recognizable) 04:43:33 What font do you use? I use the "fixed" font 04:43:44 same. 04:43:59 i'm using courier new, i think 04:44:19 (The face is displayed if the terminal is set to UTF-8 (I do so for IRC) but the alchemical symbol for horse dung doesn't work, because it is beyond 16-bits) 04:47:13 i'll just claim to be making a statement that emojis are worse than horse dung twh 04:48:36 [[Nope.]] N https://esolangs.org/w/index.php?oldid=58920 * Areallycoolusername * (+876) Created page with "Nope is an [[esoteric programming language]] made by [[User: Areallycoolusername]]. You can code anything you would like, but the interpreter will refuse to give output. This..." 04:49:35 The general colored glyph idea annoys me quite a bit. 04:50:30 -!- imode has quit (Ping timeout: 258 seconds). 04:51:32 Yes, I don't like that either (or the antialiased fuzzy text, either). My proposed EnableLigatures flag would allow (among other things) astral Unicode characters (if the font is Unicode and supports any astral characters), and EnableAntialiasing would allow (among other things) colourful glyphs (and antialiasing). Both flag is off by default, so, you can avoid this 04:52:08 [[Joke language list]] https://esolangs.org/w/index.php?diff=58921&oldid=58844 * Areallycoolusername * (+57) /* General languages */ 04:53:58 [[Cedar--]] N https://esolangs.org/w/index.php?oldid=58922 * Norskie7 * (+3106) Created page with "Cedar-- is an exercise in making a usable language that has the worst syntax imaginable. It was designed in December of 2018, and was implemented in the two weeks following fi..." 05:22:16 bignum BF proven TC with only three [ and three ] instructions: https://cs.stackexchange.com/questions/102363/how-many-pairs-of-brackets-in-bf-be-sufficient-enough-to-make-it-turing-complete/102369#102369 05:22:41 O, that is good I didn't know that. I wanted to know that too 05:23:06 I'm not 100% certain two is impossible 05:23:36 you can do it with a /nesting level/ of only two (that's been on the wiki for a while) but that needs a lot more individual [ and ] instructions in the known proof 05:24:27 huh 05:26:53 note: assumes Artin's conjecture if you want to compile arbitrarily large programs directly, but you should be able to use the bundle-an-interpreter method to prove TCness even if Artin's conjecture turns out to be false 05:33:18 ais523: interrupted sentence: "the program is written in such a way that this" 05:34:16 fixed 05:36:05 "assume that p " 05:36:05 p 05:36:08 has a primitive root 2 05:36:29 wtf did that include newlines 05:40:00 anyway, that doesn't make sense 05:40:32 -!- nfd9001 has joined. 05:46:46 bah can't read this now 05:48:40 why doesn't it make sense? 05:48:49 we can always add on extra counters to the program 05:49:01 so that assumption is wlog as long as there are infinitely many numbers which have 2 as a primitive root 05:50:26 btw, there are almost certainly simpler constructions, I just hadn't thought of them at the time I wrote that answer 05:50:35 okay 05:51:27 probably using 2*(p*2**(n+k)+n) for some suitable constant k would work 05:52:23 anyway my brain refuses to be in math mode 05:53:40 given what time it is, that makes sense 05:54:13 the trick is finding a way to cycle over all the counters using only two of your three loops, whilst also ensuring all the difference between pairs of counter locations are distinct 05:54:21 *all the differences 05:58:26 -!- oerjan has quit (Quit: Nite). 06:00:46 -!- imode has joined. 06:05:41 -!- hexfive has quit (Quit: WeeChat 2.2). 06:57:35 -!- ais523 has quit (Quit: quit). 07:23:12 [[Talk:Nope.]] N https://esolangs.org/w/index.php?oldid=58923 * Salpynx * (+603) Prigoginic leap in computational complexity 07:43:24 -!- nfd9001 has quit (Ping timeout: 268 seconds). 07:53:59 -!- imode has quit (Ping timeout: 246 seconds). 08:01:07 -!- tromp has quit (Remote host closed the connection). 08:01:21 -!- tromp has joined. 08:06:38 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:44:41 -!- uplime has quit (Quit: WeeChat 2.2). 08:47:32 -!- Guest99 has joined. 09:02:31 -!- AnotherTest has joined. 09:08:25 -!- AnotherTest has quit (Ping timeout: 250 seconds). 09:10:24 -!- nfd9001 has joined. 09:28:14 -!- nfd9001 has quit (Ping timeout: 268 seconds). 09:51:12 -!- tromp has quit (Remote host closed the connection). 09:52:36 -!- tromp has joined. 11:07:17 -!- wob_jonas has joined. 11:08:15 Quick question. Some photographers upload really high quality photos to commons, and add a note that I shouldn't reupload the file in place, if I want to improve it, I should either choose a new name or ask the uploader. 11:08:56 Is there some template or stock text to mark the opposite for some of my photos? I have some photos that could certainly be improved by some color adjustments, eg. https://commons.wikimedia.org/wiki/File:Orsa-rovdjurspark-tiger-0.jpg or https://commons.wikimedia.org/wiki/File:Orsa-rovdjurspark-tiger-2.jpg 11:09:17 For those cases I want to mark in some way that you should feel free to improve the photo with light editing in place. 11:09:55 Mind you, for those two photos in particular, I might just edit them now, but I may want to add this text to some photos I'll upload in the future. 11:23:05 um sorry, wrong channel. I meant #wikimedia-commons 12:26:37 hmm, nice photos though 14:24:59 ais523: wow! three pairs of braces total in brainfuck? 14:36:41 -!- AnotherTest has joined. 14:41:36 -!- AnotherTest has quit (Ping timeout: 260 seconds). 14:41:51 -!- sleepnap has joined. 15:27:12 -!- AnotherTest has joined. 15:43:20 -!- Guest99 has quit (Remote host closed the connection). 15:46:43 -!- Lord_of_Life_ has joined. 15:49:27 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 15:49:29 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:05:48 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:19:03 -!- xkapastel has joined. 16:24:40 -!- imode has joined. 17:06:36 -!- b_jonas has joined. 19:02:36 -!- FreeFull has joined. 19:11:11 -!- sleepnap has quit (Ping timeout: 250 seconds). 19:12:17 -!- sleepnap has joined. 19:16:42 -!- Essadon has joined. 19:28:05 -!- AnotherTest has quit (Ping timeout: 250 seconds). 19:35:46 -!- AnotherTest has joined. 19:47:09 -!- AnotherTest has quit (Ping timeout: 250 seconds). 20:09:17 -!- AnotherTest has joined. 20:12:20 oh darn, I broke my chair 20:14:23 oerjan: that's believable, I'll have to check that later on the wiki (re underload) 20:21:18 -!- AnotherTest has quit (Ping timeout: 245 seconds). 20:45:00 -!- Phantom_Hoover has joined. 20:45:00 -!- Phantom_Hoover has quit (Changing host). 20:45:00 -!- Phantom_Hoover has joined. 21:01:23 `datei 21:01:24 2019-01-04 21:01:23.709402290 +0000 UTC January 4 Friday 2019-W01-5 21:01:42 my hon. and learned friend fungot, I hope you have a pleasant vacation away from this channel 21:10:28 "We will be seating you in the Afternoon Tea." 21:10:40 I hope that's not literal. 21:14:20 @wn tea 21:14:24 *** "tea" wn "WordNet (r) 3.0 (2006)" 21:14:25 tea 21:14:27 n 1: a beverage made by steeping tea leaves in water; "iced tea 21:14:29 is a cooling drink" 21:14:31 2: a light midafternoon meal of tea and sandwiches or cakes; "an 21:14:33 [11 @more lines] 21:17:41 -!- fungot has joined. 21:18:12 fungot: All back to normal, are you? 21:18:12 fizzie: how can i 21:18:25 Hmm, that's not promising. 21:18:36 fungot: I don't know, you'll have to figure that out. 21:18:36 fizzie: i know. it's not impossible to require modules using prefixes etc. which is ok, before implementing it 21:18:45 my hon. and learned friend fungot is back 21:18:46 b_jonas: that i'll fight. it doesn't suck if you have dynamically scoped debugger hooks it's the integration into chicken, if you can 21:19:19 (It resets to the irc style at restart.) 21:22:27 ``` /bin/cat bin/datei 21:22:28 ​#!/bin/sh \ exec date "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:22:30 ``` /bin/cat bin/dateu 21:22:31 ​#!/bin/sh \ exec date -u "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:28:06 `perl -we for $e ("i","u"){ $f="bin/date$e"; open my$i,"<",$e; local$/; $s=<$i> or die; $s=~s/"\+%Y/\${d:+-d "\$d"} $&/ or die; open $o,">",$f or die "error open $f w: $!"; print $o $s or die; close $o or die; print "OK $f\n" } 21:28:07 Value of construct can be "0"; test with defined() at -e line 1. \ readline() on closed filehandle $i at -e line 1. \ Died at -e line 1. 21:28:37 `perl -e for $e ("i","u"){ $f="bin/date$e"; open my$i,"<",$e or die "error open $f r"; local$/; $s=<$i> or die; $s=~s/"\+%Y/\${d:+-d "\$d"} $&/ or die; open $o,">",$f or die "error open $f w: $!"; print $o $s or die; close $o or die; print "OK $f\n" } 21:28:38 error open bin/datei r at -e line 1. 21:28:44 ``` cat bin/datei 21:28:45 ​#!/bin/sh \ exec date "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:28:49 hmm 21:29:07 `perl -e for $e ("i","u"){ $f="bin/date$e"; open my$i,"<",$f or die "error open $f r"; local$/; $s=<$i> or die; $s=~s/"\+%Y/\${d:+-d "\$d"} $&/ or die; open $o,">",$f or die "error open $f w: $!"; print $o $s or die; close $o or die; print "OK $f\n" } 21:29:09 OK bin/datei \ OK bin/dateu 21:29:11 `datei 21:29:12 2019-01-04 21:29:12.098799133 +0000 UTC January 4 Friday 2019-W01-5 21:29:14 `datei 21:29:15 2019-01-04 21:29:15.160479399 +0000 UTC January 4 Friday 2019-W01-5 21:29:23 `datei 2019-07-02 21:29:23 2019-01-04 21:29:23.562776983 +0000 UTC January 4 Friday 2019-W01-5 21:29:28 nope 21:29:33 ``` cat bin/datei 21:29:34 ​#!/bin/sh \ exec date ${d:+-d "$d"} "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:29:35 `dateu 21:29:35 2019-01-04 21:29:35.420087204 +0000 UTC January 4 Friday 2019-W01-5 21:29:38 oh right 21:29:42 `revert 21:29:43 Done. 21:29:47 ``` cat bin/datei 21:29:47 ​#!/bin/sh \ exec date "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:29:48 ``` cat bin/dateu 21:29:49 ​#!/bin/sh \ exec date -u "+%Y-%m-%d %H:%M:%S.%N %z %Z %B %-e %A %G-W%V-%u" 21:30:08 `perl -e for $e ("i","u"){ $f="bin/date$e"; open my$i,"<",$f or die "error open $f r"; local$/; $s=<$i> or die; $s=~s/"\+%Y/\${1:+-d "\$1"} $&/ or die; open $o,">",$f or die "error open $f w: $!"; print $o $s or die; close $o or die; print "OK $f\n" } 21:30:13 OK bin/datei \ OK bin/dateu 21:30:15 `datei 21:30:16 2019-01-04 21:30:16.440430275 +0000 UTC January 4 Friday 2019-W01-5 21:30:23 `datei 2019-07-20 21:30:23 2019-07-20 00:00:00.000000000 +0000 UTC July 20 Saturday 2019-W29-6 21:30:28 `datei 2019-07-20 10:30 21:30:29 2019-07-20 10:30:00.000000000 +0000 UTC July 20 Saturday 2019-W29-6 21:30:36 `datei --07-20 10:30 21:30:37 date: invalid date ‘--07-20 10:30’ 21:30:46 `datei -19-07-20 10:30 21:30:47 date: invalid date ‘-19-07-20 10:30’ 21:30:54 `datei 07/20 21:30:55 2019-07-20 00:00:00.000000000 +0000 UTC July 20 Saturday 2019-W29-6 21:31:14 `datei friday 21:31:14 2019-01-04 00:00:00.000000000 +0000 UTC January 4 Friday 2019-W01-5 21:31:20 `datei thursday 21:31:21 2019-01-10 00:00:00.000000000 +0000 UTC January 10 Thursday 2019-W02-4 21:31:25 `datei next 21:31:26 date: invalid date ‘next’ 21:31:30 `datei yesterday 21:31:30 2019-01-03 21:31:30.305389414 +0000 UTC January 3 Thursday 2019-W01-4 21:31:34 `datei today 21:31:34 2019-01-04 21:31:34.359002045 +0000 UTC January 4 Friday 2019-W01-5 21:31:41 `datei 00:00 21:31:42 2019-01-04 00:00:00.000000000 +0000 UTC January 4 Friday 2019-W01-5 21:31:44 `dateu 21:31:45 2019-01-04 21:31:45.302110784 +0000 UTC January 4 Friday 2019-W01-5 21:31:54 `dateu 20:00 EDT 21:31:55 2019-01-05 00:00:00.000000000 +0000 UTC January 5 Saturday 2019-W01-6 21:31:58 `datei 20:00 EDT 21:31:59 2019-01-05 00:00:00.000000000 +0000 UTC January 5 Saturday 2019-W01-6 21:32:20 `datei 21:32:21 2019-01-04 21:32:21.060698040 +0000 UTC January 4 Friday 2019-W01-5 21:32:22 `datei now 21:32:23 2019-01-04 21:32:22.729636367 +0000 UTC January 4 Friday 2019-W01-5 21:32:24 `dateu now 21:32:25 2019-01-04 21:32:24.929500528 +0000 UTC January 4 Friday 2019-W01-5 21:32:41 sorry for the spam 21:33:00 anyway, datei and dateu now takes a datetime in argument, in the formats that date accepts 21:33:05 `datei mar 21:33:05 date: invalid date ‘mar’ 21:33:07 `datei march 21:33:08 date: invalid date ‘march’ 21:33:10 `datei mar01 21:33:11 2019-03-01 00:00:00.000000000 +0000 UTC March 1 Friday 2019-W09-5 21:33:45 `datei @1000000000 21:33:46 2001-09-09 01:46:40.000000000 +0000 UTC September 9 Sunday 2001-W36-7 21:33:58 `datei @2000000000 21:33:59 2033-05-18 03:33:20.000000000 +0000 UTC May 18 Wednesday 2033-W20-3 21:34:13 `datei @1500000000 21:34:13 2017-07-14 02:40:00.000000000 +0000 UTC July 14 Friday 2017-W28-5 21:35:27 -!- b_jonas has quit (Quit: leaving). 22:07:14 [[Language list]] https://esolangs.org/w/index.php?diff=58924&oldid=58863 * Cortex * (-56) 22:50:05 -!- sprocklem has quit (Quit: brb). 22:50:27 -!- sprocklem has joined. 23:01:55 -!- sleepnap has left. 23:04:25 [[User:Cortex/draft]] N https://esolangs.org/w/index.php?oldid=58925 * Cortex * (+730) Created page with "'''MPD''' is a programming language created by [[User:Cortex|Cortex]] which contains multiple languages inside of it. It is named after multiple personality disorder. User:C..." 23:27:33 -!- hthththththththt has joined. 23:27:52 hi 23:28:24 hi 23:31:15 any advice on learning code? 23:37:13 just start small and don't get stuck on one particular language/methodology 23:37:36 cool thanksman 23:39:03 -!- hthththththththt has quit (Quit: Page closed). 23:52:51 -!- Phantom_Hoover has quit (Remote host closed the connection).