00:09:24 -!- rntz has changed nick to rntz^2. 00:17:04 I had some dream (I think just yesterday/today) and I should put it into the computer today. First I am reading something else but then I will do, please. 00:17:24 Please? 00:25:00 Bike: always be polite 00:26:29 http://www.theonion.com/articles/dollar-tree-ceo-officially-unveils-longrumored-foi,32684/ do you get it 00:40:18 I didn't know you can measure compound interest in hertz. But now I suppose I can understand it. 00:40:47 (Maybe) 00:42:05 Bike: yes hth 00:42:21 good 00:45:36 -!- conehead has joined. 00:52:48 -!- oerjan has quit (Quit: Nite). 00:59:17 zzo38: Finally, a use for picohertz? 01:05:25 **** quantum computing 01:12:30 -!- tertu has quit (Read error: Connection reset by peer). 01:12:54 -!- tertu has joined. 01:13:53 pikhq: Yes, I suppose that would be a use for it, then 01:14:08 Hmm, can you represent compound interest as hertz? 01:14:13 I think you would run into issues 01:14:47 Because 1% every one unit of time is not the same as 10% every ten units of time is not the same as 100% every hundred units of time 01:23:57 I think exponentials may have to be involved somewhere, which, for a unit, is most odd 01:25:04 what about coexponentials 01:25:14 ... logarithms? 01:27:56 I think it's log $ / s 01:29:01 logarithm-dollars per second? 01:29:11 Yes 01:29:17 anyway coexponentials are left adjoint to coproducts or something?? 01:29:21 That is the unit of compound interest 01:31:19 I think € is closer to an SI currency 01:33:27 -!- ^v has joined. 01:34:20 the unit euro is stored in a french vault 01:35:30 Taneb: Yes I am actually also unsure, for the same reasons as you, too 01:36:17 Surely the SI euro should be standardized as a constant of nature, such as the daily expenditure of a physics grad student 01:37:22 Or perhaps the marginal cost of a strange quark. 01:37:36 just pin it to the big mac and call it good 01:38:31 Now the real question is, what's the planck unit of money? 01:39:04 i think the smallest seriously used unit of money i've seen was the average cost of a semiconductor 01:39:13 oerjan: how come https://en.wikipedia.org/wiki/Finite_presentation and https://en.wikipedia.org/wiki/Finitely_presented don't redirect to the same page 01:39:32 Yeah, but that's not Planck units. :) 01:39:52 oerjan: imo the former is v. obviously biased and should probably be more like the latter 01:42:36 Bike, what is the average price of a semiconductor? 01:43:46 a trillionth of a cent, or something like that 01:44:59 Bike: plz answer in dogecoins thx 01:45:35 So, about 1 DOGE. 01:46:05 Bike, another channel is asking what do you mean by "a" semiconductor 01:46:26 I'd guess "a transistor". 01:46:27 -!- tromp_ has joined. 01:46:49 Taneb: imo they can ask Bike directly if they care so much 01:49:28 -!- Bike has quit (Ping timeout: 250 seconds). 01:50:57 -!- Bike has joined. 01:53:00 i meant a transistor, yes 01:53:03 words are hard 01:54:02 and 'semiconductor' sounds cooler than 'transitor' even though just a stupid lump of silicon ore is semiconductive 01:54:51 Isn't... silicon ore most rocks? 01:55:34 Hmm 01:55:45 If time is money, then compound interest is log s/s 01:55:48 i'm not sure industrial silicon is extracted from silica 01:56:27 oh, it is 01:56:34 So compound interest is the logarithm of time to the timeth root 01:56:35 but anyway most rocks aren't silica 01:56:54 the way they get wafers is really cool https://en.wikipedia.org/wiki/Czochralski_process 01:57:22 Phantom__Hoover, Hexham's in sandstone country 01:57:48 If time is money, then BTC provides a means of converting electricity into time. 01:58:22 you can also convert electricity to money by, uh... selling it to people 01:59:20 Or by electrolisis of, uh... solutions containing gold? 01:59:42 pikhq, solutions containing € 02:01:39 a solid solution between £ and $ 02:02:17 kind of want to make a fully mechanical bitcoin miner now 02:03:02 Anyway, I ought to sleep 02:03:21 what if our universe is just the proof-of-work for someone's cryptocurrency 02:04:24 then i shall make fun of god on internet forums. 02:06:58 -!- yorick has quit (Remote host closed the connection). 02:25:23 There is various format tags for .MOD format; there is "M.K." which does not stand for Mahoney & Kaktus, but one tag used only once is "M&K!"; does that one stand for Mahoney & Kaktus, maybe? 02:29:33 -!- conehead has quit (Quit: Computer has gone to sleep.). 02:55:26 -!- carado has quit (Ping timeout: 264 seconds). 02:57:14 * Sgeo_ vageuly plans on buying some bitcoins 02:58:59 oh for god's sake 02:59:02 why 02:59:08 why the fuck would you do that 03:01:05 Worst that could happen is I lose some money, right? 03:01:21 yes but... argh 03:01:34 consider how many purchases you could justify with that. 03:01:42 particularly, any purchase 03:01:45 look if you want to speculate you are far better off learning about investment in general rather than following this one specific fad 03:02:27 I have noticed myself buying stuff more often when I'd usually try to make do with free alternatives 03:02:44 All the documentation for .MOD format seems pretty bad. Some documents say the Fxx effect sets the speed for the next line, although OpenMPT affects it on the current line. 03:02:57 zzo38: don 03:03:08 don't different players render .mods differnetly sometimes? 03:03:22 I think Phantom__Hoover wants some bitcoins for christmas 03:03:35 well if you want to give me free money i'm game 03:03:51 i think i even had a wallet, i wonder if it has anything in it 03:05:31 Sgeo_: That may be true in some cases (as far as I know, most players don't emulate the Amiga hardware filter) 03:05:50 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 03:07:23 -!- doesthiswork has quit (Quit: Leaving.). 03:07:41 -!- LinearInterpol has quit (Read error: Connection timed out). 03:08:36 -!- LinearInterpol has joined. 03:26:34 OK, I wrote about the dreams now 03:26:50 Tell me if you have anything in your dream to add to the report, too. 03:48:16 -!- Sprocklem has quit (Ping timeout: 246 seconds). 03:49:32 -!- muskrat has quit (Quit: Leaving). 04:08:03 -!- nooodl has quit (Quit: Ik ga weg). 04:32:19 -!- Edward___ has joined. 04:32:25 anybody home? 04:32:33 nope. 04:32:54 I'm not familiar with IRCs. 04:32:59 this is strictly for esolang? 04:33:00 Welcome! 04:33:08 Yep, this channel is Esolang's. 04:33:17 LinearInterpol: use the welcome msg 04:33:22 `welcome Edward___ 04:33:24 i can't backtick 04:33:24 Great, I have a few questions, could I ask you? 04:33:25 Edward___: 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.) 04:33:33 lol. 04:33:42 Edward___: sure, ask away. 04:33:48 (offtopic, but most messages here are off-topic) http://www.nytimes.com/1998/12/12/nyregion/slogan-causes-pencil-recall.html 04:34:16 Learned brainfuck about a year ago 04:34:23 "Do drugs" 04:34:26 smart advice. 04:34:28 And now I'm learning C, in order to work on my eventual undergraduate thesis 04:34:41 Which involves creating a language. 04:34:53 oh sweet! C is awesome. 04:35:07 So for a potential creator of a language... What's some broad advice you can give me? 04:35:14 Keep it consistent. 04:35:15 linearinterpol: Was that sarcasm? :-P 04:35:20 don't fuck it up 04:35:27 ion: about C or the drugs. 04:35:29 because both aren't. 04:35:30 :D 04:35:43 Thanks! I consider myself conversational with Python, and fluent in Java ;) 04:35:45 Edward___: have you taken a class in programming language design? 04:35:48 So C is a whole new beast. 04:35:59 but the cool thing about undergraduate theses is that nobody will care after you're done, so don't sweat it 04:36:02 No, I have yet to. 04:36:17 Well, my goal is to hope somebody cares, I want my PhD :) 04:36:18 Edward___: the key to designing a language is consistency. whatever symantics or syntax you give it, make sure it adheres to a strict set of guidelines. 04:36:38 -!- Sorella has quit (Remote host closed the connection). 04:36:42 design it in small chunks. 04:36:45 trust me, the only master's thesis anyone's cared about in the last two hundred years is shannon's, and you ain't him 04:36:51 Edward___: that would probably help. it forces you to become familiar with all the various paradigms, and the goals that are typically aimed at by language designers 04:36:52 Bike: +10. 04:36:56 Shannon's? Who is shannon? 04:37:04 claude shannon, look 'im up, cool guy 04:37:23 Great, I'd love to. 04:37:26 Thanks! 04:37:33 basically what i'm saying is, do take it seriously since presumably this has consequences, but don't worry too much about designing something that has to last 04:37:34 Also, I've learned a bit about paradigms. 04:37:52 Yeah, I got what you were saying :) 04:38:00 Edward___: how many paradigms have you written working code in? 04:38:06 Thanks for the advice nonetheless. 04:38:14 hmmm.... 04:38:33 I'd say 4 04:38:55 3 mains and 1.. extra? 04:39:09 Yeah, 3 mains and I looked at automata based 04:39:12 also, it's pretty easy to learn programming languages since you already know some. learn some that are far from what you know, like haskell or scheme (SICP is free and semi-about language interpreters) 04:39:20 since I'll be in the "Theoretical" focus for my major 04:39:22 or just both 04:39:29 LinearInterpol: the three main being imperative, functional, logical? 04:39:29 SICP is nice yet intimidating. 04:39:40 quintopia: correct. 04:39:40 Well shit, I find C completely different from Java and Python hahaha 04:39:51 well, it is 04:39:52 Edward___: get used to dealing with the "procedural" paradigm. 04:39:59 and manually managing memory. 04:40:00 but there are other completely different ones, see. lots of directions. 04:40:02 And yeah, imperative, functional, logical, and automata. 04:40:22 I like manually managing memory, because if I were to create a really indepth language, I should be good at that, yeah? 04:40:28 if you know automata personally i think writing a quick NFA regex engine is a nice way to learn something 04:40:31 Correct! 04:40:32 I like you. 04:40:42 Thanks! :) 04:40:47 I like me too, and I like your help. 04:40:47 We should hang out and discuss memory management schemes. 04:40:50 Edward___: i'd say it depends on what you're doing... 04:41:01 i like better languages which don't require such memory management :D 04:41:03 Well the thing is, I wouldn't have much to say about memory management schemes... 04:41:06 unless you want to lecture. 04:41:08 shachaf: “trypꙮphobia”. hth 04:41:09 so write one like that 04:41:11 loll. 04:41:19 wouldn't be the first time I've lectured. 04:41:28 last one I gave was non-determinism on deterministic platforms. 04:41:29 memory management is hard, but cool. obviously pretty hard to do well, what else is new 04:41:30 Well I'd love to listen. 04:41:45 or apparent deterministic platforms. 04:41:56 it was a snorefest. 04:42:04 ion: help 04:42:07 quintopia: I'd love to. I'd like to take care of memory management in my language (myself as opposed to letting another language do it) so that the user doesn't have to 04:42:17 hmmm... 04:42:18 what is context 04:42:21 Edward___: a word of advice. 04:42:21 Let me read up on that 04:42:29 very small word of advice. 04:42:31 start small. 04:42:36 shachaf: Do a google image search (or just a google non-image search if you’re squeamish). 04:42:41 you could use a language that has automatic memory management to implement your language and then neither of you would have to care. 04:42:59 i mean, just saying it's an option. 04:43:02 It's not caring, it's perfectionism haha :) 04:43:03 write a language that has context-independent instructions like brainfuck does. 04:43:13 I'd like to show that I can do it, for the purpose of getting attention ;) 04:43:23 oh man. 04:43:27 How would I begin writing said language? 04:43:33 Edward___: Design it. 04:43:37 literally. 04:43:41 like 04:43:49 Edward___: take a look at http://www.ravenbrook.com/project/mps/ 04:43:53 right now probably floating around in your head you have tons of ideas. 04:44:01 yet always keep in mind: everything reduces to symbols. 04:44:13 does 4 reduce to a symbol 04:44:19 4 is a symbol. 04:44:37 so.. 04:44:39 i never seen it sym 04:44:45 Edward___: here's some ideas you should be familiar with and consider: pure object orientation (smalltalk), contracts (eiffel), orthogonality (algol), minimizing initial learning curve (PHP and others), garbage collection algorithms (mark-and-sweep in particular), pure recursion/tail recursion (lambda calculus, combinator languages) 04:44:47 I have lots of ideas hahaha 04:44:59 "4 is a symbol. so..." hahahaha 04:45:24 I've read about garbage collection algorithms, so I'm familiar with a small aspect 04:45:34 effectively the simplest "language" is an alphabet with a bunch of rules applied to it. 04:45:40 but, I've also learned lambda calculus and some other related theory 04:45:44 here is a book on garbage collection http://www.cs.kent.ac.uk/people/staff/rej/gc.html#Book 04:45:53 I mentioned automata earlier for the following reason... 04:45:53 so, I mean. 04:45:57 you can start with that. 04:46:22 Since I am in that "theoretical" subfocus, I'll be doing a lot of boolean algebra, discrete math, numerical analysis, etc... 04:46:35 and automata are a big working point. Anyway... 04:46:40 tcs is great. hope you can hack it better than me. 04:46:56 thanks! I'll check it out. 04:47:03 automata theory is fun. 04:47:15 but I've learned a lot about language design just from little side-notes in books about the theoretical stuff. 04:47:22 a little* 04:47:23 Edward___: a small word of advice. if you want a phd in tcs, don't just be satisfied with discrete math. take every math class you can fit into your schedule, whether it seems useful or not. 04:47:36 i regret not doing that 04:47:39 I am, I will be taking calc 3 next semester. 04:47:43 so is your undergraduate thesis have some kind of criteria to it or is it just "show me a language implementation fucker" 04:47:44 and the following another math 04:47:47 does your* 04:47:57 Well that's the thing, I'm actually working ahead. 04:47:58 by like... 04:48:00 2 years. 04:48:05 Bike: I'd like to think that the criteria was worded exactly like that. 04:48:18 But, I want to have an idea, and honestly, I'd just like to learn. 04:48:38 Quintopia: did you get a phd in tcs? 04:48:53 Edward___: no i couldn't hack it. quit with a masters 04:49:01 Ah, gotcha. 04:49:11 That's nice to hear.... haha 04:49:11 lol. 04:49:14 calc three is vectors right 04:49:16 fun stuff 04:49:21 yeah, multivariate. 04:49:22 fuckin america 04:49:24 fuck vectors. 04:49:29 I like it! 04:49:30 fuck your magnitudes. 04:49:32 that has like nothing to do with computer science but it rules 04:49:39 calc three for cs was fun. but i hear actual calc 3 was very different 04:49:46 I only need a direction. MY MAGNITUDE IS INFINITE. 04:49:53 my school doesn't have a calc 3 for cs... 04:49:59 lame... 04:50:01 LinearInterpol: but you have no direction. heisenberg you know 04:50:10 calc 3 for CS means calc 3 dumbed down, fuck that 04:50:11 I'm uncertain. 04:50:20 it's like those 'math for biologists' courses that are uniformly shitty 04:50:29 well, probably. 04:50:29 ah 04:50:31 Bike: not dumbed at all. just different focus. 04:50:32 Bike: there's a math for biologists? 04:50:33 holy shit. 04:50:33 I'm a bio minor 04:50:44 LinearInterpol: sometimes. 04:50:53 Just finished my first semester of bio...bio 2107 04:50:55 one cell plus one cell equals.. 04:50:55 the joke of course is that biologists are scared of math 04:50:56 got an A :) 04:50:59 ...FACK 04:51:15 Owen White: "Math is to physics as CS is to biology." 04:51:17 nowadays everybody has to know python to treat data or w/e 04:51:23 haha what the fuck? 04:51:27 what the hell. 04:51:29 that. 04:51:30 that isn't. 04:51:31 what. 04:51:33 no. 04:51:34 that's dumb as shit, i love it 04:51:41 hm? 04:51:43 lol. 04:51:53 Edward___: http://www.youtube.com/watch?v=obCjODeoLVw 04:52:07 very wonderful talk. 04:52:09 Misattributed I assume? 04:52:38 I'll save that to watch once I log off :) 04:52:40 i can't even imagine what thought process could lead to that quote, i love it 04:52:41 it does make sense in one respect 04:52:53 "well it's about like, agents" 04:53:05 computational biology being somehow akin to mathematical physics 04:53:09 "AGENT SYSTEMS! BUZZWORD! that applies to biology, right?" 04:53:18 "...right?" 04:53:22 "..stop laughing." 04:53:26 Well, physics is naturally dependent on math, yeah? 04:53:38 And advancements in biology have most recently come from computers 04:53:45 so maybe not CS 04:53:46 physics is naturally dependent on the entire field of formal science. 04:53:48 -!- mauke has quit (Disconnected by services). 04:53:53 but computers 04:53:56 yeah, but advancements in blender manufacturing have most recently come from computers. 04:53:58 -!- mauke has joined. 04:54:03 hahahaha 04:54:07 Bike: don't forget toasters. 04:54:12 that's different, but point taken 04:54:21 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 04:54:28 CS is to X as CS is to Y. 04:54:31 Hey, it was at the beginning of a book on Bioinformatics (maybe an essay) written by the guy who basically founded the field. 04:54:36 fully general simile 04:54:45 And i liked it! 04:55:00 that quit message.... 04:55:09 the badger? 04:55:12 yeah hahahaaha 04:55:16 cute badger 04:55:26 Anyway.... 04:55:28 Edward___: here, let me sum up CS in a few words. 04:55:30 badgers are terrifying irl though 04:55:37 okay 04:55:40 listening :) 04:55:44 anyway, when people say physics is based on math they're not just saying math helps physicists, they're saying it's a conceptual underpinning. 04:55:50 which, well, really isn't true of biology at all. 04:55:53 LinearInterpol: do it like dumdledore 04:56:00 CS is like playing with invisible legos that you can make yourself, and when you arrange those legos in a certain way, you can do amazing things that you couldn't have dreamt of. 04:56:11 -!- preflex_ has joined. 04:56:13 and you have an unlimited building space. 04:56:15 i should probably use full sentences and punctuation but fuck that nerd shit 04:56:26 ^ 04:56:27 -!- preflex has quit (Ping timeout: 252 seconds). 04:56:29 what 04:56:36 -!- preflex_ has changed nick to preflex. 04:56:36 and an unlimited amount of legos. 04:56:43 that's not CS. that's programming. 04:56:50 Shhhh 04:56:54 I like it. 04:56:57 https://en.wikipedia.org/wiki/Paulien_Hogeweg oh, a woman. that's nice. 04:57:04 quintopia: oh shush your shit, it's CS. 04:57:09 You can make every saying a little fucked. 04:57:10 we're dealing with abstract machines and all sorts of theories. 04:57:14 let me play with invisible legos. 04:57:35 when i think of mathematical biology i just think of lotka though. 04:57:39 "Computer Science is no more about computers than astronomy is about telescopes" -- probably not Dijkstra 04:57:39 So let's say I'm building Brainfuck. 04:57:45 or like, volterra. volterra's cool. 04:57:55 elliott: love it. 04:58:00 or kolmogorov but he's just the best at everything. 04:58:10 Have you written a brainfuck compiler yet? 04:58:12 Edward___: choose your alphabet, choose your rules, construct an abstract machine, implement it. 04:58:25 elliott: P.N. Dijkstra is definitely my favorite computer philosopher 04:58:40 elliott: I have seen that quotations too, but I think I have seen it attributed to Dijkstra 04:59:04 Either way I like that quotation 04:59:08 too bad optics is probably cooler than computer engineering, on the whole. 04:59:17 Edward___: oh right, i was going to mention kolmogorov machines on the above list. something worth knowing about. 04:59:27 Great, I'll look it up :) 04:59:37 kolmogorov machines! 04:59:51 zzo38: I think it is apocryphal. 05:00:19 Well...the implementation. 05:00:22 That's my concern. 05:00:35 just try writing one. brainfuck compilers are really easy 05:00:43 LinearInterpol: Surely I approach the project differently from a Fibonacci program... 05:00:45 your implementation is certainly dependent upon your choice of rules/alphabet. 05:00:49 as a first approximation, you can just replace every character with a bit of C 05:01:00 Edward___: understand that this field is entirely arbitrary. 05:01:15 Bike: that is true 05:01:22 . = puts("") 05:01:43 the simplest interpreter would be iterating over a string of symbols and modifying some state. 05:01:45 more like putchar(tape[i]) 05:01:47 rather printf("%c",arr[i]) 05:01:50 yeah 05:01:51 that's about it. 05:02:02 you don't even need I/O. 05:02:04 then you can examine why this implementation sucks (does it work on invalid programs? does it tell you how a program is invalid? is it fast? is it safe?) 05:02:22 Bike: what do you mean? 05:02:29 what do i mean by what 05:02:32 analysis of all possible programs. 05:02:39 invalid programs, sorry. 05:02:40 and analysis based on a set of conditions. 05:02:44 As in with errors? 05:02:51 programs with* 05:02:53 Edward___: "++]" isn't a valid brainfuck program, yeah? 05:02:53 Edward___: such as.. [[] 05:02:55 or something. 05:03:03 Gotcha. 05:03:12 Okay great. 05:03:20 Y'all kick ass. 05:03:31 And here my mom is saying I shouldn't talk to strangers... 05:03:42 that's a lie-to-hildren 05:03:46 a useful one tho 05:03:54 if i ever meet you i will sell you methylenedioxymethamphetamine so she has a point 05:04:15 walter? 05:04:28 is that you? 05:04:29 Heisenberg? 05:05:40 goddamn has everyone seen that television programme 05:05:42 Programs without matched [] are invalid brainfuck programs; it is why I suggested once that if the program's input is from the same stream, you should use ] to separate the program from the input (even though most implementations use ! instead) 05:06:19 i agree using ] is much more elgant; no need to expand alphabet 05:07:36 my 112 byte BF interpreter uses that convention too 05:07:46 tromp_: downside is it makes debugging harder. not that usually bothers esolangers. 05:08:44 It also means that ! may be used in comments like in implementations with separate program from input would do, and using ] in case of some kind of Godel numbering, it can help too I guess 05:13:32 what's this about Gödel numbering? 05:14:12 i like numbers 05:14:27 numbers are fun. 05:15:14 kmc: For example if you want the low three bits per number as the first command, and so on, and ] is zero. Hofstadter always used decimal, although I don't like that much. 05:15:30 ah i see 05:16:00 methylenedioxymethamphetamine != methamphetamine, kids 05:16:18 the former is a lot more fun 05:17:15 methylenedioxymethamphetamine 05:17:24 enedioxymethamphe 05:17:34 dioxymet 05:17:40 oxy 05:17:45 x 05:18:03 hmm. yep. much easier to pronounce 05:18:51 also it's shaped like a lizard http://en.wikipedia.org/wiki/File:MDMA_(simple).svg 05:19:35 quintopia: i like your etymology 05:22:21 shit, it is 05:23:12 i met a guy who did research on psychoactive drugs and he told me that it's even more complicated than I thought 05:24:03 because two drugs which activate the same receptor with the same overall binding affinity might still produce a different distribution of receptor conformations inside the cell, which would trigger different signaling pathways 05:26:43 The entire report of my and other dreams are at: http://zzo38computer.org/misc/weird_dream/dream.txt They are in order of entry, which is not necessarily the order of occurence. 05:27:12 I know you can have fictitious events inside of other fictitious events, but what is it when you have a fictitious event logically *outside* of a fictitious event? (This happened in a dream once) 05:28:12 frame story? 05:29:25 I mean, it is actually inside and not outside, but it is logically as if it is outside. 05:29:38 zzo38: do you mean like waking up from a dream-in-a-dream? 05:34:43 kmc: No. My example is dreaming being someone else of even a different species or whatever, and then going to a place in the dream, that you have the belief that the real you has actually been there, even though that is fictitious and doesn't exist either. (And this belief cannot combine with the ones in context of the dream, due to the strange logic in use) 05:34:53 Hopefully that is clear enough to you? 05:35:34 you just have super weird dreams 05:35:39 i'm a bit jealous 05:38:15 Jealous? Are they so much weird compared to others, or is some other factor at work? Or, perhaps, both! 05:38:42 well, weird to me. i hardly ever dream. 05:47:19 When you do, what do you? 05:48:07 -!- kmc has set topic: [Just (), Nothing] >>= repeat | When you do, what do you? | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/. 05:48:18 I love that topic. 05:48:56 i'm sorry baby i had to crash that topic 05:49:05 oh i thought it was a kmc lyrics quote 05:49:11 but it turned out to be a zzo38 quote 05:49:14 "what's the difference" 05:50:48 zzo38, you are famous in the internet, apparently. 05:50:53 google your username. 05:51:29 zzo38: Do you have stairs in your house? 05:51:30 wait wait wait. 05:51:34 zzo38: NESdev? 05:51:39 whoa, whoa, whoa, i forgot about more-notation 05:51:43 Oh christ. 05:51:43 http://www.haskell.org/haskellwiki/User:Zzo38/Proposal_for_more-notation 05:52:00 Edward___: Yes I have seen, there is several things in there, whether it is links, random gibberish text, other people's writing, imposters, or unrelated things. 05:52:09 zzo38: Did the almighty kevtris bless you? 05:52:09 kmc: Yes, I do have stairs in my house. 05:52:14 http://zzt.org/fora/viewtopic.php?f=5&t=836 05:52:20 zzo38: Are you protected? 05:52:55 Good night y'all. How do I make my quit text that Badger gif 05:52:57 ? 05:53:04 Because that would make me happy. 05:53:14 LinearInterpol: I don't think so, but I do post in NESdev and do that stuff too 05:53:26 Give marshallh my best if you see him. 05:53:29 Edward___: you just specify the quit text after /quit 05:53:34 -!- Edward___ has quit (Quit: http://i.imgur.com/MHuW96t.gif). 05:53:38 * kmc claps 05:53:42 that boy is going places. 05:53:51 agreed 05:53:55 going to badgerland 05:54:05 the happiest place on earth!!! 05:54:08 zzo38: can I talk to you about accepting the 6502 as your personal lord and savior. 05:54:09 kmc: Protected? How? 05:54:17 zzo38: from the terrible secret of space 05:54:24 please. 05:54:36 LinearInterpol: You can try! However, I don't accept something as my personal lord and savior. 05:54:49 Aww, but it has decimal mode. 05:54:55 (Other than philosophical ideals, I suppose.) 05:55:12 LinearInterpol: The decimal mode doesn't work in the NES/Famicom. 05:55:15 can i be your shared lord and savior 05:55:32 shachaf: You can try, but I think not. 05:56:01 zzo38: That's why I'm reccomending you switch! 05:56:04 :D 05:56:35 it also just occurred to me that MOS Technologies is the Bender of the semiconductor world. 05:56:50 "I'm gonna go make my own architecture! With blackjack and hookers!" 05:56:53 runs on beer? 05:56:56 ^ and that. 05:57:09 also http://www.jaguarforums.com/forum/attachments/off-topic-6/46134d1371914998-count-100-000-pictures-bender_6502-jpg 05:57:16 see. 05:57:18 I was right. 05:57:26 fucking conspiracies. 05:57:33 doesn't this mean Bender is the 6502 of the robot world 05:57:51 * LinearInterpol headsplodes. 05:57:57 LinearInterpol: I would use the decimal mode when programming one that does have decimal mode working, but not for Famicom programs. 05:58:34 zzo38: screw the rules! decimal mode ftw! 05:59:32 LinearInterpol: ??? 05:59:48 x86 Classic also has some decimal mode stuffs 06:00:03 x86 classic is also modeled after the Z80. 06:00:17 AKA the heretic CPU. 06:00:20 and the Z80 is modeled after the 8080 06:00:23 "modeled" 06:00:49 just like the Tu-4 was modeled after the B-29 06:00:56 kmc: Yes it has some instructions for it, but I rarely program stuff in x86 assembly language anyways (except for a few small DOS programs; I have done a few) 06:01:09 (and once, a MBR code) 06:06:07 LinearInterpol: I doubt the 6502 has any instruction built in for either blackjack or hookers although I suppose the former is possible 06:06:36 kmc: damn right. 06:06:52 obligatory http://www.catb.org/jargon/html/story-of-mel.html 06:07:25 haah 06:07:38 obligatory is damn right. 06:09:59 I have seen story of Mel, too. 06:11:12 don't modern x86 boxes still support decimal mode if you're in real mode or something 06:11:25 in protected mode as well, i believe 06:11:28 but not in long mode 06:11:32 tertu: Yes, but not in 64-bit mode 06:19:33 What is your opinion of these things I added in this dreaming report by now? Furthermore, do you have anything to add or to correct any errors in the text? 06:21:08 Are you aware of any David Sirlin games? 06:33:52 -!- LinearInterpol has quit (Ping timeout: 260 seconds). 06:37:49 -!- jconn has joined. 06:39:13 http://i.imgur.com/lYjKKpx.png winter in san francisco 06:39:19 -!- tromp_ has quit (Remote host closed the connection). 06:39:52 -!- tromp_ has joined. 06:40:07 kmc: can we have that in real degrees plz 06:40:16 no 06:41:21 this channel is full of people from hexham and finland 06:41:22 *Real* degrees? Like angular measurements? 06:41:45 hexland 06:41:58 no, like real numbers greater than -273.15 06:42:04 real degrees, like ph.d. 06:42:30 * kmc wonders what complex angles would represent 06:43:47 > asin 3 06:43:50 NaN 06:43:56 oh, huh. 06:44:01 > asin 3 :: Complex 06:44:03 Expecting one more argument to `Data.Complex.Complex' 06:44:05 -!- tromp_ has quit (Ping timeout: 252 seconds). 06:44:07 no good? oh well. 06:44:11 > asin 3 :: Complex Double 06:44:12 1.5707963267948966 :+ (-1.762747174039086) 06:44:30 `run echo '@ASIN3' | ploki 06:44:33 nan 06:44:37 > asin 9 06:44:38 NaN 06:44:47 que es ploki 06:44:55 `run echo '@ASIN 0.5' | ploki 06:44:57 0.523598775598299 06:44:59 mauke: Does ploki just read from stdin? 06:45:10 shachaf: stdin or file 06:45:24 it can't execute from argv 06:45:56 You should make a `runploki command that reads from argv. 06:46:07 I'd do it but I'm not sure how much special character support is necessary? 06:46:17 tell me about ploki 06:46:58 kmc: it's a scripting language modeled after BASIC, Perl, and assembler code 06:47:47 shachaf: the main reason I haven't done that yet is that ploki insists on newlines between statements 06:47:54 which is awkward on the command line 06:48:36 You could use echo -e or something like that. But still awkward. 06:48:47 `run echo $'hello\nworld\n' 06:48:48 hello \ world 06:49:02 i like to do things like git commit -am $'blah\n\blah blah' 06:49:05 kmc: there is some documentation at http://mauke.hopto.org/stuff/ploki/ploki-0.6.5.1/doc/ 06:49:16 but like the rest of ploki, it's part of the practical joke 06:49:33 I know about $'' but it wouldn't work with an externally supplied string. 06:49:54 there's all sorts of fun hidden in the corners that the documentation doesn't cover 06:50:16 e.g. it's not obvious from the description of the syntax that ploki has literally no syntax errors 06:50:49 the only "error" it has is going into an infinite loop 06:51:25 this is based on an implementation accident when I first did the GOTO command 06:52:06 but I was quite pleased to discover _|_ being used both for errors and nontermination, 10 years later 06:52:57 unlike Perl it uses _ for concatenation (instead of .) 06:53:39 this is because at the time I didn't know about parsers and . was already part of the syntax for numeric literals (.123, etc) so I had to use something else 06:54:15 later on, perl6 also used _ for this purpose (but then they switched to ~) 06:54:52 because _ was taken, I needed another character to separate words in identifiers. I chose $ 06:55:24 and guess what? javascript does the same thing, treating $ as a letter! 06:56:10 conclusion: ploki is full of silly and stupid ideas but also weirdly prophetic sometimes 06:57:31 nice 06:58:47 it almost-but-not-quite supports functional programming via the @OMFG operator 07:01:05 ooh, and the documentation is written to make you build a nicely organized mental model of the syntax in your head (a program is a list of statements, a statement contains expressions, expressions look like this ...) 07:01:35 but other parts of the language violate this layering 07:01:51 if I had to write a formal grammar for it, I wouldn't even know where to start 07:30:38 Also in some C implementations the $ is also a letter 07:36:34 I looked at the ploki documentation, and some of the examples, and other stuff on the same server and found this: http://mauke.hopto.org/stuff/img/regex.png I don't know what the symbol in the circle is supposed to be but I think I can understand its meaning, at least. Therefore it also give me the idea to make a label/goto operators in a regular expression 08:07:04 http://i.imgur.com/qzstp.png 08:07:55 hell yea 08:12:10 -!- tromp_ has joined. 08:16:31 -!- tromp_ has quit (Ping timeout: 260 seconds). 08:25:54 -!- zzo38 has quit (Remote host closed the connection). 09:04:19 I might sing in public tomorrow 09:04:27 good luck 09:04:40 Hmm, Bike probably hasn't heard me singing 09:40:45 -!- tromp_ has joined. 09:45:15 -!- tromp_ has quit (Ping timeout: 250 seconds). 09:50:06 -!- Slereah has quit (Read error: Connection reset by peer). 09:50:21 -!- Slereah has joined. 09:58:35 shachaf: v. fascinating 10:05:02 -!- oerjan has joined. 10:14:00 @tell Taneb I think exponentials may have to be involved somewhere, which, for a unit, is most odd <-- "decibels" hth 10:14:00 Consider it noted. 10:14:17 @tell Taneb Also "bits". 10:14:17 Consider it noted. 10:14:25 -!- tromp_ has joined. 10:16:00 1 deciBel = 0.1 Bel 10:16:11 Nobody uses Bels though 10:16:31 Nobody also writes it "deciBel". 10:16:42 It's just "decibel (dB)".' 10:16:50 I think 6 decibels is twice the power 10:17:22 More like three. 10:17:39 indeed, officially only the abbrevations of units named after persons have capitalization. 10:17:50 newton (N), etc. 10:18:31 (Well, more like 10*log10(2).) 10:19:03 > 10*logBase 10 2 10:19:06 3.0102999566398116 10:19:35 -!- tromp_ has quit (Ping timeout: 272 seconds). 10:19:40 Though there's a factor of 2 that often appers in things related to decibels, because of some kind of a square. 10:21:17 amplitude vs. energy or something like that 10:21:55 Twice the amplitude is four times the power 10:22:14 Yes. So you need a 6 dB change to double the amplitude. 10:23:38 * oerjan wonders why they chopped off the "l" in Bell's name 10:24:30 I can only assume that cojazz is the dual of jazz 10:24:59 oerjan: That's still better than calling the unit "Alexander", though. 10:25:23 Then we'd be measuring sound and other thing in decialexanders (dA). 10:26:06 Sgeo_: Actually, jazz is self-dual 10:27:20 fizzie: A is already taken anyway 10:27:37 fizzie: have any units been named after someone's first name 10:28:11 dAlex 10:29:19 I can't think of any. I'm sure there's at least some "jokey" thing. 10:30:01 i see they mangled Napier's name even worse. 10:30:24 How about Kelvin, I guess that's not exactly a surname? 10:30:47 Given that it's "William Thomson, 1st Baron Kelvin" or some-suchg. 10:30:53 Yeah 10:30:56 well it's presumably a place name 10:31:04 Also re Bell -> bel, there's also Faraday -> farad. 10:31:16 hm right 10:31:24 (And Volta -> volt.) 10:31:38 He was lorded for what he did with thermodynamics though 10:31:51 The title came from the river Kelvin 10:32:25 Baudot -> baud. 10:33:18 (I'm going through Wikipedia's "List of scientific units named after people", looking for first names; none so far.) 10:35:12 i somehow associate the custom of nobles (or royals) having surnames distinct from their titles as something british. 10:35:54 Oh, helens (you know, 1 millihelen is the amount of beauty needed to launch one ship, and so on) are named after a first name. I guess. I mean, I don't suppose Helen of Troy has a recorded surname, anyway. 10:38:05 yeah i was thinking of explicitly excluding any units named after ancients, but couldn't think of any. 10:38:20 oerjan: Have you ever measured anything in oersteds? 10:38:41 @messages-loud 10:38:41 oerjan said 24m 41s ago: I think exponentials may have to be involved somewhere, which, for a unit, is most odd <-- "decibels" hth 10:38:42 oerjan said 24m 24s ago: Also "bits". 10:38:51 oerjan, yeah, I realised 10:39:18 fizzie: i don't think so. 10:40:09 Just thought you might have a natural affinity. 10:41:31 it seems to be obsolete (pre-SI) 10:41:55 also, i dropped out of physics about when i should have got seriously into electromagnetism. 10:42:38 allergic aversion to lab writeups, terrible case. 10:44:36 -!- AnotherTest has joined. 10:45:30 anyway coexponentials are left adjoint to coproducts or something?? <-- is there any category that has those and isn't obviously the dual of something more natural. 10:46:47 i note an absense of any prominent wikipedia link. 11:16:22 -!- tromp_ has joined. 11:18:56 -!- nooodl has joined. 11:29:28 -!- carado has joined. 11:50:49 -!- MindlessDrone has joined. 12:01:56 -!- tromp_ has quit (Ping timeout: 260 seconds). 12:24:08 -!- CADD_ has joined. 12:24:08 -!- CADD_ has quit (Client Quit). 12:52:40 -!- yorick has joined. 13:00:48 -!- tromp_ has joined. 13:01:25 -!- Sorella has joined. 13:02:02 -!- Sorella has quit (Changing host). 13:02:02 -!- Sorella has joined. 13:13:52 -!- tromp_ has quit (Ping timeout: 246 seconds). 13:43:37 -!- augur has quit (Remote host closed the connection). 13:44:05 -!- augur has joined. 13:44:30 -!- augur has quit (Read error: Connection reset by peer). 13:44:45 -!- augur has joined. 14:12:34 -!- tromp_ has joined. 14:18:37 -!- tromp_ has quit (Ping timeout: 272 seconds). 14:37:43 > [Just (), Nothing] >>= repeat 14:37:45 [Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Just (),Jus... 14:38:10 @type repeat 14:38:11 a -> [a] 14:38:35 > [Just (), Nothing] >>= cycle.([]) 14:38:38 Couldn't match expected type `Data.Maybe.Maybe () -> [b0]' 14:38:38 with actual type `[a0]' 14:39:03 @type cycle.([]) 14:39:05 Couldn't match expected type `a0 -> [a1]' with actual type `[a2]' 14:39:05 In the second argument of `(.)', namely `([])' 14:39:05 In the expression: cycle . ([]) 14:39:10 Why is that? 14:39:41 I thought [] is essentially \a -> [a] 14:40:16 :t [] 14:40:18 [a] 14:40:34 :t ([]) 14:40:36 [a] 14:40:47 (you want (:[]) ) 14:46:48 -!- conehead has joined. 14:56:09 -!- oerjan has quit (Quit: leaving). 14:56:37 > (:[]) 2 14:56:39 [2] 14:56:42 yeah 15:06:42 Robot monkey! 15:07:06 Note that (:[]) is just as long as pure 15:07:08 > pure 2 15:07:11 No instance for (Control.Applicative.Applicative f0) 15:07:11 arising from a use of `e_12' 15:07:11 The type variable `f0' is ambiguous 15:07:11 Possible fix: add a type signature that fixes these type variable(s) 15:07:11 Note: there are several potential instances: 15:07:36 That would work if something else depended on it being a list 15:07:50 :t cycle . (:[]) 15:07:52 a -> [a] 15:08:07 That's the same as repeat 15:17:17 -!- Frooxius has quit (Read error: Connection reset by peer). 15:17:48 -!- Frooxius has joined. 15:47:16 -!- Phantom_Hoover has joined. 16:07:02 -!- Frooxius has quit (Ping timeout: 240 seconds). 16:07:20 -!- Frooxius has joined. 16:14:25 -!- tromp_ has joined. 16:19:19 :t pure 16:19:21 Applicative f => a -> f a 16:19:37 :i pure 16:19:50 hm 16:19:56 > pure 5 :: Maybe Int 16:19:59 Just 5 16:20:02 so 16:20:03 it's the same thing as return 16:20:04 it's uhm... 16:20:12 except for applicatives 16:20:16 return for applictives? 16:20:59 :t lift 16:21:01 (Monad m, MonadTrans t) => m a -> t m a 16:21:20 -!- nooodl has quit (Ping timeout: 250 seconds). 16:21:22 > (lift id $ 5) :: Maybe Int 16:21:24 Couldn't match kind `*' with `* -> *' 16:21:24 Expected type: (->) (Data.Maybe.Maybe GHC.Types.Int) 16:21:24 -> Data.Maybe.Maybe GHC.Types.Int 16:21:24 Actual type: (->) (Data.Maybe.Maybe GHC.Types.Int) 16:21:24 -> Data.Maybe.Maybe GHC.Types.Int 16:21:46 Hm yeah 16:21:49 That does not work that way 16:22:35 Maybe Int does not fit into t m a 16:22:38 > arr id 16:22:41 No instance for (Control.Arrow.Arrow a0) 16:22:41 arising from a use of `e_1' 16:22:41 The type variable `a0' is ambiguous 16:22:41 Possible fix: add a type signature that fixes these type variable(s) 16:22:41 Note: there are several potential instances: 16:23:02 > (lift id $ 5) :: MaybeT Identity Int 16:23:03 Not in scope: type constructor or class `MaybeT' 16:23:03 Perhaps you meant `Maybe' (imported from Data.Maybe) 16:23:12 welp 16:26:03 -!- tromp_ has quit (Ping timeout: 260 seconds). 16:32:59 -!- tromp_ has joined. 16:37:37 -!- ^v has joined. 16:48:53 @let import Control.Monad.Trans.Maybe 16:48:55 Defined. 16:48:59 Try again 16:51:06 Although it won't work 16:53:55 -!- tertu has quit (Read error: Connection reset by peer). 16:54:23 -!- tertu has joined. 17:02:48 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:18:25 (>) :: IO t -> FilePath -> IO t; main = putStrLn "Hello, world!" > "foo.txt" 17:21:26 nice 17:26:30 What would you use for inequality? 17:30:50 | probably can't be used because of guard syntax 18:02:16 -!- carado has quit (Ping timeout: 246 seconds). 18:02:33 -!- carado has joined. 18:05:42 -!- tromp__ has joined. 18:06:18 -!- ^v has changed nick to VERSION. 18:06:50 -!- tromp_ has quit (Ping timeout: 264 seconds). 18:08:59 taking this NYT American English dialect quiz 18:09:03 "QUESTION 24 OF 25: What do you call a drive-through liquor store?" 18:09:24 I still don't believe they exist 18:10:04 http://gowally.com/blog/wp-content/uploads/2008/12/double_shot_liquor_guns.jpg 18:10:19 :( 18:10:45 Well, screw the real world I am going to watch the Hobbit again 18:10:57 drive through hobbits and rings 18:11:45 Drive-through volcanoes, for all your on-the-go ring-of-doom unmaking needs. 18:12:04 -!- jaydubzy has joined. 18:15:08 -!- andras_ has joined. 18:15:33 Hi 18:16:02 -!- andras_ has left. 18:16:22 * kmc dejectedly sets down his `relcome 18:18:23 `relcome 18:18:29 ​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.) 18:18:48 -!- zzo38 has joined. 18:21:02 `relcome zzo38 18:21:04 ​zzo38: 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.) 18:21:32 oerjan: wow, do you just hate duals 18:21:49 oerjan: you're like http://math.stackexchange.com/q/556921 18:31:51 -!- muskrat has joined. 18:33:25 -!- muskrat has left. 18:36:58 -!- LinearInterpol has joined. 19:04:48 -!- tromp__ has quit (Remote host closed the connection). 19:05:26 -!- tromp_ has joined. 19:10:19 -!- tromp_ has quit (Ping timeout: 272 seconds). 19:12:21 -!- Bike_ has joined. 19:13:34 -!- Bike has quit (Ping timeout: 252 seconds). 19:14:03 -!- Bike_ has changed nick to Bike. 19:27:16 FreeFull: there's always ¦ 19:28:48 Yeah, but that's an unicode character. Some people can't write it 19:29:26 THEY'RE ALL UNICODE CHARACTERS 19:29:30 THAT IS THE POINT OF UNICODE 19:29:31 ahem. 19:30:50 Sorry, I meant a character that's outside ASCII 19:31:20 Hm, I can't remember if altgr+shift+< is ¦ on windows se-qwerty too, or if that's a X11 thing 19:31:48 It's not printed on the keyboard, so I guess the latter is likely 19:31:54 ¦ is on the backslash/pipe key or me. 19:31:58 for 19:32:05 wow 19:32:05 <>|¦ is on one key for me 19:32:11 That outburst of rage 19:32:25 :D 19:32:29 Actually there are also many things that aren't available in Unicode, although all ASCII characters are available, at least, and many others (with a lot of confusing and redundancy and other complexities and stupid stuff, though) 19:32:42 zzo38: which characters aren't available in Unicode? 19:32:53 Klingon and most other constructed writing systems 19:33:03 though they have semi-official private use area allocations 19:33:28 * kmc . o O ( and yet Hangul is in the BMP ) 19:33:42 FireFly: probably not, I think someone went a bit crazy mapping altgr-everything in x's keymaps 19:33:50 wait, why wouldn't hangul be in the bmp 19:34:01 the joke is that hangul is a constructed writing system 19:34:11 We should probably switch to Vector Fonts 19:34:13 Indeed 19:34:22 If they don't already exist, I call it my invention . 19:34:22 | 19:34:24 oh. 19:34:37 it just happens to be the most popular one by like 5 orders of magnitude 19:34:39 so there's no encoding anymore at all 19:34:45 Ok, so | is different from the one with the space inside, although my keyboard's rendition of | has a space inside 19:34:46 Why 19:34:47 It's just Vector Graphics STuff 19:35:09 Sgeo_: I think http://www.wps.com/J/codes/ has far more than you could ever want to know on this subject 19:35:11 also... you wouldn't need a font anymore . 19:35:23 i think you'll fine most writing systems are constructed :colbert: https://en.wikipedia.org/wiki/File:Cangjie2.jpg 19:35:25 The text is already in vector graphics form. 19:35:40 wtf 19:35:55 "Legend has it that he had four eyes and four pupils, and that when he invented the characters, the deities and ghosts cried and the sky rained millet" 19:36:33 mroman: how would copy/paste work? 19:36:35 mroman: you know, being able to choose a font is actually an advantage. 19:36:46 Actually, no, copy/paste would work 19:36:57 But you'd be stuck with the formatting of the original, I think 19:37:17 Sgeo_: Why wouldn't that work 19:37:22 It's just character after character 19:37:39 The same way it works with Bitmap Fonts essentially 19:38:01 You have a fixed grid 19:38:02 like uhm 19:38:08 10px high, 8 px wide 19:38:16 Are there actual code-points involved, or is every 'character' just an image, with no way to compare between 'fonts'? 19:38:21 mroman: it's rather inconvenient to manipulate text when it's stored as individual strokes 19:38:30 A character is a description of its appearance 19:38:51 Ok, suppose I have a website written by a very smart person, but they used a Comic Sans like font 19:39:00 good supposition 19:39:02 I want to copy something they said into an email to some professional person 19:39:17 Sgeo_: is this person named Simon Peyton Jones 19:39:29 How do I do that while stripping the bad formatting? Or do I just say "Sorry, the person who wrote this used Comic Sans"? 19:40:26 -!- VERSION has quit (Quit: http://i.imgur.com/MHuW96t.gif). 19:42:24 or what if you want to, say, index or search or translate text 19:42:51 mroman: you could just store every document as an svg with no text in it 19:42:55 doesn't mean this is in any way a good idea 19:43:07 anyway, fonts don't have fixed grids, generally 19:43:13 (monospaced ones are the exception, and even then...) 19:45:16 i don't think i can remember any language-inventors more colorful than cangjie 19:45:25 oh. wikipedia has an article. 19:45:39 the process which takes a font and a sequence of codepoints and outputs a vector image is called text shaping and it's very complicated 19:45:40 well, none of them will be more badass than Sequoyah, anyway 19:46:10 Bike: true facts. 19:48:45 -!- iamcal has quit (Ping timeout: 245 seconds). 19:49:06 -!- conehead_ has quit (Ping timeout: 252 seconds). 19:49:12 -!- CADD has quit (Ping timeout: 246 seconds). 19:49:29 -!- _46bit has quit (Ping timeout: 240 seconds). 19:52:33 -!- iamcal has joined. 19:52:38 -!- _46bit has joined. 19:53:02 -!- _46bit has changed nick to Guest80779. 19:54:32 -!- CADD has joined. 19:55:49 -!- conehead has joined. 20:01:16 -!- ais523 has joined. 20:22:25 -!- xstefeN has joined. 20:33:29 -!- xstefeN has left ("Leaving"). 20:34:45 -!- constant has changed nick to function. 20:37:05 Learned today: the most arbitrary-looking numeric limit ever: http://sprunge.us/PeNV 20:37:33 haha 20:38:59 that's in the ballpark of 80 bits... maybe they added 80 bit support for x87 20:39:01 doesn't quite add up though 20:43:02 I guess it's something more complicated, since it's not even consistent: http://sprunge.us/ePMZ 20:43:17 ;_; 20:44:09 0x00001000000000000000000000000000 is also okay. 20:44:16 just gdb gdb. 20:44:24 Maybe it's some sort of "can be exactly represented in some type" kind of thing. 20:45:01 (It doesn't actually set the correct value even when it doesn't complain, if it's >64 bits, so...) 20:47:02 -!- Sprocklem has joined. 20:47:42 http://sprunge.us/cFNW yes, I'm going to go with "is exact for an 80-bit long double" kind of thing. (That has 64 bits of precision, as I recall.) 20:49:24 clearly you should put together a "wat" talk for GDB 20:50:47 one thing that really frustrated me is that there's no easy way to examine a memory operand of the form %fs:0x70 20:51:34 i ended up writing a .c file with «unsigned long foo() { unsigned long x; asm volatile("mov %%fs:0x70, %0" : "=r"(x)); return x; }» and compiling it to a .so and pulling it in with LD_PRELOAD and calling «print foo()» within GDB 20:51:46 bit roundabout although I'm very pleased with myself 20:54:06 You could probably write a macro, I've seen some quite hairy gdb macros. 20:54:35 how would it work though? 20:54:49 -!- AnotherTest has quit (Ping timeout: 272 seconds). 20:55:26 -!- wlee23 has joined. 20:56:55 Hrm. I guess you can't get the segment bases in any sensible way. 20:57:27 you could force the traced process to call arch_prctl(ARCH_GET_FS) 21:09:26 -!- LinearInterpol has quit (Ping timeout: 252 seconds). 21:10:23 -!- wlee23 has quit (Ping timeout: 272 seconds). 21:12:19 "“I had a sex dream about an autistic kid last night. #fml.".. are people offended by the 'kid', by the '#fml'... or just at the notion of sex with an autistic person? 21:12:50 Because if it's the latter, that's kind of offensive, to suggest that autistic people shouldn't have sex 21:13:00 yeah 21:13:11 i interpreted it as the "fml" 21:13:16 or perhaps the kid 21:13:19 but i'm missing the context here 21:13:31 'autistic kid' connotes someone who's not "high-functioning" and probably not capable of consent, to me, at least in that context 21:13:40 kmc: some PR person tweeted something offensive recently, and that quote was another tweet from earlier people got offended about 21:14:02 there's this reporter(??) who got suspended for tweeting something like "i'm going to Africa, hope i don't get aids, oh wait i'm white" 21:14:08 -!- oerjan has joined. 21:14:15 oh 21:14:18 http://www.theroot.com/articles/culture/2013/12/upper_level_pr_exec_tweets_that_she_is_going_to_africa_hope_i_don_t_get.html 21:14:40 -!- wlee23 has joined. 21:15:13 -!- wlee23 has quit (Client Quit). 21:15:21 yeah i don't see why you'd be offended by someone's dreams. presumably they have no control over such things. (on the other hand, why would you tweet your sex dreams?) 21:15:48 I may have made mention of some of my sexual dreams online 21:16:09 sgeo please stop 21:16:24 it's up to her who she wants to have sex with but saying in public that people in this or that group are unfuckable is an asshole move 21:17:08 i have definitely talked about sex dreams in #esoteric 21:19:40 i have this cool thing going where a) i'm a rich white guy b) i work in an industry with v. low standards for personal conduct c) i'm nobody and nobody really cares what i say 21:19:55 so i can talk about all kinds of embarassing things and it's fine 21:21:14 I think it's more along the lines of like, 99% of the time a privileged person talks about having sex with it's basicaly always either insulting or fetishization or some mix <.< 21:22:54 yeah 21:24:09 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:26:27 -!- doesthiswork has joined. 21:26:57 so I've been learning about the big personalities in the webcomic world. 21:27:32 * oerjan is starting to wonder exactly how rich kmc is. 21:27:50 I think a very exciting reality show could be created just by putting them all in one room 21:28:21 kmc actually owns Bike, shachaf and Gracenotes_ 21:28:37 to be clear, I think it's a good thing that I won't be fired for talking about sex dreams in #esoteric, but I don't think that should extend to racism sexism ableism etc. 21:29:03 you... think you should be fired for those things 21:30:04 if I act that way in public yeah, depending on circumstances 21:30:48 how far does 'public' extend 21:30:49 oerjan: well I have a job so I feel pretty well off by the standards of the new american economy 21:31:11 fancy 21:31:26 Phantom_Hoover: i dunno I don't really feel like getting into this in depth 21:31:34 ok 21:33:42 why are there 3 different incompatible systems for rating HVAC filter effectiveness 21:36:30 @google HVAC 21:36:31 http://en.wikipedia.org/wiki/HVAC 21:36:31 Title: HVAC - Wikipedia, the free encyclopedia 21:36:41 lambdabot: why thank you lambdabot 21:36:59 where's metasepia when you need it 21:37:18 @google HVAC definition 21:37:19 No Result Found. 21:37:37 @wn HVAC 21:37:38 No match for "HVAC". 21:37:52 kmc: it's because there's no such thing hth 21:38:15 -!- tromp_ has joined. 21:41:38 oerjan: heating and central air 21:42:15 that poor peripheral air gets no love 21:42:46 -!- ^v has joined. 21:43:41 Phantom_Hoover: he only has a lease on me! ...ok, no, i had a lot of debts ok 21:43:57 oerjan: sure it does. i know plenty of folks and businesses with window units. 21:44:06 well it is not uncommon for bikes to be owned anyway 21:46:07 -!- tromp_ has quit (Ping timeout: 272 seconds). 21:46:13 if kmc owns me p. sure he's obligated to fix me when i'm broken 21:46:16 like right now 21:47:30 shachaf: did you try sleeping? hth 21:47:38 yes hth 21:48:09 hth 21:48:46 kmc: Things like Klingon aren't the only things not available in Unicode. Also some of the characters (including control characters) from the Commodore 64 and other computers. (All of the PC characters are available, though.) 21:49:47 well, shit, shut it all down 21:52:36 -!- nooodl has joined. 21:55:05 shachaf: a dual killed galois, you know 21:56:04 @quote galois 21:56:05 sclv says: Q: Why are the adjunctions of Galois connections backwards? A: He never got the hang of duals. 21:56:16 :3 21:56:20 honk 22:07:58 -!- tromp_ has joined. 22:11:10 -!- conehead has changed nick to conehead_. 22:12:14 -!- doesthiswork has quit (Quit: Leaving.). 22:12:38 -!- wlee23 has joined. 22:12:59 -!- tromp_ has quit (Ping timeout: 272 seconds). 22:13:48 -!- Guest80779 has changed nick to _46bit_. 22:15:26 -!- Sprocklem has quit (Ping timeout: 240 seconds). 22:16:04 -!- Sprocklem has joined. 22:18:10 Today I found my favorite idea for a possible language. 22:18:25 Final Fantasy, where you have to code 200 lines before your program STARTS to have meaning. 22:19:12 that's in interesting esolang idea even without the refrence 22:19:17 *reference 22:21:02 isn't that fairly common depending on your interpretation 22:23:42 It's on the website, I stumbled upon it. 22:23:49 Haha, and yeah that is true. 22:24:00 anyway, y'all take care, I'm off to see Frozen. 22:25:19 -!- wlee23 has quit (Quit: https://encrypted-tbn3.gstatic.com/images?q=tbn:ANd9GcRwtqOc7l3gJkXIrqQ9aqc_5SuyF3V4TOltgZm8s3TMd9h_ZOb1). 22:30:32 Anybody know of a synchronization tool similar to rsync but with a source cache so it can avoid communication with the destination whatsoever if the source hasn't changed? 22:36:01 http://mashable.com/2013/12/21/gogo-justine-sacco/ 22:39:57 that's not a synchronisation tool Sgeo_ 22:51:22 * oerjan suddenly has this idea that someone should invent a drug that makes you forget which people are acceptable joke targets. then put it in the water supply across the northern hemisphere. 22:52:06 come to think of it, that might end up as a prelude to another remake of On the Beach. 22:53:57 or maybe a james bond movie. 22:54:14 -!- LinearInterpol has joined. 22:56:03 or perhaps a drug that makes you find _all_ jokes offensive. 22:56:41 oh, why not both. 22:57:51 you don't need to put the latter joke into the chinese water supply though, it wouldn't make a difference anyhow. 22:57:56 oops 22:57:58 *drug 22:58:18 putting jokes into the water supply really waters them down. 22:58:32 true fact. 22:58:37 makes the water taste funny though 22:59:22 hurrrrrr. 23:00:26 is it bad when your main prejudice against an ethnicity is that they're ridiculously sensitive 23:00:50 (hi swedes, chinese) 23:05:08 are swedes ridiculously sensitive? 23:05:19 (the difference is that the chinese are sensitive about themselves, while the swedes are sensitive about everyone else) 23:05:48 ah, right 23:06:44 the swedish press would certainly make it seem that way at least 23:06:54 I think they're trying to pit the overly sensitive half against the people who get outraged how people can be so overly sensitive and get offended by silly stuff 23:08:20 sounds profitable. also: timbuktu. 23:08:47 are swedes ridiculously sensitive? 23:08:48 yes 23:08:57 everyone is always asking me, "why do you hate the swedes" 23:09:07 -!- JM_329 has joined. 23:09:07 oerjan: there was some sort of controversy involving him, right? do you know what it was about? 23:09:11 as though i need a justification 23:09:26 olsner: no i don't remember 23:09:31 also oerjan that cake incident indicates otherwise 23:09:43 which cake 23:09:57 Phantom_Hoover: do you hate the swedes? 23:09:59 Hello 23:10:12 olsner, i don't hate you, you are the one exception 23:10:13 `wehlcome JM_329 23:10:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wehlcome: not found 23:10:20 `thanks Phantom_Hoover 23:10:21 Thanks Oerjan 23:10:21 Thanks, Phantom_Hoover. Thantom_Hoover. 23:10:23 my theory is that you were abducted from finland or norway at birth 23:10:42 `WeLcOmE JM_329 23:10:45 Jm_329: 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.) 23:11:02 My I know the topic, please? 23:11:53 it's right there in HackEgo's response. although i guess it's a bit heavy on the CamelCase. 23:12:24 it's about esoteric programming languages 23:12:38 we should really put that in the topic, but people prefer jokes for some reason 23:12:39 Okay...thanks Ais523 23:12:46 `pastlog development and deployment 23:12:53 -!- JM_329 has quit (Client Quit). 23:13:17 No output. 23:13:20 `pastlog development and deployment 23:13:33 2008-06-18.txt:00:01:28: -!- oklofok changed the topic of #esoteric to: The coolest ever international hub for esoteric programming language design, development and deployment | http://esolangs.org/ | Logs: http://tunes.org/~nef/logs/esoteric 23:14:14 ais523: i thought the welcome message was based on that old topic 23:14:25 it is 23:14:35 but you can't read it in the stupid welcomes 23:14:44 I think for new people, we should stick to the standard `welcome 23:15:35 It should say "development" rather than "deployment". 23:15:45 What does it even mean to deploy an esoteric programming language? 23:16:05 fungot: you're deploying befunge, right? 23:16:06 oerjan: i don't watch too many videos at home, somebody remind me to update my development platform, but hey, it's fun 23:16:22 * oerjan swats function for tab-shadowing -----### 23:16:23 :t repeat 23:16:24 a -> [a] 23:16:41 we should really put that in the topic, but people prefer jokes for some reason 23:17:01 we must never forget the importance of being unflinchingly humourless 23:17:19 seriously, though, it's basically impossible to use this channel for its intended purpose any more 23:17:27 and I consider social channels mostly uninteresting 23:17:45 -!- jaydubzy has quit (Quit: Lost terminal). 23:17:58 http://www.mscs.dal.ca/~selinger/papers/qlambdabook.pdf 23:23:56 -!- JM780 has joined. 23:24:43 hello JM780 23:24:43 -!- JM780 has quit (Client Quit). 23:24:51 goody JM780 23:34:42 ais523, I've found that when someone starts discussing esolangs everyone else normally follows 23:35:18 Taneb: no, like one person normally follows, for like 5 minutes :-(