00:02:31 and then there's m4/sendmail 00:03:04 (both of which are TC but that didn't stop people from combining them...) 00:09:40 -!- sebbu has quit (Ping timeout: 260 seconds). 00:19:04 LISP is a programming language based on Lists. Is there some other structure that we could base a language on? 00:22:40 There is a lot of thing probably 00:23:08 Forth based on stack, SQL based on database, etc 00:25:41 Hmm... based on pictures of kittens? 00:26:15 How is it working? 00:26:46 In a very pettable way. 00:27:30 zgrep: YES 00:28:29 Grasp is just LISP on (directed, labeled multi)graphs. 00:29:45 -!- sebbu has joined. 00:30:03 fizzie: Is that an actual language? 00:30:08 If not, Imma go design it 00:30:14 It's on the esowiki. 00:30:18 Great 00:47:05 `? Turing 00:47:09 Turing? ¯\(°​_o)/¯ 00:47:39 `le/rn Turing/Turing is what you are doing when you Tur 00:47:44 Learned «turing» 00:48:30 `learn To Tur is to sleep with someone of the same gender as yourself 00:48:33 Learned 'to': To Tur is to sleep with someone of the same gender as yourself 00:48:35 Dammit 00:48:47 `le/rn Tur/To Tur is to sleep with someone of the same gender as yourself 00:48:51 Learned «tur» 00:49:17 (Get it? Because Alan Turing was gay? ) 00:51:45 Had to be done. 00:53:09 it didn't actually have to be done. hth 00:53:23 `rm wisdom/tur 00:53:25 No output. 00:53:55 `revert 6568 00:54:00 Phantom_Hoover: It wasn't meant to be offensive 00:54:03 For the record 00:54:06 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 00:54:12 If it was, I'm sorry. 00:55:03 In fact Knuth has already defined "to ture". 00:55:24 http://www-cs-faculty.stanford.edu/~uno/news12.html 00:55:44 Oh 00:55:50 Whoops then. 00:59:38 `le/rn tur/To tur is not to flase. 00:59:43 Learned «tur» 00:59:46 er... 00:59:50 `le/rn tur/To tur is not to flas. 00:59:52 Learned «tur» 01:09:21 Yes! 01:09:25 I got Anon working a bit! 01:09:41 I can now define instructions1 01:09:58 And by that I mean `"@" "." redef "walrus" @` works! 01:15:18 When you define an instruction, you define it in terms of the current instruction set 01:15:52 So if you redefine . then redefine ! in terms of ., it'll use the new definition of . as its new definition 01:24:56 -!- p34k has quit. 01:32:55 -!- mauris has joined. 01:43:59 [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46196&oldid=43264 * Imaginer1 * (-188) 01:45:08 [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46197&oldid=46196 * Imaginer1 * (+6) 01:45:43 -!- copumpkin has joined. 01:53:59 [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46198&oldid=46197 * Imaginer1 * (+1) 01:58:40 hppavilion[1]: have you seen http://esolangs.org/wiki/Takeover ? 01:59:14 that lets you define instructions in terms of the current instruction set, but also the previous, next, first and last instruction sets 02:00:21 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 02:00:38 -!- AlexR42 has joined. 02:01:54 [wiki] [[Takeover]] https://esolangs.org/w/index.php?diff=46199&oldid=46082 * Ais523 * (+111) /* Hello, world! */ fix a missing half of a sentence 02:08:34 -!- infinitymaster has quit (Remote host closed the connection). 02:13:10 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 02:15:18 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 02:18:25 -!- oerjan has joined. 02:28:59 <\oren\> OFFSIDE, no goal! 02:40:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:47:40 -!- infinitymaster has joined. 02:55:01 <\oren\> FUUUUUUUUUUUUUUU 02:57:25 <\oren\> `le/rn 02:57:28 No output. 03:03:23 [wiki] [[Newbiefuck]] N https://esolangs.org/w/index.php?oldid=46200 * Oerjan * (+1442) Documenting one of the most common brainfuck derivatives (someone else can check if there's already an equivalent one). 03:04:57 HAI I MADE BRAINFUCK DERIVATIVE HTH 03:07:34 [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=46201&oldid=46183 * Oerjan * (+108) /* Brainfuck derivatives */ 03:09:19 oerjan: you know where the brick goes 03:09:49 [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=46202&oldid=46201 * Oerjan * (+10) /* Brainfuck derivatives */ rephrase 03:09:54 olsner: AAAAAAAAAAAAAA 03:10:12 olsner: i can claim not to have really invented it, though 03:10:23 oerjan: I implemented that live in channel on bsmnt_bot (remember that?) 03:10:26 I called it DoFuck 03:10:31 ais523: oh. 03:10:40 however, I was aware that it wasn't BF 03:11:10 did it to learn the basics of Python 03:11:22 also it was pretty much unreadable because it used one-space indentation and wrote newlines as \n 03:11:25 with an exec() around the whole thing 03:11:32 braces would have been /much/ easier to read, but Python doesn't support them 03:11:39 heh 03:12:42 I need to work on Statistical Brainfuck some time (note: this isn't miscapitalized; it's in titlecase) 03:12:53 obligatory question we've probably asked before: is it TC 03:13:16 I think we concluded yes (but it's not brainfuck-complete because it can't conditionally produce either some output or no output) 03:13:21 right 03:14:15 the idea of statistical brainfuck is, you look at the input code 03:14:26 attempt to deduce eight commands from it 03:14:31 and execute that as BF 03:14:44 if you can't interpret it as a meaningful BF equivalent program, you just print hello world 03:15:04 the hope is that this would act as a universal interp for basically all the awful bf derivatives on the wiki 03:16:09 * oerjan notices tags in wikitables on the wiki are no longer invisible... 03:16:18 I guess the thing that it implements would technically be a language 03:16:26 but it's more intended as an /interp/ than a language 03:16:29 is that something new with the last upgrade fizzie did 03:16:32 that makes fun of the languages it's interpreting 03:18:26 does it work with >1 - character commands 03:19:26 also does it try to support comments 03:19:41 yes, and not really 03:38:20 * oerjan is still amused by how different the new version of tatham's Filling puzzle is 03:39:41 previously, you could count on a 1 in strategic places where you otherwise had to guess. now most of those places require you to find an area without any given digits. 03:40:00 (and there are much fewer 1s) 03:42:23 also, i don't remember being able to select large areas with the keyboard before, but maybe i just didn't read the help enough 03:43:41 Oh hey, apparently QC has travelled through time again 03:43:53 QC? 03:44:10 questionable content 03:44:16 http://questionablecontent.net 03:44:32 A couple of comics had weird copyright dates 03:44:44 eg 2003-20016, 2003-2467 03:44:53 ic 03:45:14 "ic"? 03:45:25 we shall still have to wait a little while to travel through time with quantum computing, then. 03:45:30 `? ic 03:45:31 ic? ¯\(°​_o)/¯ 03:45:44 `learn ic what you did there. 03:45:51 Learned 'ic': ic what you did there. 04:04:58 today I taught myself to vikeys with my left hand 04:05:10 I'd forgotten how steep the learning curve is... a video game was not the best place to try it 04:05:30 I use vikeys on my left hand to play minecraft 04:05:38 when I play it, that is, which is not frequent 04:10:03 ... I spent the entire day playing lego star wars 04:10:23 which is what? 04:11:02 a legoized adventure game 04:11:04 incredibly fun 04:11:16 except one level 04:11:23 the game rewards blowing up anything and everything you see 04:11:34 on that one level? 04:11:53 no, on every legel 04:11:55 *level 04:12:02 ah 04:12:09 LEGO in general publishes really good video games. There are exceptions, but they have a really good record 04:14:13 with that one in particular, there are a lot of games based on the same fundamental gameplay and engine... the newest one is a massive crossover 04:14:17 (https://en.wikipedia.org/wiki/Lego_Dimensions) 04:14:22 haven't played that though 04:16:23 -!- mauris has quit (Ping timeout: 264 seconds). 04:17:24 -!- infinitymaster has quit (Quit: Leaving...). 04:43:44 `rm wisdom/to 04:43:46 No output. 04:49:30 Did my revert not work? 04:49:37 I keep forgetting when it does and doesn't work. 04:50:06 i did not see it in the browser 04:50:34 but afair you cannot uncreate a file with it 04:50:49 scow 04:57:46 -!- codergeek42 has joined. 04:59:01 <\oren\> 砂破磁秘程税穀筋策築簡精糖系紅納純素経統絶絹綿総編縦縮績織罪署群翌耕聖職肥背胸能脳臨 05:01:09 hmm 05:01:28 so, gocomics.com is an online site that publishes classic comic serials 05:01:42 I want an RSS feed so that I can, say, starting tomorrow, get one calvin and hobbes a day 05:01:45 until I run out 05:03:26 I don't know rss; sorry, can't help 05:04:42 <\oren\> I have a long way to go: http://www.orenwatson.be/jouyou_and_jinmeiyou_kanji.htm 05:10:13 `? tur 05:10:15 To tur is not to flas. 05:10:22 O KAY 05:16:10 -!- codergeek42 has quit (Quit: Ex-Chat). 05:36:02 -!- hppavilion[1] has joined. 05:38:04 Idea 05:38:17 A programming language where, after execution, each line is hashed 05:38:39 The hash's output is converted to some 16-character subset of ascii 05:38:48 Which is interpreted as a mini-language 05:39:07 Which constructs the syntax of the next line 06:20:16 What kinds of things can one do with dictionaries? 06:35:50 lots of things 06:35:55 you can look up the meaning of a word 06:35:59 its pronunciation 06:36:01 its history 06:36:10 you can browse to look for interesting words 06:36:15 you can hit somebody over the head with it 06:36:40 coppro: xD 06:36:42 you can see how a word inflects 06:36:50 coppro: I mean the operations on associative arrays 06:36:57 those are far less interesting 06:37:02 coppro: For a Mascarpone-like language I'm making 06:37:21 why would you make a dictionary out of cheese? 06:37:26 coppro: One that is disguised as a more usable language 06:37:32 coppro: ... 06:37:34 -_- 06:49:26 * pikhq notes that the people who come up with image formats mostly suck at designing good image formats 06:50:12 what do they do wrong? 06:50:30 Bizarro pointless complexity. 06:50:50 PNM is a "simple" image format. ... It has comment syntax. 06:51:25 (as just one simple, easy to explain example) 06:51:34 But this is really common in general. 06:52:19 is it intended to be human-editable like XBM? 06:52:32 (which, I grant, is a shitty format) 06:52:48 It has a variant that is and a variant that isn't. 06:53:47 There's other "special" things out there like PNG, which has redundant checksums and different endianness depending on which part you're looking at... 06:54:05 And then there's BMP, the Windows-internal-struct-put-into-a-file. 06:55:48 ... Which is also written upside down. 06:56:04 Except when the height is negative. 06:57:21 I wrote a bmp parser once 06:57:22 ugh 06:57:50 Even just writing something that writes BMP isn't the nicest. 06:58:09 (easier than other common image formats, but still) 07:01:11 Purely in terms of not-sucking I like http://tools.suckless.org/farbfeld/ , but who the fuck uses that? 07:02:45 ... Aaaand it changed to using not sRGB 07:02:48 Fuck you, bye 07:08:36 lol 07:18:31 -!- AlexR42 has joined. 07:34:12 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 07:45:44 -!- AlexR42 has joined. 07:51:15 pikhq: You should design the BPC file format hth 07:56:03 [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46203&oldid=42458 * 98.144.6.77 * (+336) /* Example programs */ Added truth-machine 07:56:50 <\oren\> BMP is pretty easy to read iirc, you can just fseek to the info you need. 07:57:06 -!- ais523 has quit. 07:57:41 <\oren\> (well, so long as you only want to read bmp's in the most common format) 08:06:45 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 08:10:23 2.0811811619898575 is a nice number 08:10:29 I call it copi 08:10:35 (co-pi) 08:10:42 Though it's pretty useles 08:10:43 s 08:11:10 0.3183098861837907 would probably be a better fit for the name "co-pi" now that I think about it 08:12:15 -!- AlexR42 has joined. 08:18:16 Or "antipi" 08:32:42 > exp(1/pi)^ln 10 -- from ISC 08:32:44 Not in scope: ‘ln’ 08:32:44 Perhaps you meant one of these: 08:32:44 data constructor ‘In’ (imported from Lambdabot.Plugin.Haskell.Eval.Tru... 08:32:47 argh 08:33:05 > exp(1/pi)^log 7 -- from ISC 08:33:06 Could not deduce (Integral b0) arising from a use of ‘^’ 08:33:07 from the context (Floating a) 08:33:07 bound by the inferred type of it :: Floating a => a 08:33:10 gah 08:33:18 > exp(1/pi)**log 7 -- from ISC 08:33:20 1.8578175490444861 08:33:57 > exp(1/pi) 08:33:59 1.3748022274393588 08:34:14 > exp(1/pi)**log 10 08:34:16 2.081181161989858 08:34:35 hppavilion[1]: that's very tied to base 10 08:34:46 oerjan: Yeah. 08:35:07 oerjan: It's nice in an OCD kind of way, not in a mathematical kind of way 08:40:24 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 08:50:22 [wiki] [[User talk:Ennullizer]] https://esolangs.org/w/index.php?diff=46204&oldid=46180 * Ennullizer * (+4) 08:50:47 [wiki] [[User talk:Ennullizer]] https://esolangs.org/w/index.php?diff=46205&oldid=46204 * Ennullizer * (+0) 09:03:16 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 09:33:42 -!- oerjan has quit (Quit: leaving). 09:37:44 -!- AlexR42 has joined. 09:56:50 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 10:05:09 -!- AlexR42 has joined. 10:49:47 -!- AlexR42 has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 10:51:26 -!- erdic has quit (Ping timeout: 276 seconds). 11:24:01 <\oren\> Hmm... While I wasn't able to get my font to be any less blurry under antialiasing, I learned more about the internals of truetype, and I reduced the filesize to about half what it was. 11:45:25 <\oren\> Maybe I need to learn how to make hints, if i want it to be unblurred 11:46:26 <\oren\> but that doesn't make any SENSE! how can it be blurry when every line and point is on the exact boundary between pixels?!!> 11:58:43 -!- J_Arcane has quit (Ping timeout: 265 seconds). 12:22:13 @metar lowi 12:22:14 LOWI 171150Z 08003KT 030V160 7000 -SN FEW005 SCT010 BKN035 M02/M04 Q1017 R08/29//95 TEMPO 2000 SHSN BKN013 12:22:40 SHSN, hmm 12:23:17 snow shower, of course... 12:25:12 -!- Phantom_Hoover has joined. 12:45:38 <\oren\> rrgh trying to make this look ok at angles is driving me nuts. fuck it, for now I'll just put a disclaimer that this font doesn't work with cleartype in a way that baffles me. 12:51:08 <\oren\> somehow cleartype is drawing the font blurring things across pixels, even though the outlines should fall perfectly on the pixels 12:54:50 -!- nortti has quit (Quit: My microwave oven blew the fuse). 12:54:55 -!- sebbu has quit (Ping timeout: 240 seconds). 12:55:01 -!- nortti has joined. 13:01:19 \oren\: hmm. one idea is that they want to be able to place glyphs at subpixel precision and and have them look evenly blurred; another idea is that they apply a filter to avoid colored fringes on LCD displays. 13:02:03 I guess this is also a way of selling 4k displays :P 13:04:09 -!- sebbu has joined. 13:11:15 i want to hear more about programming in crypt of the necrodancer 13:16:24 \oren\: great 13:17:10 \oren\: also, don't true type fonts (or maybe otf only) allow you to embed bitmap or graymap image versions of the font for particular sizes? 13:28:02 -!- boily has joined. 13:39:30 -!- mauris has joined. 13:41:07 `wisdom 13:41:30 kill/ 13:42:56 very wise 13:43:00 `culprits wisdom/kill 13:43:08 oerjan elliott Roujo 13:43:15 `` od -tx1 wisdom/kill 13:43:16 0000000 0a \ 0000001 13:47:57 `? kayayaya 13:47:59 Ka-ya-ya-ya. Ka-ya-ya-ya-ya. Ka-ya-ya-ya. Ka-ya-ya-ya-ya. 13:48:31 `` cat kill 13:48:32 cat: kill: No such file or directory 13:48:48 `rm wisdom/kill 13:48:50 No output. 13:54:13 `wisdom 13:54:14 monoids/Monoids are just categories with single objects. 13:54:42 -!- Lord_of_Life has quit (Changing host). 13:54:42 -!- Lord_of_Life has joined. 13:54:42 -!- Lord_of_Life has quit (Changing host). 13:54:42 -!- Lord_of_Life has joined. 13:55:33 `? b_jonas 13:55:34 b_jonas? ¯\(°​_o)/¯ 13:56:50 `le/rn b_jonas/Ő egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek. 13:56:53 Learned «b_jonas» 13:57:12 `wisdom 13:57:16 spam/Spam is a delicious meat product. See http://www.spamjamhawaii.com/ 13:57:30 huhwhat 13:58:27 * boily didn't do anything. nobody has proof! 13:59:53 wait. so _one_ monoid is _one_ categorie with _one_ single object? 14:02:16 [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46206&oldid=45959 * Quintopia * (+115) tm and links 14:02:41 [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46207&oldid=46206 * Quintopia * (+25) /* Implementation */ 14:03:04 [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46208&oldid=46207 * Quintopia * (+3) /* [Truth-machine] */ 14:04:49 `wisdom 14:04:52 grue/grue is the colour of the trees and the ocean 14:04:59 myname: category. yes. 14:05:08 fungot, do you have a supernatural ability activated by a touch attack? 14:05:08 b_jonas: is css turing complete? i don't think he'll click on anything. feel stuck in myself. 14:06:00 so why do grues lurk in dark places and eat adventurers? 14:06:43 fungot: excellent question 14:06:43 int-e: sisc rulez. its totally programmed in lisp and thus able to be applied to the generic will be. 14:07:03 the generic will be, hmm. 14:07:46 adventurers are part of a complete breakfast hth 14:08:53 int-e: so a monad is a category with a category in it? 14:08:58 I thought "will be" might be "future" in simple English, but actually "future" is on the list, and "generic" isn't... 14:09:34 myname: a monad is a monoid in the category of endofunctors. 14:09:39 myname: afaiu, yes, the object is a category and the arrows are endofunctors. 14:10:07 boily: that is what i puzzled together 14:10:19 but hmm, no... 14:10:52 there was a moment some months ago where that sentence made sense to me, but now I'm as confused as ever by everything categorical. 14:11:17 oh wait, a category with a single endomorphism 14:13:01 Ah, that's the point; the arrows are Kleisli arrows, and the monoid operation is Kleisly composition. 14:13:16 Kleisly? hah 14:13:50 hey pikhq, did you read Ra through its entire run? 14:14:29 * int-e gives up. 14:14:58 :D 14:16:41 `? abstract nonsense 14:16:42 abstract nonsense? ¯\(°​_o)/¯ 14:17:07 `? zigohystomorphic prepromorphism 14:17:08 zigohystomorphic prepromorphism? ¯\(°​_o)/¯ 14:17:17 `? zygohistomorphic prepromorphism 14:17:18 A zygohistomorphic prepromorphism is used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. 14:22:27 -!- p34k has joined. 14:24:07 `quines/c 14:24:09 ​#include \ char*a="#include \nchar*a=\"@\";\nvoid main(){char*b=a;for(;(*a)!=0;a++){switch(*a){case '@':if(!(*b))putchar('@');for(;(*b)!=0;b++){switch(*b){case '\"':case '\\\\':putchar('\\\\');putchar(*b);break;case '\\n':putchar('\\\\');putchar('n');break;default:putchar(*b);}}break;default:putchar(*a);}}}"; \ void main(){cha 14:24:53 -!- p34k has quit (Client Quit). 14:29:12 `` wc -c quines/c.c 14:29:13 wc: quines/c.c: No such file or directory 14:29:17 I have more C quines, including a shorter one and a long one 14:29:24 `` file quines/* 14:29:26 quines/c: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.26, BuildID[sha1]=0x43f16cb0b675b5a43a7ab66f0458e0d3d0e4bd93, not stripped \ quines/cat: empty \ quines/perl: empty \ quines/python: empty \ quines/q: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynami 14:29:47 `quines/q 14:29:48 const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,}; 14:29:59 c=";p(i){putchar(i);}a(){p(34);printf(c);}main(){p(99);a(a(p(61)));}";p(i){putchar(i);}a(){p(34);printf(c);}main(){p(99);a(a(p(61)));} 14:29:59 doesn't look like Q 14:30:33 and I have several quines in other languages 14:30:37 and can write new ones 14:30:45 I'm not a very good quiner 14:31:02 I have a particular favourite quine that works in lots of languages, although isn't always efficient 14:31:44 print+("print+(","\"",",","\\",")[g1012131121212133121414=~/./g]")[g1012131121212133121414=~/./g] 14:32:20 that's in perl. it's also quite short in J, but gets horribly long (824 bytes properly formatted) in sqlite 14:32:58 (but I have two shorter quines for sqlite) 14:33:21 `c char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);} 14:33:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: c: not found 14:33:28 some of the shorter ones are already in the channel log here 14:33:55 that might need a lenient compiler that allows implicit int and K&R functions by the way 14:34:07 `cc char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);} 14:34:10 char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);} 14:34:35 There's also `! c with a slightly different wrapping. 14:34:54 I c. 14:35:54 `! c char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);} 14:35:56 char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);} 14:36:04 Seems to work. It had some issues with the auto-main it does. 14:36:10 `cc printf("foo"); 14:36:11 ​:1:8: error: expected declaration specifiers or ‘...’ before string constant \ compilation terminated due to -Wfatal-errors. 14:36:14 `! c printf("foo"); 14:36:16 foo 14:36:22 I wrote it ages ago, back when compilers were K&R like that by default 14:36:36 (as in, they allowed both K&R and Ansi functions, and allowed implicit int 14:37:00 `cc \nmain(){} 14:37:01 No output. 14:37:12 `cc #include\nchar*s="#include%cchar*s=%c%s%c;int main(){printf(s,34,s,34);}%c";int main(){printf(s,10,34,s,34,10);} 14:37:14 ​#include \ char*s="#include%cchar*s=%c%s%c;int main(){printf(s,34,s,34);}%c";int main(){printf(s,34,s,34);} 14:37:14 but it's not hard to fix it to work in an ANSI C compiler, just fix the head of main both places identically 14:37:53 oh, forgot to adapt the other printf 14:38:08 `cc #include\nchar*s="#include%cchar*s=%c%s%c;int main(){printf(s,10,34,s,34,10);}%c";int main(){printf(s,10,34,s,34,10);} 14:38:10 ​#include \ char*s="#include%cchar*s=%c%s%c;int main(){printf(s,10,34,s,34,10);}%c";int main(){printf(s,10,34,s,34,10);} 14:38:13 -!- p34k has joined. 14:38:33 oh yes, you may have to declare int printf(char *,...); 14:45:59 ARGH! this needs three hands to replace, and I only have two 14:51:43 const char *! I believe it's technically required. 14:51:48 (C11 6.5.2.2p9: "If the function is defined with a type that is not compatible with the type -- pointed to by the expression that denotes the called function, the behavior is undefined." C11 6.7.6.3p15: "For two function types to be compatible -- corresponding parameters shall have compatible types." C11 6.7.6.1p2: "For two pointer types to be compatible, both shall be identically qualified ... 14:51:54 ... --". C11 7.21.6.3p1: "int printf(const char * restrict format, ...);".) 14:52:27 (The "restrict" part can perhaps be omitted via the special exemption in 6.7.6.3p15: "In the determination of type compatibility -- each parameter declared with qualified type is taken as having the unqualified version of its declared type." But that doesn't apply recursively to the pointed-to type.) 14:55:59 And don't go bringing the "interchangeability" footnote 48 from C11 6.2.5p28 into this, there's a defect report response from the committee saying it (well, its nearly identical sibling) is intended merely as a recommendation to make things work, not as a binding requirement. 14:56:28 fizzie: um, ok 14:58:11 Fun fact to ponder about: because the format argument of printf is restrict-qualified, is the quine invoking undefined behavior by passing s both as the format and as an argument for %s? 14:58:59 Heh. 15:00:38 fizzie: I don't think so, because the %s arguments aren't restrict-qualified 15:00:51 you can certainly pass the same value multiple times to multiple %s formatters in printf 15:01:32 fizzie: what you aren't allowed to do is to use sprintf and have the output string overlap with either one of the inputs or the format string; or use scanf or sscanf and have one of the format output places overlap with the format string or the input. 15:01:35 I don't think that really helps. But looking at the actual restrict definition, it seems to only matter if there is some modification of the object involved, so it probably doesn't matter. 15:02:51 That too. 15:04:04 -!- boily has quit (Quit: LONG CHICKEN). 15:13:55 -!- ais523 has joined. 16:12:23 -!- J_Arcane has joined. 16:13:01 -!- Lord_of_Life has quit (Excess Flood). 16:17:06 -!- Lord_of_Life has joined. 17:00:32 -!- copumpkin has joined. 17:03:06 -!- scoofy has joined. 17:03:58 -!- ais523 has quit. 17:08:09 [wiki] [[Beatnik]] https://esolangs.org/w/index.php?diff=46209&oldid=46203 * 98.144.6.77 * (+5) /* Truth machine */ Oops, JPBK_NZ instruction given wrong value. 17:15:13 -!- tjt263 has joined. 17:19:02 -!- erdic has joined. 17:34:13 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 17:42:10 -!- Odisseus has joined. 17:48:58 oh boy 17:49:34 i just did "source .bashrc" and now all my stuff is gone. sudo doesn't work. curl doesn't work. how was the environment being set up before? 18:04:20 profile? 18:05:53 <\oren\> .screenrc? 18:08:08 hallo 18:12:35 nessuno parla? 18:17:34 -!- infinitymaster has joined. 18:22:20 hummm 18:22:30 very strange 18:24:48 sounds like a lot of fun 18:25:23 ah... 18:25:31 great... 18:26:10 `relcome Odisseus 18:26:20 ​Odisseus: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 18:26:22 thanks 18:26:48 it is the first time that I am in here 18:27:10 I dont know how irc works 18:27:29 and just try to understand 18:27:31 it works pretty well 18:28:23 yes I see...but there is a lot of silence... 18:28:34 nah 18:28:50 maybe all people talk in private place 18:29:06 for a channel with that few people, it's actually quite noisy 18:30:21 do you know how I can go to the brasialian channel? 18:30:50 what is _the_ brasilian channel? 18:31:13 I meant the channell from brasil 18:31:28 where meet brasilian people 18:34:49 maybe you can help me 18:36:19 ? 18:36:50 ok bye 18:36:59 there's a very small ##brazil... #freenode is a general channel for asking such questions, but it's quite possible that no such community exists on freenode 18:38:09 that is one impatient noob 18:38:18 how did he even get here? 18:38:27 ah...understand...and where #? can I find a right channel 18:38:42 ahahaha...just for dinner 18:38:54 excuse me 18:42:55 -!- infinitymaster has quit (Remote host closed the connection). 18:43:53 quintopia: so what happened, did somebody plant a rm -rf / in your .bashrc? 18:45:12 -!- Odisseus has quit (Quit: Odisseus). 18:49:05 -!- augur has quit (Ping timeout: 260 seconds). 18:51:35 int-e, that wouldn't do anything, though 18:52:26 Phantom_Hoover: it should find its way to the home directory eventually ;) 18:52:53 and it should also get some interesting pipes in /tmp 18:54:08 no but every modern version of rm halts if you tell it to delete / 18:54:18 but basically, "all my stuff is gone." doesn't make sense to me. 18:54:40 -!- infinitymaster has joined. 18:56:27 -!- augur has joined. 18:57:00 -!- infinitymaster has quit (Client Quit). 19:00:01 -!- hppavilion[1] has joined. 19:18:32 <\oren\> b_jonas: I tried embedding a bitmap. It seems windows and firefox don't want to use it. 19:28:12 I've got a pixely font for the rfk86 website, I wonder if that's blurry as well on Windows. 19:29:22 It's looked all right for me, but I've not tested it widely. 19:30:30 <\oren\> can you link it 19:31:16 <\oren\> I have noticed that instead of the "ebdt" and "eblc" tables in Microsoft documentation, I have "bdat" and "bloc" tables 19:31:30 It's used on http://zem.fi/rfk86/ and the font file is http://zem.fi/rfk86/rfk86.ttf and .eot -- but I've completely forgotten how I got those files. 19:32:17 Maybe the 'e' versions are extended or enhanced versions or something 19:33:22 <\oren\> yup, blurry. (of course, apparently my father can't see that it is blurry, so maybe only I can see these color fringes) 19:33:34 Aw. 19:35:20 -!- staffehn has joined. 19:37:24 <\oren\> I've replaced the font on my website with a ttf with a bitmap in which I've renamed the tables in question... 19:37:48 <\oren\> it still doesn't work 19:39:14 <\oren\> ok, i found the setting to generate "microsoft-style" ttfs 19:55:05 <\oren\> argh. nothing works. I think int-e may be right that it's blurring it in order to avoid apparent color fringing in other fonts, but for this font it increases the color fringing because it was already perfect. 19:56:43 <\oren\> on top of it, the gasp table doesn't appear to do anything 20:10:19 <\oren\> here's a screenshot of how it's fucking up my beautiful font http://www.orenwatson.be/uncleartype.png 20:11:07 <\oren\> see, it put stupid purple and cyan where it should be crisp white and black lines 20:12:14 <\oren\> it's like it thinks my lines are 5/3 of a pixel wide 20:12:20 \oren\: try to nudge the whole page sideways by subpixel amounts with css? 20:12:26 Hm... 20:13:24 What could I do to make a truly surreal GUI library? 20:14:33 gtk 20:14:38 <\oren\> Hmm, i nudged it a bit and now it's yellow 20:14:46 <\oren\> instead of purple 20:15:15 -!- ais523 has joined. 20:15:52 \oren\: nudge it more! 20:16:14 <\oren\> now matter how I nudge it, the white pixels seem to be wider than one pixel wide 20:16:50 \oren\: dunno. maybe it wants to gamma correct or something? 20:16:59 no wait, that can't work 20:17:00 um 20:51:50 -!- ais523 has quit (Ping timeout: 265 seconds). 21:08:28 -!- ais523 has joined. 21:11:10 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 21:23:46 -!- vanila has joined. 21:25:43 @metar cyul 21:25:44 CYUL 172100Z 06005KT 15SM FEW060 FEW130 BKN240 M06/M11 A2980 RMK SC1AC1CI4 AC TR SLP095 21:26:40 -!- Elronnd has changed nick to earenndil. 21:29:42 -!- mauris has quit (*.net *.split). 21:41:24 !ping 21:41:28 `ping 21:41:29 Pong! 21:41:32 pong 21:41:49 p 21:41:49 o 21:41:51 n 21:41:51 g 21:47:46 -!- Sgeo_ has quit (Quit: Leaving). 21:48:08 -!- Sgeo has joined. 21:48:56 -!- Sgeo has quit (Read error: Connection reset by peer). 21:50:42 [wiki] [[Talk:0(nop^)]] N https://esolangs.org/w/index.php?oldid=46210 * 50.161.94.113 * (+63) Created page with "== Why is there a distinction between functions and strings? ==" 21:53:02 -!- hppavilion[1] has joined. 22:06:08 -!- mauris has joined. 22:06:33 -!- so_real has joined. 22:17:52 -!- hppavilion[1] has quit (Ping timeout: 265 seconds). 22:27:25 -!- vifino has quit (*.net *.split). 22:28:29 -!- vifino has joined. 22:30:31 -!- so_real has quit (Remote host closed the connection). 22:42:59 -!- atslash has quit (Ping timeout: 260 seconds). 22:43:35 -!- atslash has joined. 22:48:52 -!- FreeFull has quit (Ping timeout: 250 seconds). 22:50:08 -!- FreeFull has joined. 22:53:28 -!- nortti has quit (*.net *.split). 22:53:29 -!- ocharles_ has quit (*.net *.split). 22:53:29 -!- sewilton has quit (*.net *.split). 22:53:31 -!- mbrcknl has quit (*.net *.split). 22:53:31 -!- zgrep has quit (*.net *.split). 22:57:41 -!- nortti has joined. 22:57:41 -!- ocharles_ has joined. 22:57:41 -!- sewilton has joined. 22:57:41 -!- mbrcknl has joined. 22:57:41 -!- zgrep has joined. 22:58:03 -!- ocharles_ has quit (Max SendQ exceeded). 22:59:53 -!- ocharles_ has joined. 23:22:42 -!- p34k has quit. 23:26:34 -!- atslash has quit (Ping timeout: 256 seconds). 23:27:28 -!- atslash has joined. 23:27:41 -!- copumpkin has joined. 23:32:40 Netsplit! :D 23:36:34 [wiki] [[Talk:Beatnik]] https://esolangs.org/w/index.php?diff=46211&oldid=16874 * 98.144.6.77 * (+1059) 23:36:56 [wiki] [[Talk:Beatnik]] https://esolangs.org/w/index.php?diff=46212&oldid=46211 * 98.144.6.77 * (+80) 23:40:01 -!- Sgeo has joined. 23:47:30 <\oren\> somehow, firefox isn't messing up my font anymore?!?!? 23:47:47 <\oren\> FUCK, I don't even knwo how I did it! 23:53:03 Accidentally. 23:54:44 <\oren\> cleartype does seem to be on, and yet.... WTF 23:55:09 <\oren\> did it somehow suddenly decide to listen to the gasp table?