00:09:32 <shachaf> How many wishes do you get from a fountain pen vs. a fountain penny?
00:10:38 <quintopia> at least 12 orders of magnitude more
00:10:56 <boily> “You finish putting on the +0 mask of the Dragon {MR+ Slay+3 SInv}.” I fscking love that artifact.
00:11:19 <boily> Dungeon Crawl Stone Soup.
00:11:40 <HackEgo> Dragons are fractal creatures of magic, capable of shrinking or expanding to any size. Taneb invented them to live inside his string diagrams, but they prefer to hover around pinheads and feed on angels.
00:12:30 <boily> helloochaf. considering that a fountain pen is called a "thousand year pen" in Chinese, and that gas is around 1.13 CAD/litre, then I'm guessing around 5 inches, give or take.
00:12:52 <shachaf> boily: I assume any pen thrown into a fountain becomes a fountain pen?
00:13:15 <boily> it may tint the fountain water a bit, though.
00:13:36 <boily> or quite a lot, if it's Noodler's Baystate Blue.
00:13:40 <shachaf> whoa, 1.13 CAD/litre is ~3.33 USD/gal
00:13:53 <shachaf> though still not as cheap as the US
00:14:26 <boily> quintopia: fountain pen ink is colourfully colourful hth
00:14:27 <pikhq> California tends to have rather pricy gas.
00:14:39 <shachaf> Here in NYC petrol is much cheaper than in the SF area.
00:14:53 <shachaf> But even in the SF area I think it's cheaper than what boily said.
00:15:53 <shachaf> Or at least it seemed cheaper based on a small sample.
00:16:02 <shachaf> I'd like petrol to be much more expensive.
00:16:34 <pikhq> Ah, looks like CA had fairly substantial drops in gas prices in recent years relative to the rest of the country.
00:17:26 <pikhq> Courtesy of new refinery capacity it seems?
00:17:47 <shachaf> What would you like petrol prices to be?
00:18:10 <pikhq> I'm not sure the *figure*, but I'd like for it to be priced to include the externalities.
00:18:17 <pikhq> Which are substantial.
00:18:46 <quintopia> taxes that are used to fund epa efforts
00:19:17 <quintopia> well first you stage a successful coup d'etat a la Luttwak
00:19:25 <pikhq> Determine roughly the impact caused by the pollution, as well as the influence on urban development from vehicles, and tax accordingly?
00:19:49 <pikhq> I don't know. You'd need a study to really accurately measure this.
00:19:50 <shachaf> Also I think the latter should maybe be a road tax or something instead of a petrol tax?
00:20:08 <shachaf> You can reduce traffic jams too by taxing actual road usage.
00:20:19 <quintopia> why tax electric vehicales who are already helping?
00:20:35 <shachaf> Helping what? Road congestion?
00:20:41 <pikhq> Because private auto ownership has a negative effect
00:20:53 <quintopia> helping move away from petrol usage
00:21:11 <pikhq> In the US, nobody's even bothered trying to accurately measure this stuff. Gas taxes here aren't to incentivize not-driving or anything, they're an attempt to pay for the upkeep of roads and that's all.
00:21:23 <pikhq> quintopia: Sure, and they wouldn't pay gas taxes in this scheme.
00:21:33 <quintopia> we should incentivise commercial trucks switching to electric somehow
00:21:48 <shachaf> What about the separate problem of oil being non-renewable? Should that be treated as an externality or should markets just deal with it?
00:22:01 <pikhq> But, the mere impact of private automobile use is quite significant.
00:22:26 <pikhq> shachaf: I suspect in this setup, it'd end up being a moot question.
00:22:39 <shachaf> Well, it's a more general question about non-renewable resources.
00:22:54 <pikhq> If we priced gas to include the external cost caused by its pollution, I can't imagine it'd remain popular for long.
00:23:12 <shachaf> i,i "it" being the government
00:23:13 <pikhq> I'm unclear on that.
00:23:45 <shachaf> In practice people are going to burn most of the oil within, I don't know, a hundred years? Probably less? However long it takes for prices to get high enough that people don't drive.
00:23:53 <shachaf> We're just burning it up, man.
00:23:58 <shachaf> And then we won't have any left to eat.
00:24:49 <shachaf> Of course, if you think it's going to be valuable for other uses later, you can speculate, and buy a bunch now and sell it later when prices get higher.
00:25:03 <shachaf> But it'll probably be a long time, maybe longer than the lifetime of a reasonable speculator?
00:25:20 <shachaf> So what does that mean? Are markets doing the "right thing"?
00:26:01 <shachaf> People are effectively selling oil/whatever for roughly the cost it takes to extract it. That cost seems kind of accidental, and too low, to me.
00:26:01 <pikhq> To my knowledge, most petroleum-derived stuff is only *cheapest* that way, not *unpractical* via other production methods.
00:26:36 <pikhq> If so, it's probably not that big of a deal if we're out?
00:27:15 <pikhq> I mean, it still seems a bit of an example of an unefficient market because nobody's paying the real cost of stuff, but...
00:28:43 <pikhq> But e.g. for fertilizer, oil is only used *at all* because it's a convenient source of hydrogen.
00:29:31 <shachaf> Right, http://www.env-econ.net/2013/12/env-econ-101-hotellings-rule-.html
00:29:42 <pikhq> There are (naturally) many, many ways of acquiring hydrogen.
00:31:00 <pikhq> Electrolysis of water is probably the worst case there, and even *now* it's actually used for some commercial ammonia production.
00:31:14 <pikhq> (mostly near hydroelectric plants with excess capacity)
00:31:38 <pikhq> Hydrogen's pretty useful, yeah.
00:32:03 <pikhq> Bit of a crap fuel, but it's a great element.
00:51:00 -!- xkapastel has joined.
00:58:32 <HackEgo> 1/3:time cube//EARTH HAS 4 CORNER SIMULTANEOUS 4-DAY TIME CUBE IN ONLY 24 HOUR ROTATION. 4 CORNER DAYS, CUBES 4 QUAD EARTH. Bible A Lie & Word Is Lies. Navel Connects 4 Corner 4s. God Is Born Of A Mother - She Left Belly B. Signature. Your dirty lying teachers use only the midnight to midnight 1 day (ignoring 3 other days) Time to not foul (alrea
00:59:31 <HackEgo> 2/3:dy wrong) bible time. Lie that corrupts earth you educated stupid fools. \ heh//heh stands for hope ectoplasm helps. \ `sled//`sled <filename>//<sed script> \ string diagram//String diagrams would be useful in category theory, except they're unreadable due to being curled up in tiny dimensions. Taneb invented them anyhow. \ roborosewater
00:59:52 <HackEgo> 3/3://RoboRosewater is generating random Magic: the Gathering cards, see https://mobile.twitter.com/roborosewater
01:00:13 <HackEgo> Tanebventions include necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, sand, dragons, persistence, the BBC, _46bit, progress, sanity, Italian, the grace period, the Oxford comma, and this sentence. See also tanebventions: maths or tanebventions: foods. He never invents anything involving sex.
01:19:59 -!- doesthiswork has joined.
01:31:21 -!- MrBusiness has quit (Ping timeout: 246 seconds).
01:33:53 <shachaf> boily: https://twitter.com/Ngevd/status/918012736721883137 hth
02:08:17 -!- sleffy has quit (Ping timeout: 248 seconds).
02:27:04 -!- fungot has quit (Ping timeout: 255 seconds).
02:29:56 <boily> nooooooo! fungooooooooot!
02:30:01 -!- boily has quit (Quit: ANGEL CHICKEN).
02:53:22 -!- fungot has joined.
03:03:08 -!- imode has quit (Ping timeout: 246 seconds).
03:16:38 -!- MrBusiness has joined.
05:12:27 -!- trn has quit (Ping timeout: 240 seconds).
05:17:05 -!- FreeFull has quit (Ping timeout: 240 seconds).
05:31:19 -!- trn has joined.
05:35:35 -!- sleffy has joined.
05:51:37 -!- Lymia has quit (Ping timeout: 258 seconds).
05:51:43 -!- trn has quit (Ping timeout: 248 seconds).
06:09:41 -!- FreeFull has joined.
06:10:26 -!- Lymia has joined.
06:11:41 -!- trn has joined.
06:16:04 -!- doesthiswork has quit (Quit: Leaving.).
06:21:27 -!- sleffy has quit (Ping timeout: 240 seconds).
06:42:30 -!- MrBismuth has joined.
06:45:31 -!- MrBusiness has quit (Ping timeout: 252 seconds).
07:09:38 -!- imode has joined.
07:13:26 -!- idris-bot has quit (Quit: Terminated).
07:26:02 -!- impomatic has joined.
07:32:40 -!- doesthiswork has joined.
07:36:49 -!- doesthiswork has quit (Client Quit).
08:00:18 -!- augur has quit (Remote host closed the connection).
08:38:56 -!- augur has joined.
08:44:23 -!- augur has quit (Ping timeout: 246 seconds).
08:50:21 -!- xkapastel has quit (Quit: Connection closed for inactivity).
09:36:18 -!- idris-bot has joined.
09:44:03 -!- AnotherTest has joined.
09:45:50 -!- imode has quit (Ping timeout: 258 seconds).
09:50:07 -!- zzo38 has quit (Ping timeout: 248 seconds).
11:35:32 -!- boily has joined.
11:44:04 <boily> fungot: helloooooooooooooooo!
11:44:04 <fungot> boily: " so that the text by overprinting ' _____' on top. ve old input from somewhere. i've only skimmed the paper as he spoke, ' is the fnord"
11:44:20 <boily> fungot: please don't void me with a fnord hth
11:44:21 <fungot> boily: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube* xxxxxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxxxxxxxxx, xx, xxx, xxxx, xxxxx, xxxxxx, xxxxxxx, xxxxxxxx, xxxxxxxxx, xxxxxxxxxx, xxxxxxxxxxx, xxxxxxxxxxxx, xxxxxxxxxxxxx, xxxxxxxxxxxxxx, xxxxxxxxxxxxxxx, xxxxxxxxxxxxxxxx, xxxxxxxx
11:51:19 -!- atslash has joined.
12:11:14 -!- AnotherTest has quit (Ping timeout: 246 seconds).
12:25:21 -!- boily has quit (Quit: QUEUE CHICKEN).
12:49:05 -!- ais523 has joined.
13:21:16 -!- Cale has quit (Ping timeout: 258 seconds).
13:52:20 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot* homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
13:55:18 <int-e> ^bf >++++++++++[>++++++++++++>+<<-]+[[<+>->.<]>>.<<<[>+<-]>+]
13:55:18 <fungot> x.xx.xxx.xxxx.xxxxx.xxxxxx.xxxxxxx.xxxxxxxx.xxxxxxxxx.xxxxxxxxxx.xxxxxxxxxxx.xxxxxxxxxxxx.xxxxxxxxxxxxx.xxxxxxxxxxxxxx.xxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxx ...
13:55:44 <int-e> ^bf >++++++++[>++++++++++++++++>++++<<-]+[[<+>->.<]>>.<<<[>+<-]>+]
13:55:44 <fungot> ...
13:55:51 <int-e> ^bf >++++++++[>+++++++++++++++>++++<<-]+[[<+>->.<]>>.<<<[>+<-]>+]
13:55:51 <fungot> x xx xxx xxxx xxxxx xxxxxx xxxxxxx xxxxxxxx xxxxxxxxx xxxxxxxxxx xxxxxxxxxxx xxxxxxxxxxxx xxxxxxxxxxxxx xxxxxxxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxx ...
14:00:31 -!- doesthiswork has joined.
14:03:47 <HackEgo> [wiki] [[Switchy]] https://esolangs.org/w/index.php?diff=53270&oldid=37586 * JeffryThunderStrike * (+340)
14:05:31 <HackEgo> [wiki] [[Switchy]] https://esolangs.org/w/index.php?diff=53271&oldid=53270 * JeffryThunderStrike * (-6)
14:06:22 <HackEgo> [wiki] [[Talk:Switchy]] https://esolangs.org/w/index.php?diff=53272&oldid=53261 * JeffryThunderStrike * (-60)
14:18:57 -!- ais523 has quit (Quit: quit).
14:25:25 -!- Cale has joined.
14:27:49 -!- tromp has quit (Read error: Connection reset by peer).
14:28:22 -!- tromp has joined.
15:01:15 -!- `^_^v has joined.
15:01:30 -!- augur has joined.
15:05:01 -!- doesthiswork has quit (Quit: Leaving.).
15:05:32 -!- augur has quit (Ping timeout: 246 seconds).
15:21:39 -!- AnotherTest has joined.
16:39:18 -!- augur has joined.
16:45:09 -!- augur has quit (Remote host closed the connection).
16:49:48 -!- augur has joined.
17:34:38 <\oren\> oh good, meeting with greg today
17:35:16 <\oren\> he can teach me more of the wunderbar C++1x features
18:00:16 -!- sleffy has joined.
18:23:29 -!- FreeFull has quit (Quit: Rebooting).
18:36:23 -!- FreeFull has joined.
18:45:28 -!- augur has quit (Remote host closed the connection).
18:46:04 -!- augur has joined.
18:50:09 -!- augur has quit (Ping timeout: 246 seconds).
19:02:10 -!- erkin has joined.
19:21:30 -!- atslash has quit (Quit: Leaving).
19:28:05 * impomatic is heading to the Computer Museum in Cambridge tomorrow.
19:32:28 -!- Phantom_Hoover has joined.
19:32:28 -!- Phantom_Hoover has quit (Changing host).
19:32:28 -!- Phantom_Hoover has joined.
19:38:45 -!- imode has joined.
19:40:27 -!- wob_jonas has joined.
20:08:27 -!- zzo38 has joined.
20:10:25 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
20:12:08 -!- imode has quit (Ping timeout: 255 seconds).
20:12:34 -!- imode has joined.
20:26:45 -!- imode has quit (Ping timeout: 246 seconds).
20:28:40 -!- jaboja has joined.
20:41:50 <Taneb> impomatic, oh wow, that's a really cool place! And not too far from me as it happens
20:42:11 <Taneb> I went a couple of months ago, my friends had to tear me away from a BBC Basic
20:53:49 <shachaf> I've been to the Computer History Museum in Mountain View
20:56:17 <impomatic> Taneb: they have a ZX Spectrum event tomorrow to celebrate 35 years.
20:57:10 <impomatic> I'd love to go to the museum in Mountain View.
20:57:37 <Taneb> impomatic, oh, cool!
20:57:55 <impomatic> shachaf: bit of a long trip for me!
20:58:44 <impomatic> I was wondering if they have any Core War stuff in their collection though. Since they used to be in Boston (or inherited the collection from the Boston museum)
21:00:23 <Taneb> impomatic, are you based in Cambridge?
21:01:04 <impomatic> No, Lincolnshire. It's a 3 hour trip on the train.
21:01:22 <impomatic> Plus a 6 mile walk at 4am to get to the train station :-O
21:01:48 <Taneb> Oh wow, dedication
21:02:36 <Taneb> I just have to cycle for quarter of an hour
21:03:56 <impomatic> Just so I can get to Cambridge by 8am. There's a train station 1/2 a mile away, but I'd arrive 3 hours later if I caught the train from there.
21:05:34 <Taneb> ...If I go tomorrow and see you, I'll have met face-to-face two people here, both of whose nicks begin with "i"
21:06:10 <Taneb> I'll be in at least the right country to meet izabera at New Years, if I want to continue this trend, I guess
21:08:57 <Taneb> But countries tend to be quite big, really
21:23:11 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
21:24:02 -!- atrapado_ has joined.
21:42:12 <impomatic> Well if you go, I'll be the one wearing a dark red shirt :-)
21:50:25 -!- augur has joined.
22:02:17 -!- atrapado_ has quit (Quit: Leaving).
22:38:03 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:39:44 <fizzie> I've been in both, and the Mountain View one is fancier, but the Cambridge one has more personality.
22:40:47 <fizzie> (Do I remember right that the Cambridge one is the one in the sort of a shed?)
22:41:34 <Taneb> (great fun when it's raining)
22:42:15 <fizzie> Taneb: There was a place in London with a classroom's worth of BBC Micros, but I think it was a temporary thing.
22:43:09 <Taneb> fizzie, there's a place in Cambridge with that as a permanent thing ;)
22:43:17 <Taneb> Keep meaning to buy my own
22:44:26 <fizzie> https://www.ianvisits.co.uk/blog/2017/04/02/a-room-full-of-bbc-microcomputers-comes-to-east-london/ there was also a bunch of other things
22:55:10 -!- jaboja has quit (Ping timeout: 252 seconds).
22:55:10 -!- AnotherTest has quit (Ping timeout: 252 seconds).
23:02:37 -!- boily has joined.
23:25:43 <HackEgo> [wiki] [[Olvasható]] N https://esolangs.org/w/index.php?oldid=53273 * B jonas * (+10024) Created page with "'''Olvasható''' (also sometimes called '''Olvashato''' is a general purpose toy language created by [[User:b_jonas|b_jonas]]. The olvasható source is compiled to a Prolog p..."
23:30:21 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:39:15 <HackEgo> [wiki] [[Olvasható]] https://esolangs.org/w/index.php?diff=53274&oldid=53273 * B jonas * (+276)
23:40:18 <boily> b_jonas: b_jellonas. you have an unbalanced parenthesis hth
23:40:47 <zzo38> I have WildMidi in my computer, and some music it won't play so good. But, I think I figure out why it might be. I looked in the wildmidi.cfg, and, not all of the numbers 0 to 127 are listed under bank 0. Is that why it doesn't work? I looked in that directory, and it has only the files listed there; not the rest of them. How to obtain the rest of the files, and will this fix it if so?
23:41:38 -!- jaboja has joined.
23:43:53 -!- sleffy has quit (Ping timeout: 246 seconds).