←2017-08-25 2017-08-26 2017-08-27→ ↑2017 ↑all
00:05:28 -!- Antoxyde has quit (Quit: Leaving).
00:07:54 -!- sleffy has quit (Ping timeout: 252 seconds).
00:59:39 -!- oerjan has joined.
01:08:22 -!- augur has quit (Remote host closed the connection).
01:26:45 -!- augur has joined.
01:56:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:23:37 <oerjan> @tell wob_jonas https://esolangs.org/wiki/Efghij
02:23:37 <lambdabot> Consider it noted.
02:58:09 -!- ATMunn has quit (Quit: See ya! o/).
03:48:55 -!- jaboja has quit (Read error: Connection reset by peer).
04:05:43 -!- jaboja has joined.
05:03:54 -!- oerjan has quit (Quit: Nite).
05:05:34 -!- atslash has joined.
05:25:09 -!- contrapumpkin has quit (Quit: Textual IRC Client: www.textualapp.com).
06:06:01 -!- jaboja has quit (Remote host closed the connection).
06:23:11 -!- S1 has joined.
07:02:54 <HackEgo> [wiki] [[Talk:Tri]] N https://esolangs.org/w/index.php?oldid=52936 * JWinslow23 * (+177) Created page with "Has this been implemented? I might make an interpreter for my own personal use if not. ~~~~"
07:10:14 <fizzie> @tell wob_jonas You still can't use mobile phones in the London Underground. It will "start getting" coverage "by 2019". And yes, Finland has had that as well as long as I remember.
07:10:14 <lambdabot> Consider it noted.
07:17:27 <fizzie> @tell wob_jonas http://tech.newstatesman.com/news/4g-tube-mobile-coverage-underground
07:17:27 <lambdabot> Consider it noted.
07:18:18 <fizzie> Currently there's wifi *at stations*, which is almost but not quite useless.
07:47:37 -!- jaboja has joined.
07:57:10 <int-e> doing it at stations is important for tracking people; inside the train cars, not so much :P
08:15:30 <Hoolootwo> who even uses the internet anymore
08:15:41 <Hoolootwo> to do actual work, I very rarely need it
08:24:06 -!- kurolox has joined.
08:52:31 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH).
09:14:36 -!- imode has quit (Ping timeout: 252 seconds).
09:41:48 -!- Antoxyde has joined.
09:57:46 -!- S1 has quit (Remote host closed the connection).
09:58:04 -!- S1 has joined.
09:58:07 -!- jaboja has quit (Ping timeout: 248 seconds).
09:58:27 -!- S1 has changed nick to Guest3913.
10:07:31 -!- Guest3913 has quit (Ping timeout: 276 seconds).
10:27:03 -!- Guest3913 has joined.
10:44:05 -!- s1feha__ has joined.
10:47:10 -!- Guest3913 has quit (Ping timeout: 276 seconds).
10:51:55 -!- augur has quit (Remote host closed the connection).
10:56:33 -!- s1feha__ has quit (Remote host closed the connection).
10:56:59 -!- s1feha__ has joined.
11:06:44 -!- s1feha__ has quit (Ping timeout: 246 seconds).
11:16:31 -!- s1feha__ has joined.
12:01:12 -!- augur has joined.
12:04:31 -!- s1feha__ has quit (Ping timeout: 276 seconds).
12:06:17 -!- augur has quit (Ping timeout: 260 seconds).
12:15:07 -!- erkin has joined.
12:31:05 -!- TieSoul has joined.
14:21:37 -!- atslash has quit (Ping timeout: 248 seconds).
14:22:19 -!- atslash has joined.
14:35:52 -!- ATMunn has joined.
15:03:38 -!- boily has joined.
15:14:07 <boily> `5 w
15:14:22 <HackEgo> 1/2:cut elimination//The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator. \ flu shot//Flu shots are usually available from some time in the first half of November. \ monomorphism//A monomorphism is just an epimorphism in the opposite category. \ moo//Moo is the sou
15:15:31 <boily> `n
15:15:32 <HackEgo> 2/2:nd made by a cow as it freezes. \ treant//Treants are genericized ents for intellectual property reasons.
15:16:07 <int-e> `howg flu shot
15:16:16 <HackEgo> ​<oerjän> slwd flu shot//s/$/./;s/f/F/ \ <wob_jonäs> slashlearn flu shot/flu shots are usually available from some time in the first half of November
15:16:48 <boily> make that October and I'm in.
15:25:14 <int-e> . o O ( boily is getting shot in October? )
15:41:32 -!- imode has joined.
15:42:02 <boily> winter comes early in these here parts.
15:42:21 <boily> besides, getting shot before it gets mainstream is important.
15:52:48 -!- augur has joined.
15:57:05 -!- augur has quit (Ping timeout: 248 seconds).
16:12:51 -!- rdococ has joined.
16:13:25 <rdococ> Dammit, I forgot to kill myself.
16:14:55 <rdococ> Anyway, I'm here again to be a lonely, stupid idiot.
16:22:30 <boily> rdochellidioc!
16:22:44 <rdococ> har.
16:22:47 -!- tromp has quit (Ping timeout: 240 seconds).
16:24:59 <int-e> I kind of agree... the best place to be lonely is a crowd of people
16:25:49 <rdococ> To be fair, you still end up lonely if you're a stupid idiot.
16:26:33 -!- TieSoul_ has joined.
16:26:51 <rdococ> Not like it even matters. I'm going back to hell soon anyway.
16:27:05 <int-e> Or worse, Wisconsin?
16:27:31 <rdococ> Oh, no. The hell I go to is much worse than Wisconsin. In fact, it's worse than Malbolge.
16:30:22 -!- TieSoul has quit (Ping timeout: 264 seconds).
16:30:40 <int-e> (Bethany: Were they sent to Hell? / Metatron: Worse. Wisconsin. For the entire span of human history.)
16:30:45 -!- boily has quit (Quit: SMALL CHICKEN).
16:33:09 <rdococ> Wait, Wisconsin is worse than Malbolge.
16:49:27 -!- atslash has quit (Ping timeout: 252 seconds).
16:49:49 -!- atslash has joined.
17:05:35 -!- jaboja has joined.
17:11:15 -!- tromp has joined.
17:13:30 -!- jaboja has quit (Remote host closed the connection).
17:24:21 -!- nc_jonas has joined.
17:24:31 <nc_jonas> `olist 1094
17:24:32 <HackEgo> olist 1094: shachaf oerjan Sgeo FireFly boily nortti b_jonas
17:25:58 -!- nc_jonas has quit (Remote host closed the connection).
17:26:45 <rdococ> I should die.
17:27:01 <alercah> that seems like a poor plan
17:27:01 <rdococ> I'm a stupid fucking idiot. I'm always just that annoying nuisance who keeps making shitty esolangs.
17:27:07 <rdococ> Why am I not dead yet? Kill me.
17:32:42 <imode> would you grow up.
17:33:05 <imode> nobody fucking cares. stop beating yourself up publically for attention.
17:33:17 <imode> grow a fucking spine and get over yourself.
17:34:15 <imode> your mood swings are a product of either an adolescent mind or some desperate need for validation by people. either way, go jack off in a corner. nobody's going to give you that, so you might as well give it to yourself.
17:35:15 <alercah> whoa, that's not ok
17:35:20 <alercah> let's all calm down
17:35:46 <imode> alercah: honestly, he needs tough love. he's been saying the same thing over and over and over.
17:35:56 <alercah> that's not tough love
17:36:00 <imode> that is tough love.
17:36:36 <rdococ> ...
17:36:59 <rdococ> You know, I've been meaning to try to actually kill myself, so people will realize it's not a show "for attention".
17:37:06 <imode> then fucking do it.
17:37:35 <imode> if it's a cry for help, seek therapy. your constant moaning is not theraputic.
17:37:37 <rdococ> But then, I wonder: "why would anyone hate someone for wanting attention? doesn't everyone want attention?"
17:38:07 <rdococ> It's kind of dumb, when you think about it. If someone simply wants some TLC (not your shitty crap you call "tough love"), then GIVE SOME FOR ONCE YOU JERK!
17:38:27 <imode> no. because you've been saying that you're some kind of horrible piece of shit for about a week now in here.
17:38:40 <imode> practically every time I tab over you're expecting some kind of validating "oh no it's okay" response.
17:38:48 <rdococ> I don't expect any response.
17:38:55 <imode> then why the fuck do you say it in here?
17:39:04 <imode> go blog about it.
17:39:05 <rdococ> Because I want to warn people.
17:39:39 <imode> about _what_?
17:40:05 <imode> your own self harm? are you going to hold a knife to your throat and yell at people on IRC?
17:40:21 <imode> you need help. professional help.
17:40:27 -!- rdococ has left ("Leaving").
17:40:44 -!- grumble has joined.
17:40:49 <imode> jesus. I hate doing that.
17:41:32 <imode> there's only so many times you can say "oh no you're great just do your own thing" before it becomes obvious he's begging.
17:46:36 -!- wob_jonas has joined.
17:46:58 <wob_jonas> @messages
17:48:13 <wob_jonas> fizzie: the thing you linked to seems to only say the underground is planned to get 4G mobile coverage by 2019. That sounds like it already has slower coverage.
17:58:56 -!- rdococ has joined.
18:54:23 -!- boily has joined.
19:00:14 -!- atslash has quit (Read error: Connection reset by peer).
19:00:36 -!- atslash has joined.
19:03:36 -!- Antoxyde_ has joined.
19:05:41 -!- Antoxyde has quit (Ping timeout: 240 seconds).
19:08:37 -!- atslash has quit (Ping timeout: 260 seconds).
19:09:26 -!- atslash has joined.
19:10:09 <rdococ> Hi boily.
19:11:59 <wob_jonas> Apparently in D&D if you find cursed loot of gold and it weighs less than 3 pounds, then the cost of the gold isn't enough to pay for the spell to remove the curse.
19:12:06 <wob_jonas> But if it weighs at least 3 pounds, then any number of different curses aren't enough to protect the loot, because a single casting of the Remove Curse spell is enough to remove all curses.
19:12:19 <wob_jonas> This explains why the Holy Crown of Hungary is guarded so much. Even without the other associated relics, the crown alone contains more than three pounds of gold, so although it's almost certainly cursed now, a thief would just have to take it to a non-lawful temple to get it uncursed and has value remaining.
19:12:43 <wob_jonas> oerjan: thank you! that's the one
19:13:07 * rdococ decides to 'cut the knot' and gives wob_jonas 8 pounds of fool's gold instead.
19:13:16 <rdococ> s/of f/of cursed f/
19:13:19 -!- tromp has quit (Remote host closed the connection).
19:18:11 <boily> rdochelloc.
19:18:14 <boily> wellob_jonas.
19:18:21 <wob_jonas> helloily
19:21:49 -!- tromp has joined.
19:24:48 <rdococ> tromp
19:24:59 * rdococ (blah@blah/blah) has joined
19:26:49 <zzo38> wob_jonas: Do you know what is supposed to happen on MIX if trying to access memory that a card is partially loaded?
19:28:28 <wob_jonas> zzo38: presumably on an older machine, you'd read the old value of the cell or the new value, depending on whether it's happened to be read yet, probably at word granularity, but this isn't guaranteed for future compatibility.
19:28:34 <wob_jonas> zzo38: you're asking this for golfing code on cards?
19:28:39 <wob_jonas> bootstrap code especially?
19:29:37 <zzo38> Yes, although it could also help to speed up some other programs in some cases maybe
19:30:16 <wob_jonas> I think in general it's undefined behavior and you shouldn't do that, and you can recover from it only by resetting the machine and then rewriting the memory cells or something.
19:31:00 <zzo38> Can't you just read unknown data in the worse case?
19:31:31 <wob_jonas> on a decimal machine where bytes are implemented as eight bcd-coded bits? I don't think so
19:31:46 <wob_jonas> hopefully it does read unknown data
19:31:49 <wob_jonas> but who the heck knows
19:32:17 <wob_jonas> I mean, the memory is probably not accessed at the same time by the cpu and the IO device, in each cycle only one of them accesses each memory chip,
19:32:41 <wob_jonas> and they read and write whole words with valid values provided the cards only have recognizable characters
19:33:04 <wob_jonas> let me see what the book actually says, though I don't think it goes into details
19:34:37 <wob_jonas> "so a program must not refer to the information in memory until then." -- not much there
19:35:24 <shachaf> wob_jonas: Doesn't this vary by exchange rate?
19:36:19 <wob_jonas> then 1.4.4. "but the ensuing program must not refer to these memory cells until later."
19:36:25 -!- lambdabot has quit (Remote host closed the connection).
19:36:59 <zzo38> OK, but then it does not say what things are allowed to happen if the program refers to it anyways.
19:37:15 <wob_jonas> shachaf: I don't think so. Gold is a base currency, all the money in D&D is based on gold, platinum, silver and copper, and they somehow have a fixed price compared to each other.
19:37:26 <wob_jonas> shachaf: there might be modifiers on the price of the spell of course.
19:38:10 <wob_jonas> zzo38: it doesn't seem to say. you'll have to refer to the manual of your specific MIX machine and its IO devices.
19:38:55 -!- lambdabot has joined.
19:40:23 -!- jaboja has joined.
19:42:31 <zzo38> The money in D&D at least in 3.5 edition is weighs 1/50 pound I think, and is always decimal, although it weight more than the GURPS money which is 1/240 pound (I think the book says 1/250 pound, but I think that is a typographical error and it is supposed to say 1/240 pound). I think also some older version of AD&D has electrum money too, not only copper, silver, gold, and platinum.
19:42:44 <wob_jonas> modern computers like recent unix machines or MMIX are different of course, they have memory protection and the OS uses it to limit privilage of user-space processes, so it has to guarantee that user-space programs can't do anything that breaks the protection, which means you read valid data even from areas that are currently inputting in the backg
19:42:44 <wob_jonas> ruond
19:43:12 <wob_jonas> zzo38: yes, a gold piece weighs 1/50 pound, and a remove curse spell costs 150 gold pieces
19:43:41 <wob_jonas> electrum money => isn't that D&D 5 actually?
19:44:25 <shachaf> wob_jonas: I mean the Holy Crown of Hungary.
19:44:30 <zzo38> Maybe in D&D 5 also; I have not read it
19:44:39 <zzo38> But AD&D also has electrum money
19:44:58 <wob_jonas> ok
19:46:59 -!- Antoxyde__ has joined.
19:47:53 <wob_jonas> oh! the D&D tables say that a musical instrument weighs 3 pounds. that explains why there are no falling piano traps.
19:48:14 <wob_jonas> (yeah, I know the default environment is like medieval so they didn't have pianos yet)
19:50:02 -!- Antoxyde_ has quit (Ping timeout: 260 seconds).
19:52:46 <fizzie> wob_jonas: It does not have slower coverage.
19:53:31 <fizzie> And anyway, "Passengers on the London Underground will be able to make calls, send texts and browse the web from 2019" more or less implies they can't do those things now.
19:54:22 <wob_jonas> shachaf: what about the crown? the crown is made of mostly gold. there's some extra stuff on it like gemstones and icons, but those take only a minority of the weight.
19:54:51 <wob_jonas> fizzie: hmm. but then what was the news all talking about at the preparations for the 2012 olympics?
19:55:22 <fizzie> They added the wifi on the stations for that, I believe.
19:56:38 <wob_jonas> why would they do that? who even had wifi devices in 2012?
19:56:43 <wob_jonas> portable ones that is
19:56:56 <fizzie> http://www.independent.co.uk/sport/olympics/wifi-at-tube-stations-for-olympics-7570359.html "Tube passengers will have access to free WiFi during the Olympic Games. Platforms at 80 stations will have wireless coverage after Transport for London appointed Virgin Media to provide the service."
19:57:47 <fizzie> "In January 2012, Apple reported its best quarterly earnings ever, with 53% of its revenue coming from the sale of 37 million iPhones --" at least those guys did.
19:58:00 <wob_jonas> ok
19:59:14 <rdococ> Himoo.
19:59:52 <wob_jonas> I'm trying to search for news back then (which is made more difficult by the fact that the search feature of MTI doesn't have a fucking stemmer, aren't we in the 21st century now, guys?)
20:00:32 <wob_jonas> so far I've found some news that says the tube was very overcrowded during the olympics, so much that the traffic company asked people to work at home if possible (I'm not making this up)
20:02:13 <wob_jonas> hah, I remember when tram 6 was so overcrowded every morning in the rush hour. those were the years. these days we have it easy.
20:07:59 <wob_jonas> lol, a gallon of beer weighs 8 times as much but costs 50 times as much as a mug of beer. this is low even for D&D item tables.
20:08:34 <shachaf> wob_jonas: I mean that in Hungary you probably pay in HUF instead of gold.
20:09:07 <wob_jonas> shachaf: no, not in the medieval times that those D&D price tables are trying to represent
20:09:08 <shachaf> Unless spells are still priced by their D&D values in terms of gold by weight.
20:09:18 <wob_jonas> and you can just sell the gold for money fine
20:09:35 <wob_jonas> they are priced in D&D in terms of gold pieces
20:10:31 <wob_jonas> but gold pieces are not fiat currency, they're boullion or whatever the economists call those coins where the metal content itself gives the value, that's why gold pieces are accepted almost everywhere around the world, not only in one region
20:10:36 <rdococ> Do you ever get the feeling that you're is in an adamantium prison, unable to break out, and that you're slowly turning insane? I get that feeling often.
20:11:34 <shachaf> I think that's a soup-based currency.
20:11:53 <rdococ> s/you're is/you're/
20:13:33 <wob_jonas> rdococ: no. I have fear of closed spaces and very rarely go to rooms where I can't break out from. I was in a job interview once and the strongest reason why the place made negative impression on me is that workers used a swipe card or magnetic card or something to exit the door from the company's area to the area with toilets.
20:13:41 <zzo38> Why are the D&D money heavier than a silver penny?
20:14:34 -!- tromp has quit (Remote host closed the connection).
20:14:42 <wob_jonas> I keep the keys in the door keyhole whenever I'm inside, half pulled out so it can also be opened from the outside with keys, and I have a spare set of door keys in a drawer.
20:15:21 <wob_jonas> zzo38: exactly because it's not just a token, the metal itself has to give it the value. it has to be heavy. the D&D 3.5 version probably is too heavy, but still.
20:16:05 <zzo38> Yes, it may be too heavy it seems
20:16:16 <wob_jonas> I even avoid elevators most of the time, though only part of the reason is fear of closed spaces. (I still sometimes use an elevator in lots of circumstances, such as when carrying heavy items.)
20:18:58 -!- TieSoul__ has joined.
20:20:53 <rdococ> Sounds relatively heavenly.
20:20:53 -!- tromp has joined.
20:21:44 <wob_jonas> but I'm not at the level of Mowgli who is unwilling to sleep indoors
20:21:55 <wob_jonas> I'm a city person, I like being indoors
20:22:34 -!- TieSoul_ has quit (Ping timeout: 255 seconds).
20:41:51 -!- jaboja has quit (Ping timeout: 248 seconds).
20:47:44 -!- boily has quit (Quit: NECKTIE CHICKEN).
20:56:35 -!- augur has joined.
20:59:39 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
21:05:39 -!- jaboja has joined.
21:15:27 -!- jaboja has quit (Ping timeout: 248 seconds).
21:22:36 <Taneb> Can anyone remember the name of that thing that's like you see something and then it's suddenly everywhere
21:22:59 <Taneb> Like someone shows you something and you're like "that's cool" and then the next day someone else entirely shows you the same thing
21:23:18 <imode> something going viral? memes?
21:23:23 <Taneb> Not really
21:23:46 <imode> deja vu?
21:24:01 <Taneb> Again, not really
21:24:06 <int-e> > 128/(-1) :: Int8
21:24:08 <lambdabot> error:
21:24:08 <lambdabot> • No instance for (Fractional Int8) arising from a use of ‘/’
21:24:08 <lambdabot> • In the expression: 128 / (- 1) :: Int8
21:24:16 <int-e> > 128 `div` (-1) :: Int8
21:24:18 <lambdabot> *Exception: arithmetic overflow
21:25:07 <int-e> . o O ( I love the fact that it's the division it complains about here, not the fact that 128 becomes -128. )
21:36:31 -!- TieSoul_ has joined.
21:40:16 -!- TieSoul__ has quit (Ping timeout: 246 seconds).
21:42:34 -!- jaboja has joined.
21:44:22 -!- atslash has quit (Ping timeout: 260 seconds).
22:01:54 <fizzie> Taneb: Synchronicity?
22:03:40 <fizzie> (A snarky answer would probably be "coincidence".)
22:04:00 <HackEgo> [wiki] [[Special:Log/newusers]] create * Snorepion * New user account
22:06:01 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52937&oldid=52927 * Snorepion * (+302) Introduction
22:25:18 <Taneb> Bad idea: C++ recently introduces sum types called "variants", so we should call structs covariants
22:36:21 -!- TieSoul_ has quit (Quit: Leaving).
22:36:39 -!- Antoxyde__ has quit (Remote host closed the connection).
22:52:48 <HackEgo> [wiki] [[Jeeves]] N https://esolangs.org/w/index.php?oldid=52938 * Snorepion * (+3856) Create page and add details
22:54:04 -!- boily has joined.
22:55:48 <HackEgo> [wiki] [[Joke language list]] M https://esolangs.org/w/index.php?diff=52939&oldid=52850 * Snorepion * (+87) Add Jeeves to list
23:00:22 <kurolox> Hello fizzie!
23:00:33 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
23:09:21 -!- kurolox has quit (Ping timeout: 240 seconds).
23:38:37 -!- oerjan has joined.
←2017-08-25 2017-08-26 2017-08-27→ ↑2017 ↑all