00:02:31 <int-e> and then there's m4/sendmail
00:03:04 <int-e> (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 <hppavilion[1]> LISP is a programming language based on Lists. Is there some other structure that we could base a language on?
00:22:40 <zzo38> There is a lot of thing probably
00:23:08 <zzo38> Forth based on stack, SQL based on database, etc
00:25:41 <zgrep> Hmm... based on pictures of kittens?
00:26:15 <zzo38> How is it working?
00:26:46 <zgrep> In a very pettable way.
00:28:29 <fizzie> Grasp is just LISP on (directed, labeled multi)graphs.
00:29:45 -!- sebbu has joined.
00:47:39 <hppavilion[1]> `le/rn Turing/Turing is what you are doing when you Tur
00:48:30 <hppavilion[1]> `learn To Tur is to sleep with someone of the same gender as yourself
00:48:33 <HackEgo> Learned 'to': To Tur is to sleep with someone of the same gender as yourself
00:48:47 <hppavilion[1]> `le/rn Tur/To Tur is to sleep with someone of the same gender as yourself
00:49:17 <hppavilion[1]> (Get it? Because Alan Turing was gay? <insert that weird laugh from Jurassic Park here>)
00:53:09 <shachaf> it didn't actually have to be done. hth
00:54:06 <HackEgo> rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done.
00:55:03 <shachaf> In fact Knuth has already defined "to ture".
00:55:24 <shachaf> http://www-cs-faculty.stanford.edu/~uno/news12.html
01:09:58 <hppavilion[1]> And by that I mean `"@" "." redef "walrus" @` works!
01:15:18 <hppavilion[1]> When you define an instruction, you define it in terms of the current instruction set
01:15:52 <hppavilion[1]> 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 <HackEgo> [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46196&oldid=43264 * Imaginer1 * (-188)
01:45:08 <HackEgo> [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46197&oldid=46196 * Imaginer1 * (+6)
01:45:43 -!- copumpkin has joined.
01:53:59 <HackEgo> [wiki] [[User:Imaginer1]] https://esolangs.org/w/index.php?diff=46198&oldid=46197 * Imaginer1 * (+1)
01:58:40 <ais523> hppavilion[1]: have you seen http://esolangs.org/wiki/Takeover ?
01:59:14 <ais523> 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 <HackEgo> [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:40:05 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:47:40 -!- infinitymaster has joined.
03:03:23 <HackEgo> [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 <oerjan> HAI I MADE BRAINFUCK DERIVATIVE HTH
03:07:34 <HackEgo> [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=46201&oldid=46183 * Oerjan * (+108) /* Brainfuck derivatives */
03:09:19 <olsner> oerjan: you know where the brick goes
03:09:49 <HackEgo> [wiki] [[Joke language list]] https://esolangs.org/w/index.php?diff=46202&oldid=46201 * Oerjan * (+10) /* Brainfuck derivatives */ rephrase
03:09:54 <oerjan> olsner: AAAAAAAAAAAAAA
03:10:12 <oerjan> olsner: i can claim not to have really invented it, though
03:10:23 <ais523> oerjan: I implemented that live in channel on bsmnt_bot (remember that?)
03:10:40 <ais523> however, I was aware that it wasn't BF
03:11:10 <ais523> did it to learn the basics of Python
03:11:22 <ais523> also it was pretty much unreadable because it used one-space indentation and wrote newlines as \n
03:11:25 <ais523> with an exec() around the whole thing
03:11:32 <ais523> braces would have been /much/ easier to read, but Python doesn't support them
03:12:42 <ais523> I need to work on Statistical Brainfuck some time (note: this isn't miscapitalized; it's in titlecase)
03:12:53 <oerjan> obligatory question we've probably asked before: is it TC
03:13:16 <ais523> I think we concluded yes (but it's not brainfuck-complete because it can't conditionally produce either some output or no output)
03:14:15 <ais523> the idea of statistical brainfuck is, you look at the input code
03:14:26 <ais523> attempt to deduce eight commands from it
03:14:31 <ais523> and execute that as BF
03:14:44 <ais523> if you can't interpret it as a meaningful BF equivalent program, you just print hello world
03:15:04 <ais523> 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 <code> tags in wikitables on the wiki are no longer invisible...
03:16:18 <ais523> I guess the thing that it implements would technically be a language
03:16:26 <ais523> but it's more intended as an /interp/ than a language
03:16:29 <oerjan> is that something new with the last upgrade fizzie did
03:16:32 <ais523> that makes fun of the languages it's interpreting
03:18:26 <oerjan> does it work with >1 - character commands
03:19:26 <oerjan> also does it try to support comments
03:38:20 * oerjan is still amused by how different the new version of tatham's Filling puzzle is
03:39:41 <oerjan> 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 <oerjan> (and there are much fewer 1s)
03:42:23 <oerjan> 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 <Elronnd> Oh hey, apparently QC has travelled through time again
03:44:16 <Elronnd> http://questionablecontent.net
03:44:32 <Elronnd> A couple of comics had weird copyright dates
03:45:25 <oerjan> we shall still have to wait a little while to travel through time with quantum computing, then.
03:45:44 <oerjan> `learn ic what you did there.
03:45:51 <HackEgo> Learned 'ic': ic what you did there.
04:04:58 <coppro> today I taught myself to vikeys with my left hand
04:05:10 <coppro> I'd forgotten how steep the learning curve is... a video game was not the best place to try it
04:05:30 <Elronnd> I use vikeys on my left hand to play minecraft
04:05:38 <Elronnd> when I play it, that is, which is not frequent
04:10:03 <coppro> ... I spent the entire day playing lego star wars
04:11:02 <coppro> a legoized adventure game
04:11:23 <coppro> the game rewards blowing up anything and everything you see
04:12:09 <coppro> LEGO in general publishes really good video games. There are exceptions, but they have a really good record
04:14:13 <coppro> 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 <coppro> (https://en.wikipedia.org/wiki/Lego_Dimensions)
04:14:22 <coppro> haven't played that though
04:16:23 -!- mauris has quit (Ping timeout: 264 seconds).
04:17:24 -!- infinitymaster has quit (Quit: Leaving...).
04:49:37 <shachaf> I keep forgetting when it does and doesn't work.
04:50:06 <oerjan> i did not see it in the browser
04:50:34 <oerjan> but afair you cannot uncreate a file with it
04:57:46 -!- codergeek42 has joined.
04:59:01 <\oren\> 砂破磁秘程税穀筋策築簡精糖系紅納純素経統絶絹綿総編縦縮績織罪署群翌耕聖職肥背胸能脳臨
05:01:28 <coppro> so, gocomics.com is an online site that publishes classic comic serials
05:01:42 <coppro> I want an RSS feed so that I can, say, starting tomorrow, get one calvin and hobbes a day
05:03:26 <Elronnd> 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:16:10 -!- codergeek42 has quit (Quit: Ex-Chat).
05:36:02 -!- hppavilion[1] has joined.
05:38:17 <hppavilion[1]> A programming language where, after execution, each line is hashed
05:38:39 <hppavilion[1]> The hash's output is converted to some 16-character subset of ascii
06:20:16 <hppavilion[1]> What kinds of things can one do with dictionaries?
06:35:55 <coppro> you can look up the meaning of a word
06:36:10 <coppro> you can browse to look for interesting words
06:36:15 <coppro> you can hit somebody over the head with it
06:36:42 <coppro> you can see how a word inflects
06:36:50 <hppavilion[1]> coppro: I mean the operations on associative arrays
06:36:57 <coppro> those are far less interesting
06:37:21 <coppro> why would you make a dictionary out of cheese?
06:37:26 <hppavilion[1]> coppro: One that is disguised as a more usable language
06:49:26 * pikhq notes that the people who come up with image formats mostly suck at designing good image formats
06:50:12 <coppro> what do they do wrong?
06:50:30 <pikhq> Bizarro pointless complexity.
06:50:50 <pikhq> PNM is a "simple" image format. ... It has comment syntax.
06:51:25 <pikhq> (as just one simple, easy to explain example)
06:51:34 <pikhq> But this is really common in general.
06:52:19 <coppro> is it intended to be human-editable like XBM?
06:52:32 <coppro> (which, I grant, is a shitty format)
06:52:48 <pikhq> It has a variant that is and a variant that isn't.
06:53:47 <pikhq> 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 <pikhq> And then there's BMP, the Windows-internal-struct-put-into-a-file.
06:55:48 <pikhq> ... Which is also written upside down.
06:56:04 <pikhq> Except when the height is negative.
06:57:21 <coppro> I wrote a bmp parser once
06:57:50 <pikhq> Even just writing something that writes BMP isn't the nicest.
06:58:09 <pikhq> (easier than other common image formats, but still)
07:01:11 <pikhq> Purely in terms of not-sucking I like http://tools.suckless.org/farbfeld/ , but who the fuck uses that?
07:02:45 <pikhq> ... Aaaand it changed to using not sRGB
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:56:03 <HackEgo> [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:11:10 <hppavilion[1]> 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:32:42 <oerjan> > exp(1/pi)^ln 10 -- from ISC
08:32:44 <lambdabot> data constructor ‘In’ (imported from Lambdabot.Plugin.Haskell.Eval.Tru...
08:33:05 <oerjan> > exp(1/pi)^log 7 -- from ISC
08:33:06 <lambdabot> Could not deduce (Integral b0) arising from a use of ‘^’
08:33:07 <lambdabot> bound by the inferred type of it :: Floating a => a
08:33:18 <oerjan> > exp(1/pi)**log 7 -- from ISC
08:34:35 <oerjan> hppavilion[1]: that's very tied to base 10
08:35:07 <hppavilion[1]> 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 <HackEgo> [wiki] [[User talk:Ennullizer]] https://esolangs.org/w/index.php?diff=46204&oldid=46180 * Ennullizer * (+4)
08:50:47 <HackEgo> [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:14 <lambdabot> LOWI 171150Z 08003KT 030V160 7000 -SN FEW005 SCT010 BKN035 M02/M04 Q1017 R08/29//95 TEMPO 2000 SHSN BKN013
12:23:17 <int-e> 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 <int-e> \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 <int-e> I guess this is also a way of selling 4k displays :P
13:04:09 -!- sebbu has joined.
13:11:15 <quintopia> i want to hear more about programming in crypt of the necrodancer
13:17:10 <b_jonas> \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:43:00 <int-e> `culprits wisdom/kill
13:43:15 <int-e> `` od -tx1 wisdom/kill
13:47:59 <HackEgo> Ka-ya-ya-ya. Ka-ya-ya-ya-ya. Ka-ya-ya-ya. Ka-ya-ya-ya-ya.
13:48:32 <HackEgo> cat: kill: No such file or directory
13:54:14 <HackEgo> 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:56:50 <boily> `le/rn b_jonas/Ő egy nagyon titokzatos személy. Hollétéről egyelőre nem ismertek.
13:57:16 <HackEgo> spam/Spam is a delicious meat product. See http://www.spamjamhawaii.com/
13:58:27 * boily didn't do anything. nobody has proof!
13:59:53 <myname> wait. so _one_ monoid is _one_ categorie with _one_ single object?
14:02:16 <HackEgo> [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46206&oldid=45959 * Quintopia * (+115) tm and links
14:02:41 <HackEgo> [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46207&oldid=46206 * Quintopia * (+25) /* Implementation */
14:03:04 <HackEgo> [wiki] [[Seriously]] https://esolangs.org/w/index.php?diff=46208&oldid=46207 * Quintopia * (+3) /* [Truth-machine] */
14:04:52 <HackEgo> grue/grue is the colour of the trees and the ocean
14:04:59 <int-e> myname: category. yes.
14:05:08 <b_jonas> fungot, do you have a supernatural ability activated by a touch attack?
14:05:08 <fungot> b_jonas: is css turing complete? i don't think he'll click on anything. feel stuck in myself.
14:06:00 <int-e> so why do grues lurk in dark places and eat adventurers?
14:06:43 <int-e> fungot: excellent question
14:06:43 <fungot> int-e: sisc rulez. its totally programmed in lisp and thus able to be applied to the generic will be.
14:07:03 <int-e> the generic will be, hmm.
14:07:46 <boily> adventurers are part of a complete breakfast hth
14:08:53 <myname> int-e: so a monad is a category with a category in it?
14:08:58 <int-e> I thought "will be" might be "future" in simple English, but actually "future" is on the list, and "generic" isn't...
14:09:34 <boily> myname: a monad is a monoid in the category of endofunctors.
14:09:39 <int-e> myname: afaiu, yes, the object is a category and the arrows are endofunctors.
14:10:07 <myname> boily: that is what i puzzled together
14:10:52 <boily> 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 <myname> oh wait, a category with a single endomorphism
14:13:01 <int-e> Ah, that's the point; the arrows are Kleisli arrows, and the monoid operation is Kleisly composition.
14:16:41 <int-e> `? abstract nonsense
14:16:42 <HackEgo> abstract nonsense? ¯\(°_o)/¯
14:17:07 <b_jonas> `? zigohystomorphic prepromorphism
14:17:08 <HackEgo> zigohystomorphic prepromorphism? ¯\(°_o)/¯
14:17:17 <b_jonas> `? zygohistomorphic prepromorphism
14:17:18 <HackEgo> 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:09 <HackEgo> #include <stdio.h> \ char*a="#include <stdio.h>\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:13 <HackEgo> wc: quines/c.c: No such file or directory
14:29:17 <b_jonas> I have more C quines, including a shorter one and a long one
14:29:26 <HackEgo> 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:48 <HackEgo> const long main[]={7957687918238111208,2334956356649383027,8880356687520293229,13906764017533270909,1419365910561212297,2626879827020416271,16736655261603120681,17579598881254060795,1623775261490201216,5242470257800545608,1149026244854305933,14731853813082619653,194239108057989552,837530158351,};
14:29:59 <b_jonas> 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:30:33 <b_jonas> and I have several quines in other languages
14:30:45 <FireFly> I'm not a very good quiner
14:31:02 <b_jonas> I have a particular favourite quine that works in lots of languages, although isn't always efficient
14:31:44 <b_jonas> print+("print+(","\"",",","\\",")[g1012131121212133121414=~/./g]")[g1012131121212133121414=~/./g]
14:32:20 <b_jonas> that's in perl. it's also quite short in J, but gets horribly long (824 bytes properly formatted) in sqlite
14:32:58 <b_jonas> (but I have two shorter quines for sqlite)
14:33:21 <int-e> `c char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);}
14:33:22 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: c: not found
14:33:28 <b_jonas> some of the shorter ones are already in the channel log here
14:33:55 <b_jonas> that might need a lenient compiler that allows implicit int and K&R functions by the way
14:34:07 <fizzie> `cc char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);}
14:34:10 <HackEgo> char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);}
14:34:35 <fizzie> There's also `! c with a slightly different wrapping.
14:35:54 <fizzie> `! c char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);}
14:35:56 <HackEgo> char*s="char*s=%c%s%c;main(){printf(s,34,s,34);}";main(){printf(s,34,s,34);}
14:36:04 <fizzie> Seems to work. It had some issues with the auto-main it does.
14:36:11 <HackEgo> <stdin>:1:8: error: expected declaration specifiers or ‘...’ before string constant \ compilation terminated due to -Wfatal-errors.
14:36:22 <b_jonas> I wrote it ages ago, back when compilers were K&R like that by default
14:36:36 <b_jonas> (as in, they allowed both K&R and Ansi functions, and allowed implicit int
14:37:12 <int-e> `cc #include<stdio.h>\nchar*s="#include<stdio.h>%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 <HackEgo> #include<stdio.h> \ char*s="#include<stdio.h>%cchar*s=%c%s%c;int main(){printf(s,34,s,34);}%c";int main(){printf(s,34,s,34);}
14:37:14 <b_jonas> 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 <int-e> oh, forgot to adapt the other printf
14:38:08 <int-e> `cc #include<stdio.h>\nchar*s="#include<stdio.h>%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 <HackEgo> #include<stdio.h> \ char*s="#include<stdio.h>%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 <b_jonas> oh yes, you may have to declare int printf(char *,...);
14:45:59 <b_jonas> ARGH! this needs three hands to replace, and I only have two
14:51:43 <fizzie> const char *! I believe it's technically required.
14:51:48 <fizzie> (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 <fizzie> ... --". C11 7.21.6.3p1: "int printf(const char * restrict format, ...);".)
14:52:27 <fizzie> (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 <fizzie> 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:58:11 <fizzie> 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?
15:00:38 <b_jonas> fizzie: I don't think so, because the %s arguments aren't restrict-qualified
15:00:51 <b_jonas> you can certainly pass the same value multiple times to multiple %s formatters in printf
15:01:32 <b_jonas> 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 <fizzie> 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: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 <HackEgo> [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:49:34 <quintopia> 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:17:34 -!- infinitymaster has joined.
18:24:48 <int-e> sounds like a lot of fun
18:26:20 <HackEgo> Odisseus: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
18:26:48 <Odisseus> it is the first time that I am in here
18:28:23 <Odisseus> yes I see...but there is a lot of silence...
18:28:50 <Odisseus> maybe all people talk in private place
18:29:06 <myname> for a channel with that few people, it's actually quite noisy
18:30:21 <Odisseus> do you know how I can go to the brasialian channel?
18:30:50 <myname> what is _the_ brasilian channel?
18:31:13 <Odisseus> I meant the channell from brasil
18:36:59 <int-e> 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 <myname> that is one impatient noob
18:38:18 <myname> how did he even get here?
18:38:27 <Odisseus> ah...understand...and where #? can I find a right channel
18:42:55 -!- infinitymaster has quit (Remote host closed the connection).
18:43:53 <int-e> 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:52:26 <int-e> Phantom_Hoover: it should find its way to the home directory eventually ;)
18:52:53 <int-e> and it should also get some interesting pipes in /tmp
18:54:08 <Phantom_Hoover> no but every modern version of rm halts if you tell it to delete /
18:54:18 <int-e> 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 <fizzie> I've got a pixely font for the rfk86 website, I wonder if that's blurry as well on Windows.
19:29:22 <fizzie> It's looked all right for me, but I've not tested it widely.
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 <fizzie> 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 <FireFly> 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: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: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 <b_jonas> \oren\: try to nudge the whole page sideways by subpixel amounts with css?
20:13:24 <hppavilion[1]> What could I do to make a truly surreal GUI library?
20:14:38 <\oren\> Hmm, i nudged it a bit and now it's yellow
20:15:15 -!- ais523 has joined.
20:16:14 <\oren\> now matter how I nudge it, the white pixels seem to be wider than one pixel wide
20:16:50 <b_jonas> \oren\: dunno. maybe it wants to gamma correct or something?
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:44 <lambdabot> 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: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 <HackEgo> [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:36:34 <HackEgo> [wiki] [[Talk:Beatnik]] https://esolangs.org/w/index.php?diff=46211&oldid=16874 * 98.144.6.77 * (+1059)
23:36:56 <HackEgo> [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: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?