00:04:39 -!- ProofTechnique has quit (Ping timeout: 264 seconds).
00:12:13 -!- mitchs has quit (Quit: mitchs).
00:15:09 -!- doesthiswork has joined.
00:19:23 -!- doesthiswork has quit (Ping timeout: 250 seconds).
00:39:53 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
01:21:27 -!- TieSoul_ has quit (Quit: No Ping reply in 180 seconds.).
01:22:52 -!- TieSoul has joined.
01:26:08 <vanila> i made gcc produce 400 lines of error mesages with a 3 line file
01:28:51 <lifthrasiir> vanila: http://tgceec.tumblr.com/post/74534916370/results-of-the-grand-c-error-explosion
01:30:36 <AndoDaan> Lol. There's a place for ppl like you, vanila. You belong.
01:33:08 -!- Tritonio has joined.
01:33:43 -!- simpleirc1 has joined.
01:35:15 <HackEgo> [wiki] [[EXPBLARGL]] http://esolangs.org/w/index.php?diff=42004&oldid=42003 * AndoDaan * (-11) Fixed "a language a language" typo.
01:36:05 <vanila> 647976 lines of errors from 2 lines of code
01:36:28 -!- simpleirc1 has quit (Remote host closed the connection).
01:41:01 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
01:50:25 -!- ProofTechnique has joined.
01:54:49 -!- vanila has quit (Quit: Leaving).
02:03:08 -!- AndoDaan has quit (Read error: Connection reset by peer).
02:21:01 -!- mitchs has joined.
03:17:25 <zzo38> That would be a lot, but, how long is each line and each error message?
03:30:08 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.).
03:31:31 -!- TieSoul has joined.
03:36:08 -!- Tritonio has quit (Remote host closed the connection).
03:39:55 -!- kapil___ has joined.
03:53:36 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
03:57:47 -!- Lymia has quit (Ping timeout: 250 seconds).
04:04:23 -!- Lymia has joined.
04:37:48 -!- Sketra has joined.
04:39:49 -!- TieSoul has quit (Quit: No Ping reply in 180 seconds.).
04:41:17 -!- TieSoul has joined.
04:42:39 -!- MDude has changed nick to MDream.
04:56:01 -!- Sketra has quit (Remote host closed the connection).
04:58:45 -!- dts|pokeball has joined.
04:58:58 -!- Sketra has joined.
04:59:46 -!- dts|pokeball has quit (Remote host closed the connection).
05:02:30 <HackEgo> [wiki] [[Clip]] N http://esolangs.org/w/index.php?oldid=42005 * Ypnypn * (+4023) Created page with "'''Clip''' is a functional language designed for both elegance and brevity. It was inspired by CJam, Lisp, Iota, and Pyth, in that order. ==Basics== ===Functions and supplier..."
05:17:35 -!- Sketra has quit (Remote host closed the connection).
05:19:37 <dulla> also, you guys were saying something about interplanetary ping, and such?
05:20:46 <dulla> apparently the guys behind ipfs hope to be solution for that in the future, via cache local friendliness, merkle dag based file addressing
05:41:10 -!- TieSoul_ has joined.
05:42:47 -!- TieSoul has quit (Ping timeout: 245 seconds).
05:48:47 -!- Lymee has joined.
05:50:16 -!- Lymia has quit (Ping timeout: 265 seconds).
06:34:23 -!- doesthiswork has joined.
06:37:22 -!- doesthiswork has quit (Quit: Leaving.).
06:41:14 -!- oerjan has joined.
06:55:56 -!- hjulle has quit (Ping timeout: 246 seconds).
07:20:40 <lambdabot> Plugin `compose' failed with: Unknown command: "fresh"
07:21:26 <oerjan> so @@ doesn't actually have access to all commands
07:21:53 <oerjan> and that one seems like it could be useful in @@, too
07:31:25 -!- Patashu has joined.
07:52:27 -!- mitchs_ has joined.
07:53:52 -!- chaosagent has quit (Ping timeout: 240 seconds).
07:54:49 -!- mitchs has quit (Ping timeout: 250 seconds).
07:56:57 -!- mitchs_ has quit (Ping timeout: 245 seconds).
08:33:51 -!- mitchs has joined.
09:16:57 -!- TieSoul has joined.
09:17:20 <int-e> always those extended cliff-hangers. http://www.schlockmercenary.com/2015-02-23
09:20:17 -!- TieSoul_ has quit (Ping timeout: 245 seconds).
09:20:56 <int-e> oerjan: early GG btw
09:32:15 -!- TieSoul_ has joined.
09:35:36 -!- AnotherTest has joined.
09:35:42 -!- TieSoul has quit (Ping timeout: 245 seconds).
09:39:55 -!- AnotherTest has quit (Ping timeout: 252 seconds).
09:59:02 <oerjan> int-e: i've closed my anagol tabs, it
09:59:38 <oerjan> 's begun to do that same annoying thing that got me to stop following the godel's letter blog
10:00:22 <oerjan> namely, at least with recent activity level, it has a recent entries list which cuts off after far less than a day
10:01:30 <oerjan> (i was far more interested in the blog, back then, but when it got to the point where i was checking rss last thing before going to bed _and_ first thing when getting up, i called it enough.)
10:01:41 <oerjan> *, and _still_ lost comments,
10:02:30 <oerjan> it had only a 10 comment buffer
10:03:14 <oerjan> and the admins ignored my pointing out the problem.
10:09:01 -!- TieSoul has joined.
10:09:02 <oerjan> last friday's xkcd was really good, especially the hover text
10:10:15 -!- NotSoul has joined.
10:10:17 -!- TieSoul_ has quit (Ping timeout: 245 seconds).
10:13:12 -!- TieSoul has quit (Ping timeout: 245 seconds).
10:19:14 <oerjan> int-e: hm could it be that martellus is the apprentice? he's "good" with animals and i recall violetta saying he also did things with bears.
10:19:49 <oerjan> the alternative would seem to be volkerstorfer
10:20:44 <oerjan> who's good with magnets instead
10:21:02 -!- AnotherTest has joined.
10:24:43 <oerjan> oh wait it explicitly addresses martellus as apprentice
10:29:20 -!- AnotherTest has quit (Ping timeout: 244 seconds).
10:51:17 -!- Tritonio has joined.
11:01:40 -!- Tritonio has quit (Remote host closed the connection).
11:02:25 -!- oerjan has quit (Quit: leaving).
11:19:02 -!- boily has joined.
11:19:42 <int-e> @tell oerjan yes I've noticed the recent activity cutoff on anagol as well. So I tend to just check the current problems for changes
11:34:24 -!- NotSoul has changed nick to TieSoul.
11:42:08 -!- Patashu has quit (Ping timeout: 265 seconds).
11:51:37 <HackEgo> [wiki] [[EXPBLARGL]] http://esolangs.org/w/index.php?diff=42006&oldid=42004 * Esowiki201529A * (-1) Fixed "estoteric" typo.
11:56:59 -!- Koen_ has joined.
11:57:54 -!- Koen__ has joined.
11:57:54 -!- Koen_ has quit (Read error: Connection reset by peer).
12:20:58 -!- boily has quit (Quit: PERIODIC CHICKEN).
12:31:40 -!- AnotherTest has joined.
12:42:23 -!- hjulle has joined.
12:51:28 -!- AnotherTest has quit (Ping timeout: 252 seconds).
13:06:00 -!- AnotherTest has joined.
13:11:04 -!- FreeFull has quit (Ping timeout: 265 seconds).
13:17:47 -!- vanila has joined.
13:45:04 -!- SopaXorzTaker has joined.
14:12:04 -!- FreeFull has joined.
14:18:21 -!- MDream has changed nick to MDude.
14:19:22 <MDude> Not bad, I woke up and so far not much is happening,.
14:19:34 <vanila> i might implement a language
14:26:09 <Koen__> vanila: you should implement When
14:28:37 <MDude> And also, genetically engineer an ostritch size bird with parrot-like intelligence and vocalization skill.
14:30:16 <Gregor> If we're genetically engineering birds, we may as well go all-out.
14:30:39 <Gregor> Genetically-engineer an ostrich size bird to have sauroid raptor-like claws and human intelligence.
14:31:13 <MDude> I'd stick with parrot-like and see where that goes.
14:31:16 -!- GeekDude has joined.
14:31:41 <MDude> If it was too smart, I'd know it'd be easy to negotiate with rationally.
14:32:04 <MDude> I want to see if parrots flip out as easily when they can build stuff with ahnds isntead of pecking and clawing madly.
14:33:27 <MDude> Some other birds might be even ebtter at sound mimmicry, though, so I might try to give them that.
14:33:47 <MDude> Like whatever it is that can mimmic camera shutter noise.
15:02:44 -!- AnotherTest has quit (Ping timeout: 252 seconds).
15:18:55 -!- `^_^v has joined.
15:21:58 -!- cpressey has joined.
15:24:58 <cpressey> elliott: if you're dealing with total functions, btw, some of the "shoehorn this into an algebraic structure" problems become a lot simpler
15:25:12 <elliott> wasn't burro sub-TC anyway
15:25:44 <vanila> cpressey, is burro related to that video i linked
15:25:46 <cpressey> potro was the one I was looking for
15:26:09 <elliott> TC would be nice/fun but annoying
15:26:15 <elliott> probably starting with something sub-TC to figure out how it'd all even work is best
15:26:18 <cpressey> vanila: i don't generally watch videos, so, i don't know
15:27:14 <cpressey> elliott: cabra was the result of trying to cram something TC into a ring, weakening the ring axioms and getting a dioid, which works, but is relatively boring b/c dioids are not uncommon
15:27:39 <elliott> didn't you just say cabra wasn't tc
15:27:43 <cpressey> could go the other way, "weaken" TC into... that
15:27:49 <cpressey> er, well, tbh i don't remember
15:28:01 <cpressey> i don't even remember what "potro" is spanish for anymore
15:28:15 <elliott> what does max on cabra programs actually do
15:28:31 <cpressey> max takes the one which... ran longer, i think
15:28:39 <elliott> butter, goat, foal apparently
15:28:44 <elliott> do you think butter is an animal
15:28:50 <elliott> that was google translate guessing diferent languages, heh
15:29:01 <elliott> okay donkey, goat, foal, that's much more boring
15:29:18 <elliott> please officially declare that burro's name is to be read in italian
15:29:36 <elliott> 15:28:39 <elliott> butter, goat, foal apparently
15:30:52 <cpressey> i remember once someone emailed me about cabra, complaining that it... abstracted to computations, but then cast it all in concrete terms of execution steps
15:31:21 <cpressey> well, yes, ok, that's a fair criticism, if that's the sort of thing you care about, i suppose
15:31:33 <cpressey> sometimes i get the feeling like i'm shouting into a paper bag
15:31:44 <elliott> i don't understand that criticism
15:33:10 <cpressey> oh wow I never markdown-ized the cabra docs
15:33:21 <elliott> yes I was reading html docs yesterday
15:33:21 <cpressey> oh, right, they have, like, superscripts and stuff in them
15:33:37 <elliott> well you can just use <sup> in markdown, better than nothing
15:33:56 <elliott> by "reading html" I mean the html source, on github.
15:34:53 <cpressey> https://rawgit.com/catseye/Cabra/master/doc/cabra.html
15:35:07 <cpressey> rawgit is good for reading HTML files on github
15:35:27 <elliott> there's no way I can remember that by the next time I need it
15:35:38 <vanila> is there a name for this restricted subset of js? http://patriciopalladino.com/blog/2012/08/09/non-alphanumeric-javascript.html
15:35:46 <vanila> is there an esowiki page for it?
15:35:50 -!- spiette has joined.
15:37:01 <HackEgo> [wiki] [[Special:Log/upload]] upload * Gamemanj * uploaded "[[File:BytePusherGamemanjConsoleTest.png]]": A picture of the "Console Test" program for BytePusher.
15:37:04 <elliott> cabra seems a bit close to the kind of cheating you ruled out for burro
15:37:10 <elliott> ("just do pointwise operations on the results or whatever")
15:37:22 <elliott> I guess * and + are different.
15:39:02 <cpressey> (as for the criticism, i'm pretty sure it was mostly a matter of someone not expecting to see the word "cycles" in the description of an abstract language)
15:39:26 <elliott> I guess your quotienting is quite weak, in effect
15:39:30 <HackEgo> [wiki] [[BytePusher]] http://esolangs.org/w/index.php?diff=42008&oldid=40701 * Gamemanj * (+453) /* Programs */ Added a new program("Console Test")
15:39:31 <cpressey> "just do pointwise..." not sure i understand
15:39:34 <elliott> you're exposing cycles rather than just taking functional extensionality or whatever
15:39:59 <cpressey> well, i mean, i really couldn't think of any other way to do it, mainly
15:40:18 <elliott> https://github.com/catseye/Chrysoberyl/blob/master/data/ideas.yaml#L540 okay yeah, this thing
15:40:23 <elliott> it's not really like that though after reading more
15:40:39 <elliott> extensionality is a nice concept
15:43:33 <cpressey> maybe you could do max by running the two programs "concurrently" and selecting the one that made a "larger" result, regardless of its runtime (like, it wrote more symbols to its tape?)
15:43:49 <cpressey> or smth. haven't thought about this in ages
15:44:21 <cpressey> but yeah, that Potro idea-entry explains why it's even tricky if the functions are total
15:44:50 <elliott> I mean with extensionality the most you can do is pointwise
15:44:59 <HackEgo> [wiki] [[Swearjure]] N http://esolangs.org/w/index.php?oldid=42009 * Cluid Zhasulelm * (+842) Creation
15:45:10 <elliott> like max of p and q is the program x |-> p(x) max q(x)
15:46:36 <cpressey> i believe you, and i'm sure it has implications that i can barely intuit
15:46:47 <elliott> afaict it's a boring observation
15:46:57 <elliott> also it's not like formally true probably you could come up with other weird operations that work
15:47:00 <elliott> they might not be computable though
15:47:05 -!- tromp_ has quit.
15:47:55 <cpressey> i'm sure i had other ideas of other things to do but i keep getting distracted
15:48:36 <elliott> you can probably define a TC ring programming language where the ring operations just aren't computable
15:48:41 <elliott> but it's not very exciting.
15:50:04 -!- tromp_ has joined.
15:56:01 <MDude> Makes some visuals in IBNIZ: dd80/s^1%?vv:vvq;^^1@-d1!
16:02:37 <cpressey> apparently, sometime last year, I stuffed crippled regular expressions into a ring
16:03:29 <HackEgo> [wiki] [[User:Cluid Zhasulelm]] M http://esolangs.org/w/index.php?diff=42010&oldid=41552 * Cluid Zhasulelm * (+174)
16:03:29 <cpressey> crippled meaning, there's alternation and concatenation but no asteration
16:03:42 -!- SopaXorzTaker has quit (Ping timeout: 246 seconds).
16:16:10 <mroman> http://codepad.org/zxbyo6BU
16:16:13 <mroman> pretty trivial I guess
16:16:20 <mroman> shouldn't be hard to guess what does what
16:16:39 -!- SopaXorzTaker has joined.
16:20:16 <MDude> But what is it written in?
16:21:32 <mroman> my new language I just made up the last half hour
16:21:45 <vanila> whats unique about it?
16:22:15 <mroman> It's got blackjack and hookers
16:22:28 <mroman> It's just a very, very simple language
16:28:29 <Koen__> I don't see the blackjack and hookers :(
16:28:59 <Gregor> You can't SEE the blackjack and hookers. You just have to EXPERIENCE the blackjack and hookers.
16:29:23 -!- AndoDaan has joined.
16:29:44 <mroman> No, it's essentially just a stripped down imperative programming language
16:30:25 <mroman> that's what you pay them for
16:34:18 -!- gamemanj has joined.
16:34:45 <elliott> it would be cool if we stopped being gross
16:36:33 <vanila> I think it would be nice to have a language based on symbols other than ascii
16:36:53 <vanila> you could make an editor in javascript so pepole can use it from a webpage
16:37:38 <vanila> there was an elvish language with no example code recently.. and an arabic lisp
16:37:49 <vanila> and there's those picture based languages (colored pixels)
16:38:06 <elliott> there's that one korean fungelike
16:38:12 <elliott> fungeoid. whatever. *defers to cpressey*
16:38:27 <gamemanj> ...KlingonCode uses the Klingon alphabet, but there's no example programs...
16:39:30 <elliott> by defer I mean as to whether it's fungelike or fungeoid
16:39:36 <elliott> it's lifthrasiir's I think?
16:39:40 <int-e> Oh RingCode. RingCode seems to be more focussed on syntax than semantics.
16:40:07 <cpressey> today i feel like it should be "fungeistic". tomorrow i will feel differently
16:40:36 <cpressey> i was actually just impressed by the number of implementations of aheui
16:41:06 <gamemanj> ...Well, they're all by the same account, so maybe that person is just good at implementing aheui.
16:41:33 <gamemanj> (Unless there's others not on the github page?)
16:42:05 <cpressey> gamemanj: that's an organization account, there are like 8 or more members
16:42:19 <MDude> Sarus language has a nice set of symbols, though there's also an ASCII representation.
16:43:31 <cpressey> lifthrasiir: you don't happen to have a copy of the Udage spec, do you? :)
16:43:42 <MDude> There's also exactly seven of them, plus spaces. So I would encode each character as a single hex digit with one bit used for parity.
16:45:08 <cpressey> wayback machine didn't archive it when its site went down, and the wiki article is only partial: http://esolangs.org/wiki/Udage ... there is an implementation, so a spec could be reverse-engineered, sort of, if the spec is really gone
16:45:43 <gamemanj> If there's a implementation, but no spec, all that can really be done is to let the implementation take precedence.
16:46:22 <gamemanj> (Just hope the implementation doesn't have bugs that get written into the replacement spec.)
16:46:29 <cpressey> except where the implementation is "obviously" approximating things :)
16:47:39 <gamemanj> It's a esoteric language, obviously approximating is hard to define.
16:48:35 <gamemanj> If brainf*** was only defined by the implementation the old "cheating quine" would still be valid.
16:51:49 <vanila> I guess things like 'the ultimate machine' or whatever
16:51:59 <vanila> where you build a physical system that marbles fall etc..
16:52:32 <cpressey> I think that was called "The Incredible machine"
16:52:32 -!- sebbu2 has joined.
16:52:57 <gamemanj> ...Well, you can still define specs for marble-based computing.
16:53:11 -!- sebbu2 has quit (Changing host).
16:53:12 -!- sebbu2 has joined.
16:53:25 <gamemanj> You still need to define the "instruction set", in whatever form.
16:53:34 <Gregor> Damn it, you got the Marble Madness music stuck in my head.
16:54:15 -!- sebbu has quit (Ping timeout: 244 seconds).
16:58:52 -!- gamemanj has quit (Quit: ircII EPIC4-2.10.5 -- Are we there yet?).
17:00:39 -!- AndoDaan has quit (Ping timeout: 252 seconds).
17:01:33 -!- adu has joined.
17:05:05 -!- AndoDaan has joined.
17:14:51 -!- AnotherTest has joined.
17:20:12 -!- bb010g has quit (Quit: Connection closed for inactivity).
17:25:47 -!- spiette has quit (Ping timeout: 265 seconds).
17:26:25 -!- sebbu2 has changed nick to sebbu.
17:44:09 -!- arjanb has joined.
18:01:53 -!- SopaXorzTaker has quit (Remote host closed the connection).
18:02:14 -!- Tritonio has joined.
18:06:54 -!- Tritonio has quit (Remote host closed the connection).
18:18:25 <vanila> http://akira.ruc.dk/~madsr/webpub/absint.pdf
18:18:45 <vanila> could anyone help me understand page 8/9 of this please?
18:19:22 <vanila> I don't know what E[[ a_i(e_1, ..., e_k) ]] phi nu = strict basic_i < ... > means
18:19:52 -!- FreeFull has quit (Ping timeout: 245 seconds).
18:21:46 <cpressey> that said, i don't know if i can help
18:25:04 <vanila> so that would be stuff like + I guess, which is trict
18:25:30 <vanila> would have made sense for them to put all that before using it...
18:27:41 -!- FreeFull has joined.
18:37:58 <vanila> so this is about strictness analysis
18:38:04 <vanila> and they give examples of strict functions
18:38:12 <vanila> but I don't think there is any such thing as a non-strict function in this language
18:38:20 <vanila> except one ones that ignore their arguments completely
18:40:56 <cpressey> i might try actually reading it at some point.
18:41:13 -!- cpressey has quit (Quit: leaving).
18:56:55 <vanila> ok there non trivial thing is not 'is this function strict' but 'is there any way for this function to return a value given these inputs'
19:14:33 <HackEgo> [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42011&oldid=42005 * Ypnypn * (+1853)
19:20:40 -!- ais523 has joined.
19:29:03 <J_Arcane> hah hah. that syntax reminds me of ANSI sequences.
19:33:55 -!- callforjudgement has joined.
19:34:03 -!- ais523 has quit (Disconnected by services).
19:34:05 -!- callforjudgement has changed nick to ais523.
19:37:53 -!- callforjudgement has joined.
19:38:04 -!- ais523 has quit (Disconnected by services).
19:38:05 -!- callforjudgement has changed nick to ais523.
20:02:34 -!- Patashu has joined.
20:04:13 <myname> since i cannot find anythig about it: will haskell automatically make Directory/File.hs into something importable as Directory.File?
20:10:04 <myname> if so, what do i have to put in the module name?
20:16:11 <myname> and how do i import something from a parent directory?
20:17:05 <elliott> Foo/Bar/Baz.hs can import Foo.Quux
20:17:17 <elliott> well, it's relative from where you run GHC
20:17:23 <elliott> but really you should be using cabal or something
20:25:35 -!- Patashu has quit (Ping timeout: 265 seconds).
20:45:18 -!- AndoDaan has quit (Quit: Going, going, gone.).
20:51:19 -!- zzo38 has quit (Remote host closed the connection).
21:06:32 -!- spiette has joined.
21:11:16 -!- bb010g has joined.
21:15:32 -!- sebbu has quit (Ping timeout: 246 seconds).
21:23:34 -!- dts|pokeball has joined.
21:29:24 -!- dts|pokeball has quit (Quit: Leaving).
22:09:05 -!- ais523 has quit (Read error: Connection reset by peer).
22:09:18 -!- ais523 has joined.
22:09:21 -!- AnotherTest has quit (Ping timeout: 256 seconds).
22:16:00 <HackEgo> [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42012&oldid=42011 * Ypnypn * (+1754)
22:36:44 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:37:14 -!- callforjudgement has joined.
22:37:42 -!- ais523 has quit (Disconnected by services).
22:37:44 -!- callforjudgement has changed nick to ais523.
22:38:13 -!- `^_^v has joined.
22:39:32 <vanila> what's happening esoteric
22:42:14 <MDude> Wait, I think I forgot to save the thing I was making earlier.
22:43:21 <vanila> IBNIZ is a virtual machine designed for extremely compact low-level audiovisual programs
22:47:10 -!- callforjudgement has joined.
22:47:10 -!- ais523 has quit.
22:47:15 -!- callforjudgement has changed nick to ais523.
22:50:55 <HackEgo> [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42013&oldid=42012 * Ypnypn * (+1127)
23:02:58 -!- Tritonio has joined.
23:04:30 <MDude> And that is what's happening.
23:05:33 <MDude> 10000@@//+d10000@!
23:07:40 <MDude> Actually, make that + a ^
23:14:32 -!- sebbu has joined.
23:14:52 -!- MDude has quit (Ping timeout: 245 seconds).
23:15:11 -!- sebbu has quit (Changing host).
23:15:11 -!- sebbu has joined.
23:17:42 -!- Koen__ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
23:26:44 -!- chaosagent has joined.
23:27:00 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:27:49 -!- `^_^v has joined.
23:28:21 -!- Phantom_Hoover has joined.
23:34:47 <Phantom_Hoover> you know, i like the general trajectory my topology courses have followed
23:36:01 <Phantom_Hoover> you start out defining general point-set topology and learning all these insane counterexamples to every property you encounter
23:36:22 <Phantom_Hoover> by the time you get to homology, you assume everything is a CW complex
23:36:22 -!- adu has quit (Ping timeout: 240 seconds).
23:38:35 -!- ais523 has quit.
23:38:46 -!- ais523 has joined.
23:39:41 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:40:57 -!- boily has joined.
23:48:08 -!- ais523 has quit (Remote host closed the connection).
23:48:16 -!- ais523 has joined.
23:48:30 -!- ais523 has quit (Changing host).
23:48:30 -!- ais523 has joined.
23:48:53 <dulla> ok? Phantom_Hoover
23:56:13 -!- adu has joined.
23:56:39 -!- oerjan has joined.
23:58:01 <lambdabot> shachaf said 12h 54m 49s ago: only occasionally, mostly to search for my name
23:58:01 <lambdabot> int-e said 12h 38m 18s ago: yes I've noticed the recent activity cutoff on anagol as well. So I tend to just check the current problems for changes