00:00:53 -!- copumpkin has joined.
00:04:16 -!- Mayu17 has joined.
00:07:33 <copumpkin> how's the certification authority?
00:08:06 <lambdabot> KIAD 152352Z 32010KT 10SM FEW038 11/03 A2990 RMK AO2 SLP125 T01060033 10156 20106 53028
00:08:45 <shachaf> or maybe usually cold for december, i don't know
00:08:55 <lambdabot> KOAK 152353Z 03010KT 10SM FEW220 13/M04 A3017 RMK AO2 SLP215 T01331044 10150 20106 53000
00:09:30 <lambdabot> KORF 152351Z AUTO 00000KT 10SM CLR 13/09 A2985 RMK AO2 SLP107 T01280094 10211 20128 51022 TSNO
00:09:32 <lambdabot> KRIC 152354Z 33004KT 10SM CLR 12/06 A2985 RMK AO2 SLP114 T01170061 10200 20117 51022
00:09:41 <shachaf> i don't remember where in the state you are
00:09:51 <lambdabot> ENVA 152350Z 24016KT 9999 -DZ SCT019 BKN026 04/01 Q1022 RMK WIND 670FT 24020G30KT
00:13:16 -!- Mayu171 has joined.
00:13:37 -!- ^^v has joined.
00:14:17 -!- Mayu172 has joined.
00:15:38 <HackEgo> Mayu172: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: http://esolangs.org/. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.)
00:16:35 -!- Mayu17 has quit (Ping timeout: 240 seconds).
00:16:53 <oerjan> esoteric programming languages
00:17:42 -!- Mayu171 has quit (Ping timeout: 255 seconds).
00:20:11 -!- Mayu172 has left.
00:22:26 <lambdabot> CYYZ 160000Z 34012KT 15SM FEW020 BKN028 03/M01 A2994 RMK SC2SC4 SLP142
00:22:52 -!- \oren\_ has changed nick to \oren\.
00:36:35 -!- ^^v has quit (Quit: Leaving).
00:36:42 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
00:54:59 <lambdabot> EGLL 160050Z AUTO 20011KT 7000 -RA BKN007 OVC016 13/12 Q1014 BECMG BKN016
00:55:06 <fizzie> That's like nighttime.
00:55:12 <fizzie> Tomorrow it's supposed to be 16 degrees.
00:56:20 <fizzie> One of the outdoor ads (for heaters, or insulation, or windows, or something like that) said something like "England is cold - deal with it", which was kind of ridiculous at least from a Finnish point of view.
00:56:25 <lambdabot> EFHK 160050Z 26006KT 9999 FEW028 SCT200 00/M01 Q1021 NOSIG
00:58:05 <lambdabot> YSSY 160038Z 08020G30KT 9999 VCTS SCT016 BKN080 FEW030CB 20/18 Q1015 FM0200 06018KT 9999 -SHRA SCT015 BKN025 TEMPO 0038/0338 VRB25G40KT 3000 TSRA BKN010 SCT030CB
01:02:17 <lifthrasiir> https://github.com/lifthrasiir/unison/blob/ef50f1f/src/process.py#L1045 I feel hopeless.
01:03:13 -!- GoToTells has joined.
01:03:48 <\oren\> lifthrasiir: wow, that's an awfulbug
01:05:18 <lifthrasiir> \oren\: it really is frustrating, it is completely independent of glyph composition and cmap format; the only relevant factor seems to be a glyph index (plus a script).
01:05:49 <lifthrasiir> Uniscribe internally uses dozens of shaping engines, and some of them seems to have this problem
01:05:56 -!- hppavilion[1] has joined.
01:07:15 <lifthrasiir> I still hope (!) that I was wrong and my font had a problem, but the erratic behavior suggests that it isn't the case here
01:07:34 <\oren\> hmm. I wonder why I haven't seen it yet. well, I still haven't got thousands of hangul
01:07:47 <\oren\> I should probably work on that now
01:08:26 <lifthrasiir> \oren\: in the specific example, Hangul syllables started to map from glyph index 2008 thru 13179. only 40 glyphs from 2008 to 2047 had the problem.
01:08:42 <\oren\> what's Effi's finest fluffy waffles?
01:09:05 <\oren\> Ah. well in my font those would prbably not end up being hangul.
01:10:07 <\oren\> maybe it would fall into the range of weird mat symbols?
01:11:01 <lifthrasiir> "<\oren\> Ah. well in my font those would prbably not end up being hangul."
01:11:36 <\oren\> oh. I mean that those glyph indices would be math symbols
01:12:20 <lifthrasiir> well, glyph indices are independent of characters
01:12:58 <\oren\> yeah. and my cmap is mostly sorted by unicode point
01:13:57 <lifthrasiir> heh, then it may mean that you have only about 0x2000 characters before Hangul syllables
01:30:19 -!- zdm has joined.
01:31:03 -!- zdm has left ("WeeChat 1.0.1").
01:38:34 -!- ent0nces has joined.
01:41:16 -!- ent0nces has quit (Read error: Connection reset by peer).
01:41:59 -!- ent0nces has joined.
01:42:46 -!- boily has joined.
01:43:16 <boily> fungot: say, how many nostrils do you have?
01:44:27 -!- GoToTells has quit (Quit: Page closed).
01:48:39 * boily mapoles the fungot
01:52:36 -!- ToGoTell has joined.
01:52:36 -!- ToGoTell has quit (Client Quit).
01:53:29 -!- ToTellGo has joined.
01:53:52 <fungot> lifthrasiir: because you can't have a secure, undisclosed location, to the existing facilities. nothing unnatural in that.
01:54:01 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:54:08 <fungot> lifthrasiir: the definition of standard ml," especially the part about identifiers only reads " the regular expression test with a few bugs fixed.
01:55:52 -!- ent0nces has quit (Read error: Connection reset by peer).
01:56:30 -!- ent0nces has joined.
02:02:39 -!- ent0nces_ has joined.
02:03:50 -!- ent0nces has quit (Read error: Connection reset by peer).
02:04:28 -!- ent0nces_ has quit (Client Quit).
02:16:17 <boily> unexpecthellørjan!
02:16:21 -!- andrew__ has joined.
02:35:44 <boily> børjanne nuit! good nigthrasiir! bfungonne nuitt!
02:35:49 -!- boily has quit (Quit: PERCOLATING CHICKEN).
02:36:52 <oerjan> i think he's used that adjective before.
02:44:01 -!- bb010g has joined.
02:50:42 -!- aretecode has quit (Quit: Toodaloo).
02:58:45 -!- jaboja64 has joined.
03:00:43 <\oren\> I now have all medials done
03:01:11 -!- myndzi has quit (Quit: .).
03:01:36 <\oren\> so thus I can generate hangul from G-A to G-I-H
03:02:06 -!- jaboja has quit (Ping timeout: 240 seconds).
03:32:38 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
03:58:28 -!- jaboja64 has quit (Ping timeout: 256 seconds).
03:59:01 -!- jaboja64 has joined.
04:06:42 -!- hppavilion[1] has joined.
04:38:25 -!- tjt263 has joined.
04:50:42 -!- tromp_ has joined.
04:55:05 -!- tromp_ has quit (Ping timeout: 260 seconds).
04:55:37 -!- ToTellGo has quit (Quit: Page closed).
05:20:15 -!- interest1ng has quit (Quit: Leaving...).
05:42:55 -!- jaboja64 has quit (Ping timeout: 260 seconds).
06:04:02 -!- Elronnd has changed nick to kerioisaboat.
06:05:25 -!- kerioisaboat has changed nick to earenndil.
06:05:44 -!- earenndil has quit (Quit: Let's jump!).
06:07:21 -!- Elronnd has joined.
06:09:27 -!- Elronnd has changed nick to Elbereth.
06:09:39 -!- Elbereth has changed nick to Ellbereth.
06:10:02 -!- Ellbereth has changed nick to earenndil.
06:20:52 -!- puckipedia has quit (Ping timeout: 272 seconds).
06:25:37 -!- puckipedia has joined.
06:31:54 -!- earenndil has changed nick to Ellbereth.
06:45:47 -!- jaboja has joined.
07:01:30 <oerjan> hm i say this girl genius comic makes higgs even more likely to be the "spymaster"...
07:01:52 <oerjan> because he and gil were the ones who witnessed it
07:03:56 <oerjan> jenka said she had a message from the spymaster
07:04:13 <oerjan> and higgs is _very_ well positioned to spy on gil...
07:04:23 <oerjan> since gil thinks he's doing the opposite.
07:06:27 <oerjan> well, maybe. he probably suspects, he saw through wooster after all.
07:08:31 <Ellbereth> but what does this have to do with esoteric programming languages?
07:09:08 <Ellbereth> Then why are you talking about it in #esoteric
07:09:56 <oerjan> because the comic is popular here
07:10:03 -!- adu has joined.
07:10:22 <oerjan> admittedly no one else who read it seems to be awake...
07:11:34 <oerjan> http://www.girlgeniusonline.com/comic.php#.VnEKlcHKxjo
07:11:47 <oerjan> ...there's that stupid anchor again
07:12:11 <oerjan> i think i got rid of it once by blocking something...
07:13:49 <oerjan> dammit so many ad sites on this page
07:14:04 <shachaf> http://www.girlgeniusonline.com/comi.php#⚓ hth
07:14:32 <oerjan> shachaf: i think you typoed something?
07:14:44 <shachaf> that was meant to be comic.php
07:15:00 <oerjan> the point is that it redirects to the anchor
07:15:16 <oerjan> because of some script running on it
07:16:29 <shachaf> and reading about us tax law
07:26:36 <lambdabot> LOWI 160720Z VRB01KT 9999 SCT070 BKN150 M02/M03 Q1030 TEMPO FM0800 -FZRA
07:34:00 -!- Patashu has joined.
07:36:00 <olsner> oh, lambdabot has metar now?
07:49:22 -!- Ellbereth has changed nick to earenndil.
07:50:02 <fizzie> "Now"? It's been like ages!
07:50:57 <lambdabot> EGLL 160720Z AUTO 22010KT 9999 BKN013 OVC024 13/11 Q1016 TEMPO SCT013 BKN024
07:55:02 -!- adu has quit (Quit: adu).
07:57:01 <fizzie> http://sprunge.us/PSjY see how it shifts
07:57:24 <fizzie> (No calls to either pre-2013.)
08:01:37 <olsner> wow, if you manage to have a multiple of 256 conflicts in a merge, git would treat it as successful
08:02:03 -!- adu has joined.
08:04:17 -!- adu has quit (Client Quit).
08:13:43 -!- AnotherTest has joined.
08:52:05 -!- earenndil has changed nick to Elronnd.
08:52:19 -!- tromp_ has joined.
08:56:57 -!- tromp_ has quit (Ping timeout: 265 seconds).
09:16:46 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
09:19:40 -!- J_Arcane has quit (Ping timeout: 265 seconds).
09:20:01 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45889&oldid=45878 * Luis Mendo * (+0) /* Compiler */
09:23:43 -!- jaboja has quit (Remote host closed the connection).
09:28:32 -!- jaboja has joined.
09:30:21 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45890&oldid=45889 * Luis Mendo * (+64) /* Specification */
09:31:44 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45891&oldid=45890 * Luis Mendo * (-766)
09:32:36 <HackEgo> [wiki] [[MATL]] http://esolangs.org/w/index.php?diff=45892&oldid=45891 * Luis Mendo * (-107) /* Language specification and compiler */
09:33:55 <Taneb> olsner, do you have a source or an interesting blog post about that?
09:36:38 <b_jonas> Oh, I should have expected this. Savage Chickens has a Force Awakens week.
09:40:39 -!- ^v has quit (Quit: Leaving).
09:54:45 -!- oerjan has quit (Quit: leaving).
10:12:56 -!- jaboja has quit (Ping timeout: 246 seconds).
10:49:13 <b_jonas> fungot: do you prefer St. Veteran Day to St. Arbor Day?
10:49:14 <fungot> b_jonas: if you differentiate something, use a point size if you run that through an antenna you make out of the soil, it's entirely fnord motivated. what if it doesn't
10:49:38 <b_jonas> fungot: is there an easier proof for that the boundary of a closed set in RR^n is a null set?
10:49:39 <fungot> b_jonas: that's for chicken? :) that just makes you look like right to left.
10:49:56 <b_jonas> fungot: dunno, Lebesgue's theorym seems a bit heavy for that.
10:49:56 <fungot> b_jonas: but the purpose for brainfuck's existance is an idiot filter :p i'm just awfully silly hash tables. that sort of thing
10:52:47 <fizzie> The truth, revealed: fungot is actually just a set of awfully silly hash tables.
10:52:47 <fungot> fizzie: verry good. however, i've heard
10:59:28 -!- mroman has joined.
10:59:41 <lambdabot> hppavilion[1] said 1d 14h 41m 2s ago: I suppose it is a constructed world
11:00:18 -!- AnotherTest has quit (Ping timeout: 255 seconds).
11:36:51 -!- boily has joined.
11:48:10 -!- Phantom_Hoover has joined.
11:53:17 <HackEgo> intercal/INTERCAL has excellent features for modular program for the enterprise market.
11:53:40 -!- andrew__ has quit (Remote host closed the connection).
12:02:26 -!- Patashu has quit (Ping timeout: 240 seconds).
12:26:47 -!- boily has quit (Quit: DIRECTIVE CHICKEN).
12:28:28 <Taneb> Phantom_Hoover, it's J
12:28:35 <j-bot> Taneb: |value error: i
12:28:42 <j-bot> Taneb: _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 0 1 2 3 4 5 6 7 8 9 10
12:28:51 <Taneb> It's been a long time since I've J'd
12:28:58 <Taneb> And I was never any good at it
12:32:56 <HackEgo> disflagrate/disflagrate v.t.perf.: a traditional technique from Poland (earliest attestation c. 1042) used to separate szoups. Nowadays, commercial production is entirely mechanized.
12:34:27 <HackEgo> defenestration? ¯\(°_o)/¯
12:38:57 -!- augur has quit (Quit: Leaving...).
12:39:04 <int-e> `le/rn */Twinkle, twinkle, little star!
13:11:22 -!- tjt263 has quit (Quit: sleep).
13:29:54 -!- augur has joined.
13:38:33 -!- mauris has joined.
13:58:54 <Taneb> izabera, what does arin.ga use for syntax highlighting?
13:59:53 <izabera> something regex based i mostly copied from a stackoverflow post
14:01:09 -!- trn has quit (Remote host closed the connection).
14:01:44 <Taneb> It doesn't get /* */ comments, it seems
14:02:01 <izabera> it does if they're in a single line
14:02:32 <izabera> http://phoboslab.org/log/2007/08/generic-syntax-highlighting-with-regular-expressions <- this
14:02:55 <Taneb> Is the website open source?
14:04:10 <izabera> it's hard to make it work on multiple lines because i had to add some extra markup for something (to make the lines have different colors iirc)
14:04:20 <izabera> i don't really remember it, it's old
14:05:49 <Taneb> Oh wow, that's lighter than I expected
14:06:48 <izabera> it's not ebay, it's a pastebin
14:07:09 <Taneb> I think I just find web scary
14:08:17 <Taneb> Maybe because I tend to overcomplicate things
14:10:46 <fizzie> I use the "highlight" Debian package to do syntax highlighting for my "website".
14:11:06 -!- trn has joined.
14:12:10 <fizzie> Because calling it a website makes it sound too much like a thing.
14:12:28 <Taneb> fizzie, have you seen my website
14:13:08 <Taneb> Which I bought then didn't do anything with
14:13:43 <izabera> http://motherfuckingwebsite.com/
14:13:49 <izabera> http://bettermotherfuckingwebsite.com/
14:23:05 <fizzie> I did a "blog" (same reason) with zem.fi, but I think I won't have any updates in 2015.
14:26:14 <\oren\> taneb: why is there nothing on your website
14:26:25 <Taneb> \oren\, I couldn't think of anything to put on
14:26:30 <Taneb> And now I've lost the ssh credentials
14:33:16 -!- trn has quit (Excess Flood).
14:33:30 -!- trn has joined.
14:38:22 -!- adu has joined.
14:39:46 <int-e> Taneb: Well it's more informative than my own website (unless you find a "deep link" somewhere ;) ) http://int-e.eu/
14:48:22 -!- jaboja has joined.
15:14:36 -!- Welo has joined.
15:15:30 -!- shikhin has changed nick to bslsk06.
15:15:54 -!- bslsk06 has changed nick to shikhin.
15:34:11 -!- J_Arcane has joined.
15:35:31 -!- adu has quit (Quit: adu).
15:52:34 -!- scoofy has quit (Ping timeout: 276 seconds).
16:01:26 <b_jonas> fungot, what's in your pockets?
16:01:27 <fungot> b_jonas: or silly theorems that bill richter understands absolutely nothing written in that crap language scheme after all
16:24:33 <mroman> bill richter doesn't know scheme?
16:24:38 <mroman> fungot: who's that guy?
16:24:38 <fungot> mroman: gcc ( gcc) 3.3 20030304 ( apple computer, inc.
16:24:59 -!- Phantom_Hoover has quit (Remote host closed the connection).
16:26:15 <fizzie> fungot: That's kind of old, how about switching to the GCC 5 series?
16:26:16 <fungot> fizzie: they may be found.'
16:26:31 <fizzie> fungot: Yes, indeed, from the home page.
16:26:31 <fungot> fizzie: but i'm running windows! windows! windows! windows!
16:27:57 -!- tjt263 has joined.
16:31:14 <shachaf> fungot: you can use mingw or cygwin
16:31:15 <fungot> shachaf: you can't have infinite calls that generate output." is an adjective. :p
16:40:44 <fungot> mroman: is that natural? humans don't live off food and water only. we do not need fun!"
16:41:04 <mroman> fungot: what do we need then?
16:41:04 <fungot> mroman: if that's what you're insinuating.
16:41:23 <mroman> I just watched this video that demonstrates how some snake venom interacts with blood
16:41:43 <mroman> That's gotta be very inconvenient if that stuff gets into your blood stream.
16:41:49 <mroman> It solidifies your blood within seconds.
16:45:08 <mroman> well pretty much all venom is going to be very inconvenient obviously
16:45:43 <mroman> Either it destroys tissues, induces blood coagulation or freakier
16:47:41 <mroman> " A study carried out in 2009 injected scorpions with the venom of various Echis species. "
16:47:56 <mroman> Science is really creepy
16:48:10 <mroman> "Hey let's inject venom into some animals and look what happens"
16:53:05 <mroman> "Let's see what this does to quadriplegic mice"
16:53:20 <mroman> (incidentally the author didn't mention what they did to them to make them quadriplegic)
16:54:13 <shachaf> mromna: i assume that fungot isn't human, so the implication was that humans need fun but fungots do not
16:54:14 <fungot> shachaf: that sounds better. so there is a more abstract api.
17:03:44 -!- nisstyre has quit (Quit: WeeChat 1.3).
17:06:44 -!- Phantom_Hoover has joined.
17:09:30 -!- hppavilion1 has joined.
17:18:33 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:26:12 -!- mroman has quit (Quit: Lost terminal).
17:38:13 -!- Lord_of_Life has quit (Excess Flood).
17:38:57 -!- hppavilion1 has quit (Ping timeout: 265 seconds).
17:39:36 -!- Lord_of_- has joined.
17:58:46 -!- hppavilion1 has joined.
18:12:17 <HackEgo> [wiki] [[PolyStack]] N http://esolangs.org/w/index.php?oldid=45893 * Hppavilion1 * (+4041) Started
18:12:25 -!- hppavilion1 has changed nick to hppavilion[1].
18:13:32 <HackEgo> [wiki] [[PolyStack]] http://esolangs.org/w/index.php?diff=45894&oldid=45893 * Hppavilion1 * (+86) /* Builtin Types, Type Classes, etc. */
18:21:46 -!- J_Arcane_ has joined.
18:23:25 -!- J_Arcane has quit (Ping timeout: 265 seconds).
18:25:04 <HackEgo> [wiki] [[PolyStack]] http://esolangs.org/w/index.php?diff=45895&oldid=45894 * Hppavilion1 * (+1501) /* Commands */ Scalar Types
18:25:26 <HackEgo> [wiki] [[PolyStack]] http://esolangs.org/w/index.php?diff=45896&oldid=45895 * Hppavilion1 * (+1) /* Syntax */ Fixed the program
18:27:44 -!- J_Arcane_ has quit (Ping timeout: 256 seconds).
18:30:26 <HackEgo> [wiki] [[PolyStack]] http://esolangs.org/w/index.php?diff=45897&oldid=45896 * Hppavilion1 * (+565) /* Commands */ Assorted new commands
18:44:00 -!- jaboja has quit (Ping timeout: 260 seconds).
18:46:41 <HackEgo> [wiki] [[JSON++]] http://esolangs.org/w/index.php?diff=45898&oldid=45888 * Hppavilion1 * (+17) /* Syntax */ Nowiki
18:49:32 -!- jaboja has joined.
19:05:09 <HackEgo> [wiki] [[Chain]] N http://esolangs.org/w/index.php?oldid=45899 * Hppavilion1 * (+366) Created Page
19:20:25 <HackEgo> [wiki] [[Seed]] http://esolangs.org/w/index.php?diff=45900&oldid=45686 * Conor O'Brien * (-24) /* Writing programs */ fixed display of pre ('' would create italics before)
19:27:13 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:28:29 -!- hppavilion[1] has joined.
19:58:05 -!- tromp_ has joined.
20:02:20 -!- tromp_ has quit (Ping timeout: 246 seconds).
20:06:51 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
20:10:58 -!- Patashu has joined.
20:11:21 <izabera> i sorted my torrents by share ratio and the top ones are nsfw
20:11:57 <izabera> then there's a huge gap and most of the rest is at 0.1-0.5
20:12:51 <int-e> you managed to find something that's off topic for this channel?
20:13:50 <int-e> (just an opinion, but it does seem rather far removed from our usual conversation)
20:14:43 -!- Patashu has quit (Remote host closed the connection).
20:15:11 -!- Patashu has joined.
20:16:26 <izabera> i'm just wondering if my porn tastes are way common or the rest of my interests is awkward
20:17:51 <izabera> is there something like esoteric porn?
20:18:26 -!- ^v has joined.
20:19:34 <mauris> clearly, the esoteric thing here is that you torrent porn
20:20:02 -!- Patashu has quit (Ping timeout: 272 seconds).
20:20:22 -!- bb010g has joined.
20:20:45 -!- Patashu has joined.
20:20:47 <izabera> i mean those are the ones with the highest share ratio
20:21:28 <izabera> i also torrent books and they look far more esoteric
20:21:45 <FireFly> I'd say something that in mainstream is likely to give you a lower share ratio, because there's so many seeding it
20:22:00 <mauris> (i'm joking) (the joke is "most people these days just watch HD video streams or whatever")
20:22:03 <FireFly> something that is obscure and esoteric is more likely to give you a high share ratio if you are one of very few seeders
20:22:35 <FireFly> At least that's uh something I've observed with some uh music
20:24:18 <FireFly> actually video game soundtrack arrangements
20:25:14 <izabera> i'm listening to touhou right now
20:29:37 <FireFly> Actually what I was thinking of was F-Zero X and Disgaea, but touhou arranges are also nice
20:29:47 <FireFly> (the former two are official CDs with arrangements though)
20:33:01 <FireFly> Though for touhou I usually just rely on online radio
20:45:55 -!- Patashu has quit (Ping timeout: 260 seconds).
20:47:42 <Deewiant> https://www.reddit.com/r/esolangs/comments/3wzjae/pixesoteric_a_2d_bitmap_based_befunge_style/
20:53:39 <izabera> http://everyfuckingwebsite.com/
20:55:28 <mauris> https://www.reddit.com/r/esolangs/comments/3gakuy/if_the_answer_is_church_integer_42_which_lambda/ ???
20:58:52 -!- hppavilion[1] has joined.
21:00:37 <myname> did anybody posted a link for this 256 git commit thingie earlier this day?
21:01:19 -!- tjt263 has quit (Quit: sleep).
21:02:09 <int-e> mauris: I'll wait for a summary
21:06:09 <int-e> > (\n f x -> n f (n (n f) x)) (\f x -> f (f (f (f (f (f x)))))) succ 0
21:10:42 <FireFly> mauris: who let fungot on reddit
21:10:43 <fungot> FireFly: how much do you pay, pitecus?. f) t) fnord redexes!
21:11:50 <int-e> and when did fungot become greedy?
21:11:51 <fungot> int-e: and not, um,? for help. soon the lure of a small community of fnord geeks.
21:11:55 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
21:12:22 <fungot> Selected style: enron (subset of the Enron email dataset)
21:13:01 <fungot> FireFly: not that we conclude the investigation the securities and exchange commission.
21:13:03 <int-e> fungot: tell us about bribery and racketeering
21:13:03 <fungot> int-e: first and foremost you think......................tony mcconnell and me not to enpower. shanbhogue chapter in.
21:13:18 <FireFly> fungot: don't tell me what to think
21:13:18 <fungot> FireFly: we file the accounts that had a different that what you and beth will continue. 120,? you
21:13:48 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
21:13:51 <fungot> FireFly: ah ha! thats the one i got it right
21:18:23 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:27:06 -!- Welo has quit (Quit: Leaving).
21:30:57 -!- ^v has quit (Ping timeout: 265 seconds).
21:40:16 <izabera> pick your favourite https://i.imgur.com/RTK89fX.png
21:42:58 <izabera> 1. the unreadable green on white text 3. the unreadable green on white text with higher contrast in the rest of the picture or 2
21:54:02 -!- clog has quit (Ping timeout: 250 seconds).
21:55:17 <int-e> izabera: please tell me there are other options
21:56:26 <izabera> FireFly: context https://lists.gnu.org/archive/html/bug-bash/2015-12/msg00116.html
21:57:22 <izabera> int-e: nope but i guess you can add a 4th option with a small hack on google docs
21:58:02 <FireFly> I like the typeface for 'BASH' the best in #2 at least
21:58:11 <FireFly> or weight, rather, I guess
21:58:37 <FireFly> and I don't like the use of green in the subtitle, so I guess #2
22:13:32 -!- mihow has joined.
22:27:20 -!- oerjan has joined.
22:28:21 * oerjan looks in vain for his all-seeing eyes
22:33:24 <oerjan> ok tunes is about 8 hours off UTC
22:34:47 <oerjan> so i _think_ it's only been gone for less than an hour.
22:34:51 -!- heroux has quit (Ping timeout: 250 seconds).
22:39:28 -!- J_Arcane has joined.
22:40:29 -!- heroux has joined.
22:48:33 -!- bb010g has quit (Quit: Connection closed for inactivity).
22:52:05 <oerjan> <b_jonas> fungot: is there an easier proof for that the boundary of a closed set in RR^n is a null set? <-- um that's true in all topologies, and pretty trivial?
22:52:06 <fungot> oerjan: why are you debugging gc, btw
22:52:13 <oerjan> @tell b_jonas <b_jonas> fungot: is there an easier proof for that the boundary of a closed set in RR^n is a null set? <-- um that's true in all topologies, and pretty trivial?
22:52:14 <fungot> oerjan: and then there's one huuto.net page. am i a her or a he? of course
22:53:22 <oerjan> @tell b_jonas erm wait, that's false, including in R^n. is RR^n something different?
22:58:31 <HackEgo> ls: cannot access wisdom/*fenes*: No such file or directory
23:05:25 <oerjan> `learn Defenestration is the traditional Czech system for voting out government officials.
23:05:27 <HackEgo> Learned 'defenestration': Defenestration is the traditional Czech system for voting out government officials.
23:06:13 <shachaf> oerjan: It seems like it would be false in most spaces.
23:06:47 <oerjan> any hausdorff space with more than one point, at least.
23:07:35 <oerjan> it's true in discrete spaces
23:07:35 -!- hppavilion[1] has joined.
23:07:59 <oerjan> because there all boundaries are null
23:08:42 -!- Lord_of_- has changed nick to Lord_of_Life.
23:08:45 -!- Lord_of_Life has quit (Changing host).
23:08:45 -!- Lord_of_Life has joined.
23:08:45 -!- Lord_of_Life has quit (Changing host).
23:08:45 -!- Lord_of_Life has joined.
23:35:52 -!- MoALTz has quit (Ping timeout: 250 seconds).
23:36:37 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
23:37:11 -!- MoALTz has joined.
23:51:53 -!- MoALTz has quit (Read error: Connection reset by peer).
23:53:45 -!- clog has joined.