00:01:59 -!- Eritzap has quit (Quit: Page closed).
00:10:11 <Phantom_Hoover> i remember reading that somewhere and being mildly sceptical but i've never been able to find another mention of it
00:12:01 <kmc> pointless cosmology
00:13:55 <boily> I picture the Universe as having the shape of a grain of cottage cheese.
00:14:03 <boily> a very large grain.
00:14:28 <kmc> All energy flows according to the whims of the Great Magnet. What a fool I was to defy him.
00:16:18 -!- Eritzap has joined.
00:16:41 <boily> kmc: it's a quote by hunter s thompson???
00:16:58 <Phantom_Hoover> i thought i was writing that in the kerbal space program channel
00:17:17 <kmc> kerbal space drugs
00:22:12 -!- Phantom_Hoover has quit (Quit: Leaving).
00:41:28 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
00:41:58 -!- Eritzap has quit (Quit: Page closed).
00:49:13 -!- Patashu has joined.
00:50:12 <HackEgo> [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=39456&oldid=39421 * CodingBat * (+16) Added Powerlist
00:51:58 -!- Patashu_ has quit (Ping timeout: 240 seconds).
00:58:16 <boily> I hate it when I seem to be reading some comments on reddit for the first time, and then a wild orange arrow appears, attached to a six month old comment.
00:58:35 * boily mapoles his memory back into working condition
01:02:37 <olsner> the key to making good use of your memory is to forget such stuff you have no use for
01:03:30 <boily> oh. so... forgetting reddit comments is a good thing?
01:04:17 * boily mapoles himself up the head a few more times, just to be sure and drive the point home. «c'est pour... ow!... mon bien!»
01:04:54 <kmc> I hate it when I seem to be reading some comments on reddit
01:07:10 <boily> hmpfh! phillistines...
01:14:16 -!- not^v has quit (Quit: http://i.imgur.com/DrFFzea.png).
01:14:42 -!- ^v has joined.
01:15:59 -!- tromp has joined.
01:16:46 -!- edwardk has quit (Quit: Computer has gone to sleep.).
01:28:30 -!- not^v has joined.
01:29:31 -!- ^v has quit (Read error: Connection reset by peer).
01:58:17 -!- boily has quit (Quit: CHALLENGING CHICKEN).
02:06:42 -!- Sorella has quit (Quit: It is tiem!).
02:12:18 <HackEgo> resocoin umbercoin codecoin millcoin msgcoin hydrivarmycoin liccoin iincecoin brainvigatacoin quiercoin jgdcoin fadrompcoin hevercoin alcedcoin 960096coin ometcoin *coin cuylicoin blacrcoin mazacoin
02:18:29 -!- ^v has joined.
02:18:35 -!- not^v has quit (Read error: Connection reset by peer).
02:24:56 -!- pdurbin has quit (Ping timeout: 252 seconds).
02:25:01 -!- nisstyre has joined.
02:30:03 -!- nooodl_ has joined.
02:30:48 -!- nooodl has quit (Disconnected by services).
02:30:50 -!- nooodl_ has changed nick to nooodl.
02:32:38 -!- ^v has quit (Ping timeout: 252 seconds).
02:33:34 -!- ^v has joined.
02:49:29 -!- BlueProtoman has joined.
03:02:06 -!- ludmilaa has joined.
03:02:28 -!- Frooxius has quit (Ping timeout: 245 seconds).
03:02:53 -!- ludmilaa has left.
03:15:55 <Bike> i'm reading a paper and realized it's the first time i've heard of parallel quantum computing, which is kinda weird
03:27:19 -!- nooodl has quit (Ping timeout: 276 seconds).
04:05:16 -!- nycs has joined.
04:06:05 -!- `^_^v has quit (Ping timeout: 246 seconds).
04:15:48 -!- drdanmaku has quit (Ping timeout: 245 seconds).
04:15:54 -!- ggherdov_ has quit (Ping timeout: 240 seconds).
04:18:47 -!- ^v has quit (Ping timeout: 252 seconds).
04:35:13 -!- drdanmaku has joined.
04:39:16 -!- Phantom_Hoover has joined.
04:51:20 -!- ggherdov_ has joined.
04:56:25 -!- MoALTz__ has joined.
04:59:38 -!- MoALTz_ has quit (Ping timeout: 276 seconds).
05:21:18 -!- tromp has quit (Remote host closed the connection).
05:21:51 -!- tromp has joined.
05:25:54 -!- tromp has quit (Ping timeout: 240 seconds).
05:30:01 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
05:32:00 -!- nisstyre has joined.
05:48:21 <HackEgo> [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=39457&oldid=38995 * 69.123.94.202 * (+29) /* Physics */
06:00:39 -!- Slereah_ has quit (Read error: Connection reset by peer).
06:00:59 -!- Slereah_ has joined.
06:03:34 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
06:11:25 -!- password2_ has joined.
06:16:13 -!- Sprocklem has quit (Ping timeout: 245 seconds).
06:22:50 -!- Sprocklem has joined.
06:28:52 <Bike> http://www.nature.com/nature/journal/v435/n7039/full/nature03484.html biology needs raytracers now~
06:44:11 <shachaf> elliott: How do you feel about lenses these days?
06:54:18 -!- BlueProtoman has quit (Ping timeout: 240 seconds).
06:57:22 <shachaf> Taneb: can you write a function :: forall k s t a b. (forall p. Profunctor p => (forall f x y. k f -> p x y -> p (f x) (f y)) -> p a b -> p s t) -> (exists f. k f)
06:57:39 <shachaf> you're all about lenses these days, right
07:00:30 <kmc> write a lens combinator which is analogous to the advanced cnidarian optics in the bio paper Bike linked
07:03:16 <Taneb> shachaf, I can't even make that typecheck and you've given me the signature
07:03:18 <Bike> how can i use coq to show that box jelly lenses allow more visual acuity than is actually possible due to the retinal distance
07:04:41 <Bike> i wonder if there's some sense in which proofs in the sciences are generally simpler than ones in mathematics, since the main practical issue is designing and running experiments
07:31:33 -!- MindlessDrone has joined.
07:33:03 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
07:36:55 -!- password2_ has changed nick to password2.
07:58:17 -!- JZTech102 has joined.
08:04:18 -!- JZTech101 has quit (*.net *.split).
08:04:23 -!- Melvar has quit (*.net *.split).
08:04:25 -!- nycs has quit (*.net *.split).
08:04:26 -!- impomatic has quit (*.net *.split).
08:04:27 -!- Taneb has quit (*.net *.split).
08:04:30 -!- maurer has quit (*.net *.split).
08:04:32 -!- jix has quit (*.net *.split).
08:04:33 -!- nortti has quit (*.net *.split).
08:04:33 -!- elliott has quit (*.net *.split).
08:04:34 -!- int-e has quit (*.net *.split).
08:04:35 -!- drdanmaku has quit (*.net *.split).
08:04:37 -!- FreeFull has quit (*.net *.split).
08:04:39 -!- shachaf has quit (*.net *.split).
08:04:40 -!- glogbackup has quit (*.net *.split).
08:04:42 -!- rodgort has quit (*.net *.split).
08:04:42 -!- erdic has quit (*.net *.split).
08:04:42 -!- skarn has quit (*.net *.split).
08:04:43 -!- jhj1 has quit (*.net *.split).
08:04:43 -!- myname has quit (*.net *.split).
08:06:09 -!- Melvar has joined.
08:06:53 -!- nycs has joined.
08:06:53 -!- Taneb has joined.
08:06:53 -!- maurer has joined.
08:06:53 -!- jix has joined.
08:06:53 -!- nortti has joined.
08:06:53 -!- elliott has joined.
08:06:53 -!- int-e has joined.
08:08:49 -!- oerjan has joined.
08:11:56 -!- drdanmaku has joined.
08:11:56 -!- FreeFull has joined.
08:11:56 -!- skarn has joined.
08:11:56 -!- shachaf has joined.
08:11:56 -!- glogbackup has joined.
08:11:56 -!- rodgort has joined.
08:11:56 -!- erdic has joined.
08:11:56 -!- jhj1 has joined.
08:11:56 -!- myname has joined.
08:17:20 <oerjan> <myname> https://twitter.com/michaeljhudson/status/462103006410858496/photo/1/large xD <-- ok what is wrong with that or am i not getting a reference.
08:20:06 <fowl> it looks like cloaca beads
08:20:24 * fowl just pooped a little
08:21:29 <myname> https://www.youtube.com/watch?v=_ThkQTo8-jI
08:23:49 <oerjan> i find it interesting that google suggests "cloaca beads" but shows up no relevant hits
08:25:05 <myname> you are not doing safe search, do you?
08:25:06 <oerjan> in fact putting it in quotes doesn't help.
08:25:16 <shachaf> You know the thing where you have two representations of something, where one is a collection of arguments and the other is a polymorphic result after applying one argument?
08:25:20 <oerjan> i don't think that applies to _text_
08:25:21 <shachaf> E.g. Yoneda and CoYoneda, Mu and Nu.
08:25:39 <Taneb> oerjan, it really does
08:26:12 <shachaf> Density and Codensity (only in one direction each)
08:26:18 <oerjan> also i definitely don't have safe search on.
08:26:40 <fowl> i forget u mammals have anuses instead of cloaca
08:27:15 <oerjan> oh it's fowl being foul
08:47:07 <oerjan> <Phantom_Hoover> is it true that gravity probe b was pointless? <-- i also read that by the time they got any results, others had bypassed them in quality.
08:47:45 <oerjan> because they never managed to control the stray em fields as well as they wanted to, iirc
08:48:23 <oerjan> @tell Phantom_Hoover <Phantom_Hoover> is it true that gravity probe b was pointless? <-- i also read that by the time they got any results, others had bypassed them in quality. because they never managed to control the stray em fields as well as they wanted to, iirc
08:48:31 <shachaf> oerjan: are you a kan extension expert
08:49:07 <oerjan> in fact i don't think i've ever known the definition.
08:51:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
08:52:41 <oerjan> <boily> kmc: it's a quote by hunter s thompson??? <-- somehow remided me of the first story in I, Robot
08:54:04 <oerjan> the one with the robot creating a religion worshipping an item in the space station
08:55:42 <oerjan> https://en.wikipedia.org/wiki/Reason_(short_story)
08:56:53 <shachaf> Hmm, if you link to the text of a short story, should you annotate the link with "(spoilers)"?
09:25:50 <shachaf> I want a word list with pronunciation metadata.
09:26:10 <myname> just switch to a more sane language
09:26:32 <shachaf> E.g. number of syllables, emphasis, rhyming or enough information that you can deduce rhyming...
09:27:21 <shachaf> That is an unusually unhelpful answer.
10:16:52 -!- conehead has quit (Quit: Computer has gone to sleep).
11:05:56 -!- yorick has joined.
11:16:55 -!- kallisti has quit (Read error: Connection reset by peer).
11:19:10 -!- nucular has joined.
11:19:10 -!- nucular has quit (Changing host).
11:19:11 -!- nucular has joined.
11:24:14 -!- oerjan has quit (Quit: leaving).
11:35:18 -!- Phantom_Hoover has joined.
11:51:07 <int-e> shachaf: a dictionary like http://www.speech.cs.cmu.edu/cgi-bin/cmudict might help.
11:54:05 -!- boily has joined.
12:08:51 -!- ^v has joined.
12:24:24 <fizzie> There is also the BEEP, and some others.
12:25:03 <fizzie> http://svr-www.eng.cam.ac.uk/comp.speech/Section1/Lexical/beep.html
12:31:49 -!- drdanmaku has joined.
12:38:37 -!- ^v has quit (Read error: Connection reset by peer).
12:39:04 -!- ^v has joined.
12:48:22 -!- Patashu has quit (Ping timeout: 240 seconds).
12:54:16 -!- Sorella has joined.
12:55:27 -!- mhi^ has joined.
13:03:54 -!- nooodl has joined.
13:18:28 -!- Frooxius has joined.
13:33:15 -!- AndroidKitKat has joined.
13:45:53 -!- tromp has joined.
14:01:55 <AndroidKitKat> How do I make it that the pointer moves according to the input.
14:02:02 -!- ggherdov_ has quit (Read error: Connection reset by peer).
14:02:16 <AndroidKitKat> The only way I can think of is laying down a "1" to make a path.
14:02:40 <AndroidKitKat> However, that would be a problem, because you might overwrite useful data.
14:03:17 <FreeFull> Not much you can do about that
14:03:37 <AndroidKitKat> So.... self modifying code's probably the only way then, huh?
14:04:56 <Jafet> It's called http://esolangs.org/wiki/Aura
14:06:01 <boily> AndroidKitKat: of course you can write self-modifying BF code :D just write a BF interpreter in BF, augment the innermost language spec with self-modifying instructions, then embed the code in the interpreter.
14:06:21 <Bike> "pointer moves according to the input"?
14:06:35 <FreeFull> I think you should use a higher-level language on top of BF anyway
14:06:52 <AndroidKitKat> Bike: I seriously don't know enough programming terms to talk properly. :<
14:07:13 -!- JZTech102 has changed nick to JZTEch101.
14:07:14 -!- JZTEch101 has quit (Changing host).
14:07:14 -!- JZTEch101 has joined.
14:08:24 -!- JZTEch101 has changed nick to JZTech101.
14:09:06 <Jafet> There are brainfuck data structures, such as arrays. Some even use constant additional space.
14:09:45 <Bike> whoa whoa whoa that's not really acceptable in the high-stakes legally fraught world of brainfuck programming,
14:10:17 <Jafet> We'll have none of that "scare quoting" around here
14:10:56 <AndroidKitKat> It's not really stealing though, because I just took his idea.
14:13:23 <boily> Jafet: what if I use “fancy” «quotes»?
14:14:23 -!- ggherdov_ has joined.
14:19:46 <fizzie> Also, no self-modifying code in regular brainfuck.
14:20:41 <fizzie> Oh, it was sort-of pointed out, I guess.
14:33:55 -!- nooodl_ has joined.
14:37:18 -!- nooodl has quit (Ping timeout: 240 seconds).
14:54:46 -!- password2 has quit (Ping timeout: 240 seconds).
15:10:19 <AndroidKitKat> fizzie: Unless you put the cells in the same memory space with the instructions.
15:32:28 -!- oklopol has joined.
15:41:28 -!- nucular has changed nick to nuculaway.
16:04:22 -!- password2 has joined.
16:25:31 <fizzie> Yes, but then it's not regular brainfuck.
16:26:21 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
16:41:05 -!- tromp has quit (Remote host closed the connection).
16:42:46 -!- nuculaway has changed nick to nucular.
16:47:35 -!- BlueProtoman has joined.
16:58:35 -!- BlueProtoman has left ("Leaving").
17:14:25 <Jafet> http://www.thingiverse.com/thing:255794 #kmc
17:15:13 <Bike> iso standard bonghits
17:18:07 <boily> OpenBong? what has this poor world come to...
17:19:06 -!- conehead has joined.
17:24:36 -!- oerjan has joined.
17:28:04 <oerjan> AndroidKitKat: you don't need self-modifying code, although you need at least two extra cells for shuffling things around with.
17:28:48 <oerjan> the easiest is to have extra cells between all pairs of "data" cells.
17:29:42 -!- nooodl_ has changed nick to nooodl.
17:29:59 <myname> https://github.com/fbrandel/ParisHilton.js
17:37:38 <oerjan> <boily> OpenBong? what has this poor world come to... <-- it could get worse, just consider the obvious letter substitution.
17:39:21 <int-e> oerjan: gongs aren't bad, hth
17:42:12 <oerjan> stackoverflow is so fickle.
17:42:52 <oerjan> i have this answer with most votes but it isn't the accepted one. and earlier i got accepted an answer with zero points when someone else had more.
17:42:53 -!- nooodl has quit (Quit: Ik ga weg).
17:42:54 <int-e> or "song" - have people tried using 3d printers for making records? (needs more resolution than 3d printers usually have, but I think I like the idea)
17:47:01 <oerjan> well i suppose the latter was because i answered a two day old question.
17:48:55 <oerjan> int-e: OpenKong, for your giant primate needs
17:50:29 -!- Phantom_Hoover has joined.
17:52:32 <Jafet> http://www.amandaghassaei.com/3D_printed_record.html
18:02:25 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
18:02:59 <boily> https://www.youtube.com/channel/UCsLiV4WJfkTEHH0b9PmRklw
18:03:29 <boily> oerjan: I reject your letter substitution and substitute my own.
18:04:24 <oerjan> boily: i didn't say what it was, how can you be sure you haven't just substituted it for itself twh
18:05:44 <Jafet> oerjan: http://makerlove.com
18:05:53 <boily> I'm more interested with the substitutions between substitutions. kinda like a substitution functor.
18:06:52 <oerjan> boily: covariant or contravariant? *gets hit by anvil dropped by overhead swallow*
18:07:15 <b_jonas> oerjan: conjugated actually
18:07:25 <b_jonas> that's how substitution on a substitution works if it's invertible
18:07:33 <oerjan> Jafet: i'm so not surprised.
18:10:59 * oerjan points at the space bar
18:11:24 * boily hugs his mechanical keyboard
18:12:02 * oerjan vaguely thinks boily hugs a lot of things
18:12:26 <oerjan> must be a side effect of this sanity he keeps speaking about.
18:12:51 <nortti> how does one vaguely think?
18:13:27 <oerjan> nortti: well you sorta like really in this way sometimes.
18:13:38 <oerjan> fungot: you're the expert here.
18:13:38 <fungot> oerjan: ( that that there can be more than one
18:13:49 <boily> nortti: it's one of the perks of being sane. it opens up all kinds of thinking!
18:14:18 <oerjan> wait i thought i was doing the vague thinking, and i don't recall making any claims of sanity.
18:14:56 <HackEgo> "But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here."
18:15:08 <boily> woot! my sanity is creeping up on oerjan ^^
18:16:22 <oerjan> a fate worse than too horrible too contemplate.
18:16:28 <oerjan> AndroidKitKat: problems?
18:16:38 <oerjan> have they added trollface to unicode yet
18:17:15 <AndroidKitKat> I thought I was being idiotic with my typing, turns out something was manipulating le keypresses.
18:17:32 <oerjan> the ghost in the machine
18:17:33 <boily> keypress is feminine. «la keypress».
18:17:58 <AndroidKitKat> I didn't even ealized I switched channels already.
18:18:34 <boily> oerjan: you probably want U+1F638 GRINNING CAT FACE WITH SMILING EYES.
18:18:54 <oerjan> boily: i don't think that's the image i'm imagining.
18:18:59 <boily> (also, HackEgo is on Python 2, therefore no shiny complete SMP support.)
18:20:00 <oerjan> `unicode GRINNING CAT FACE WITH SMILING EYES
18:20:01 <HackEgo> U+1F638 GRINNING CAT FACE WITH SMILING EYES \ UTF-8: f0 9f 98 b8 UTF-16BE: d83dde38 Decimal: 😸 \ 😸 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals)
18:20:13 <oerjan> it's a bit verbose about them, though.
18:20:43 <boily> eh? there was an upgrade? ooooooh...
18:21:03 <AndroidKitKat> Am I missing somethng here or is UTF-8 4 bytes according to that?
18:21:08 -!- metasepia has joined.
18:21:32 <boily> AndroidKitKat: U+1F638 is far, far away. therefore, four bytes.
18:21:35 <oerjan> AndroidKitKat: quite possibly.
18:22:22 <oerjan> that's the official max unicode value, unless they've changed it again.
18:22:46 <boily> `thank AndroidKitKat
18:22:47 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: thank: not found
18:22:52 <nortti> AndroidKitKat: Hank you, too
18:22:52 <boily> `thanks AndroidKitKat
18:22:53 <HackEgo> Thanks, AndroidKitKat. ThAndroidKitKat.
18:22:54 <lifthrasiir> any change to the bounds will cause an introduction of surrogate-surrogates
18:23:24 <boily> haven't they learned that surrogate pairs are evil once?
18:23:46 <oerjan> boily: i'm not sure if it's an upgrade or simply downloading a better working unicode program.
18:23:56 <lifthrasiir> (and it *will* continue to be used due to the pervasiveness of ECMAScript)
18:24:26 <kmc> that's right :(
18:24:29 <boily> Gregor: did you change anything re HackEgo recently?
18:24:59 <oerjan> boily: it wasn't Gregor
18:25:49 <kmc> although V8 can store strings as ASCII too
18:25:59 <kmc> and SpiderMonkey people are considering doing something similar
18:26:16 <kmc> and even if they don't, I want Servo to store UTF-8 in the DOM and only convert to UTF-16 when necessary
18:26:26 <oerjan> boily: it seems to be Jafet's work
18:27:56 <oerjan> starting with a `fetch of a debian file
18:29:33 <kmc> i kind of wish that Unicode had assigned compatibility codepoints for lone surrogates
18:29:47 <kmc> since they are basically individual characters in UCS-2 as implemented by ECMAScript
18:30:04 <kmc> and Unicode is supposed to be round trip compatible with legacy character sets
18:30:45 <b_jonas> kmc: I've sort of met something like that
18:31:38 <b_jonas> kmc: namely, when we changed perlmonks' official encoding to cp1252 (new version), for a while we've had the problem of how to encode into xml the few bytes that aren't valid characters in that encoding
18:32:01 <b_jonas> I think eventually we made them encoded to the high control characters with the same code
18:32:12 <elliott> why on earth would you change encoding to cp1252...
18:32:28 <Bike> to keep everybody on their toes
18:32:31 <b_jonas> elliott: it was iso-8859-1 before,
18:32:41 <Bike> garbage in garbage out
18:32:49 <b_jonas> elliott: come on, it's like 15 years old now!
18:33:07 <b_jonas> elliott: and the gods don't have time to apply even my simplest patches
18:33:09 <Bike> doesn't new perl use like, guillemets and shit? cp1252 must be a fucking adventure
18:33:15 <b_jonas> converting the whole thing to unicode would be impossible
18:33:55 <Bike> note to self, do not start using perl
18:34:16 <b_jonas> besides, you can put any character in the posts by amp-escaping them
18:34:31 <boily> Bike: you know you want to.
18:34:31 <b_jonas> (except in magical code tags where you can't, which is bad, but it's not easy to solve)
18:34:56 <HackEgo> [wiki] [[Symbols]] http://esolangs.org/w/index.php?diff=39458&oldid=39439 * Oerjan * (-12) against policy
18:34:58 <Bike> i really don't, if this is what they're doing
18:35:08 <Bike> i have enough trouble with line endings
18:38:40 <HackEgo> [wiki] [[ND]] http://esolangs.org/w/index.php?diff=39459&oldid=39440 * Oerjan * (+20) lowercase template
18:39:40 <HackEgo> [wiki] [[Tubes]] http://esolangs.org/w/index.php?diff=39460&oldid=39449 * Oerjan * (-17) Undo revision 39449 by [[Special:Contributions/Lucasieks|Lucasieks]] ([[User talk:Lucasieks|talk]]) (Against policy)
18:41:09 <Bike> http://esolangs.org/w/index.php?title=Main_Page&diff=next&oldid=37905 this is good stuff oerjan
18:41:44 <oerjan> my prediction doesn't seem to have held yet
18:42:35 <oerjan> b_jonas: in the previous edit summary, which was also a Lucasieks undo
18:48:37 <HackEgo> [wiki] [[Powerlist]] http://esolangs.org/w/index.php?diff=39461&oldid=39455 * Oerjan * (-2) sp
18:54:18 -!- boily has quit (Quit: NAP).
18:54:19 -!- metasepia has quit (Remote host closed the connection).
19:09:27 <elliott> oerjan: I will block if it happens again
19:11:08 <myname> tubes looks interesting, but too bad it's not fully specified in the article
19:11:20 <oerjan> i should buy peanuts. wait i have peanuts, i just think of them as chocolate because they're covered in it.
19:12:30 <myname> could someone explain the difference between the movers in tubes?
19:15:31 <myname> okay, i still don't get it
19:20:06 <oerjan> you'd think you'd need 3d for tubes to work
19:20:22 <oerjan> wire-crossing problem and all that
19:20:58 <myname> i just don't get what the double-tubes in the first example are for
19:20:59 <b_jonas> oerjan: can't you avoid that by like using spare scratch memory cells that you set to the right value to cross a crossing?
19:21:42 <oerjan> b_jonas: i'm not talking about the actual Tubes language here
19:21:51 <oerjan> just musing about the meaning of the words
19:22:11 <b_jonas> you're _not_ talking about the tubes language
19:22:43 <oerjan> you may have heard about this real-life thing called "tubes".
19:23:03 <b_jonas> the ones in the wall carry water, the ones outside carry gas
19:23:05 <oerjan> in which fluids may pass. they can be used for computation.
19:23:20 <b_jonas> yes, I've seen such a thing too but it's impractical
19:23:40 <oerjan> we don't have much gas tubes in norway.
19:24:08 <b_jonas> sure you don't, you just pay for all the electricity and don't care about how inefficient it is. I know most countries are like that.
19:24:20 <b_jonas> it's easier in more densely populated areas like here, mind you
19:24:34 <oerjan> actually norway has the cheapest electricity in europe. used to be even cheaper.
19:24:46 <oerjan> unless i'm gravely mistaken.
19:25:00 <oerjan> because our country is littered with hydroelectric dams.
19:25:25 <oerjan> although this new apartment actually has remote water heating.
19:25:41 <oerjan> which hardly existed a few decades ago.
19:27:35 <b_jonas> yeah, I hear it's hard because the ground is too cold and if it stops for just a few minutes for an error during the winter all the pipes freeze and are impossible to restart
19:27:53 <b_jonas> we don't have that problem because the pipes that are just a few meters below never freeze
19:28:41 <oerjan> nothing bad happened over the winter here, but they were closed for repairs during summer.
19:29:17 <b_jonas> yeah, it might work better than what I imagine because they actually do regular maintenance there :)
19:30:02 <oerjan> well it's a new building, they'd better get it working to start with.
19:30:16 <oerjan> other than that, norway isn't known for being good at maintenance.
19:47:10 -!- password2 has quit (Ping timeout: 240 seconds).
20:02:17 <augur> https://www.youtube.com/watch?v=dfoLe5oWb9I
20:12:11 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:15:44 <HackEgo> havecoin larcoin kvilcoin enigcoin mimsyoncoin eplatlcoin mortgcoin miccoin zsakingpetudecoin dna#coin fugicoin waduliecoin self-modicoin etarelacoin bookcoin villerecoin sercoin lawocoin chrcoin ryecoin
20:15:58 <kmc> self-modicoin!!!
20:17:41 <Bike> proof of work is submitting a new proof of work method
20:19:54 <b_jonas> wait, there's a comic for that
20:21:05 <b_jonas> Bike: http://www.xkcd.com/1121/
20:22:02 -!- AnotherTest has joined.
20:23:48 -!- Scaev has joined.
20:29:10 <oerjan> is there an xkcd comic about how there is always a relevant xkcd comic, i cannot recall
20:31:12 <b_jonas> oerjan: I don't either. It's only partly that there's always a relevant xkcd strip, the other half is how it's also possible to find it.
20:31:46 <b_jonas> There are other comics where I keep wanting to find the relevant strip, but there's no transcript and the comic is long and not in any sort of sane order and has no sane strip titles.
20:32:31 <fizzie> I always have to reread about half of isometric before I can find what I'm looking for.
20:32:51 <kmc> there is always a relevant goatkcd comic
20:33:50 <oerjan> what is the xkcd comic about those xkcd comics which are not relevant to themselves
20:34:25 <fizzie> I tried to use the relevantxkcd site to find the xkcd relevant to there always being a relevant xkcd, but the result wasn't very relevant.
20:34:55 <oerjan> fizzie: you probably got it mixed up with ironic hth
20:41:55 -!- nisstyre has joined.
20:45:54 -!- Scaev has quit (Quit: Quitte).
20:50:55 -!- oerjan has quit (Quit: Nite).
21:10:50 -!- fowl has quit (Quit: rebooting).
21:23:37 -!- MoALTz__ has quit (Quit: brb).
21:23:48 -!- MoALTz has joined.
21:24:14 -!- nisstyre has quit (Ping timeout: 245 seconds).
21:26:26 -!- Eritzap has joined.
21:40:01 -!- AnotherTest has quit (Ping timeout: 250 seconds).
21:45:23 -!- mhi^ has quit (Quit: Lost terminal).
21:46:50 -!- Frooxius has quit (Quit: *bubbles away*).
21:48:08 -!- nisstyre has joined.
21:48:18 -!- Eritzap has quit (Ping timeout: 240 seconds).
21:49:28 -!- Frooxius has joined.
21:50:02 <shachaf> kmc: i was going to look at rust but now ~ is going away or something??
21:50:41 -!- conehead has quit (Quit: Computer has gone to sleep).
22:01:04 <FreeFull> shachaf: Being replaced with Box to allow for things like custom allocators
22:01:05 -!- conehead has joined.
22:01:17 <FreeFull> Although I think Uniq would be a better name
22:03:16 <olsner> "~" is about as long as a pointer kind/type/thing can get before it starts to be annoying though
22:04:54 <myname> yeah, rust is desugaring atm
22:05:01 <myname> not sure if i like that
22:05:18 <olsner> they might resugar when they figure out which family of pointers to keep
22:08:10 -!- Eritzap has joined.
22:13:29 -!- ^v has quit (Ping timeout: 252 seconds).
22:21:34 -!- Sprocklem has quit (Ping timeout: 240 seconds).
22:46:55 -!- fowl has joined.
22:53:19 -!- Patashu has joined.
22:53:27 <int-e> @faq Can Haskell make shachaf happy?
22:53:27 <lambdabot> http://www.haskell.org/haskellwiki/FAQ
22:54:13 <olsner> I'll read that as a "no"
22:54:39 <int-e> shachaf: I couple of people are sad about the change but nobody actually complained (where I could see).
22:54:58 <int-e> I couple -> a couple, and I should sleep :)
22:55:21 <b_jonas> is there another command that has the old behaviour?
22:55:24 -!- Patashu_ has joined.
22:55:24 -!- Patashu has quit (Disconnected by services).
22:55:34 <b_jonas> @oldfaq Can Haskell make shachaf happy?
22:55:59 <int-e> @msg #esoteric Yes! Haskell can do that!
23:15:49 -!- nooodl has joined.
23:16:14 -!- Sgeo has quit (Read error: Connection reset by peer).
23:16:33 -!- Sgeo has joined.
23:22:26 -!- edwardk has joined.
23:22:41 <lambdabot> unexpected end of input: expecting digit
23:24:38 <lambdabot> unexpected 'd': expecting digit, operator or end of input
23:25:05 <lambdabot> unexpected end of input: expecting digit, operator, "+", "-" or end of input: no rolls in expression
23:26:36 <int-e> I didn't know that it supported division :)
23:27:02 <lambdabot> int-e: 1 / (1 - 1) => Divide by zero!
23:28:01 <lambdabot> unexpected "-": expecting number, "d" or "("
23:29:47 <int-e> To demystify the above, it approximates <n>d<m> by a normal distribution if n > 100.
23:30:37 <int-e> @dice 100000000000000000000d1
23:35:31 <olsner> I expected something more like a stack overflow in sum for large inputs
23:36:09 <elliott> why not just do it for n <= 100 too?
23:37:18 <int-e> because it's noticably different for the small n that matter, most notably n=1.
23:41:48 -!- ^v has joined.
23:46:54 -!- AndroidKitKat has left.
23:49:40 -!- edwardk has quit (Quit: Computer has gone to sleep.).
23:50:51 -!- yorick has quit (Remote host closed the connection).
23:58:07 -!- Phantom_Hoover has joined.