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:18:41 hi 01:18:54 Hullo. 01:21:27 -!- TieSoul_ has quit (Quit: No Ping reply in 180 seconds.). 01:22:52 -!- TieSoul has joined. 01:26:08 i made gcc produce 400 lines of error mesages with a 3 line file 01:26:13 canyou beat that? 01:26:17 448 01:26:58 gcc compiles c code? 01:27:05 it tries 01:28:25 Were you aiming for 400+? 01:28:32 Or just a happy accident? 01:28:33 no 01:28:51 vanila: http://tgceec.tumblr.com/post/74534916370/results-of-the-grand-c-error-explosion 01:29:19 :Dthanks 01:30:36 Lol. There's a place for ppl like you, vanila. You belong. 01:30:46 lol 01:32:44 I got 14490 now 01:33:08 -!- Tritonio has joined. 01:33:43 -!- simpleirc1 has joined. 01:34:00 hey 01:34:21 hey 01:35:15 [wiki] [[EXPBLARGL]] http://esolangs.org/w/index.php?diff=42004&oldid=42003 * AndoDaan * (-11) Fixed "a language a language" typo. 01:36:05 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 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:38:07 Hi 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:04 ayy 04:59:46 -!- dts|pokeball has quit (Remote host closed the connection). 05:02:30 [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 also, you guys were saying something about interplanetary ping, and such? 05:19:47 a while back 05:20:46 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:02:52 I don't know 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 @@ @fresh 07:20:40 Plugin `compose' failed with: Unknown command: "fresh" 07:20:53 sheesh 07:21:26 so @@ doesn't actually have access to all commands 07:21:53 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 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 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:57:34 ok 09:59:02 int-e: i've closed my anagol tabs, it 09:59:38 's begun to do that same annoying thing that got me to stop following the godel's letter blog 10:00:22 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 (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 *, and _still_ lost comments, 10:02:30 it had only a 10 comment buffer 10:03:14 and the admins ignored my pointing out the problem. 10:09:01 -!- TieSoul has joined. 10:09:02 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:11:10 souls going missing 10:13:12 -!- TieSoul has quit (Ping timeout: 245 seconds). 10:19:14 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 the alternative would seem to be volkerstorfer 10:20:44 who's good with magnets instead 10:21:02 -!- AnotherTest has joined. 10:24:43 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 @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:19:42 Consider it noted. 11:34:24 -!- NotSoul has changed nick to TieSoul. 11:42:08 -!- Patashu has quit (Ping timeout: 265 seconds). 11:51:37 [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:28:47 Hi! 13:45:04 -!- SopaXorzTaker has joined. 14:12:04 -!- FreeFull has joined. 14:18:15 Hi 14:18:21 -!- MDream has changed nick to MDude. 14:18:45 hows it going 14:19:22 Not bad, I woke up and so far not much is happening,. 14:19:34 i might implement a language 14:19:56 Good idea. 14:26:09 vanila: you should implement When 14:28:37 And also, genetically engineer an ostritch size bird with parrot-like intelligence and vocalization skill. 14:30:16 If we're genetically engineering birds, we may as well go all-out. 14:30:39 Genetically-engineer an ostrich size bird to have sauroid raptor-like claws and human intelligence. 14:31:13 I'd stick with parrot-like and see where that goes. 14:31:16 -!- GeekDude has joined. 14:31:23 Puss. 14:31:41 If it was too smart, I'd know it'd be easy to negotiate with rationally. 14:32:04 I want to see if parrots flip out as easily when they can build stuff with ahnds isntead of pecking and clawing madly. 14:32:09 *hands 14:33:27 Some other birds might be even ebtter at sound mimmicry, though, so I might try to give them that. 14:33:47 Like whatever it is that can mimmic camera shutter noise. 14:43:35 Lyrebird maybe? 14:53:33 That one. 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 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 wasn't burro sub-TC anyway 15:25:31 burro is TC. potro is... not. 15:25:40 er, s/potro/cabra/ 15:25:44 cpressey, is burro related to that video i linked 15:25:46 potro was the one I was looking for 15:26:09 TC would be nice/fun but annoying 15:26:15 probably starting with something sub-TC to figure out how it'd all even work is best 15:26:18 vanila: i don't generally watch videos, so, i don't know 15:27:14 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 didn't you just say cabra wasn't tc 15:27:43 could go the other way, "weaken" TC into... that 15:27:49 er, well, tbh i don't remember 15:27:54 hehe 15:28:01 i don't even remember what "potro" is spanish for anymore 15:28:15 what does max on cabra programs actually do 15:28:17 pony, i think 15:28:31 max takes the one which... ran longer, i think 15:28:36 and discards the other 15:28:39 butter, goat, foal apparently 15:28:44 do you think butter is an animal 15:28:45 oh 15:28:50 that was google translate guessing diferent languages, heh 15:29:01 okay donkey, goat, foal, that's much more boring 15:29:18 please officially declare that burro's name is to be read in italian 15:29:30 #whywhatdoesitmeaninitalian 15:29:36 15:28:39 butter, goat, foal apparently 15:29:37 butter 15:29:44 oh yes 15:30:52 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 well, yes, ok, that's a fair criticism, if that's the sort of thing you care about, i suppose 15:31:33 sometimes i get the feeling like i'm shouting into a paper bag 15:31:44 i don't understand that criticism 15:33:10 oh wow I never markdown-ized the cabra docs 15:33:21 yes I was reading html docs yesterday 15:33:21 oh, right, they have, like, superscripts and stuff in them 15:33:23 burro's too 15:33:29 was lots of Fun 15:33:37 well you can just use in markdown, better than nothing 15:33:56 by "reading html" I mean the html source, on github. 15:34:53 https://rawgit.com/catseye/Cabra/master/doc/cabra.html 15:35:07 rawgit is good for reading HTML files on github 15:35:27 there's no way I can remember that by the next time I need it 15:35:38 is there a name for this restricted subset of js? http://patriciopalladino.com/blog/2012/08/09/non-alphanumeric-javascript.html 15:35:46 is there an esowiki page for it? 15:35:50 -!- spiette has joined. 15:36:43 jsfuck 15:37:01 [wiki] [[Special:Log/upload]] upload * Gamemanj * uploaded "[[File:BytePusherGamemanjConsoleTest.png]]": A picture of the "Console Test" program for BytePusher. 15:37:04 cabra seems a bit close to the kind of cheating you ruled out for burro 15:37:10 ("just do pointwise operations on the results or whatever") 15:37:22 I guess * and + are different. 15:39:02 (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:21 yes 15:39:26 I guess your quotienting is quite weak, in effect 15:39:30 [wiki] [[BytePusher]] http://esolangs.org/w/index.php?diff=42008&oldid=40701 * Gamemanj * (+453) /* Programs */ Added a new program("Console Test") 15:39:31 "just do pointwise..." not sure i understand 15:39:34 you're exposing cycles rather than just taking functional extensionality or whatever 15:39:39 right that 15:39:47 extensionality, good word 15:39:59 well, i mean, i really couldn't think of any other way to do it, mainly 15:40:18 https://github.com/catseye/Chrysoberyl/blob/master/data/ideas.yaml#L540 okay yeah, this thing 15:40:23 it's not really like that though after reading more 15:40:39 extensionality is a nice concept 15:43:33 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 or smth. haven't thought about this in ages 15:44:21 but yeah, that Potro idea-entry explains why it's even tricky if the functions are total 15:44:26 terminating, that is 15:44:50 I mean with extensionality the most you can do is pointwise 15:44:52 really 15:44:59 [wiki] [[Swearjure]] N http://esolangs.org/w/index.php?oldid=42009 * Cluid Zhasulelm * (+842) Creation 15:45:10 like max of p and q is the program x |-> p(x) max q(x) 15:46:36 i believe you, and i'm sure it has implications that i can barely intuit 15:46:47 afaict it's a boring observation 15:46:57 also it's not like formally true probably you could come up with other weird operations that work 15:47:00 they might not be computable though 15:47:05 -!- tromp_ has quit. 15:47:13 oh that'd be fun, though 15:47:55 i'm sure i had other ideas of other things to do but i keep getting distracted 15:48:26 I mean 15:48:36 you can probably define a TC ring programming language where the ring operations just aren't computable 15:48:41 but it's not very exciting. 15:50:04 -!- tromp_ has joined. 15:56:01 Makes some visuals in IBNIZ: dd80/s^1%?vv:vvq;^^1@-d1! 16:02:37 apparently, sometime last year, I stuffed crippled regular expressions into a ring 16:03:29 [wiki] [[User:Cluid Zhasulelm]] M http://esolangs.org/w/index.php?diff=42010&oldid=41552 * Cluid Zhasulelm * (+174) 16:03:29 crippled meaning, there's alternation and concatenation but no asteration 16:03:34 so that's pretty weak 16:03:42 -!- SopaXorzTaker has quit (Ping timeout: 246 seconds). 16:06:12 contrived, too 16:16:10 http://codepad.org/zxbyo6BU 16:16:13 pretty trivial I guess 16:16:20 shouldn't be hard to guess what does what 16:16:39 -!- SopaXorzTaker has joined. 16:20:16 But what is it written in? 16:21:32 my new language I just made up the last half hour 16:21:45 whats unique about it? 16:22:15 It's got blackjack and hookers 16:22:20 nothing much 16:22:28 It's just a very, very simple language 16:28:29 I don't see the blackjack and hookers :( 16:28:59 You can't SEE the blackjack and hookers. You just have to EXPERIENCE the blackjack and hookers. 16:29:09 EXACTLY 16:29:23 -!- AndoDaan has joined. 16:29:44 No, it's essentially just a stripped down imperative programming language 16:29:45 that's it. 16:29:54 so the hookers strip? 16:30:25 that's what you pay them for 16:34:18 -!- gamemanj has joined. 16:34:45 it would be cool if we stopped being gross 16:35:22 BOOGERS 16:36:33 I think it would be nice to have a language based on symbols other than ascii 16:36:53 you could make an editor in javascript so pepole can use it from a webpage 16:37:38 there was an elvish language with no example code recently.. and an arabic lisp 16:37:49 and there's those picture based languages (colored pixels) 16:38:06 there's that one korean fungelike 16:38:12 fungeoid. whatever. *defers to cpressey* 16:38:27 ...KlingonCode uses the Klingon alphabet, but there's no example programs... 16:38:27 yah! things like that 16:39:16 https://github.com/aheui/ 16:39:30 by defer I mean as to whether it's fungelike or fungeoid 16:39:36 it's lifthrasiir's I think? 16:39:40 Oh RingCode. RingCode seems to be more focussed on syntax than semantics. 16:39:51 not exactly mine, but related. 16:40:01 your sibling's? :p 16:40:05 Also: UniCode. 16:40:07 today i feel like it should be "fungeistic". tomorrow i will feel differently 16:40:17 so much for deferring to me 16:40:36 i was actually just impressed by the number of implementations of aheui 16:40:38 fizzie: ;_; 16:41:06 ...Well, they're all by the same account, so maybe that person is just good at implementing aheui. 16:41:33 (Unless there's others not on the github page?) 16:41:52 Oh, and Sclipting. 16:41:53 gamemanj, look at people tab. 16:42:05 gamemanj: that's an organization account, there are like 8 or more members 16:42:19 Sarus language has a nice set of symbols, though there's also an ASCII representation. 16:42:22 cpressey:Ah, I see :) 16:43:31 lifthrasiir: you don't happen to have a copy of the Udage spec, do you? :) 16:43:42 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:43:45 not sure? 16:43:51 I should look at the backlog 16:43:54 to find it out 16:45:08 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 If there's a implementation, but no spec, all that can really be done is to let the implementation take precedence. 16:46:22 (Just hope the implementation doesn't have bugs that get written into the replacement spec.) 16:46:29 except where the implementation is "obviously" approximating things :) 16:47:39 It's a esoteric language, obviously approximating is hard to define. 16:48:35 If brainf*** was only defined by the implementation the old "cheating quine" would still be valid. 16:51:39 ping gamemanj 16:51:49 I guess things like 'the ultimate machine' or whatever 16:51:59 where you build a physical system that marbles fall etc.. 16:52:06 ...oops, forgot the /. 16:52:32 I think that was called "The Incredible machine" 16:52:32 -!- sebbu2 has joined. 16:52:57 ...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 You still need to define the "instruction set", in whatever form. 16:53:34 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 http://akira.ruc.dk/~madsr/webpub/absint.pdf 18:18:45 could anyone help me understand page 8/9 of this please? 18:19:22 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:20:13 what's a_i basically? 18:20:18 oooh, abstract interpretation 18:21:46 that said, i don't know if i can help 18:22:09 i'd be guessing 18:24:23 vanila: see page 34 18:24:32 "basic operations" 18:24:58 ah! 18:25:04 so that would be stuff like + I guess, which is trict 18:25:08 thanks :) 18:25:14 no proble 18:25:15 m 18:25:30 would have made sense for them to put all that before using it... 18:25:36 i agree 18:27:41 -!- FreeFull has joined. 18:37:52 hm :| 18:37:58 so this is about strictness analysis 18:38:04 and they give examples of strict functions 18:38:12 but I don't think there is any such thing as a non-strict function in this language 18:38:20 except one ones that ignore their arguments completely 18:40:56 i might try actually reading it at some point. 18:41:10 for now, ttyl 18:41:13 -!- cpressey has quit (Quit: leaving). 18:41:21 bye 18:56:55 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' 18:57:11 modalities of inputs 19:14:33 [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42011&oldid=42005 * Ypnypn * (+1853) 19:20:40 -!- ais523 has joined. 19:29:03 hah hah. that syntax reminds me of ANSI sequences. 19:29:16 well, ANSI.SYS anyway. 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 since i cannot find anythig about it: will haskell automatically make Directory/File.hs into something importable as Directory.File? 20:10:04 if so, what do i have to put in the module name? 20:15:44 Directory.File 20:16:11 and how do i import something from a parent directory? 20:16:57 ah 20:16:58 it's not relative 20:17:02 okay 20:17:03 thanks 20:17:05 Foo/Bar/Baz.hs can import Foo.Quux 20:17:17 well, it's relative from where you run GHC 20:17:23 but really you should be using cabal or something 20:17:29 i am 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 [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 what's happening esoteric 22:41:54 IBNIZ 22:42:14 Wait, I think I forgot to save the thing I was making earlier. 22:43:21 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 [wiki] [[Clip]] http://esolangs.org/w/index.php?diff=42013&oldid=42012 * Ypnypn * (+1127) 23:02:58 -!- Tritonio has joined. 23:04:19 Yeah, it is. 23:04:30 And that is what's happening. 23:05:33 vd10000%10000!vv 23:05:33 10000@@//+d10000@! 23:07:40 Actually, make that + a ^ 23:08:27 Or not 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 you know, i like the general trajectory my topology courses have followed 23:36:01 you start out defining general point-set topology and learning all these insane counterexamples to every property you encounter 23:36:22 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 ok? Phantom_Hoover 23:56:13 -!- adu has joined. 23:56:39 -!- oerjan has joined. 23:58:01 @messages- 23:58:01 shachaf said 12h 54m 49s ago: only occasionally, mostly to search for my name 23:58:01 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 23:58:08 oops