00:09:06 -!- arseniiv_ has joined. 00:10:02 -!- arseniiv has quit (Read error: Connection reset by peer). 00:11:54 -!- erkin has quit (Ping timeout: 252 seconds). 00:12:18 -!- erkin has joined. 00:59:53 -!- nfd9001 has joined. 01:21:36 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:36:13 -!- arseniiv_ has quit (Ping timeout: 246 seconds). 01:37:58 -!- copumpkin[m] has quit (Ping timeout: 252 seconds). 01:46:14 -!- copumpkin[m] has joined. 01:47:20 -!- nfd9001 has quit (Ping timeout: 244 seconds). 03:44:50 -!- XorSwap has quit (Quit: the creeping crawling chaos will return.). 04:14:50 -!- erkin has quit (Remote host closed the connection). 04:50:37 -!- S_Gautam has joined. 07:50:15 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 07:56:33 -!- xkapastel has quit (Quit: Connection closed for inactivity). 08:09:29 -!- nfd9001 has joined. 08:17:17 -!- AnotherTest has joined. 08:46:57 -!- S_Gautam has joined. 08:50:39 -!- sebbu2 has changed nick to sebbu. 10:42:36 -!- Essadon has joined. 10:56:28 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 11:01:59 -!- grumble has quit (Quit: Time to upgrade my IRC VM from Win 2k to XP. mIRC 4eva!). 11:07:05 -!- grumble has joined. 11:39:01 -!- nfd9001 has quit (Ping timeout: 250 seconds). 11:43:43 -!- nfd9001 has joined. 11:53:12 -!- AnotherTest has quit (Ping timeout: 252 seconds). 12:14:56 -!- xkapastel has joined. 12:28:32 -!- oerjan has joined. 12:50:36 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57994&oldid=57935 * A * (+0) "improved" my compiler 12:51:44 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57995&oldid=57994 * A * (+0) Forgot to change code size 12:55:40 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57996&oldid=57995 * A * (+23) Golfed my compiler(add explanation) 12:56:40 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57997&oldid=57996 * A * (+0) I forgot again. 13:00:07 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57998&oldid=57997 * A * (+0) Now my implementation is in my "USB". 13:02:21 -!- nfd has joined. 13:03:33 [[Brainfuck implementations]] https://esolangs.org/w/index.php?diff=57999&oldid=57998 * A * (+87) 13:05:41 -!- nfd9001 has quit (Ping timeout: 276 seconds). 13:25:38 -!- arseniiv_ has joined. 13:29:13 -!- sleepnap has joined. 13:32:43 -!- arseniiv_ has quit (Quit: gone completely :o). 13:32:52 -!- arseniiv_ has joined. 13:33:08 -!- arseniiv_ has left. 13:33:20 -!- arseniiv has joined. 13:56:06 I don't worry about the exact mechanism. <-- MAYBE YOU SHOULD. also it's warmer here today. 13:56:10 @metar ENVA 13:56:11 ENVA 111350Z 14006KT 090V190 CAVOK 19/06 Q1016 TEMPO 17015KT RMK WIND 670FT 15012KT 13:59:27 -!- oerjan has quit (Quit: Later). 14:01:22 oerjan: I'm sure there is a perfectly log-ical explanation behind that mechanism. 14:12:05 -!- AnotherTest has joined. 14:45:47 -!- nfd has quit (Ping timeout: 276 seconds). 15:03:57 -!- sftp has quit (Excess Flood). 15:04:18 -!- sftp has joined. 15:10:04 -!- wob_jonas has joined. 15:10:30 The mechanism may just be that oerjan comes in here very often, regardless whether he's summoned or not. 15:11:18 -!- ais523_ has joined. 15:14:09 -!- ais523__ has joined. 15:14:32 -!- ais523_ has quit (Disconnected by services). 15:14:34 -!- ais523__ has changed nick to ais523_. 15:15:42 hi ais523_ 15:16:22 nice, you're coming in earlier now. I'll no longer have the problem of staying up late at night because of an IRC conversation then :-) 15:16:35 (well, I will, but because of people other than you) 15:17:05 I won't be here long, this username has a specific purpose and it's become more specific/predictable over time 15:17:39 So the underscore has a meaning, just not related to this channel? 15:17:41 Ok. 15:18:00 oh, I thought it was common knowledge 15:18:09 the more underscores, the less control I have over my connection setup 15:18:34 one underscore typically means that I'm using a hotdesked or public-access computer (and is correlated with accessing over the web interface) 15:18:43 but that the setup is, apart from that, relatively sane 15:18:47 I didn't know about you in particular. I do know that some irc users use a different username depending on whether they join from home, work, or mobile or whatever. 15:18:59 At one point I used b_jonas from work and wob_jonas from home. 15:19:21 it used to have a range of causes, but by far the most common nowadays is that I'm at work and waiting for something to happen (typically a meeting) and have come onto IRC in the meantime 15:19:43 But some IRC clients append the underscore automatically when the original nickname is used, and that's how I used b_jonas_ for a while too, so I learned to just ignore underscore suffixes. 15:19:47 I think I ended up joining as ais523___ once 15:19:55 right, I'm still ais523, after all 15:20:11 you can see ais523_ on IRC as the equivalent of ais523 non-admin on the wiki 15:21:14 I see 15:21:36 I guess wob_jonas could be seen as that in relation to b_jonas... sort of 15:22:13 you nearly always have the wo nowadays 15:22:48 -!- sleepnap has quit (Quit: Leaving.). 15:23:10 hmm, this is the situation in which I normally post WIP esolangs on the wiki 15:23:14 but I'm not convinced half an hur is enough 15:23:17 *half an hour 15:23:32 so I guess I'll post on IRC instead 15:23:40 there's an analog tarpit I've been working on 15:24:27 there's only one declaration, of the form "a = indefinite integeral (b + c + d + … + y) dz, initial value V" 15:24:31 (of course that isn't the actual syntax) 15:24:56 also, one input is a clock and just increases continuously over time (otherwise there's no motive force to start the whole system going) 15:25:04 I believe this is Turing-complete 15:27:36 and it's about as simple as you can get with "continuous data, discrete code" 15:28:27 um, what kind of expressions can b, c, ..., y be? 15:28:46 they refer to other lines of the program 15:28:57 like, b will have a definition of the same form, etc. 15:29:26 so the whole thing's just one big circular definition (although you have base cases when the sum is empty, meaning that you're taking the integral of 0, i.e. a constant) 15:29:35 also, this one is funny, I looked more into the $ int_{-1}^{m} sqrt{1 - z^2} dz $ integral that I was talking about yesterday, and I'm more confused than ever about how it works 15:30:04 you can define a constant as "k = integral() dk" and use the initial value to specify the value of the constant 15:30:33 ais523: ah, so in the integral, you just have an unweighted sum of other terms? 15:30:36 other variables 15:30:37 then you can start defining functions like sin (using simple harmonic motion and the thing you're taking the sin of as the x in dx) 15:30:41 wob_jonas: right 15:30:51 wouldn't you need a minus sign to define sin? 15:31:05 because you can define constants, you can define multiplication by a constant easily enough (kx = integral k dx) 15:31:24 so the unweighted sums can be made into weighted sums easily enough (it's a tarpit, so why add weighted sums if you don't need them) 15:31:25 ais523: only positive integer constants 15:31:33 or nonnegative integer constants 15:31:35 no, the initial value is an arbitrary real 15:31:35 that you get that way 15:31:54 so you can generate a constant integrator by integrating 0 and sticking the constant in the initial value 15:32:11 integral 0 = C, after all (just like integral 1 = x+C) 15:32:33 so you don't have any restriction to positive integer weights 15:32:34 in particular, about that integral of mine, (A) on one hand, http://people.math.sfu.ca/~cbm/aands/page_13.htm formula 3.3.31 is confusing, because it uses $ d $ in two different meanings, but if I read it right, it normally has an arctan term, but in this simple case that one is cancelled out, 15:33:31 (B) ##math suggested me to evaluate the integral symbolically by a trigonometric substitution, like $ m = \sin \phi $ where $ \phi $ is a parameter between $ -\pi/2 $ and $ \pi/2 $ 15:33:46 which seems to work and leads to both an arctan term and a linear term, and 15:34:15 sorry, arcsin term (not that it's a big difference here) 15:34:51 now, once you have constant and multiply-by-constant and sin, you can create an integral of the form y=integral(…+sin y) dx, then that effectively "quantizes" y (to one set of points while x is increasing, to a different set of points while x is decreasing) 15:34:58 that introduces digital behaviour that lets you create a counter 15:35:30 from there it's just a case of creating a state machine that can read the counters somehow, that's the bit I'm hazy on how it works, there are so many promising approaches though that it seem almost impossible that you can't do it 15:35:32 (C) you can take the geometric interpretation of a circular section of height $ m - 1 $ of the unit circle, and compute its area as the difference of the areas of a circular sector and a triangle, which would explain how you get an arcsin term from the sector and a term with square root from the triangle. 15:35:57 ais523: oh, the initial values are given by the program? ok 15:36:17 ais523: but if it's "an arbitrary real" then why does it not get more powerful than Turing-complete? 15:36:30 sort of like the waterclock thing 15:36:59 possibly even in constant bound on the time variable 15:37:12 even starting with rationals I'm not certain it's computable 15:37:20 yeah 15:37:22 so I should really be saying "Turing-hard", not "Turing-complete" 15:37:34 although there might be something tricky that constrains this particular form of equation 15:37:44 I'm not any good at ODEs, so I can't tell 15:37:56 I'm wondering if it's computable due to the existence of numerical methods for integration 15:38:11 or if they necessarily hit singular cases which place a limit on how many decimal places you can compute 15:38:12 these are of a quite restricted form, they might not be as bad as some other ODEs 15:39:10 yeah... interesting, though I don't think I'll want to figure out anything about this particular one 15:41:12 anyway, the reason I like this language is that integrators and adders are two of the most fundamental components in analog computers 15:41:39 so most real-life mechanical analog computers should be able to implement it (although they'd likely run out of memory or accuracy very quickly if you tried to run a TC construction on them) 15:41:57 digital analog computers have the problem that digital integrators integrate d(time), not d(an arbitrary input) 15:42:09 which seems like it'd considerably reduce the power of the language (maybe not though?) 15:42:37 err, I mean electronic analog computers, not digital analog computers (which would be an oxymoron) 15:42:52 I'm so used to "electronic computer = digital computer" that it's easy to forget that electronic analog computers exist 15:42:53 wait, the z is an arbitrary variable that differs in each equation too? 15:42:54 whoa 15:43:16 (mechanical digital computers also exist, but are even rarer than mechanical analog computers) 15:43:29 wob_jonas: right, that's how I bootstrap up the computational power 15:43:42 it allows for things like "multiply by constant" (integrate the constant by the thing you're multiplying by) 15:45:02 "mechanical digital computers ... are even rarer" => that might depend on how you define a computer. would a calculator that can do multiplications or even divisions when you put an external (possibly non-mechanical) engine at its crank be a calculator? or do you only count complicated ones like ballistic computers and the Antikythera mechanism, mo 15:45:03 st of which are analog? 15:45:23 ais523: I see 15:45:50 that's definitely very powerful then 15:46:03 more so than I imagined, at least in simple programs 15:46:16 I don't know how far the power goes 15:46:41 and in that case I'm not sure how this is even well-defined, like when the z changes sign 15:47:01 if you count a mechanical calculator as a computer, I can see a decent (although perhaps ill-fated) argument for counting slide rules too 15:47:25 althought the mechanical calculator has more scope for modifying it to add control structures than the slide rule does 15:47:30 *although 15:48:08 I'm not sure if a slide rule alone can count as a _mechanical_ calculator 15:48:25 it generally only calculates well when a human is doing something nontrivial with it 15:49:06 sure, it can compute sines and arcsines, which many digital calculators can't, but that's just because it has a precomputed table built in 15:49:19 a precomputed table hardly makes it a powerful computer 15:49:36 well, the basic principle is "find the appropriate two dials for the operation you want to calculate: line the appropriate identity up against one of the inputs, then the answer is lined up with the other" 15:49:55 I'm not sure I'd describe slide rule tables as precomputed when they contain infinitely many entries, though 15:49:55 I mean, a printed sine table is more accurate and easier to use (but slower if you don't need that accuracy) than a slide rule for sines and arcsines 15:50:43 you can easily imagine a sine-taking device which looks like a micrometer; you dial the screw wheel to the distance from the origin that represents the value you want to take the sine of, then its angle represents the value of that sine 15:50:59 infinitely many entries? what slide rule do you have? 15:51:14 this is different from a precomputed table in the sense that it can handle all the intermediate values between wherever your markers are 15:51:42 I don't actually own a slide rule (apart from one I made myself out of cardboard, which wasn't very accurate and is probably long-since lost) 15:52:05 I don't own one either, but I have played with one my father owns 15:52:16 and I even played with one or two digital mechanical calculators 15:53:27 plus I have a photo of an old ornamental digital calculator https://commons.wikimedia.org/wiki/File:Wien-khm-kunstkammer-calculator.jpg 15:53:32 obviously I didn't play with that one 15:54:07 though mind you, the homepage of the Kunsthistorisches Museum Wien has decent quality videos of some other mechanical automata they have in their collection restored and running 15:54:31 they can be both quite spectacular and creepy, and also esoteric in the esolang sense 15:55:49 http://www.khm.at/en/visit/collections/kunstkammer-wien/video-channel/ 15:56:07 s/spectacular/beautiful/ 15:56:22 anyway, I have a meeting 15:56:26 -!- ais523_ has quit (Quit: meeting). 16:24:31 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 16:29:48 -!- lambdabot has quit (Ping timeout: 244 seconds). 16:30:28 -!- erdic has quit (Ping timeout: 272 seconds). 16:31:08 -!- erdic has joined. 16:34:13 -!- lambdabot has joined. 17:16:57 @bot 17:16:57 :) 17:20:14 -!- erkin has joined. 17:20:18 -!- erkin has quit (Read error: Connection reset by peer). 17:20:57 -!- oklopol has joined. 17:22:56 -!- Phantom_Hoover has joined. 17:22:56 -!- Phantom_Hoover has quit (Changing host). 17:22:56 -!- Phantom_Hoover has joined. 17:23:50 derp 17:24:43 just came to tell oerjan that i have to read his master's thesis :D 17:25:05 those pesky dimension groups... 17:26:49 -!- erkin has joined. 17:30:40 my god oklopol 17:30:43 you're still alove? 17:30:47 *alive 17:31:27 IF YOU CALL THIS LIVIN' 17:31:36 yes 17:31:55 you? 17:32:57 wow oerjan's full groups have continuous cocycles, things used to be so different 17:33:02 (this would be a lot more fun if he was here) 17:38:07 hmm https://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck lacks the "languages" and "brainfuck derivative" tags 17:52:44 seem to be alive 17:53:45 well, that is very cool 17:54:22 > map (length . filter (== 'o')) ["oklopol", "Phantom_Hoover"] 17:54:24 :1:38: error: 17:54:24 lexical error in string/character literal at character '\SI' 17:54:48 > map (length . filter (== 'o')) ["o"++"klopol", "P"++"hantom_Hoover"] 17:54:50 [3,3] 17:56:45 ooo 17:56:49 that's a nice observation 17:57:14 i don't get the error 17:58:13 -!- oob_jonas has joined. 17:59:18 int-e: throw in "Ho"++"olootwo" 17:59:47 int-e: and "Lord_of_Li"++"fe" 18:02:31 oklopol: the error is caused by the '' character which is usually invisible... but apparently Haskell doesn't like it, not even in strings.. 18:03:00 > chr (64 + ord '\SI') 18:03:03 'O' 18:03:36 a zero-width space would probably have done the trick. 18:05:55 We also have a nick with three 'a', a nick with three 'e', and a nick with three 'i' 18:07:23 int-e: you can use \& inside haskell strings, like "ok\&lopol" 18:08:05 . o O ( /nick overnationalization ) 18:08:28 int-e: also \\ like "ok\\lopol" I think 18:08:30 hmm 18:08:37 > "fo\&ob\\ar" 18:08:40 "foob\\ar" 18:08:44 no, not that 18:08:47 > "fo\&ob\ \ar" 18:08:49 "foobar" 18:08:55 that then 18:09:08 * int-e forgot about \& 18:09:28 Haskell string literals have a rather stupid syntax, but then, I've seen worse syntax than that 18:09:57 > '\& \&' 18:09:59 :1:3: error: 18:09:59 lexical error in string/character literal at character '&' 18:10:17 (I did not expect this to work... but it would've been fun) 18:24:16 int-e: put it all together, with all the names! 18:26:35 noooooooooooooooooooooooooooooooooooooooooooooooooooo! 18:28:10 dl 18:30:09 oerjan: OK, how should I worry about the exact mechanism? 18:32:14 shachaf: schedule one hour for it every day, that should do the problem justice. 18:33:01 I have too many things to worry about to dedicate a whole hour for this one. 18:33:41 Wel, clearly you're underestimating the issue at hand. 18:34:36 Just think about it, oerjan may be plucking your thoughts directly from your brain. 18:35:04 If that's true, I'd rather *not* think about it. 18:35:10 One less thing for oerjan to pluck. 18:35:11 Or perhaps you're just imagining that oerjan is replying to your comments. What is real, what is imagination? 18:35:18 So much to worry about. 18:35:20 :) 18:36:04 Maybe I'll worry about how I'm not worrying about all these things that I should be worrying about. 18:36:39 `grwp worry 18:36:41 ingesorgeco:Ingesorgeco is when a German is worrying that their money might get cut short. 18:37:11 hmpf 18:37:17 `dowg ingesorgeco 18:37:19 4628:2014-05-06 learn Ingesorgeco is when a German is worrying that their money might get cut short. 18:38:43 ah. 18:38:51 cute, but only *with* context. 18:39:34 What's the context? 18:39:35 https://esolangs.org/logs/2014-05-05.html#lBl ff. 18:39:54 or maybe just f. 18:39:57 Ah. 18:41:09 `coins --hebrew 18:41:10 ​מחייתcoin 18:41:18 `coins --hebrew 20 18:41:19 ​מכנסוcoin מנאסcoin וידפcoin התנשקוףcoin פרוצייcoin דנפלcoin גםcoin אנגלדופיוcoin אוריcoin ומקcoin וקנוcoin ואוביcoin המתוcoin נשמעאלוcoin ויסcoin והאילוcoin קפגcoin ומצוcoin בסגדcoin שזממתcoin 18:41:32 also I was blissfully unaware that `coins uses colors. 18:41:50 but now I know :/ 18:41:56 You're missing out on a whole rainbow of fun. 18:42:08 "fun" 18:42:16 \rainbow{fun} 18:42:48 http://int-e.eu/~bf3/tmp/tgit.html <-- I have my own rainbow 18:45:00 (horrible CSS animation trickery, but last time I checked it worked in Firefox, Chromium, and Safari) 18:47:09 -!- oklopol has quit (Ping timeout: 256 seconds). 18:53:31 -!- oob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 19:05:50 -!- erkin has quit (Read error: Connection reset by peer). 19:19:08 int-e: neat 19:20:08 int-e: Thank God It's Thursday? 19:42:48 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 19:48:25 -!- oklopol has joined. 20:35:19 Taneb: Yes. It works for Tuesdays as well. 20:58:37 -!- oklopol has quit (Ping timeout: 256 seconds). 21:11:52 -!- heroux has quit (Ping timeout: 246 seconds). 21:14:21 -!- heroux has joined. 22:06:58 -!- MDude has joined. 22:23:30 -!- AnotherTest has quit (Ping timeout: 252 seconds). 22:40:15 -!- Essadon has quit (Quit: Qutting). 23:20:28 -!- XorSwap has joined. 23:34:06 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:39:50 -!- zzo38 has joined.