00:00:21 -!- ^v has joined. 00:00:34 or maybe i should ask an actual swede. 00:00:50 olsner: why you so idle 00:01:05 FireFly: awake? 00:01:15 oerjan, why did I read "ask" as "smoke"? 00:01:35 * quintopia smokes an actual Taneb 00:01:39 Taneb: maybe you like smoking turnips, i dunno 00:01:40 :O 00:01:48 How do you smoke a Taneb? 00:01:52 That sounds painful 00:01:59 Vorpal: why so _hideously_ idle 00:02:01 ThatOtherPerson, only for me 00:02:06 ThatOtherPerson: by driving faster 00:02:07 Ah, right 00:02:13 Anyway, goodnight 00:02:16 -!- Taneb has quit (Quit: Leaving). 00:02:55 i think i may be out of actual swedes. but in case not, is "Today, among other things, that song is considered somewhat the unofficial hymn of Sweden" about luciasången as preposterous as it sounds? 00:03:19 i could imagine it being true with s/the/an/ 00:04:12 but then the aussies have "waltzing mathilda", so what do i know 00:05:48 * oerjan just edited it instead. 00:06:46 what's wrong with waltzing matilda? 00:07:36 it's just not in the usual style for a national anthem hth 00:08:11 ok 00:10:16 https://www.google.no/search?q=luciat%C3%A5g&biw=1176&bih=613&tbm=isch&tbo=u&source=univ&sa=X&ei=q6GrUuy7OYS47QaX2oAw&sqi=2&ved=0CCoQsAQ hth 00:15:53 what's the clever trick for getting orecchiete not to stack? 00:16:25 I thought stirring a lot while they cooked would do it but it doesn't. Do I need to separate the noodles individually by hand before adding to water? 00:18:11 http://food52.com/hotline/16710-keep-orecchiette-from-sticking-together does this help? 00:20:01 "Today's bug: If a prisoner happens to be on the toilet when his time in jail finishes, he will remain trapped on the toilet forever" game bug logs are great 00:21:36 No, I added them to water that was boiling hard, and I stirred frequently. The problem is that they are already stacked in the bag and the hot water makes them stick that way faster than stirring can break them up. 00:21:54 I think the solution is "buy shell noodles instead because they're just better." 00:25:06 shells are wonderful 00:25:20 I think shells and rigatoni are my favorite 00:26:38 -!- Phantom_Hoover has joined. 00:29:48 Shells cost more per pound at Safeway, though, and TJ's never seems to have them 00:32:11 -!- RJones has quit (Remote host closed the connection). 00:35:06 douglass_: wouldn't it be a good idea to unstack them _before_ dropping them in the water, then. 00:35:34 unless they're frozen or something. 00:35:54 oh you mentioned that option. 00:35:58 -!- tromp has joined. 00:36:33 are we talking killy shells here or what 00:37:00 Phantom_Hoover: term unknown, please rephrase 00:37:11 kill-y 00:37:28 pasta shells hth 00:37:35 o 00:37:37 h 00:37:40 who the fuck freezes pasta 00:37:59 trader joe's has a lot of frozen pasta dishes that are kinda nice 00:38:14 possibly nobody, it was just the main reason i could think of for why you couldn't separate them before boiling 00:42:14 I consider the option of unstacking them individually by hand, rather than stirring them all at once, to take an unreasonable amount of time. 00:44:25 i'm imagining shaking them into a dry bowl and separating them by "stirring" there. might even work. 00:45:06 -!- ThatOtherPerson has quit (Ping timeout: 240 seconds). 00:45:20 does it help if you pour them in, like, before the water is boiling? 00:46:11 also, does the package have any tips. 00:46:38 -!- ThatOtherPerson has joined. 00:48:01 Hey, can someone help me understand Lazy K? <-- did you get any answer? 00:48:29 @quote lazy.lazy 00:48:29 ShelSilverstein says: Lazy Lazy Lazy Lazy Lazy Lazy Jane. She wants a drink of water so she waits and waits and waits and waits and waits for it to rain. 00:48:35 `seen ThatOtherPerson 00:48:39 2013-12-14 00:02:07: Ah, right 00:48:52 whoa, whoa, whoa 00:48:59 last seen in the future 00:49:38 ok that's less than an hour ago 00:49:46 `date 00:49:46 -!- impomatic has left. 00:49:48 Sat Dec 14 00:49:47 UTC 2013 00:50:07 shachaf: it does the sane UTC thing 00:50:27 oerjan: Not yet 00:50:33 I talked to Taneb about it a little 00:50:43 oerjan: p. sure mountain view time is the only sane time 00:51:19 The thing that bugs me about the wiki page is it only seems to describe how it is different from Unlambda 00:51:23 ThatOtherPerson: right, real fast nora's hair salon III: shear disaster download is isomorphic to lazy k 00:51:40 oerjan: I will try that with the remaining package. There are no tips on the label. 00:52:19 Yeah, I've been looking into Nora, and I thought perhaps it would be easier to learn by learning about Lazy K 00:52:26 ThatOtherPerson: well lazy k is ski calculus, which is like a subset of unlambda, except that it's also lazy in evaluation order. 00:52:28 But... my brain is being stretched 00:52:42 real fast nora 00:52:54 in a sense, the lazy version is the more mathematically pure one. 00:53:08 Yeah, that's about the only part I understand ;D 00:53:09 yeah lazy k wasn't really very rigidly-conceived 00:53:48 i think gould just thought of the language itself as something very obvious and so he only bothers describing the syntax and showing off lazier 00:54:19 the same abstraction elimination process for converting lambda calculus works for both. of course with lazy k you then get _lazy_ lambda calculus. 00:54:57 it _is_ obvious i think. 00:55:07 if you know haskell and lambda calculus :P 00:56:27 of course as someone who has written unlambda, i'm biased. 00:56:40 I understand the general principles, but I don't really know how to program in it yet 00:56:56 do you know how to program unlambda 00:56:57 oerjan: Would you recommend starting in Unlambda first? 00:57:13 not really sure 00:57:23 no, I don't know unlambda yet 00:58:00 what you need is a good understanding of how to do things in lambda calculus, and then how to abstraction eliminate. 00:58:06 -!- _46bit_ has changed nick to _46bit. 00:58:09 -!- _46bit has quit (Changing host). 00:58:10 -!- _46bit has joined. 00:58:34 oerjan: hm, I have a fairly... basic idea of how to do things in Haskell 00:58:40 ThatOtherPerson: you might look at madore's unlambda page, it has many tips for how to program in that, which should at least approximately apply to lazy k. 00:58:48 which obviously translates into a typed lambda calculus 00:59:04 i learnt the lambda calculus perfectly well from the wp article 00:59:06 presumably the point is more about evaluation order than types 00:59:10 just sayin' 00:59:10 Okay, thanks! 01:00:01 ThatOtherPerson: also one thing about laziness is that it's the order of evaluation that is guaranteed to work if _any_ does, so if you write a program that works _strictly_, it will automatically work lazily. although possibly with a space leak :P 01:05:58 ThatOtherPerson: you're definitely going to need to understand how to use higher order functions. 01:06:17 oerjan: Luckily I understand those quite well 01:06:53 good 01:07:36 and then you want to understand how to make data structures with them, e.g. simulating haskell's ADTs 01:08:08 Ah, that sounds interesting 01:08:19 and the matter of flow control, in particular how to do recursion with the self-application trick. 01:08:56 adts you could just do as a tagged union where the union element is a tuple right 01:09:31 Bike: that's not the simplest way 01:09:40 what's the simplest way. 01:09:54 let's say to implement data Bool = False | True 01:10:12 oh, you do that 01:10:41 you implement an element of Bool as a function with _two_ arguments, one to use if it's False, one to use if it's True. 01:10:48 so instead of a tag you just have it only called by case functions 01:10:50 right 01:11:13 and have it pass the data if it exists to that function? 01:11:18 yes 01:11:23 right makes sense 01:11:32 silly me, thinking of data as data 01:12:01 Functions are data! 01:12:10 the future is the past 01:12:22 All bikes are one 01:12:26 False = \x y -> y, True = \x y -> x, and then if b then x else y becomes just b x y 01:12:49 (i sort of switched the order of False and True there to make the if the right order) 01:13:24 now if you instead have data Either a b = Left a | Right b 01:13:57 then Left x = \l r -> l x and Right y = \l r -> r y 01:14:35 and you add more arguments for constructors that have more arguments. 01:15:02 wow, that's pretty cool 01:15:04 a tuple has just one constructor, so (x,y,z) = \f -> f x y z 01:15:28 and that's basically all you need to implement ADTs as functions. 01:19:12 to understand lazy K's IO format, you need (x,y) pairs + one more thing called church numerals. 01:20:25 a church numeral is a natural number encoded as a function applying another function that number of times. i.e. 1 = \f x -> f x, 2 = \f x -> f (f x), 3 = \f x -> f (f (f x)) etc. 01:21:58 imo consider scott encoding rather than church encoding 01:22:17 shachaf: i never remember the difference. 01:22:50 also i only mentioned church for the numerals, which are definitely what lazy k uses. 01:23:47 some but not all arithmetic is fairly easy with church numerals. 01:23:54 (subtraction is a pain.) 01:25:01 just like tail is a pain with church lists 01:25:33 > foldr (\x y -> (ord x,var$show y)) $ "Hello, world!" ++ repeat '\256' 01:25:34 Couldn't match expected type `(GHC.Types.Int, 01:25:35 Debug.SimpleReflect.Expr.Expr)' 01:25:35 with actual type `[GHC.Types.Char]' 01:25:45 hm something not quite right. 01:25:54 > foldr (\x y -> (ord x,var$show y)) undefined $ "Hello, world!" ++ repeat '\256' 01:25:55 (72,(101,(108,(108,(111,(44,(32,(119,(111,(114,(108,(100,(33,(256,(256,(256,... 01:26:21 ThatOtherPerson: that's like the first step for encoding "Hello, world!" into lazy k format. 01:27:16 it doesn't bother to use a proper list with a nil format, just inserts infinitely many 256 after the end. 01:28:07 Cool, thanks! 01:28:33 you're welcome! 01:29:05 (you'll find that particular encoding in my real fast nora implementation too.) 01:29:36 well, approximately, anyway. 01:36:37 imho EOF should just be \Omega 01:39:18 i suppose that could work 01:40:00 although mainly because you can write something that ignores the difference between number >= 256 01:40:08 *+s 01:50:19 wait how could that work 01:50:36 you can't do anything with omega, that was the joke 01:50:42 what's \Omega 01:50:49 infinity? 01:51:04 no, it's (lambda x.x x)(lambda x.x x) 01:51:23 oh 01:51:24 boring 01:56:25 oh that omega 01:56:56 i sort of interpreted it as \f x -> fix f 01:57:08 ie infinity 01:57:31 right 01:58:17 imo (exists x. (x, x -> Maybe x)) 02:03:13 -!- nooodl_ has quit (Quit: Ik ga weg). 02:03:39 -!- ThatOtherPerson has quit (Quit: Leaving). 02:04:07 @tell boily good unpentadactyl morning! <-- my condolences on losing a finger 02:04:07 Consider it noted. 02:11:27 @tell mrhmouse (Control.Arrow.>>>) 02:11:27 Consider it noted. 02:12:30 :t (Control.Category.>>>) 02:12:31 Category cat => cat a b -> cat b c -> cat a c 02:12:55 oh right it got moved and generalized 02:13:06 :t foldr (\x y -> (ord x,var$show y)) undefined $ "Hello, world!" ++ repeat '\256' 02:13:07 (Int, Expr) 02:13:15 ohhhhhhhh trickysauce 02:13:26 i was like "how did you construct an infinite recursive tuple type???" 02:13:26 * oerjan whistles innocently 02:13:39 infinite types are too good 02:13:53 too easy 02:14:08 catab catbc catac 02:14:15 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 02:14:18 > var "a very reasonable name for a variable, don't you think" 02:14:19 a very reasonable name for a variable, don't you think 02:14:20 a cat, a cab, a bat, bacat! 02:14:48 > text "a very reasonable text, don't you think" 02:14:49 a very reasonable text, don't you think 02:17:15 > text "An excellent text." 02:17:16 An excellent text. 02:18:05 > fix (var . text) 02:18:06 Couldn't match type `[GHC.Types.Char]' 02:18:06 with `Debug.SimpleReflect.Expr.Expr' 02:18:06 Expected type: Debug.SimpleReflect.Expr.Expr -> GHC.Base.String 02:18:06 Actual type: GHC.Base.String -> Text.PrettyPrint.HughesPJ.Doc 02:18:56 on second thought, that shouldn't work in any shape or form. 02:22:27 @tell I had a dream that I has a secret esoteric lair <-- good, good, we may make an evil overlord of you yet 02:22:27 Consider it noted. 02:32:41 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:33:28 @ask boily normally distributed glazed eyes served over bouchées of surreal bread rolls. <-- are you attempting to create québécois/r'lyehan fusion cuisine 02:33:28 Consider it noted. 02:39:14 is r'lyehan a klingon word 02:42:36 thank you for thinking that as well. 02:43:00 -!- yorick has quit (Remote host closed the connection). 02:44:18 oh its a lovecraftian place 02:44:28 r'lyeh i remember now 02:44:44 the language is like, aklo, or some shit like that. 03:32:33 -!- carado_ has joined. 03:35:00 -!- carado_ has quit (Client Quit). 03:35:11 -!- carado_ has joined. 03:36:07 -!- carado has quit (Ping timeout: 246 seconds). 03:37:21 -!- carado_ has quit (Client Quit). 03:37:30 -!- carado has joined. 03:44:07 -!- doesthiswork has quit (Quit: Leaving.). 03:45:27 I remember being so confused about over... why didn't anyone tell me that it was modify? (Or, maybe I'm thinking of a different over?) 03:48:12 oh just get over it 04:04:27 -!- carado has quit (Ping timeout: 252 seconds). 04:13:11 -!- fizzie has quit (Ping timeout: 245 seconds). 04:14:26 -!- qlkzy has quit (Ping timeout: 245 seconds). 04:16:22 -!- qlkzy has joined. 04:20:25 -!- fizzie has joined. 04:27:44 -!- Sorella has quit (Remote host closed the connection). 04:38:33 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 05:22:29 -!- tromp has quit (Remote host closed the connection). 05:23:04 -!- tromp has joined. 05:27:31 -!- tromp has quit (Ping timeout: 260 seconds). 05:30:24 -!- aloril has quit (Remote host closed the connection). 05:38:15 -!- aloril has joined. 06:25:25 -!- conehead has quit (Quit: Computer has gone to sleep.). 06:28:14 aw man, google bought boston dynamics. 06:28:38 all their robots are gonna be all corporate and soulless now 06:28:49 i for one etc. 06:29:15 "Executives at the Internet giant are circumspect about what exactly they plan to do with their robot collection." 06:30:00 oh, they said they don't want to move into military contracting, at least. i guess 06:31:01 military /contracting/ 06:31:14 ? 06:32:28 leaving open the possibility of developing military robots for their own use 06:32:58 oh. heh. yeah. 06:33:20 i should research the legality of spider death robots 06:44:33 Legality irrelevant. It's easier to ask forgiveness than permission 06:45:04 it's also easier to ask things if you haven't been shot 06:45:12 New Amiga 68k port of Doom http://youtu.be/JpjVxuJBWak 07:07:08 -!- CADD has joined. 07:07:31 -!- CADD has changed nick to Guest6653. 07:12:15 -!- oerjan has quit (Quit: leaving). 07:54:38 -!- SBoyo has quit (Ping timeout: 240 seconds). 08:03:03 -!- Gracenotes has quit (Ping timeout: 245 seconds). 08:05:16 -!- Guest6653 has quit (Ping timeout: 245 seconds). 08:17:56 -!- Gracenotes has joined. 08:53:28 -!- Slereah_ has quit (Remote host closed the connection). 08:53:47 -!- Slereah has joined. 09:46:15 -!- Taneb has joined. 09:57:54 -!- Taneb has quit (Quit: Leaving). 10:29:17 "Runtime Error (at 139:148): Access violation at address 7D2DA677 in module 'gdiplus.dll'. Read of address 00212C84." arrrr this wine be broken. 10:35:19 All 'w' and 'm' characters are also very broken-looking. (Other characters are fine.) 10:35:39 Fun 10:43:15 -!- CADD has joined. 10:54:23 "Internal error: Expression error 'Runtime Error (at 16:21): Invalid floating point operation.'" 10:54:28 It just keeps getting better. 11:00:27 -!- carado has joined. 11:13:38 -!- Sorella has joined. 11:14:36 -!- Sorella has quit (Changing host). 11:14:36 -!- Sorella has joined. 11:49:52 -!- carado_ has joined. 11:52:30 -!- carado has quit (Ping timeout: 252 seconds). 11:57:17 -!- carado_ has quit (Quit: Leaving). 11:57:27 -!- carado has joined. 12:49:09 -!- carado has quit (Ping timeout: 252 seconds). 13:25:35 -!- qlkzy has quit (Quit: ZNC - http://znc.sourceforge.net). 13:26:10 -!- Slereah has quit (Read error: Connection reset by peer). 13:26:16 -!- qlkzy has joined. 13:26:29 -!- Slereah has joined. 13:32:21 ehttps://bitbucket.org/FeministSoftwareFoundation/c-plus-equality 13:32:51 https://bitbucket.org/FeministSoftwareFoundation/c-plus-equality 13:34:46 dafuq? 13:35:17 "1 is inherently phallic and thus misogynistic." 13:35:17 someone should write a compiler 13:35:19 It is true! 13:35:29 Do eet! 13:38:03 "Variables self-declaring as pointers are known as "otherkin". A pointer to an array is an "arraykin"." 13:38:05 :D 13:38:15 Instead of "running" a program, which implies thin privilege and pressure to "work out", programs are "given birth". 13:38:19 hahahaha 13:39:13 I do wonder if you could actually make a language out of it 13:39:20 Or if it is too contradictory 13:39:58 - header files are known as headHer files, with extension .Xir 13:40:53 Slereah: interesting, fizzbuzz states that 1 should be success 13:41:08 Clearly that is misogynistic 13:42:00 lmao 13:42:18 "Curly brackets are not allowed, as they perpetuate our society's stereotype of the 'curly' women. Instead, Python-esque indentation is used." 13:42:27 - assignment constrains its lefthand side to an externally imposed presentation and orientation; replaced by accepts(), and lefthand side is free to refuse (NO MEANS NO!) 13:43:21 There are no bugs, only snowflakes. 13:43:56 "% now known as the 'cock and balls operator'" 13:45:08 I prefer intercal's rabbit operator 13:45:43 which is? 13:46:07 maybe we should make an entry in the esolang wiki 13:46:32 It is the simultaneous use of . and " 13:46:55 Apparently back in punchcard days you could punch two characters as one input 13:50:09 I'm pretty sure you couldn't with a punch-card? 13:50:29 but a line printer could backspace and print a second character on top of an already-printed one 13:51:07 I dunno 13:51:19 I only vaguely remember what the justification of the rabbit was 13:52:22 Also fun fact, the reason the APL charset is as weird as it is, is mainly because most of the characters were composed in a similar manner by typing one character over another one 13:53:07 So vertical bar and delta gives you ⍋, e.g. 13:53:29 Did they even have keyboards back in APL days? 13:53:50 Character sets don't matter much if you program on punchcards I suppose 13:54:34 -!- Slereah has quit (Read error: Connection reset by peer). 13:54:52 -!- Slereah has joined. 13:55:37 They did; here's what the IBM 2741 looked like apparently: http://xahlee.info/kbd/i/IBM_2741_printing_terminal_APL_keyboard.jpg 13:57:23 I love the left margin indicator in the middle of the page ... 14:02:33 Oh, by "line printer" I think I meant "teletype" 14:18:29 -!- yorick has joined. 14:20:40 -!- MindlessDrone has joined. 14:31:25 Does english require to use 'a' in enumerations? 14:31:26 like uhm 14:31:31 a dog, a cat, a hound, a house 14:31:41 I have a dog, cat, hound and a house? 14:31:49 or I have a dog, a cat, a hound and a house? 14:36:49 -!- nooodl has joined. 14:43:12 I'd like a GTK-Callgirl, too, hunspell 14:44:17 -!- nortti has changed nick to nortticat. 14:44:44 -!- nortticat has changed nick to nortti. 14:56:36 "i have a dog, cat, hound, and house" sounds acceptable to me 15:00:04 -!- muskrat has joined. 15:00:55 with the a's it definitely works though 15:01:39 -!- tromp has joined. 15:02:01 -!- KingOfKarlsruhe has joined. 15:08:03 -!- prooftechnique has quit. 15:11:43 -!- pikhq has quit (Ping timeout: 260 seconds). 15:19:21 -!- pikhq has joined. 15:45:53 -!- sebbu has quit (Ping timeout: 240 seconds). 15:50:16 Wine went from error messages to "sound stutters, whole computer hangs up, reboots after ten seconds or so"; I think I'll give up on it. 15:50:47 Reboots? That's really weird 15:55:04 -!- LinearInterpol has joined. 15:56:08 Perhaps something has configured a software watchdog feature on. 15:56:52 Though /sys/class/watchdog is empty. 15:57:37 Linux has software watchdogs that let you reboot the system? 15:57:42 Yes. 15:57:48 http://en.wikibooks.org/wiki/The_Linux_Kernel/Softdog_Driver 15:58:11 But I doubt it's enabled by default much anywhere. 15:59:40 Nothing much in the logs at the time of the reboot, except for a "kernel: [16305.769629] NVRM: Xid (0000:01:00): 61, 0092(1e64) 00000000 00000000" line. But that's a bit earlier, I think, and anyway quite frequent occurrence. (I'll blame the nvidia binary blob anyway, it's an easy target.) 16:00:48 -!- tromp has quit. 16:02:50 if there's a global freeze a software watchdog is useless anyway 16:03:03 SteamOS comes with a LD_PRELOAD hack that prevents programs from changing the screen resolution, and with a compositor that scales fullscreen windows with a smaller size to the screen resolution. The LD_PRELOAD thing may be a bit of a kluge (and perhaps they’ll change that), but i approve. 16:03:39 mroman: It's kind of a best-effort thing. 16:05:31 24 out of 75 items in my Steam library have Linux versions, which is quite a percentage, if still a bit disappointing. 16:06:44 -!- sebbu has joined. 16:07:22 -!- sebbu has quit (Changing host). 16:07:22 -!- sebbu has joined. 16:20:59 -!- muskrat has quit (Quit: Leaving). 16:31:07 -!- tromp has joined. 16:41:21 -!- conehead has joined. 16:44:26 -!- pikhq has quit (Ping timeout: 245 seconds). 16:46:16 -!- pikhq has joined. 16:53:07 -!- impomatic has joined. 16:56:51 -!- tromp has quit (Remote host closed the connection). 16:57:23 -!- tromp has joined. 17:01:27 -!- yorick has quit (Remote host closed the connection). 17:01:55 -!- tromp has quit (Ping timeout: 260 seconds). 17:02:03 -!- muskrat has joined. 17:09:12 -!- tromp has joined. 17:15:33 -!- CADD has quit (Quit: Lost terminal). 17:19:15 ion: That's pretty interesting 17:19:27 I wonder what the performance of that is 17:21:45 It's common to use "we" in english papers apparentely? 17:22:04 like "we invented some new method" and "we investigate stuff" 17:22:05 the hell, since when. 17:22:18 "we propose a new method ...." 17:22:28 -!- Bike has quit (Ping timeout: 246 seconds). 17:23:38 LinearInterpol: So, it's not common? 17:24:02 given no context it's not common. 17:24:11 if you're representing some form of group maybe it's common. 17:24:14 but written by one person? 17:24:15 -!- muskrat has left ("Leaving"). 17:24:19 doubt it. 17:24:37 for example if I cannot deduce who "we" is by just taking into account the context of the sentence.. 17:24:42 it could be anybody. 17:25:11 now if you explicitly specify your context then yes, "we" is acceptable. 17:25:16 http://research.microsoft.com/pubs/200169/now-vldb.pdf <- that has "we" 17:25:42 alright, that makes sense. 17:25:44 http://research.microsoft.com/pubs/200047/cloudEdge.pdf <- also uses we 17:25:51 because you're representing more than one person and I know that. 17:26:14 it's why they made that apparent at the top of the document. 17:26:19 Otherwise you'd use "I"? 17:26:30 yes. 17:26:37 if you must use "I", do it over "we". 17:26:52 because "I" 'points' to the obvious context of the writer unless specified. 17:27:11 I'm asking because in german papers you better not use either "we" or "I" at all 17:27:25 's why I said "if you must use". 17:27:33 usually self reference like that is not acceptable. 17:27:40 in any context. 17:27:49 You'd use passive voice nearly everywhere 17:27:52 yes 17:27:59 "A new method was developed" and stuff like that 17:28:01 because you don't want to attach some sort of centered bias. 17:28:07 to the paper and its content. 17:28:12 but I've heard that passive voice is very uncommon in english anyway 17:28:28 passive voice is common in english speakers with no knowledge on how they use their words. 17:28:28 and some random papers I googled used "we" all over the place 17:28:44 *is not common in english speakers 17:28:54 I have to translate my german abstract to english 17:29:04 that's gonna be hell. 17:29:08 And I'm wondering whether I should use we or just stick to passive voice 17:29:25 are you representing a group, and are talking about something that relates to your situation/accomplishments? 17:29:41 if so, use "we". 17:29:42 We're two guys 17:29:44 so 17:29:46 plural :) 17:29:48 use we. 17:29:54 but only if that second part applies. 17:30:02 ergo you've done something and are talking about it. 17:30:06 Yes. 17:30:11 We have done something. 17:30:12 :) 17:30:15 yeah, "we" is acceptable in this case. hehe. 17:30:30 We designed a RISC CPU essentially 17:30:45 nice! first time? 17:31:08 Yeah. 17:31:14 architecture design is fun as hell. 17:31:26 I remember building my first when I was like 14. 17:31:38 really small 8-bit RISC. 17:32:11 designed to mirror some of the qualities of a certain famous MOS Tech. microprocessor. 17:32:12 i wonder how big an OISC CPU would be 17:32:21 Slereah: very small. 17:32:23 very. small. 17:32:36 I guess maybe a dozen gates or so? 17:32:37 the die itself would probably take up a fraction of the space of most modern dies. 17:32:53 well, it'd certainly be less than modern architectures.. 17:33:04 because you essentially are designing a control unit and ALU around one instruction. 17:33:21 Yeah. But it's nothing serious 17:33:35 it's like building a castle in a sandbox 17:33:35 hey. 17:33:51 everything in this field is serious. 17:34:05 It's common in single-author papers in our field, at least. 17:34:15 Or so I believe, anyway. 17:34:25 you built a RISC architecture. you can now say you have the capability of designing processor architectures now. 17:34:36 that's a pretty big accomplishment. 17:34:47 I meant what *we* did was nothing serious 17:34:52 yes it was. 17:34:54 :) 17:35:13 It's called [[ The author's "we" ]] in Wikipedia's "Atypical uses of /we/" list. 17:35:13 What'd you use to simulate it/prototype it? Verilog? 17:35:37 -!- CADD has joined. 17:35:41 The best papers are HEP papers 17:35:50 When there's a thousand authors per paper 17:35:54 fizzie: yeah, that's if you're taking your reader into the context with you. 17:36:39 I'm pretty sure I've seen also uses that plainly don't include the reader. 17:37:13 haven't seen that in any research papers I've read. 17:38:10 If I hadn't had the capability of designig processor architectures I couldn't possibly have designed one 17:38:17 +already 17:38:34 yeah, but that's the point. 17:38:36 I guess our papers so rarely have a single author. 17:38:49 you said you could do something, and did it! 17:39:00 you leveled up! 17:39:02 :D 17:39:48 your next duty is to make a befunge processor. 17:40:04 you will recieve 10,000,000xp for this task. 17:40:40 "To mitigate this, we analyze the problem and present --" from abstract of Christensen, M.G. (only author), "Accurate Estimation of Low Fundamental Frequencies From Real-Valued Measurements", IEEE Transactions on Audio, Speech and Language Processing. 17:40:50 (First single-author paper I could find looking at its recent issues.) 17:40:51 How's that a level up? 17:40:58 I already knew what I was doing 17:41:18 yes, but saying you knew what you were doing and actually demonstrating it are two different things. 17:41:27 so you got an exp bonus. :P 17:41:48 fizzie: that's one of those cases where you bring your reader into the context with you. 17:42:10 The reader is certainly not presenting anything. 17:42:42 it's just like saying "We then can conclude from this observation yadda yadda yadda blah blah blah" 17:42:45 freefull: Probably not different at all. 17:43:15 LinearInterpol: Well, how about "we refer the interested reader to [20]" -- is the reader part of that too? 17:43:44 I suppose not. 17:43:58 that's a bad case of ambiguity: what does "we" really refer to then? 17:44:18 The author of the paper; I don't think it's very ambiguous at all. 17:44:31 that is extremely ambiguous. 17:44:46 because in use of the author's "we", you must refer to both the reader and the author. 17:45:27 so what does "we" refer to? if it refers to the author of the paper it should be "I" 17:45:34 because that's bloody singular, not plural. 17:45:57 I don't think you need to refer to the reader at all. 17:46:03 It's just a singular we. 17:46:05 https://en.wikipedia.org/wiki/We#The_author.27s_.22we.22 17:46:06 LinearInterpol: Yeah, but it's not like I've learned much 17:46:14 I learnt that gtk callbacks are type unsafe as hell 17:46:20 but that's pretty much it 17:46:21 LinearInterpol: Note the word "often". 17:46:43 yet "we" cannot refer to a singular. 17:46:53 "we" is not a singular. "I" is a singular. 17:47:01 that's improper usage if that context is to be interpreted that way. 17:47:44 It can't be improper if it's the accepted practice. 17:47:47 perhaps the author is a member of some organization then. 17:48:09 fizzie: you're stepping onto a very slippery slope. 17:48:30 Well, they ~always are, so if you *want* to interpret them as speaking on behalf of their affiliated organization... 17:48:54 then the context makes sense. 17:49:35 "Some journals prefer using "we" rather than "I" as personal pronoun.[citation needed]" aw, I was hoping for a link. 17:49:45 lol 17:49:54 LinearInterpol: Also it's actually a whole computer platform we designed 17:49:59 including graphics card, keyboard controller etc. 17:50:46 What'd you use for an FPGA? 17:51:02 It's not a hardware spec 17:51:07 It's a spec of functionality 17:51:14 which we implemented in a software emulator 17:52:48 and we on the fly designed a programming language too 17:52:54 Ah, lovely. I wish you the best of luck porting it to Verilog. :P 17:52:59 and wrote a compiler that targets our architecture 17:53:07 LinearInterpol: I'll probably use VHDL 17:53:11 since I already know VHDL 17:53:14 eeeew, VHDL.. 17:53:16 if I ever port it 17:53:19 :P 17:53:34 I never liked VHDL for recreational things.. 17:54:19 It's really good in professional settings though. The verbosity makes it clear. 17:54:40 Unlike a certain programming language who's name starts with the letter J I will fail to recognize the existence of. 17:56:13 Why? 17:56:21 Have you ever been forced to use J? 17:56:30 Several times. 17:56:40 Nice. 17:56:46 Horrifying language, it is.. 17:56:55 Then you don't want to use Burlesque :) 17:56:55 mroman: I don't know if you'd really say J's name starts with J. 17:57:35 It's a great language though 17:57:46 ew. 17:57:47 i really enjoyed J 17:58:01 fizzie: sure. It ends in J, too, and there's a J in the middle. 17:58:05 not java. scre that 17:58:10 screw* 17:58:29 ^ 17:58:37 fuck java 17:58:38 mroman: do you have any public details i could look at on your processor? 17:58:38 int-e: Sure, but I'm not entirely certain it was the language that was being referred to, given the way it was put. 17:58:46 LinearInterpol: indeed 17:59:08 fizzie: I'm sure it was the one that starts with J and ends with ava. 17:59:18 LinearInterpol: although I did find the mind bending factor of J very interesting. I would not mind being payed to write it. 17:59:50 int-e: Right; it just seems that mroman interpreted it differently, is all. 18:01:02 -!- Chillectual has joined. 18:01:12 -!- LinearInterpol has quit (Disconnected by services). 18:01:12 (I mean, Burlesque is really much more J-like than Java-like, at least as far as surface syntax is concerned.) 18:01:13 LinearInterpol: the coolest part i thought was that it was made by the same guy that invented APL. 18:01:15 -!- Chillectual has changed nick to LinearInterpol. 18:01:28 LinearInterpol: wb 18:01:30 CADD: APL is awesome. 18:01:31 and thanks. 18:01:34 :D 18:01:40 sadly i have never played with it 18:01:50 I had the pleasure of playing with it one time. 18:02:07 did you have the special keyboard and all? 18:02:11 yep. 18:02:12 XD 18:02:17 it was freaky. 18:02:17 very cool 18:02:21 im sure, lol 18:03:13 yeah, the furthest ive gone so far with J is writing an 8-neighbor cellular automata with user settable rules 18:03:37 I have never played with J. 18:03:39 it was a fantastic feeling seeing that the entire algorithm was expressed in 3 rather short lines of code 18:03:52 Ain't it though? 18:03:58 the rest (of about 150 lines) was all gui stuff, lol 18:04:00 indeed 18:04:14 languages like that are lovely. 18:04:36 indeed, i wish more people would use them 18:05:02 although a lot of features have been ported over to other languages 18:05:23 -!- realz has joined. 18:05:24 -!- realz has quit (Changing host). 18:05:24 -!- realz has joined. 18:05:25 -!- qlkzy_ has joined. 18:05:30 which as you know, is the usual tale great lang. 18:05:34 langs* 18:05:36 -!- pikhq_ has joined. 18:05:40 -!- pikhq has quit (Ping timeout: 240 seconds). 18:05:44 -!- yiyus has quit (Ping timeout: 240 seconds). 18:05:45 -!- qlkzy has quit (Ping timeout: 240 seconds). 18:05:47 -!- _46bit has quit (Ping timeout: 240 seconds). 18:05:48 -!- drlemon has quit (Ping timeout: 240 seconds). 18:05:49 -!- myndzi has quit (Ping timeout: 240 seconds). 18:05:49 -!- SirCmpwn has quit (Ping timeout: 240 seconds). 18:05:49 -!- realzies has quit (Ping timeout: 240 seconds). 18:05:50 -!- kmc has quit (Ping timeout: 240 seconds). 18:05:53 mroman: aww, no info? 18:06:00 -!- yiyus has joined. 18:06:14 Oh damn. 18:06:18 That's a lot of people. 18:06:22 lol, that was interesting 18:06:24 -!- kmc has joined. 18:06:36 Well, I'm off to play Tribes: Ascend. 18:06:42 -!- LinearInterpol has changed nick to [li]|Gaming. 18:06:48 -!- myndzi has joined. 18:06:54 <[li]|Gaming> keep it classy. 18:06:54 -!- _46bit has joined. 18:07:01 [li]|Gaming: right back at you 18:07:01 CADD: what? 18:07:10 -!- SirCmpwn has joined. 18:07:14 mroman: on your proccessor/computer system 18:07:27 anything open source? 18:07:34 -!- SirCmpwn has quit (Changing host). 18:07:34 -!- SirCmpwn has joined. 18:07:44 yeah 18:07:45 -!- _46bit has quit (Changing host). 18:07:45 -!- _46bit has joined. 18:07:51 http://bitbucket.org/mroman_/emulathor 18:07:59 mroman: thanks! 18:08:16 but again: It's not science or useful at all 18:08:21 *sciency 18:08:49 no worries 18:08:57 im just interested in absorbing as much as possible 18:11:38 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:15:14 and the compiler is an ugly mess 18:15:25 well... most of it is 18:17:11 -!- MindlessDrone has joined. 18:17:14 People need to write emulators in Rust 18:17:55 or haskell 18:18:15 mroman: lol, most code is :D 18:18:18 Or Plain English 18:19:16 * CADD brain 'splodes. 18:19:29 too many ambiguities in english 18:19:53 -!- Slereah_ has joined. 18:19:55 [19:18:49] http://www.osmosian.com/ 18:19:55 [19:18:54] I HATE THEM SO MUCH 18:19:57 Aaaargh 18:20:33 Really Plain English is basically the real version of that feminist language 18:20:55 Slereah_: omg, i saw that shit.. 18:20:56 It is based on a Philosophy and it is awful 18:21:13 I still have the Plain English compiler 18:21:16 Even that is terrible 18:22:39 -!- Slereah has quit (Ping timeout: 260 seconds). 18:22:41 *downloads the manifesto* what is that font? are they expecting me to read this? 18:22:58 Yes, yes I am 18:23:06 You have an exam on that manifesto in one hour 18:23:08 -!- atrapado has joined. 18:23:10 well I won't. 18:23:12 Slereah_: https://en.wikipedia.com/wiki/Buffalo_buffalo_Buffalo_buffalo_buffalo_buffalo_Buffalo_buffalo is a perfect example 18:23:54 I like the had had had sentence 18:24:06 "We believe that the convoluted object-oriented approach — together with the byzantine "C" programming language and all of its derivatives — can be removed from common usage within the next ten years" 18:24:12 James while Johns had had had had had had 18:24:21 Slereah_: yes, with haskell :D 18:24:24 This manifesto was written in 2006 18:24:31 Only three years left guys! 18:24:35 You'd better pick up 18:24:35 Slereah_: wow, yeah. im reading through it right now 18:24:40 hehe 18:25:29 Also here is their sample program : http://pastebin.com/Ud8z8f7e 18:25:52 You think hunting down a semicolon was bullshit? 18:25:56 imagine debugging that code 18:26:32 So... 18:26:33 \or is not plain english 18:26:38 Slereah_: ugh, yeah i just downloaded the sample.zip.. this looks almost like LOLCODE 18:26:39 There's 'a counter' 18:26:42 and there's 'the counter' 18:26:59 The best part, by the way 18:26:59 And what 18:27:02 Is the self compiler 18:27:04 I have to allocate memory myself? 18:27:10 'Allocate memory for the work' 18:27:21 Because despite their loud vocalization about everything being in plain english 18:27:26 If I have to allocate memory myself I might as well stick to C 18:27:29 The self compiler is still full of assembly code 18:27:53 Slereah_: yeah, this look like a really bad case of the cult of the begginner. 18:28:10 interesting never the less 18:28:29 just not what i would ever want to use 18:28:52 Once in a while, I go back to this site 18:28:56 whenever I want to get mad 18:29:01 XD 18:29:22 "The works are some works." 18:29:32 Much more understandable than C! 18:29:37 Slereah_: yeah, i just saw that. what does that do? 18:29:44 Fuck if I know 18:29:46 If you want 18:29:49 lol 18:29:49 I have the manual somewhere 18:29:54 But beware 18:29:58 The manual is also terrible 18:30:02 and will make your blood boil 18:30:03 i downloaded the zip, but no. ive had enough, lol 18:30:39 actually, satisfy my morbid curiosity. ive got some time to waste 18:31:05 * CADD prepares for boiling blood. 18:31:22 Well there it is : https://dl.dropboxusercontent.com/u/19940612/instructions.pdf 18:31:26 thanks! 18:32:23 "When you start me up, I will quickly take over your screen" 18:32:33 Much like a terrorist 18:32:43 Oh yeah, the GUI is full fucking screen 18:32:46 and is grey and terrible 18:33:02 im debating if i should pull out wine and see how bad it looks 18:33:44 -!- SBoyo has joined. 18:33:57 lol, this program is not powerfull enough to conquer xmonad. im glad it did not full screen on me 18:34:10 im pretty sure its not going to work though, lol 18:34:54 nope, just a black screen 18:35:01 The full pack is here : https://dl.dropboxusercontent.com/u/19940612/cal-3037.rar 18:35:46 Really I don't think the language is that bad 18:36:00 If it was just some project to make like a language to teach children about computer programming 18:36:03 it would be fine 18:36:11 But they are so fucking proud of themselves 18:37:23 "I don't do nested IFs. Nested ifs are a sure sign of unclear thinking, and that is something that I will not countenance. If you think this cramps your style too much, read my code to see how it's done. Then think again." 18:37:54 "I don't do EQUATIONS. I do a little infix math, and I support "calculated fields", but almost all the code you write will be strictly procedural in nature. As the Osmosians always say, "The universe is an algorithm, not a formula." Words you should take to heart. Especially if you're a math-head." 18:38:03 To say it in plain english: bullshit. 18:38:35 I kinda want to hire them and tell them I want to get a math program 18:38:39 Like heavy math shit 18:38:49 10.000 x 10.000 matrix calculation type thing 18:38:58 Slereah_: i would have to disagree. iirc i read an article about a high school teacher switching to fp langs and his students understanding it much easier. 18:39:14 Well I didn't say it would be a good idea 18:39:19 but it would be an okay project 18:39:22 ohlol 18:39:22 Even if they fail 18:39:24 right 18:39:41 But the fact that they want to get rid of all other languages and think theirs is the one true language 18:39:46 its good to test the limits of what a programming language is, but dont bullshit the PLT community. 18:39:48 It is oh so terrible 18:39:51 indeed 18:39:54 -!- Phantom_Hoover has joined. 18:40:25 Fortunately, this is the first time I've heard of them. I wish it will be the last. 18:41:19 -!- Sorella has quit (Remote host closed the connection). 18:41:36 About once a year I rediscover them and rant a bit 18:42:02 well please stop doing that then 18:42:11 -!- Sorella has joined. 18:42:17 Aw :( 18:42:47 -!- Sorella has quit (Changing host). 18:42:48 -!- Sorella has joined. 18:43:03 Slereah_, are you mocking a stupid language 18:43:12 Yes, yes I am 18:43:13 imo that's the true spirit of #esoteric 18:43:28 May I use this moment to convince everybody to use Burlesque. kthxbye 18:43:37 Phantom_Hoover: lol 18:43:41 it's the most creepiest language around 18:43:58 http://mroman.ch/burlesque/rwb2.pdf <- awesome to parse log files in it 18:44:12 How is it creepy 18:44:47 It's got a creepy name 18:44:49 mroman: http://esolangs.org/wiki/Burlesque <- This? 18:44:55 Burlesque isn't creepy! 18:45:08 mroman: oh, i see what you did there XD 18:45:45 You know what would be creepy? 18:45:48 And compact? 18:45:51 A Zalgo language 18:45:54 Zalgo? 18:45:57 mroman: yeah, ive actually already seen burlesque. i like it. but im also one of those weirdoes that likes factor. 18:46:07 http://eeemo.net/ 18:46:26 Tͮ̎̄̏͗͑͑̈͛͌̾̓ͤ̐ͭ͗҉͕͙̣̬͖̟̤̳͍͈̞͔̠̻͞ͅḩ̡̝̺̪͓̩̹̰̹̩̺̿́ͩ̊̑͋͢ͅṵ͍̳̗̜͖͖͕̭̻̰͛̾̑̿̕͡s̻̙̫͚̣͕̙͚ͥ̽ͫ͒ͥ͂̋̚͘͜l͛͗̃̊̊̓̈́ͯ̄҉҉҉̬͈̤͉̟̯̟͞y̎ͮ̊̌̂̽̏ͤ̾ͧ͂ͯͪ̾̌̚͘͘҉̘̣͍̜͖̠̳̜͙̝̼̥̲́ 18:47:55 my favorate is haveing just the "fuck up the middle" checkbox selected. just enough embelleshment to be interesting, but not unreadable 18:48:17 Slereah_: good job 18:48:21 you just messed up my terminal 18:48:25 :D 18:48:35 Fortunately mIRC doesn't allow such foolishness 18:48:41 Characters don't leave their lines! 18:48:52 With unicode and putty 18:49:01 irssi just doesnt render it properly.. i really should set up my fonts.. 18:49:18 you can pretty much do such trickery as injecting text so that I read it as if somebody else wrote it 18:49:20 Hm 18:49:23 Speaking of Unicode 18:49:29 maybe I should implement Arithmetica 18:49:41 http://esolangs.org/wiki/User:Slereah/Arithmetica 18:49:42 lol, as opposed to mathematica? 18:49:44 I kinda dropped it 18:49:48 nice 18:55:28 CADD: You saw it on esolangs.org? 18:55:33 Or are you golfing on golf.shinh.org? 18:56:05 so is it called Αριθµητικών or Arithmetica 18:56:24 Αριθµητικών 18:56:38 But I call it Arithmetica for the barbarians reading it 18:56:44 Those dirty romans! 18:56:50 "Arithmetikon" seems closer 18:56:53 -!- SBoyo has quit (Read error: Connection reset by peer). 18:57:20 Arithmetica is closer to latin phonology though 18:58:15 nooodl: Why is gs2 still not ready ;)? 18:58:28 i should work on that!! 18:58:38 mroman: yup, i saw it on esolangs. i havent golfed yet, but ill try burlesque if i ever do 19:00:29 Slereah_: The osmosian compiler is not available for download? 19:01:20 also I don't really get the point of programming in plain english 19:01:35 programming languages are supposed to be "formal" and "expressive" 19:01:59 mroman : The compiler used to be available, but they pulled it 19:02:02 But I still have it! 19:02:03 https://dl.dropboxusercontent.com/u/19940612/cal-3037.rar 19:04:07 implementing this stuff is easy but i don't wanna document it :( 19:04:47 mroman: couldnt have said it better myself 19:05:16 Well if you want to know the reason why they did it 19:05:20 Read their "manifesto" 19:05:40 i like that you put the word in quotes 19:07:58 I don't want to sound alarmist but i believe that language was created by Hitler's ghost 19:08:04 i think it definitely does deserve being in quotes 19:08:06 lol 19:08:42 -!- cimaster has joined. 19:08:47 -!- cimaster has quit (Write error: Broken pipe). 19:08:49 wouldnt it be funny if the individual frequented #esoteric? 19:09:15 It probably qualifies as an esoteric language 19:09:44 indeed 19:10:40 By the way 19:10:44 Their old site was much worse 19:11:30 https://web.archive.org/web/20131214191118/http://www.osmosian.com/page04.png 19:16:02 -!- ais523 has joined. 19:16:11 does it get any worse? 19:16:23 -!- atrapado has quit (Changing host). 19:16:23 -!- atrapado has joined. 19:16:43 huh, that's an interesting line to see out of context when you join a channel 19:16:53 :D 19:17:05 oh there have been quite a few 19:17:28 ais523: www.osmosian.com <- join the fun 19:18:40 We were talking about ol' Plain English 19:18:43 And this in particular : 19:18:44 https://web.archive.org/web/20131214191118/http://www.osmosian.com/page04.png 19:19:16 awesome 19:21:50 i dont get this guy's hardon for claude monet. 19:21:56 -!- begemott has joined. 19:22:07 -!- begemott has quit (Read error: Connection reset by peer). 19:22:40 -!- CADD has quit (Quit: leaving). 19:23:04 -!- CADD has joined. 19:25:46 im guessing this guy sees himself as some programming ARTEEST 19:30:25 -!- heroux_ has joined. 19:31:09 https://www.youtube.com/watch?v=0VdZR3deNdI 19:31:58 -!- nycs has joined. 19:32:23 -!- heroux has quit (Ping timeout: 250 seconds). 19:32:23 -!- `^_^v has quit (Ping timeout: 250 seconds). 19:32:27 -!- heroux_ has changed nick to heroux. 19:33:52 Why does feathercoin exist? Except to give ais523 nightmares 19:34:06 Sgeo: I don't have an objection to the word "feather" 19:35:38 lol, well the block chain has been found to be fundamentally broken recently 19:35:59 peercoin actually sounds sensible 19:36:02 CADD, ooh, do tell 19:36:48 laymans article about the topic by one of the guys that wrote the paper with a link to the paper in the article --> http://hackingdistributed.com/2013/11/04/bitcoin-is-broken/ 19:40:12 err 19:40:13 "under the best of circumstances, at least 2/3rds of the participating nodes have to be honest to protect against our attack. But achieving this 2/3 bound is going to be difficult in practice. We outline a practical fix to the protocol that is easy to deploy and will guard against the attack as long as 3/4ths of the miners are honest. - See more at: http://hackingdistributed.com/2013/11/04/bitcoin-is-broken/#sthash.cF1z946n.dpuf" 19:40:31 Am I losing my mind, or is 3/4 > 2/3? 19:40:39 Oh, I'm misreading it 19:41:04 -!- muskrat has joined. 19:41:24 Sgeo: yeah, that confused me for a second too 19:42:36 x-1/x probably has lim->inf = 1 19:43:28 mroman: agreed 19:44:25 the derivation of both is 1 19:44:37 yep. 19:46:40 "We're looking for people that want to sell Bitcoins on the Bittylicious platform" 19:47:04 "Our proposed fix raises the threshold to 25% if universally adopted. And, while there may be other fixes, no fix can raise it above 33%. - See more at: http://hackingdistributed.com/2013/11/04/bitcoin-is-broken/#sthash.cF1z946n.dpuf" 19:47:11 Much clearer than that other sentence 19:49:51 -!- [li]|Gaming has changed nick to LinearInterpol. 19:54:01 The comments are just... ugh 19:56:22 it's 2^8 PM :D 19:58:54 -!- tromp has quit (Remote host closed the connection). 19:59:30 -!- tromp has joined. 20:00:57 Sgeo: I tried to distill the information content of your posts but ended up with the empty set. Here's a gentle hint: if your arguments do not invoke math, they are not going to be persuasive, at least, not to technical people. 20:01:01 this. 20:01:19 arguments about what? 20:02:11 kmc: i wont post the comment. its pretty long and vacuous. just search a snippet of what i just pasted and look at the comment above it. 20:02:44 you're talking about this bitcoin stuff? 20:02:48 -!- Slereah has joined. 20:03:16 kmc: mhm. about the link i posted a little while ago 20:03:50 -!- tromp has quit (Ping timeout: 264 seconds). 20:05:19 -!- Slereah_ has quit (Ping timeout: 260 seconds). 20:06:29 -!- Taneb has joined. 20:08:48 Look, all you're doing is a syntactic match. You're finding words that sound the same in a random walk through concept space. 20:08:55 Wow, this man is on a roll. 20:09:10 I'm so stealing that line. 20:09:59 word salad 20:11:00 sure, but it accurately describes what the person being replied to was doing. as well as this is something i encounter a lot and the man put it so succinctly. 20:11:25 Nice paper, though they do not show that there strategy is optimal (and thus, the actual required pool sizes may be smaller.) 20:12:48 well, i dont think an proof of optimality is neccessary, just that an unfair advantage can be gained through the described process. 20:13:36 True, except for the claimed security against pools of 25% size with their fix. 20:14:47 you should tell him that then 20:14:55 (I didn't mean to distract from the key insight, which is, essentially, that immediately publishing a found block is not necessarily the best possible strategy.) 20:15:33 right right, very good point though 20:20:29 -!- madbr has joined. 20:20:33 sup 20:20:44 the ceiling 20:25:04 lol 20:29:20 -!- AnotherTest has joined. 20:38:33 fungot: sup 20:38:33 kmc: okay, that's fair enough. 20:38:48 fungot: too much is never enough 20:38:48 kmc: but i'll humor you with random comments 20:38:54 fungot: for a nominal fee? 20:38:55 kmc: that could work, but there seems to be the fbi field office, or sing sing, or something 20:39:08 fungot's going up the river for a good long time 20:39:08 kmc: from the eight language polyglot page: " 25 jan 2001 richard stallman the proper name is " fnord" 20:39:19 fungot knows the True Name of RMS 20:48:20 That was scary relevant. 20:48:31 At least the initial part. 20:49:12 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:50:52 * kmc pokes fungot 21:09:17 -!- sky__ has joined. 21:10:03 -!- sky__ has quit (Remote host closed the connection). 21:13:29 Nng, Chromium has somehow stopped making "g" a working keyword for a Google search. If I switch the keyword to something else (like "gg"), it seems to work; but not when it's just "g". 21:14:20 And "g" works if Google is not set as the default search engine. 21:14:30 I wonder if I can somehow have no default search engine. 21:15:01 It doesn't seem to be possible to delete the one set default. 21:20:22 You could not use chrome 21:20:48 I don't quite understand why it won't work, though. 21:21:32 It seems so very specific to "g"; if Google is set as the default search engine, "g" doesn't seem to work as a keyword for anything else; but other single letters (like "q") are no problem. 21:24:10 Well, I added a new search engine called "Gurgle", with the keyword "g" and a Google search URL, and set that as the default. That seems to work. 21:24:29 With the slight cosmetic issue that the bar now says "search Gurgle" instead of "search Google", but... 21:24:58 (Maybe I should've just switched to that duck thing?) 21:28:59 trying to develop a language where each statement contains a bunch of parts that can be evaluated in any order 21:29:22 where you could go 21:31:04 that seems like a feature and not a bug fungot 21:31:07 er, fizzie 21:31:28 switch to duckduckgo. 21:31:34 it's much better. 21:31:35 Two: whenever fungot's not responding, all the other characters should be asking "Where's fungot?" 21:31:37 destVector.pushBack(v), v=srcVector[n], !map.has(v) 21:32:10 Where's fungot? 21:32:10 fizzie: calculation of fnord fnord on. i want the old one is so that threads are a bitch 21:32:11 this means "add all contents of srcVector that isn't in map into destVector" 21:32:13 Oh, right there. 21:32:19 the compiler would compile it to 21:32:45 fungot doesn't like me anymore? :( 21:32:45 kmc: fnord annoying that way. and i never seen okoing before... 21:33:03 kmc: There's a limit of no more than four consecutive replies, which I'm sure you're aware of. 21:33:18 am i? 21:33:27 well I am now 21:33:40 I'm sure that was covered on fungot 101. 21:33:40 fizzie: not a quine: 21:33:43 for(int n=0; n like 21:35:07 the current tool I'm developping at work is a mountain of iterations on vectors, maps and json objects of various kinds 21:35:14 -!- tromp has joined. 21:35:25 and the syntax for that kind of manipulation is just too verbose 21:35:38 it sounds like logic programming 21:36:03 yeah essentially I'm trying to see if I can borrow from logic programming to make code less verbose 21:36:22 fungot: ook? 21:36:22 LinearInterpol: i'm about to go. with your ordinary font it's much less honest it's much easier to just register bsmnt_bot. that's the one 21:36:45 hmm. 21:36:48 fungot: fungot 21:36:48 LinearInterpol: there's some weird math thing about them comes from them being unary 21:36:51 same thing happens in c++ 21:36:57 -!- muskrat has quit (Quit: Leaving). 21:37:00 std::vector is nice and I want to use it a lot 21:37:14 but the resulting code is kinda wordy 21:37:54 the usual attitude to that is something like "the IDE helps you, man up and type more" 21:38:19 but even then the code turns into some sortof hard to read dense stuff 21:38:54 I could split it into functions more and use more curly braces but it would not make the code any easier to read and any less complex 21:39:23 the foreach() you see in python etc is a nice idea but I think it's kindof not enough 21:39:30 and it doesn't save you enough typing 21:41:25 and there's the functional idea of giving the vector a callback to what you want to do and have it loop 21:41:27 god damn it why are there only three Crystal Castles albums 21:41:51 but in usual programming languages (C++, java for me) that turns super hyper verbose and isn't something you want to ever do 21:42:19 i need at least five more to be happy in life 21:42:38 So I'm thinking that language development atm is optimizing the wrong thing 21:43:02 thankfully not all languages are C++ or Java 21:43:08 they should work on boring old loops and conditionals 21:43:31 in Haskell or Python or C# (LINQ) you can do very concise high level traversals & manipulations on data like that 21:44:07 python has syntactic whitespace.... which controversial 21:44:20 and if there's some pattern not already supported you can define and use it rather than duplicating code 21:44:20 but personally I'm under the impression that it's a good idea :D 21:44:55 actually C++ supports a lot of trickery too thanks to operator overloading & templates, but it can get pretty unmanageable 21:45:01 other languages have nicer ways to do those things 21:45:33 I like Haskell 21:45:40 I also somewhat like Rust 21:45:45 cool 21:46:40 usually I try to write my code to use the least possible curly braces 21:46:49 so I have a lot of early exits 21:47:07 and I've started to use continue and break in loops as well 21:47:47 and I try to make loop or conditional statements single line so I don't have to use braces 21:48:33 madbr: I think syntactic whitespace is a good idea as long as it's just sugar for an equivalent whitespace-insensitive form 21:48:45 so Haskell passes that test but Python doesn't 21:48:53 but I still use Python a lot because, meh, no language is perfect 21:49:00 I don't like Python but not for that reason 21:49:09 I... don't really like any language any more 21:49:22 I think you have to pick your fights 21:49:33 the worst consequence in Python is that lambda is so restricted, also that it's hard to code Python at a REPL 21:49:44 I guess I don't really know many languages 21:49:51 Really, I only know Haskell, Python, and C 21:49:56 Very much in that order, too 21:50:32 if you're writing sound rendering code, you can't have dynamic typing or garbage collection 21:50:33 Haskell is the language you know best? 21:50:37 kmc, yeah 21:50:40 interesting 21:50:51 madbr: do you know much about Rust? 21:50:51 so like 99% of sound code is C++ 21:51:06 I know it's a new interesting thing but I haven't ever used it 21:51:10 ok 21:51:12 I'll be learning Java next term, but I kind of want to get ahead 21:51:20 So the next I'll learn is Java probably 21:51:21 it's aiming squarely at the niche of systems code which can't afford garbage collection etc. 21:51:30 I've been meaning to learn loooooaaaaads of languages 21:51:34 it's a credible C++ replacement which is exciting because there are so few of those 21:51:39 right 21:52:11 Rust, Scheme, Common Lisp, Elm, C++, Go, Agda, JavaScript, etc, etc, etc 21:52:30 it has two exciting researchy ideas (move/ownership semantics, and region pointers) and the rest is just like let's design a systems language for 2010s instead of 1970, so you get real module system, real macros, pattern matching, etc. 21:52:34 taneb : anything you want to program in particular? 21:52:39 goooood shit 21:52:47 madbr, not really 21:53:10 I want to know enough so that when I think of something I'll be able to say "this language is a good fit" and just write 21:53:25 I've also been meaning to design a language for game sprite logic scripting, and there's nothing that fits that 21:53:38 I was writing a Haskell library that did that 21:53:40 lua is popular but lua isn't really designed for that 21:53:41 Never finished it, though 21:54:12 Taneb: Java is so depressing, it's just incomplete 21:54:30 lua is a nice dynamic language in the same family as javascript or python... and I'm not convinced that's what games need 21:54:30 and the designers clearly thought of themselves as smarter than the users 21:54:44 java is... well, it's usable clearly 21:54:50 but it makes you dead inside 21:54:50 Taneb: C# has the same basic concepts as Java but actually provides the tools you need to be effective with it 21:54:53 no idea how 21:55:12 kmc, unfortunately, I can't choose what language I'll use for at least the first year 21:55:30 2nd year of my course there's a module which is basically "all of them" 21:55:42 taneb: you should figure out what kind of company you want to work in 21:55:47 I like it when languages are designed around the idea that I do know what I'm doing, which is very different from being designed around the idea that I'll never make mistakes 21:55:48 what kind of stuff you want to code 21:56:47 I'd kind of like to be in web backends 21:56:52 For some bizarre reason 21:56:56 my interests are sound processing, game stuff so for me it's all about C++ 21:56:59 I'd probably hate it after a month, but anyway 21:57:44 and even some assembly if I can justify it (not very often unfortunately :D) 21:57:59 i love writing assembly 22:00:20 whoa, whoa, whoa, the game of life is only from 1970? 22:00:29 i thought it was from 1930 or something 22:00:32 shachaf, I'm only from 1994 22:01:05 My university is probably younger than some people in this channel 22:01:47 Taneb : which language do they get you started on? 22:01:58 madbr, Python 22:02:20 when I did CS at uni (only a year) it was C++ but they were going to switch to python like next year 22:02:45 I know some unis start with Java and others start with Scala 22:03:01 yeah some start with java 22:03:16 which... makes sense considering the market but is still kinda evil :D 22:03:19 python isn't bad 22:03:30 scala is functional no? 22:03:36 -!- VipSS has joined. 22:03:44 madbr, it's mixed paradigm, functional/OO 22:03:46 I think 22:04:02 sounds like a very academic approach 22:04:10 all languages are "mixed paradigm" 22:04:19 paradigms describe code styles not languages 22:04:24 Wonder how many still start with Scheme. 22:04:30 at best you can say that a given language suggests or discourages a particular style 22:04:41 madbr, this was Oxford, and they switch to Haskell later 22:04:50 i see 22:04:59 I have a colleague using Scala, and he keeps confusing me when he talks about the number of arguments a function takes (he doesn't count the implicit object from the OO paradigm part) 22:08:53 i like that 'self' is an explicit argument in Python, and that bound object methods are just partial application closures over 'self' 22:09:20 in Rust you write a 'self' argument as well but it's a keyword and has special syntax which is confusingly different from other args :/ 22:09:43 What's wrong with the implicit argument? 22:10:45 shrug 22:10:52 it's a vague aesthetic preference only 22:11:13 in Rust you need to write it because methods can take 'self' by reference or by value or other ways 22:11:45 mhmm 22:12:37 if you have «let x = ...; x.f();» and f takes self by value, then x is moved into the method call and using the variable x after that call is statically forbidden 22:12:41 which is a neat capability 22:12:46 o.O 22:12:47 thx god its sunday 22:13:04 @localtime VipSS 22:13:05 Local time for VipSS is 2013-12-14 23:13:04 +0000 22:13:29 I don't think it's Sunday there. 22:16:08 -!- yorick has joined. 22:16:18 i think it is so !!! wake up or sleep ! sundayyyy :( 22:16:35 `relcome VipSS 22:16:39 ​VipSS: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 22:16:51 VipSS: are you a bot? 22:18:03 yap 22:19:27 -!- tromp has quit (Remote host closed the connection). 22:20:03 -!- tromp has joined. 22:22:18 fiora fiori fio 22:23:08 fizzie: do you agree ? 22:23:19 -!- carado has joined. 22:24:05 -!- tromp has quit (Ping timeout: 240 seconds). 22:24:37 -!- pikhq_ has quit (Remote host closed the connection). 22:27:29 -!- carado has quit (Remote host closed the connection). 22:28:37 VipSS, hello how are you 22:29:37 -!- CADD has quit (Quit: leaving). 22:31:40 fungot, meet VipSS 22:31:41 FireFly: wonder if i can find about it 22:33:02 -!- carado has joined. 22:33:22 hi phantom , thx, d you ? 22:35:47 hey can we find a drink ?! i am ;) cheerrzz 22:36:48 VipSS: do you understand what this channel's about? 22:37:08 noo 22:37:43 tell me 22:38:06 it's about programming languages, specifically ones that are designed to be weird rather than useful 22:38:33 -!- pikhq has joined. 22:38:42 -!- pikhq has quit (Client Quit). 22:38:52 VipSS, ais523 is lying, it's hardly ever about that 22:39:19 -!- pikhq has joined. 22:39:19 Phantom_Hoover, it's supposed to be about that, though 22:39:37 Phantom_Hoover: I thought our rule atm was that people have to be at least interested in being ontopic on occasion 22:39:44 like, otherwise it'd just be #defocus 22:40:12 Taneb, yes, but primarily it serves as a centring point for all the other things we talk about 22:41:37 do you mean hacking and virus programs ! and you can talk about solutions ! 22:41:50 might as well 22:42:10 VipSS: not really 22:42:24 there's some overlap, but it's mostly about admiring things like ASCII-only code 22:43:26 -!- AnotherTest has quit (Ping timeout: 264 seconds). 22:46:28 i will tell my opinion about, after ... you know 22:47:53 joking , it is none of my interest , sorry guys 22:48:35 ais523: is it only about esoteric programming languages, not about esoteric code in other programming languages? 22:49:11 b_jonas: it's not really a stretch to make it about esoprograming generally 22:49:45 actually this is (or used to be) a good channel for me to ask when I have bizarre programming problems in general 22:49:58 because it tends to solve the problem you claim to have rather than the problem it thinks you have 22:50:04 and sometimes I have some very weird problems 22:50:07 ais523: oh sure, but I'm asking what epcifically counts as on topic 22:50:42 I remember going to #ocaml with a question that boiled down to "I have a sandbox that works like X for my marking script, now I need to convert a char to a string, but because of my sandbox I can't use the standard library, any ideas?" 22:50:55 btw, the solution is that strings are mutable in OCaml 22:51:03 so you start with an arbitrary one-character string 22:51:10 then concatenate it to the null string to create a fresh string 22:51:15 and then mutate the fresh string 22:51:24 What was the #ocaml solution? 22:51:39 Taneb: we were working on it together, that solution was what we came up with collectively 22:51:49 Oh 22:51:53 someone else mentioned using the standard library via the FFI rather than directly 22:51:59 I didn't pay much attention to that 22:52:05 but one of the students escaped the sandbox using it 22:52:11 hehe 22:52:12 so perhaps I should have done 22:52:39 but because I'm paranoid, there were two sandboxes 22:52:45 and they didn't escape the outside one, so all was well 22:53:16 at what level where the two sandboxes? the ocaml compiler and the operating system? 22:54:11 one was at the parser level, it rejected uses of unauthorized libraries via refusing to parse them 22:54:14 -!- pikhq has quit (Ping timeout: 264 seconds). 22:54:19 the other was Linux's syscall-based sandbox 22:54:37 that turns off all syscalls but reads and writes to files that were already opened in advance, exits, and returning from signal handlers 22:55:39 the sysadmins actually set up a VM for that, because it wasn't compiled into the kernel on the standard Linux build at our organization 22:55:44 -!- VipSS has quit (Remote host closed the connection). 22:56:09 so in html, I can use to have a server-side image map that submits a form, right? 22:56:50 err, no idea 22:56:56 I can believe that something like that's possible 22:56:59 but don't know the syntax 22:57:07 I'll try later 22:57:42 it's clearly possible but the question is whether it's possible without javascript 22:58:06 the html standard seems to say it's possilbe, but I'll have to test how much it works in browsers 23:01:57 I wonder if it's on http://caniuse.com 23:02:10 -!- pikhq has joined. 23:02:29 perhaps not 23:03:03 ais523: nice webpage, I haven't heared of that 23:03:31 it's not mine 23:06:58 let me check what that says about extra svg blending modes like http://dev.w3.org/fxtf/compositing-1/ 23:08:14 why do those have only the more expensive multiply and screen modes instead of supporting the faster add and subtract as well though? more expensive when alpha is involved that is. 23:08:46 nope, http://caniuse.com/ doesn't mentino these 23:20:52 -!- atrapado has quit (Quit: Leaving). 23:39:21 -!- Taneb has quit (Quit: Leaving). 23:47:49 -!- oerjan has joined. 23:53:15 -!- oerjan has set topic: [Just (), Nothing] >>= repeat | Set the controls for the heart of the sun | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 23:54:03 > [Just (), Nothing] >>= repeat 23:54:04 [Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Jus... 23:54:15 hmm? 23:54:22 yes? 23:55:12 (hint: compare to previous topic) 23:55:41 hehe 23:55:42 i lost it :( 23:55:53 su015315 -: NOTHING IS BEYOND OUR REACH 23:55:55 su015315 +: [Just (), Nothing] >>= repeat 23:55:57 (diff) 23:56:00 aha 23:57:11 aww. lol. 23:57:20 NOTHING IS BEYOND OUR REACH. 23:58:14 :t repeat 23:58:15 a -> [a] 23:58:16 err 23:58:26 since when was colon lambdabot syntax? 23:58:34 since always 23:58:42 only for :t and :k, though 23:58:51 right 23:59:05 so trying to understand that work 23:59:33 I mentally expand it into "do {x <- [Just (), Nothing]; repeat x}", is that the correct resugaring? 23:59:43 easier to just think of it as 23:59:50 concatMap repeat [Just (), Nothing] 23:59:52 ais523: yes