←2016-11-22 2016-11-23 2016-11-24→ ↑2016 ↑all
00:00:44 <HackEgo> [wiki] [[Talk:Incident]] https://esolangs.org/w/index.php?diff=50358&oldid=50356 * Oerjan * (+753) Expand a little
00:01:18 -!- oerjan has joined.
00:03:30 -!- DHeadshot has joined.
00:16:44 -!- DHeadshot has quit (Ping timeout: 250 seconds).
00:59:00 -!- moonheart08 has joined.
01:04:57 -!- Sprocklem has quit (Ping timeout: 240 seconds).
01:05:11 -!- moony has joined.
01:07:59 -!- moonheart08 has quit (Ping timeout: 265 seconds).
01:09:58 -!- boily has joined.
01:10:02 <boily> `wisdom
01:10:04 <HackEgo> ​örjan//Örjan is the diæresed twin. He will punctuate your vöẅëls, and maybe a few other unsuspecting letters.
01:10:18 <oerjan> höily.
01:11:22 <hppavilion[1]> @tell \oren\ öẅë looks off; the diæreses are at different heights
01:11:22 <lambdabot> Consider it noted.
01:12:08 <boily> hellœ̈rjan.
01:17:03 <boily> are there precomposed characters that go four-deep? e.g. “é” is “e´”, “ề” is “e^`”.
01:18:10 <hppavilion[1]> boily: I'm annoyed there are precomposed characters at all.
01:18:39 <boily> hppavellon[1]. précomposition is good for you.
01:19:05 <hppavilion[1]> boily: There should be 0 precomposed characters. There should be more morphological characters.
01:19:16 <hppavilion[1]> Like, there shouldn't be 4 blocks of arrows
01:19:30 <hppavilion[1]> There should just be 1 (or maybe 2) blocks that provide resources to construct arbitrary arrows
01:20:10 <hppavilion[1]> (Any combination of the 8 major-enough-to-mention directions, any stem, any head (which is two half-heads, which is what harpoons have))
01:20:26 <hppavilion[1]> At least, that's for the basic ones. Less simple ones can have dedicated characters.
01:22:44 <boily> precompose everything.
01:22:46 <zzo38> You can make up a font with METAFONT that works that way if you want it to do that way, I think.
01:23:12 <hppavilion[1]> I want my northwest double-stroke double harpoon [barb [l], barb [r]], southwest double-stroke double-head [[barb, barb], [curve, null]], and northeast single-stroke white head
01:23:16 <hppavilion[1]> Dammit!
01:23:28 <hppavilion[1]> *+"*+"
01:25:15 <\oren\> what's the point of nuget
01:25:32 <hppavilion[1]> \oren\: nuget the terrible food-or-something?
01:25:33 <boily> he\\oren\. what's a nuget? is it made of chicken?
01:25:44 <hppavilion[1]> boily: No, that's a nüget
01:26:10 <\oren\> nuget the package manger
01:26:13 <hppavilion[1]> (UK: nügaet or nügæt)
01:26:17 * pikhq finally beat Pokémon Moon.
01:26:39 <boily> pikhelloq. isn't it unreleased yet?
01:26:55 <boily> \oren\: there is such a package manager???
01:27:04 <\oren\> yes
01:27:07 <boily> hppavilion[1]: see, you benefit from precomposition!
01:27:17 <pikhq> It just came out in Europe, and has been out in the US since last Friday.
01:27:18 <\oren\> but it is vastly inferior to existing one
01:27:39 <boily> ah, it's for .net.
01:27:42 <pikhq> (by "just" I obviously mean "if you go to a midnight release or download it on the eShop)
01:27:44 <\oren\> also pokemon moon is vastly inferior to pokemon silver
01:27:52 <pikhq> \oren\: Orly?
01:28:25 <\oren\> less content, smaller world, crappier pokemon
01:28:29 <hppavilion[1]> boily: Yes, I haven't fixed my keyboard yet
01:28:37 <pikhq> Erm, have you played Moon?
01:28:41 <\oren\> yes
01:28:43 * boily precomposes hppavilion[1].
01:28:53 <hppavilion[1]> AAAAAAAAAGLHHF
01:28:58 <hppavilion[1]> boily: Wait, with whom?
01:29:35 * hppavilion[1] . o O ( Hmm, If this is category theory... )
01:30:01 * pikhq wishes the apricorn balls in gen 7 were renewable resources...
01:31:12 -!- FreeFull has quit (Quit: off for the night).
01:31:43 <\oren\> they whould make one where you can visit johto, kanto, hoenn and <the one from black/white>
01:32:08 <\oren\> that would finally be better than pokemon silver
01:32:34 <quintopia> helloily!
01:32:38 <boily> quinthellopia!
01:32:59 <quintopia> what have i missed?
01:33:08 <boily> you were disappeared!
01:33:22 <quintopia> by whom?
01:33:32 <quintopia> when will they reinstate me?
01:33:55 * boily is being asked whome questions too much tonight
01:34:00 <boily> s/me\b/m/
01:34:12 <boily> you are, you reappeared.
01:34:17 <quintopia> oh
01:34:33 <oerjan> . o O ( package mangler )
01:34:34 <quintopia> i havent had a craft beer in weeks
01:34:45 <moony> anyone play MUDs?
01:34:47 <quintopia> oerjan: l9rena bobbit?
01:34:49 <Taneb> quintopia, I haven't had an any beer in years
01:35:11 <boily> mhelloony. I tried. I think zzo38 still does?
01:35:12 <quintopia> Taneb: i think you invented teetotaling
01:35:21 <pikhq> \oren\: So, Pokemon Switch then. :)
01:35:29 <boily> itym teetotanebing hth.
01:35:33 <Taneb> quintopia, I drink the occassional gin and tonic
01:35:42 <quintopia> fine
01:35:44 <Taneb> I just... don't really like beer
01:35:55 <hppavilion[1]> Nobody does.
01:35:56 <quintopia> not as good as beer but...acceptable
01:35:57 <boily> Tanelle. there's a new gin from Rimouski with algæ. very good!
01:36:00 <pikhq> Though I do wish we'd revisit Kalos, and get that setting feeling a little less... empty.
01:36:02 <hppavilion[1]> We all just pretend.
01:36:30 <quintopia> hppavilion[1]: conspiracy failed
01:36:45 <hppavilion[1]> How does one drag out the vowel 'æ'
01:36:49 <oerjan> quintopia: wat
01:36:56 <hppavilion[1]> Like, if I'm calling for my encyclopædia
01:36:58 <quintopia> hppavilion[1]: aeeeeeee
01:37:17 <hppavilion[1]> quintopia: I would think aaaaæeeee (where the ones before and the ones after are ideally equal)
01:37:23 <quintopia> oerjan: lorena bobbit was a package mangler
01:37:24 <boily> hppavilion[1]: /e/.
01:38:03 <hppavilion[1]> encyclopææææææææædia is the simplest, but it looks weird. "encyclopaeaeaeaeaeaeaeaeaedia" is just... bizarre
01:38:20 <hppavilion[1]> So yeah, I think "encyclopaaaaæeeeedia" is the best-looking
01:40:45 <quintopia> a good quebecois beer would really hit the spot this holiday season
01:40:50 <oerjan> quintopia: not that kind of package hth. . o O ( i guess she disproved the penismightier theory. )
01:42:51 <oerjan> <hppavilion[1]> How does one drag out the vowel 'æ' <-- easily hth
01:43:13 <hppavilion[1]> oerjan: penis mightier?
01:43:17 -!- zzo38 has quit (Ping timeout: 240 seconds).
01:43:26 <hppavilion[1]> Oh, wait, that was actually the joke...
01:45:26 * oerjan wonders how many hppavilion[1]s you need to create a black hole. not too many, he figures.
01:46:28 <oerjan> also i thought you meant the ipa /æ/.
01:47:21 <shachaf> `? quote format
01:47:23 <HackEgo> quote format? ¯\(°​_o)/¯
01:47:25 <shachaf> `? quotefmt
01:47:26 <HackEgo> quotefmt? ¯\(°​_o)/¯
01:47:40 <oerjan> sheesh use `wisdom
01:47:42 <shachaf> `grwp format
01:47:44 <HackEgo> ism:Isms are philosophies, religions or ideologies that have branched off from older ones, such as Leninism or Buddhism. Etymologically "ism" is a backformation from portmanteaus on "schism". \ morphism:A morphism is just a natural transformation between two diagrams of 1. \ natural transformation:A natural transformation is a transformation of som
01:47:48 <shachaf> `wisdom format
01:47:50 <HackEgo> quoteformat//quoteformat is: <nick> message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two.
01:47:54 <shachaf> Ah.
01:48:04 <shachaf> `? oerjanformat
01:48:05 <HackEgo> oerjanformat? ¯\(°​_o)/¯
01:48:09 <shachaf> hm
01:48:18 <shachaf> no decision about two spaces after a .
01:48:18 <boily> quintopia: no worries.
01:48:49 <oerjan> of course that one is duplicated under several names. just not the one you remember.
01:49:14 <oerjan> traditional oerjanformat definitely has two spaces.
01:49:34 <shachaf> And modern oerjanformat?
01:49:47 -!- Sprocklem has joined.
01:49:53 <oerjan> is a bit more inconsistent.
01:50:04 <oerjan> but tends to be two when i remember.
01:50:30 <boily> do you remember amortized?
01:50:39 <oerjan> constantly
01:51:28 <oerjan> memento amorti
01:51:36 <boily> `? oerjan
01:51:37 <HackEgo> Your esteemoologist wise potatolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:51:55 <hppavilion[1]> Theorem: The military power of a nation is directly proportional to the number of sides of its headquarters
01:52:15 <hppavilion[1]> So a country based at the Hexagon is twice as powerful as one based at the Triangle
01:52:26 <boily> `` sed -i 'sppotapmemenp' wisdom/oerjan
01:52:28 <HackEgo> ​/bin/sed: -e expression #1, char 12: unknown option to `s'
01:52:34 <boily> argh.
01:52:39 <boily> `` sed -i 'sp\potapmemenp' wisdom/oerjan
01:52:42 <fizzie> hppavilion[1]: The obvious question about a circle.
01:52:43 <HackEgo> wisdom/oerjan//Your esteemoologist wise mementolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
01:53:02 <hppavilion[1]> fizzie: BOW DOWN BEFORE YOUR OVERLORDS
01:53:46 <boily> hellochaf. what decides the oerjan colouring?
01:54:02 <shachaf> Not sure.
01:54:12 <shachaf> Maybe it should be random.
01:55:10 <boily> dun dun dun ♪
02:00:14 <hppavilion[1]> Recursive acronyms are boring if they don't also have exponential growth
02:02:26 <boily> the derivative of a recursive acronym growth should plot Beethoven's Fifth, immo.
02:05:01 <quintopia> wat
02:08:23 -!- zzo38 has joined.
02:08:58 <hppavilion[1]> boily: oooh...
02:09:05 <oerjan> apparently those new quantum-proof public key systems shouldn't feel too safe... https://arxiv.org/abs/1611.06999
02:10:28 <oerjan> boily: that's dun dun dun dun not dun dun dun hth
02:12:05 <oerjan> also one of the reddit posters linked this http://imgur.com/ajOD0MM
02:12:40 <oerjan> (there aren't many comments yet, alas. i guess aaronson will say something if he can get out of post-election depression)
02:13:46 * boily dun dun dun duns ♪
02:15:19 * quintopia words all the words
02:15:49 -!- boily has quit (Quit: HABITUAL CHICKEN).
02:15:53 <quintopia> gang
02:16:13 <oerjan> he gang away
02:16:16 <quintopia> i was trying to come up with a good portgnight
02:16:24 <quintopia> and couldnt decide
02:16:36 <quintopia> o well
02:24:50 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
02:25:59 -!- computing has joined.
02:28:57 -!- moony has quit (Ping timeout: 240 seconds).
02:30:44 <zzo38> TL11 in GURPS is "Age of Exotic Matter". What do you think is Age of Exotic Matter?
02:38:24 -!- computing has quit (Ping timeout: 268 seconds).
03:02:52 -!- Frooxius has joined.
03:03:54 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:05:36 -!- Froox has quit (Ping timeout: 260 seconds).
03:09:49 -!- Froox has joined.
03:13:12 -!- Frooxius has quit (Ping timeout: 258 seconds).
03:16:56 -!- Froo has joined.
03:20:06 -!- Froox has quit (Ping timeout: 258 seconds).
03:21:18 -!- espes has quit (Ping timeout: 245 seconds).
03:22:00 -!- espes has joined.
03:22:15 -!- zzo38 has quit (Ping timeout: 256 seconds).
03:23:58 -!- Froox has joined.
03:27:04 -!- Froo has quit (Ping timeout: 244 seconds).
03:31:17 -!- Frooxius has joined.
03:34:00 -!- shikhin has changed nick to driyoyleujiy.
03:34:08 -!- Froox has quit (Ping timeout: 260 seconds).
03:34:11 -!- driyoyleujiy has changed nick to shikhin.
03:38:23 -!- zzo38 has joined.
03:38:24 -!- Froox has joined.
03:38:52 <oerjan> Froox: boo!
03:41:01 -!- Frooxius has quit (Ping timeout: 244 seconds).
03:45:11 -!- Frooxius has joined.
03:47:44 -!- Froox has quit (Ping timeout: 244 seconds).
03:47:53 -!- ChanServ has set channel mode: +o oerjan.
03:49:56 -!- oerjan has set channel mode: +b *!~Frooxius@194.108.5.201$#fix_your_connection.
03:50:04 -!- oerjan has set channel mode: -o oerjan.
03:51:41 <shachaf> `5 w
03:51:46 <HackEgo> 1/1:1//The 1 is just for disambiguation. \ costume//Costumes are used for cosplay. Taneb sometimes invents them. \ braid theory//Braid theory is the extremely twisted theory of braids. \ croissont supplier//See misspellings of croissant \ nø//nø means 'Char', apparently. Maybe like when you burn a lot?
03:51:56 <shachaf> `dowt 1
03:51:59 <HackEgo> 5223:2015-01-02 <oerjän> learn 1 is just for disambiguation. \ 5224:2015-01-02 <oerjän> learn The 1 is just for disambiguation.
03:52:08 <shachaf> `doat bin/1
03:52:10 <HackEgo> 8311:2016-06-03 <shachäf> mkx bin/1//\\` "$@" | sport \ 8570:2016-06-22 <shachäf> sled bin/1//s#\\|#|\\&# \ 8574:2016-06-22 <shachäf> sled bin/1//s#|#|\\&# \ 8575:2016-06-22 <shachäf> mkx bin/1//\\` "$@" |& sport
03:52:19 <shachaf> oerjan: i don't follow tdnh
03:52:31 <shachaf> Oh, I bet it's about the pavilion.
03:52:45 <oerjan> MAYBE
03:52:53 <shachaf> Oh, no.
03:53:09 <shachaf> Apparently it's about Diablo 1, which I never played.
03:53:34 <shachaf> `? 1
03:53:35 <HackEgo> The 1 is just for disambiguation.
03:53:37 <shachaf> er
03:53:39 <shachaf> `? 2
03:53:40 <HackEgo> 2? ¯\(°​_o)/¯
03:54:57 -!- Frooxius has quit (Ping timeout: 240 seconds).
04:17:58 -!- hppavilion[1] has joined.
04:51:30 -!- PinealGlandOptic has quit (Quit: leaving).
05:01:01 -!- augur_ has joined.
05:03:10 -!- augur has quit (Ping timeout: 244 seconds).
05:22:30 <alercah> https://github.com/kw-udon/constexpr-8cc
05:29:46 <Jafet> `? abbreviation
05:29:49 <HackEgo> abbreviation? ¯\(°​_o)/¯
05:32:46 <Jafet> `learn The abbreviation fad began in Boston in the summer of 1838 and spread to New York and New Orleans in 1839.
05:32:50 <HackEgo> Learned 'abbreviation': The abbreviation fad began in Boston in the summer of 1838 and spread to New York and New Orleans in 1839.
05:32:58 <Jafet> (from http://www.straightdope.com/columns/read/503/what-does-ok-stand-for)
05:59:04 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
06:06:04 -!- adu has joined.
06:16:39 -!- hppavilion[1] has joined.
06:52:05 -!- AnotherTest has joined.
06:52:13 -!- oerjan has quit (Quit: Nite).
06:58:49 -!- AnotherTest has quit (Ping timeout: 260 seconds).
07:02:46 -!- gniourf has quit (Ping timeout: 250 seconds).
07:11:53 -!- adu has quit (Quit: adu).
07:16:09 -!- gniourf has joined.
08:05:19 -!- MoALTz has joined.
08:13:57 <izalove> halp
08:14:18 <izalove> https://arin.ga/dI5rXj/raw i fucked up something and now this is the output of 99bottles.b
08:14:28 <izalove> what can be the cause?
08:16:00 <hppavilion[1]> izalove: You must sacrifice 2 he-goats and 1 ram to satan. Pray for mercy.
08:16:11 <izalove> done
08:16:13 <izalove> now what
08:24:53 <izalove> yay fixed
08:26:09 <myname> satan loves to help
09:06:00 -!- fractal has quit (Remote host closed the connection).
09:18:56 -!- fractal has joined.
09:22:55 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
09:50:48 -!- AnotherTest has joined.
10:43:46 <izalove> https://github.com/LeartS/loleuler
11:00:18 -!- LeartS has joined.
11:00:28 <izalove> `welcome LeartS
11:00:29 <HackEgo> LeartS: 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.)
11:36:20 -!- boily has joined.
11:36:26 <boily> `wisdom
11:36:28 <HackEgo> topology//Topology is another name for topos theory.
11:43:03 -!- LKoen has joined.
11:47:33 -!- Phantom_Hoover has joined.
12:27:31 -!- boily has quit (Quit: TODAY CHICKEN).
12:34:28 -!- ski has quit (Ping timeout: 260 seconds).
13:21:48 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
14:16:31 -!- int-e has changed nick to int-e_.
14:16:57 -!- int-e has joined.
14:18:19 -!- int-e_ has quit (Quit: leaving).
14:48:34 -!- computing has joined.
14:50:49 <int-e> Heh, it's been a while since GG made me literally laugh out loud.
15:00:21 -!- AnotherTest has quit (Ping timeout: 248 seconds).
15:03:13 -!- moony has joined.
15:06:13 -!- computing has quit (Ping timeout: 248 seconds).
15:20:34 -!- LeartS has left ("WeeChat 1.4").
15:20:52 <HackEgo> [wiki] [[Special:Log/newusers]] create * 414owen * New user account
15:22:41 -!- Sprocklem has quit (Ping timeout: 258 seconds).
15:30:58 -!- Bowserinator has changed nick to Botcom.
15:31:06 -!- Botcom has changed nick to Bowserinator.
15:34:29 -!- Akaibu has quit (Ping timeout: 260 seconds).
15:35:57 -!- Akaibu has joined.
15:40:34 -!- MoALTz_ has joined.
15:43:33 -!- MoALTz has quit (Ping timeout: 248 seconds).
16:05:54 <HackEgo> [wiki] [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=50359&oldid=50327 * 414owen * (+304)
16:06:06 <HackEgo> [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=50360&oldid=49655 * 414owen * (+41) Grouped programs by befunge-compatability. This is because it took me ages to figure out that some weren't going to ever be compatible for my befunge-93 interpreter, as they used 98-specific instructions. I also removed the 'wipe-stack' program.
16:09:00 <HackEgo> [wiki] [[Befunge]] https://esolangs.org/w/index.php?diff=50361&oldid=50360 * 414owen * (-4) Removed misleading wiki-link
16:10:51 -!- moony has quit (Ping timeout: 265 seconds).
16:52:04 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=50362&oldid=50349 * Slnetaiga * (+10) Added DBR
16:52:46 -!- Sprocklem has joined.
16:56:20 <\oren\> Apparently search-and-replace within an entire codebase can cause fail
16:56:31 <\oren\> I guess I have to do this more manually
16:58:49 <HackEgo> [wiki] [[Special:Log/upload]] upload * Slnetaiga * uploaded "[[File:HelloWorld example for DBR.png]]"
17:00:16 <HackEgo> [wiki] [[DBR]] N https://esolangs.org/w/index.php?oldid=50364 * Slnetaiga * (+943) Created page with "'''DBR(Drawing BRainfuck)''', it's brainfuck like language, where instead of text files are the images and text commands instead of colored pixels. == Commands colors == {| c..."
17:01:39 <HackEgo> [wiki] [[DBR]] https://esolangs.org/w/index.php?diff=50365&oldid=50364 * Slnetaiga * (+16)
17:01:54 <HackEgo> [wiki] [[User:Slnetaiga]] https://esolangs.org/w/index.php?diff=50366&oldid=50291 * Slnetaiga * (+10)
17:06:03 <\oren\> https://www.youtube.com/watch?v=wfxDIyYU9nM
17:06:49 <zzo38> I am sure it can cause it to fail. What were you trying to do anyways?
17:07:50 <\oren\> I was trying to replace "Hue" with "Colour"
17:08:27 -!- AnotherTest has joined.
17:13:53 <zzo38> The word is also short enough that there is another possible problem
17:14:23 <zzo38> Also, what program was that anyways?
17:22:55 -!- Sprocklem has quit (Ping timeout: 252 seconds).
17:28:01 -!- moonheart08 has joined.
17:32:06 -!- oerjan has joined.
17:35:38 -!- Sprocklem has joined.
17:46:48 -!- moonheart08 has quit (Ping timeout: 244 seconds).
17:47:40 -!- moonheart08 has joined.
18:07:59 -!- hppavilion[1] has joined.
18:24:32 -!- Sprocklem has quit (Ping timeout: 260 seconds).
18:25:57 <hppavilion[1]> @metar pamr
18:25:57 <lambdabot> PAMR 231753Z 00000KT 10SM CLR M11/M14 A2950 RMK AO2 SLP992 I6/// T11061139 11078 21117
18:32:41 -!- Sprocklem has joined.
18:35:35 -!- LKoen has joined.
18:38:24 <shachaf> Cale: What do you think of the GεF notation?
18:38:44 <shachaf> I think it's brilliant, but some people apparently don't like it.
18:39:38 <Cale> I like it
18:42:46 <Cale> Exercise: Suppose F is left adjoint to G. Find a natural transformation FFGGFGFGG -> GGFGFFGGF
18:49:28 <oerjan> isn't that just about swapping adjacent FG -> GF until you get there
18:50:12 <Cale> That's one way to look at it -- it's perhaps easier to look at it as eliminating FG's and introducing GF's
18:50:27 <Cale> (because that's what ε and η do)
18:50:32 <hppavilion[1]> shachaf: G ε F like Hilbert?
18:50:44 <Cale> hppavilion[1]: Like natural transformations
18:51:09 <oerjan> oh right, it's even easier
18:51:42 <Cale> http://cale.hn.org/share/adjunction-nat-trans.png
18:51:47 <Cale> (spoiler)
18:52:20 <hppavilion[1]> Oh
18:52:32 <Cale> It's really obnoxious to write that map down if you don't have the notation shachaf was referring to
18:52:57 <shachaf> i,i what, string diagrams?
18:52:59 <Cale> Though I suppose you could always use explicit horizontal composition with the identity map
18:53:55 <Cale> String diagrams just make it really topologically obvious what moves you ought to perform
18:54:11 -!- oerjan has quit (Quit: Later).
18:54:48 <hppavilion[1]> Cale: Oh, are we getting into Deontic logic? :P
18:56:43 -!- otherbot has joined.
19:00:10 <Cale> hppavilion[1]: actually there is some sort of connection to certain modal logics
19:01:25 <hppavilion[1]> Dammit
19:01:30 <hppavilion[1]> Is the number of ordinals an ordinal?
19:01:37 <hppavilion[1]> (Wait, are the ordinals a superset of the cardinals? I forget)
19:01:56 <Cale> There are set-many ordinals
19:02:39 <Cale> Ordinals are often a superset of the cardinals -- it depends on how you set things up, it's possible to define them separately.
19:02:51 <Cale> Well, "superset" -- they're not a set
19:02:57 -!- moonheart08 has quit (Ping timeout: 240 seconds).
19:02:58 <Cale> Superclass :)
19:03:03 <hppavilion[1]> Cale: set-many?
19:03:05 <hppavilion[1]> Ah xD
19:03:27 <hppavilion[1]> Cale: Wait, superclass as in the superer class or superclass as in bigger than a class? xD
19:03:38 <hppavilion[1]> (Also, what exactly is the rule for class vs. set?)
19:04:19 -!- FreeFull has joined.
19:04:59 <Cale> Well, the basic approach is that classes are just predicates on sets
19:05:10 <Cale> i.e. properties that sets may or may not satisfy
19:05:23 <Cale> There isn't a set of all ordinals, nor a set of all sets
19:05:55 -!- Sprocklem has quit (Quit: [).
19:06:00 <Cale> But there is a property one can specify of sets which determines whether one is an ordinal, and similarly there is a predicate which is constantly true :)
19:06:12 -!- LKoen has quit (Remote host closed the connection).
19:08:03 -!- Sprocklem has joined.
19:08:09 <Cale> Oh, sorry, just realised I said that backwards, there aren't set-many ordinals -- i.e. there are "too many" to fit in a set
19:09:37 <Cale> Superclass in this case as in the property of being a cardinal implies the property of being an ordinal
19:11:04 -!- hppavilion[0] has joined.
19:20:44 -!- TieSoul has joined.
19:25:13 -!- LKoen has joined.
19:27:01 -!- Sprocklem has quit (Ping timeout: 248 seconds).
19:27:52 -!- hppavilion[0] has quit (Quit: PH'NGLUI MGLW'NAFH CTHULHU R'LYEH WGAH'NAGL FHTAGN).
19:28:28 -!- LKoen has quit (Client Quit).
19:32:53 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:40:49 -!- DHeadshot has joined.
20:17:56 -!- DHeadshot has quit (Ping timeout: 260 seconds).
20:43:57 <HackEgo> [wiki] [[Special:Log/newusers]] create * BradleySadowsky * New user account
20:45:25 -!- DHeadshot has joined.
20:46:05 -!- Sprocklem has joined.
20:59:34 -!- PinealGlandOptic has joined.
21:16:28 -!- MDude has quit (Remote host closed the connection).
21:19:52 <HackEgo> [wiki] [[Talk:Aperture]] N https://esolangs.org/w/index.php?oldid=50367 * TuxCrafting * (+99) Created page with "wat ~~~~"
21:22:17 -!- xocket has joined.
21:24:44 -!- wob_jonas has joined.
21:29:13 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds).
21:32:17 -!- xocket has quit (Disconnected by services).
21:32:18 -!- xock_stream has joined.
21:32:31 -!- Sprocklem has quit (Ping timeout: 256 seconds).
21:36:49 <wob_jonas> argh! these websites are so horrible. they have a ton of specific css and javascript stuff in it to stop the browser from working normally.
21:37:56 <wob_jonas> and they're so complicated I can't just override them with a few clicks
21:43:45 -!- wanderman has joined.
21:44:00 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:46:18 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:53:14 <HackEgo> [wiki] [[Special:Log/newusers]] create * Ferrosurgeon * New user account
22:05:02 -!- wanderman has quit (Quit: Leaving).
22:14:39 -!- wob_jonas has joined.
22:19:28 -!- Sprocklem has joined.
22:19:52 -!- hppavilion[1] has joined.
22:19:58 -!- hppavilion[0] has joined.
22:21:26 -!- Phantom_Hoover has joined.
22:23:37 -!- Sprocklem has quit (Ping timeout: 240 seconds).
22:32:30 -!- xocket has joined.
22:33:49 <wob_jonas> Where can I hire a proverbial angry mob with *nerf* torches and pitchforks (ones that won't actually burn or pierce anything)? This author uses a scalar product that is conjugate-linear in the right hand side argument instead of in the left hand side argument, in a context where it totally doesn't matter.
22:34:29 -!- xock_stream has quit (Ping timeout: 260 seconds).
22:35:09 <wob_jonas> I mean, that's worse than putting the dereferencing star before the space in a variable declaration.
22:39:05 <zzo38> I write the dereferencing star without a space in a variable declaration
22:41:23 <wob_jonas> that's less bad than writing a space after it.
22:44:11 <zzo38> Yes I think so, that is why I write it like that
22:47:51 <wob_jonas> I usually write a space between the specifier and the declarator in the declaration or parameter, as well as write spaces on both sides of arithmetic/comparison/bitwise/logic/assignment binary operators,
22:50:22 <wob_jonas> and write a space after all commas and semicolons, write a space around both sides of braces that start or end blocks (but not braces that are for initializer lists), write a space around the outside of the parenthisized control part of if/while/do/switch/for statements, and a space after the return keyword, etc;
22:51:13 <wob_jonas> but in some cramped situation when it is important to present some long formula with repeated structure in shorter space, I omit almost any of these spaces when that doesn't cause ambiguity.
22:52:43 <wob_jonas> (There are more situations where I write spaces, it'd be long to list everything.)
22:53:47 -!- boily has joined.
22:53:53 <boily> `wisdom
22:53:54 <HackEgo> future//We know nothing about the future.
22:54:05 <wob_jonas> `? past
22:54:06 <HackEgo> past? ¯\(°​_o)/¯
22:54:11 <wob_jonas> `? present
22:54:11 <boily> `? present
22:54:12 <HackEgo> present? ¯\(°​_o)/¯
22:54:13 <HackEgo> present? ¯\(°​_o)/¯
22:54:19 <boily> wellob_jonas.
22:54:22 <wob_jonas> `? christmas
22:54:23 <HackEgo> christmas? ¯\(°​_o)/¯
22:54:25 <wob_jonas> hi, boily
22:54:38 <wob_jonas> `? mob
22:54:39 <HackEgo> mob? ¯\(°​_o)/¯
22:58:11 <boily> `? holidays
22:58:13 <HackEgo> holidays? ¯\(°​_o)/¯
22:58:15 <boily> `? fungot
22:58:16 <HackEgo> fungot is our beloved channel mascot and voice of reason.
22:58:31 <boily> fizzie: fizziello. could you please remascot the chännel?
23:02:34 <shachaf> `5 w
23:02:38 <shachaf> `spam
23:02:41 <HackEgo> 2/0:
23:02:42 <HackEgo> 1/1:calzone//A calzone is a part of California. They include norcal and socal. \ quit///quit \ hax0r//hax0r (see ¯\(°​_o)/¯) \ hambiguitous//We're not sure what hambiguitous means, but it's definitely not hth. \ megalun//megalun is a chain of a million SCSI devices. FreeFull weighs 482 of them.
23:02:47 <shachaf> `spam
23:02:48 <HackEgo> 2/1:
23:03:23 <shachaf> Right.
23:04:07 <boily> 5/7 perfect.
23:04:50 <shachaf> `5 w
23:04:55 <HackEgo> 1/2:userweps//boily has the mapole, oerjan has the swatter \ wumpus//Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. \ amortized//An amortized word is a word that oerja
23:05:03 <shachaf> `spam
23:05:04 <HackEgo> 2/2:n can never remember. \ john//John is not Hziulquoigmnzhah of Cykranosh, the dread spawn of Cxaxukluth, according to http://smbc-comics.com/index.php?id=4072 \ curry's paradox//If this sentence is true, then Taneb invented Curry's paradox.
23:05:25 <shachaf> `? tanebventions: math
23:05:27 <HackEgo> Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms.
23:05:28 <quintopia> bhelloily
23:05:35 <boily> quinthellopia.
23:05:41 -!- hppavilion[0] has quit (Ping timeout: 248 seconds).
23:05:41 -!- hppavilion[1] has quit (Ping timeout: 248 seconds).
23:05:43 <fizzie> boily: CAN DO
23:05:48 <boily> fizzie: OKAY
23:06:05 <shachaf> `slwd tanebventions: math//s#the long#Curry's paradox, &#
23:06:08 <HackEgo> tanebventions: math//Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, Curry's paradox, the long line, locales, and histograms.
23:06:13 -!- fungot has joined.
23:06:13 <quintopia> boily: day off today \o/
23:07:13 <boily> quintopia: woot!
23:07:25 <boily> fungot: o hai!
23:07:26 <fungot> boily: its just a simulation, yet you can't break out of my apartment... bbl...
23:07:49 <boily> fungot: uhm... pretty sure I'm in *my* apartment, and that I'm quite real and tangible.
23:07:49 <fungot> boily: i have no clue
23:07:55 <boily> fungot: yes yo do. I exist.
23:07:56 <fungot> boily: checking the source code, what it actually means " state of the family fnord and used to signify a slightly different work
23:08:06 <boily> fungot: my family doesn't fnord.
23:08:06 <fungot> boily: would anyone know where i can read
23:08:11 <quintopia> boily: its not yours and its not real
23:08:20 * boily pokes himself to make sure he exists
23:08:42 <quintopia> the poke was successfully simulated
23:09:49 <shachaf> `? oerjan
23:09:55 <HackEgo> Your esteemoologist wise mementolwrd oerjan is a lazy expert in suture complication. Also a Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
23:10:22 * boily doesn't feel any existential dread at all. whatsoever. none. everything's fine.
23:15:36 <quintopia> let it out let it out!
23:16:44 <shachaf> https://plus.google.com/+MikeStay/posts/Vgz4kMFiyCU
23:18:26 -!- Zarutian has joined.
23:21:29 <shachaf> Do you like lapsang souchong?
23:31:19 <boily> some of them. they tend to be too smoky for my tastes.
23:31:48 <boily> I like smoky stuff, but not in excess.
23:33:03 -!- xock_stream has joined.
23:33:03 -!- xocket has quit (Disconnected by services).
23:39:22 -!- oerjan has joined.
23:41:39 <oerjan> helloily. what about universal dread?
23:45:50 -!- augur_ has quit (Quit: Leaving...).
23:47:58 <boily> I can dread the universe only if it's a simulation hth
23:50:41 <oerjan> so you don't know whether you dread the universe or not?
23:54:14 <oerjan> `? past
23:54:15 <HackEgo> past? ¯\(°​_o)/¯
23:56:42 -!- augur has joined.
23:57:01 -!- nitrix has quit (Read error: Connection reset by peer).
23:57:44 -!- DHeadshot has quit (Ping timeout: 260 seconds).
23:58:18 <Zarutian> `le/rn past/Past is not the present but lies beyond it in the direction of ago.
23:58:21 <HackEgo> Learned 'past': Past is not the present but lies beyond it in the direction of ago.
23:58:32 <oerjan> fff
23:58:41 * oerjan swats Zarutian -----###
23:59:10 <oerjan> oh well, my idea wasn't any good.
←2016-11-22 2016-11-23 2016-11-24→ ↑2016 ↑all