00:13:58 Ibtlfmm, eh? Is that a programming language? 00:15:02 Am I seriously about to try to convince myself that it's acceptable for a programming language to not have macros? 00:15:23 Are you? 00:15:26 you're really dramatic, did you know that 00:15:33 you should write plays! 00:15:34 The whole world is holding its breath, waiting for an answer. 00:15:42 Bike: Stop spoiling it. 00:15:46 plays about hygenic macros 00:15:49 Doesn't Haskell lack macros? 00:15:58 Python, too? 00:16:12 sgeo's going to have to deal with his love betraying him in this fashion, yes 00:16:30 I bet Clojure lacks macros. 00:16:31 > pred <$> "Ibtlfmm" 00:16:32 "Haskell" 00:16:43 Lack of macros was a reason for me to lose interest in Haskell 00:16:44 Ah. 00:16:58 And Python 00:17:05 what about the fact that haskell more like stupidskell 00:17:07 Sgeo, this is a joke right 00:17:08 was that a reason 00:17:16 Kinda funny. I tend to think of macros as being a sign of a bad language. 00:17:21 I'm telling you. Hackskell is what all the cool kids are going to be saying, shachaf. 00:17:32 GHC Haskell has macros 00:17:32 Bike: I didn't see monqy say it. 00:17:37 But Smalltalk has some reflective features that sort of kind of make up for it 00:17:42 monqy: Get on that. 00:17:45 And the IDE is something that I really like 00:17:50 Sgeo: do you think you have any interest in NFU? 00:17:53 NFU? 00:17:57 Oh, I didn't look at that 00:18:02 * tswett nods. 00:18:17 monqy is imo "the coolest kid??" 00:18:21 I'm interested in it greatly because it seems like it could be a good platform for doing category theory. 00:18:46 We don't need your o for that, shachaf. It's everybody's o. It's the world's o. 00:19:08 Bike: but is it monqys o........ 00:19:19 That remains to be seen. 00:19:21 Because ZFC seems like it is not a good platform for category theory, and... and I guess I haven't looked at anything other than ZFC and NFU. 00:19:23 tswett, I think that sometimes macros can make people lazy in coming up with abstractions 00:19:25 monqy is more than the world, of course. 00:19:27 monqy: iuo are you "the coolest kid??" 00:19:41 tswett: macros are the feature of last resort. you don't /want/ to use them, but in cases where everything else fails, it is much better to have macros than not 00:19:59 kmc: that sounds exactly correct. 00:20:15 probably Lisp et al celebrate macros a bit too much 00:21:02 "From what this guy is saying, the power of Lisp style Macros is akin to what I can do with the syntactic Rewrite Tool and Blocks (Lambdas) in Smalltalk. " 00:21:07 Though I have been fantasizing about a programming language that is essentially C++ with tons and tons and tons and tons and tons of macro features. 00:21:17 Come to think of it, I guess C++ already has a bunch of macro-like things. 00:21:24 (Rewrite Tool seems to be a thing that extends the IDE with code to transform code once, but I'm not sure) 00:21:25 yeah people love metaprogramming C++ but they have to do it in this shit-ass template language 00:21:42 i love macros 00:21:44 they are so easy 00:21:45 So, you write code one way, transform it into something more complicated, but... it stays complicated 00:21:47 But what I mean is, like, C++ with so much metaprogramming stuff that you could essentially write Haskell in it. 00:22:11 I think 00:22:18 Sgeo: Did you put me on the MIUAF update list? 00:22:35 I don't even know what MIUAF is. So no. 00:22:42 whoa, dude, kmc is Twitterizing? 00:24:27 > succ <$> "lambdabot" 00:24:29 "mbncebcpu" 00:24:33 kmc: welcome to the "twittosphere" 00:24:49 If I "followed" people I would totally "follow" you. 00:25:08 Instead I'll put you in my file of "people to "follow" if I ever start "following" people" 00:25:25 k 00:25:32 Next best thing. 00:26:27 Ok, the Rewrite Tool thing seems to be some sort of search and replace 00:27:08 What's this about kmc on Twitter? 00:28:39 not a fan of solutions to boilerplate that involve "make the IDE write the boilerplate for you" 00:28:47 code is read much more often than it's written 00:29:17 a good abstraction allows you to reason about something without knowing what the abstraction expands to 00:29:29 Sgeo: I can't tell if that article is a parody. 00:30:15 copypasta code should be avoided because it's hard to read, not because my poor fingers can't type it 00:30:35 when i see copypasta code i often feel like i'm playing one of those 'spot the difference' puzzles 00:30:54 where they have two drawings of a room and you need to identify the 5 different features 00:32:17 Sounds right. 00:32:32 Ideally if you generate code you should only ever have to read the source of the thing that generates it. 00:32:45 It can be tricky if that source is a bunch of vim macros. 00:32:50 Sgeo: Do vim macros count as macros? 00:33:09 lens has files like http://hackage.haskell.org/packages/archive/lens/3.7.3/doc/html/src/Control-Lens-Tuple.html :-( 00:33:48 nice 00:34:07 seems reasonably easy to distinguish the "boilerplate" there, though 00:34:53 do people use 9-tuples? maybe in codegen....do people use codegen................ 00:35:15 though uh, what happens if you want 9-tu- yeah. 00:35:24 shachaf: yeah there are a lot of things like that in haskell :( 00:35:26 or 10-tuples. whatever 00:35:47 doesn't stop beginners from gushing about how Haskell is so concise and abstract and you never need to repeat yourself 00:36:18 beginners gush about everything regardless of anything, though 00:36:32 true 00:36:50 it's not haskell's fault, you just have to wait for them to germinate into soulless, bitter husks. Who use Lens. 00:36:56 :D 00:37:21 It's pretty odd that people join #haskell with nicks like "HaskellGuy73" and talk about how Haskell is the best language ever, when it's apparent that they barely know it. 00:37:36 what's odd about it? 00:37:43 odd but not surprising 00:37:51 predictable but sad 00:38:01 yeah that sounds more appropriate. 00:38:04 you're a gift to us all, monqy. 00:38:10 why would people do that? well, it's just a thing people do..... 00:38:27 btw elliott said it was odd first 00:38:30 `quote inspiration to us all 00:38:30 "im just parroting him" 00:38:32 546) Dear god stop staring at me. no never monqy is always staring at everyone. it takes many eyes to do this but I manage He is an inspiration to us all. 00:39:12 `quote Phanton___Hoover 00:39:14 No output. 00:39:16 `quoerjan 00:39:17 222) (the former is a very deep theorem, i'd have had to read the whole book to understand it, so i didn't.) \ 190) * oerjan considered buying lutefisk, but apparently it cannot be prepared in microwave \ 59) * oerjan swats FireFly since he's easier to hit -----### Meh * FireFly dies \ 377) as i was fi 00:39:59 "These people would typically claim that it was not a necessary feature, everything you could do with macros could be done using various features of Smalltalk. I do not dispute this, save to observe that the same could be said for a Turing machine. " 00:40:06 shachaf: what about HaskellLove 00:40:19 'don't forget that HaskellLove used to be scalalove' 00:40:31 HaskellLove has been gone for a while now. 00:40:31 the turing argument is such a boring argument 00:40:33 shachaf: how many eulers have you done 00:40:35 Who knows what they are now. 00:40:41 gotta do 20 eulers this afternoon 00:40:48 i love eulers 00:40:50 they are so easy 00:40:53 btw my uncle is the king of space 00:40:56 I guess beaky is in the post-kmc era. 00:41:01 i don't know this beaky 00:41:16 You're missing out. 00:42:01 Haskell has this problem more than most, because it's so different 00:42:32 -!- FreeFull has quit. 00:42:33 presumably it is a bit harder to be a seasoned Python developer and then one day decide that Ruby is the answer to all problems of software 00:42:54 cause it's self-evidently pretty similar 00:42:57 i'm sure people do it though 00:43:13 people who think that superficial details of syntax are the answer to all problems of software 00:43:18 and they write excitingly long blog posts about it! 00:43:38 you see, i am better than those people because i'm too bitter to find anything exciting anymore 00:43:42 clearly. 00:43:55 (it's not actually true though, i'm just excited by things other than languages) 00:44:08 so anyway, how's Agda on Aeroplanes going 00:44:32 kmc: What are you excited by these days? 00:45:17 emulating page permissions using split TLBs 00:45:27 stackjacking exploit against asterisk 00:45:41 Anything involving the word "stackjacking" is pretty exciting imo 00:45:48 here is another thing i found cool recently: '...one strategy group was buying iphones periodically and comparing their serial numbers to estimate the velocity of sales, to front run the earnings numbers from Apple.' 00:45:49 Is that a card game? 00:46:11 That's like the what's-it-called. 00:46:12 kmc: german tank problem? do they actually use serial serial numbers? 00:46:20 That. 00:46:42 haha, I did not know it was called this 00:46:51 thanks 00:46:58 really? i thought everybody learned about it in high school stats 00:47:10 not I 00:47:13 I didn't have high school stats. :-( 00:47:13 or maybe I forgot 00:47:18 Actually I sort of did. 00:47:21 exciting applications of boring math, such as killing natzees, you see 00:47:27 But they certainly didn't talk about it. 00:47:31 But I heard about it somewhere else? 00:47:42 AP Stats was a weird class because it was 50% students who found calculus too difficult and 50% students who had already completed all the calculus that was offered 00:47:52 you might say it had a... *puts on sunglasses* bimodal distribution 00:47:58 -!- variable has joined. 00:48:01 Speaking of minor syntactic differences, it's funny how Ruby's "for x in xs; ...; end" and Python's "for x in xs: ..." are completely different. 00:48:09 Hey that's what it was like here too, gosh 00:48:21 shachaf: What's the difference? I think you mentioned that before... 00:48:23 what does the ruby one do? decode some YAML into arbitrary Ruby objects? 00:48:26 I don't think I ever actually took a proper stats class, I really should have 00:48:58 I don't remember much from ap stats, honestly... 00:49:03 i took AP Stats in high school, and then in college a stats course that was more mathematical (e.g. proving that things are an unbiased estimator or whatever) 00:49:22 the former was crucial for the latter, not because we learned much hard math, but because we learned the language statisticians use 00:49:28 which is different from mathematicians and anyone else 00:49:48 Bike: One of them passes (\x -> ...) as an argument to a method; the other one calls a method repeatedly to get results. 00:49:50 AP Stats was mainly about applying one of 5 cookbook procedures and then writing a couple paragraphs justifying your choice 00:49:57 kmc: also, wow, that iphone sales thing 00:49:59 that is brilliant 00:50:06 do "mathematicians" even have a unified language 00:50:08 which is not really a maths course, but seems to match how people use stats in the real world 00:50:10 stats is horrible 00:50:11 shachaf: uh, huh. 00:50:15 *ah 00:50:44 Haskell's "traverse" is a generalization of both that's in practice a bit more awkward to use than either? 00:50:50 Fiora: yeah, I want to find out if they actually made money doing this 00:50:52 Well, it depends on what you want to do with it. 00:50:55 that's much smarter than my stock trading strategy which consists of "short microsoft" (okay that's only half-serious but) 00:50:59 shachaf: come again? 00:51:07 sorry, I don't understand the "passes an argument" one 00:51:22 In Ruby "for x in xs; ...; end" becomes xs.each {|x| ... } 00:51:38 oh 00:51:44 shachaf: and I take it xs.each {|x| ... } is a function call to xs.each? 00:51:50 method call 00:51:53 Er, yes. 00:52:04 You can emulate the Python behavior using continuations or something if you want. 00:52:06 but conceptually, they both do iterate over xs and invoke some code once for each element, yeah? 00:52:14 Right. 00:52:18 well, i think you could redefine the each method? 00:52:20 In this case the mechanisms overlap. 00:52:33 Bike: You can redefine __iter__ or whatever it is in Python too. 00:52:54 Anyway it's interesting that such completely different things are going on. 00:52:55 mm. 00:53:08 In Haskell you use an Applicative to describe some arbitrary effects. 00:53:21 If you want you can use a coroutine monad or whatever you want to emulate the Python behavior. 00:53:47 In Haskell, anything can have any behavior under any circumstance. 00:54:56 The Haskell behavior is actually pretty neat. 00:56:23 The Python thing makes it easy to zip two loops together, for example. 00:56:52 The Ruby thing can in theory map over more things. 00:57:00 Hmm, I said each, not map, so maybe that's irrelevant. 01:03:36 -!- zzo38 has quit (Remote host closed the connection). 01:15:35 MIT is off the Internet and rumor is that they're being DDoSed in retaliation for their supposed role in Aaron Swartz's death 01:15:43 sigh 01:16:03 meanwhile MIT has already announced an inquiry into their involvement, led by Prof. Abelson 01:16:06 huh, seems like it'd take more than just LOIC to take out MIT, but what do I know 01:16:23 LOIC has taken out some pretty big sites hasn't it? 01:16:51 yeah, I'm not sure how much traffic MIT handles on a given day compared to, like, Reddit 01:16:57 I mean, they took out the DoJ, FBI, MPAA, warner brothers, RIAA, HADOPI, UMG, and the copyright office all at once 01:17:11 oh. well then. 01:17:12 it's a pretty small university and doesn't host any particularly large services to my knoweldge 01:17:39 I wouldn't be surprised if LOIC can take down most any site except the top few hundred 01:17:45 they do have 1/256 of all IPv4 addresses but that doesn't really help ;P 01:18:33 also there were several MITnet outages last week, so maybe there were existing problems 01:20:05 attempts to search for "MIT DDoS" mainly find articles about DDoS written in German ;P 01:20:28 I'm reminded when anon tried to ddos amazon or something 01:20:30 and it did like 01:20:31 nothin 01:20:33 *nothing 01:20:48 I think it was during the wikileaks thing 01:22:49 oh because AWS shut down the WikiLeaks server or something 01:23:04 wikileaks used aws, really? 01:23:50 I thought it was because they refused payment processing? 01:23:51 Here's a thought: Ruby's attr_accessor vs Smalltalk "let the IDE do it". By letting the IDE make the accessors, when you want to change one, it's a simpler change (just change what the IDE already made). With Ruby, you need to make one yourself according to the format of the thing and then change the attr_ line 01:24:01 Not a big deal in Ruby, but a bigger deal in CLOS I think 01:24:16 yeah, thatwould make more sense. 01:24:26 oh 01:24:36 huh, w3.gov and the DOJ are down too 01:26:06 w3.gov? 01:26:29 or something. um 01:26:29 w3.org seems downish too :^) 01:26:46 i've never heard of w3.gov 01:26:48 oops 01:26:54 justice.gov is up 01:26:56 this is what I get for blindly reading articles and assuming they'r right >_>; 01:27:10 * Fiora note to self: techcrunch is badly written 01:27:24 Fiora: That is an problem with articles. 01:27:28 more like too exciting for facts! :D 01:28:03 Fiora: they're just leveraging crowd content to disrupt the space of social big data 01:28:10 haha 01:29:07 XD 01:30:36 Bike: /nick Bicycle 01:30:49 -!- Bike has changed nick to Bicyclidine. 01:30:50 http://farm9.staticflickr.com/8511/8377438923_a1357cedeb_b.jpg when you see it... 01:31:11 I should probably eat 01:31:35 is that the world as a tesselation? 01:31:40 Sgeo: you could give up eating for lent 01:32:13 kmc: the negative space? 01:32:19 kmc, that wraps in a way I'm not used to 01:33:54 monqy: want an "exepert level puzzle" 01:34:01 ps you have to be an expert 01:34:02 how expert is this 01:34:13 edwardk said it was expert 01:34:17 sgeo: "have you ever been so self-centered you cut Asia in half?" 01:34:21 so i'm not sure but maybe pretty expert?? 01:34:28 maybe... 01:34:30 also it involves fixing lens 01:34:38 :> 01:35:14 kmc: anyway i give up, what is it? i'm so bad at seeing it 01:35:14 are you a bad enough dude to fix lens........................ 01:35:19 I should introduce lenses to... I would say $language but no language I'm currently or recently interested in uses $ 01:35:21 look at the shape of the oceans 01:35:33 whoa 01:35:34 so yeah what Fiora and monqy said 01:35:45 it made me think escher 01:36:13 i was wondering why the antarctic peninsula had those weird-lookin' islands 01:36:43 I thought the land masses near the edge were duplicated 01:37:00 ...The negative space ones also have that effect 01:37:05 well that's map projection for you 01:38:05 shachaf: whats this puzzle 01:38:07 oh right MIT hosts w3.org 01:38:14 17:15 if someone wants a good expert level puzzle they can finish out the Tailor i indexed comonad definition 01:38:16 :/ 01:38:25 oh 01:47:08 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:55:21 * oerjan first assumed it was some kind of reconstructed prehistoric earth 01:55:33 same. 02:04:50 -!- DHeadshot has joined. 02:07:10 :( I think Pharo multithreading is co-operative 02:07:28 Based on the fact that [true] whileTrue: []. just froze it 02:08:12 Is that a clojure dialect? 02:08:38 Interruptible via Alt-. 02:08:58 shachaf, if you want to believe it is, feel free to do so. 02:35:03 its smalltalk daftyhead 02:36:29 Well Smalltalk runs in a VM right. So does Clojure. 02:36:43 so they're obviously the same thing 02:36:44 so does C 02:36:45 i get it 02:37:02 C runs in a machine 02:37:20 hm, actually is there a smalltalk that targets jvm instead of the... what is it even called? smalltalk vm? 02:38:07 there are a variety of smalltalk vms, so the /the/ is a bit off 02:38:12 There is no standard for the Smalltalk VM, and hence there's no name beyond "Smalltalk VM" 02:38:20 -!- ared_ has joined. 02:38:26 oh, i was thinking of the one in the smalltalk-80 manual, i thought it was common 02:39:06 squeak is probably the most popular, tho pharo is catching on p quick 02:39:07 Smalltalk VMS? I hope that's not Smalltalk for VMS. 02:39:15 By my understanding, which may be wrong, of "The Language and Implementation" from that book, people care about the language, and some ideas, but only ideas, from the implementation :) 02:39:31 heh. 02:42:05 -!- asderca77 has quit (Ping timeout: 272 seconds). 02:43:01 well maybe it's more correct to say "C is a virtual machine" 02:43:22 -!- poillll has joined. 02:43:23 all languages are specifications for virtual machines and all language implementations are virtual machine implementations 02:44:38 are there things commonly referred to as "virtual machines" that have an execution model more complicated than assemblylike? (or, well, not linear, if that makes sense) 02:45:09 do massively parallel things count? 02:45:24 -!- Lotuss has joined. 02:45:55 I remember reading a paper about a pointer-oriented architecture once, but I forget if it was supposed to be hardware or software or someone's psychedelic nonsense. 02:46:21 Fiora: well the flow of control is still broadly "there's a PC, it goes a word at a time", isn't it 02:46:39 well the JVM has memory-ordering semantics for concurrency 02:46:52 -!- Arc_Koen has quit (Quit: Arc_Koen). 02:47:01 they are kind of shitty as i recall 02:47:13 hmm. what about something like the game of life? like a "virtual machine" that is a set of rules to evolve some state over time 02:47:20 -!- poillll has quit (Read error: Connection reset by peer). 02:47:28 Oh, I had a professor trying to do that in hardware. 02:47:36 I don't know whether I should `list 02:47:49 And then there's dataflow processors and stuff. 02:48:12 But I guess the advantages of a different execution model in the VM are kind of negated if the underlying (V)M has a wildly different one. 02:48:13 what about those processor design type things where you have ALUs directly connected to memory? 02:48:19 so that every single byte in memory gets operated on every cycle or whatnot 02:48:27 I do not know those type things >_> 02:48:29 Sgeo: Looks like it's still 865 to me. 02:48:35 I remember it being an alternative to the von neumann bottleneck 02:48:40 of some sort 02:48:46 Because there's a new Tumblr post 02:48:46 http://mspandrew.tumblr.com/post/40486423180/lets-take-a-look-at-a-few-responses-more 02:49:26 "butthurt socialjusticefag", aight. 02:49:33 Fiora: so, what do you mean exactly, I don't think I get it? 02:50:26 um. basically like if I remember right 02:50:34 in a normal machine you fetch some data and operate on it each cycle 02:50:39 right. 02:50:41 in like, a neural network, every bit of data gets operated on every cycle 02:50:47 -!- Lotuss has left. 02:51:12 because for every bit of state (a neuron for example) you also have hardware that modifies that state based on other things (some sort of logic unit?) 02:51:32 so like, imagine you wanted to do the game of life in hardware 02:51:34 dataflow processor, I thought that was called 02:51:37 oh, so that's what it is 02:51:46 Every neuron has a corresponding neuroff. 02:51:47 like an actual neural network, not what you're talking about, which sounds like you still have one CPU 02:52:03 I was thinking the sort of thing where "game of life" would be a 1024x1024 SRAM array hooked up so that each square of 9 wires into a logic unit 02:52:07 and to an output 1024x1024 SRAM array 02:52:23 so that's what a dataflow processor is? 02:52:54 er, no, I think a dataflow processor is where you have a bunch of processors piping data into each other, like a physical neural network? 02:53:41 ugh, i bet i'm getting the name wrong and ust making things up 02:54:06 I guess I was just thinking of the more general concept of "the amount of arithmetic logic you have is proportional to your memory" sort of thing 02:54:10 like a neural network would count as that 02:54:29 mm, yeah. 02:54:32 so a processor with 1MB of memory would do operations on all 1MB every cycle 02:54:47 like a neural net would count as that, right? 02:55:00 well depending on the complexity of the operations, i guess 02:55:10 yeah, I mean, you'd be doing far simpler operations 02:55:15 but looots of them 03:02:20 guess it depends on what the operations are. a basic ANN is just a weighted sum, guess that wouldn't be hard to do in blocks 03:03:41 I remember when reading about this that the basic idea was that, since it's becoming more expensive to move things around than to do arithmetic on them, why not just avoid moving things around entirely 03:04:03 at least in the traditional buses-with-memory-controllers-and-caches-and-prefetchers-and-ways-and-things sense 03:04:11 I thought it was always more expensive? That's why we have caches for memory but not arithmetic. 03:04:48 I think the ratio has gotten worse over time? 03:04:59 geez. 03:05:21 http://en.wikipedia.org/wiki/Von_Neumann_bottleneck#Von_Neumann_bottleneck 03:05:53 I guess one way to look at it would be to like, compare the ratio of (things not ALUs) to (things that are ALUs) in like, a CPU, to a GPU 03:08:41 -!- ared__ has joined. 03:08:46 Bicyclidine: ooh, this is a thing. 03:08:48 http://en.wikipedia.org/wiki/Content-addressable_memory 03:08:51 man, backus was cool 03:08:58 Oh, that's the hardware hashish thing, right? 03:09:11 that... isn't very good as made up adjectives go, is it. 03:09:12 it's something like what I described I think? 03:09:17 it has a comparison dicruit for every single bit in the memory 03:09:20 *circuit 03:09:29 so it's able to search the entire memory in one cycle 03:09:52 oh huh. that's how TLBs work 03:10:23 i really shouldn't conflate hash tables with associative maps. 03:10:30 You shouldn't. 03:10:40 i agree with shachaf 03:10:46 i agree with monqy 03:10:58 Thachaf. 03:11:22 Bicyclidine: YOUR SENTENCE: s/idin// 03:11:38 -!- ared_ has quit (Ping timeout: 240 seconds). 03:11:48 hardware hashish 03:11:48 yes 03:12:01 hardware hashashin 03:12:08 yes 03:12:15 next after ninjas and rockstars will be hashashin 03:12:17 i love hardware 03:12:19 they are so easy 03:12:59 where did this loving /e asy thing come from this is like the 3rd time ive caught you saying it 03:13:02 $startup is looking for 3 ruby assassins to develop our backend 03:13:15 assassins??? 03:13:21 If Stephenson wrote about hashashin would they be "popular"? Maybe he should do that. Then maybe people could learn about Ismailism! (haha like hell) 03:13:21 make sure to have at least 2 years of experience in ruby and rails, and 4 years of experience in knife and shuriken throwing 03:13:32 bonus points if you show up in the interview room without us seeing you 03:13:49 they are mentioned briefly in Cryptonomicon 03:13:53 monqy: http://slbkbs.org/beaky.txt 03:14:18 hooooo boy 03:14:22 anyway I think that caliphpunk should be a thing 03:14:50 like cyberpunk, except middle-eastern themed instead of japan? 03:14:52 Shitloads of stuff is mentioned briefly in Cryptonomicon, though. I haven't seen a Russian cryptographer coolness vival!! 03:14:57 kmc: isn't that assassin's creed 03:15:04 more like steampunk but set in 800 AD 03:15:07 no, wait, the israel in that isn't caliphate is it 03:15:09 in the middle east 03:15:10 monqy: try searching for things like "love" 03:15:27 wow 03:15:28 shachaf: jesus. 03:15:29 or "monoid" 03:15:46 ahh yes 03:15:54 what is WITH this guy 03:15:56 «imagine if Haskell had a ``Design Patterns'' textbook equivalent that OOP folks refer to for abstractions» leaving now 03:16:15 haskell/12.12.03:00:53:40 monoids ftw 03:16:15 haskell/12.12.03:00:58:56 you love them too? 03:16:15 haskell/12.12.03:00:59:12 lambdabot can talk? 03:16:18 shachaf was this your doing 03:16:22 Pharo's dynamic variables involve making a class for each dynamic variable 03:16:38 stale joke about "enterprise" here 03:16:45 he keeps saying he loves things????help 03:17:00