00:04:26 -!- mihow has joined.
00:08:27 -!- tromp__ has joined.
00:12:53 -!- Herbalist has joined.
00:25:07 -!- tromp__ has quit (Remote host closed the connection).
00:28:56 -!- tromp__ has joined.
00:29:21 -!- hppavilion[1] has joined.
00:37:03 -!- mihow has quit (Quit: mihow).
00:40:45 -!- augur has joined.
00:40:58 -!- zzo38 has quit (Remote host closed the connection).
00:43:21 -!- tromp__ has quit (Remote host closed the connection).
00:52:12 <oren> `le/rn RAII/RAII is Resource Allocation in the constructor... wait wait uh... Is uh, Initialization
00:53:02 <shachaf> You're lucky `le/rn happens to lowercase the input.
00:53:15 <shachaf> It doesn't do any of the other transformations required to make a wisdom entry.
00:53:17 <Sgeo> Apparently even on Reddit I'm boring: https://www.reddit.com/r/User_Simulator/comments/3dzjbp/lets_all_test_here/ctad1js?context=3#ctad0c3
00:53:24 <shachaf> just wait for oerjan to hear about this
00:54:29 <oren> Reddit is a poor imitation of *chan
00:54:39 <oerjan> i could get simulated, but then i'd have to kill you
00:54:49 <shachaf> what's that wisdom entry for
00:55:20 <shachaf> with the whole "wait wait uh" thing
00:56:02 -!- Lymia has quit (Quit: Hugs~ <3).
00:56:08 <oren> It makes fun of the fact that the RAII acronym makes no sense
00:57:14 <shachaf> ok but i don't buy that it helps the wisdom database
00:57:18 -!- Lymia has joined.
00:57:53 <oren> it helps it by being funny if you know what it is
00:58:58 <shachaf> I know what RAII is (and I think "RAII" isn't a particularly good name for it -- "RDID" is slightly better but also not great) and I don't think it's funny.
01:02:22 <HackEgo> RAII is Resource Allocation in the constructor... wait wait uh... Is uh, Initialization
01:04:17 <oren> `learn RAII means you allocate in the constructor and deallocate in the destructor. There is no 'initializer' involved.
01:04:20 <HackEgo> Learned 'raii': RAII means you allocate in the constructor and deallocate in the destructor. There is no 'initializer' involved.
01:04:59 -!- zzo38 has joined.
01:05:18 <oren> there is that less humorous enough
01:06:34 <HackEgo> gopher/Gopher is int-e's vision of the successor of HTTP/2. But zzo38 thought of it first.
01:06:40 <HackEgo> latex/LaTeX is \end{verbatim} \textbackslash textbackslash begin\textbackslash \{document\textbackslash \}
01:06:49 <zzo38> There was a problem with PHIRC because it was expecting PuTTY but now it is xterm instead, so it wouldn't wrap lines or backspace properly, as well as some other problems, but I fixed it by making a shell-script to wrap around it, as well as a program called "winchset.c" which just copies from stdin to stdout until EOF, except that when it receives SIGWINCH it will report the terminal size of stdin to stdout.
01:07:38 <zzo38> I can send the program in case you would need it
01:10:25 -!- Wright has quit (Ping timeout: 264 seconds).
01:24:27 -!- tromp__ has joined.
01:25:19 <HackEgo> indexed monad/Indexed monads are just monads on an indexed category. \ Indexed monads are just categories enriched over the monoidal category of endofunctors.
01:25:37 <HackEgo> bdsm/BDSM definitely isn't a kind of LARP and Taneb definitely did not invent it.
01:25:47 <HackEgo> _̰̆̓_̦̻̖͍̟̖̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̋_̴̝̔̉̅ͨ͞/_̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞ _̰̆̓_̦̻̖͍̟̖́̅ͭͭͬ͡_͉̭ͧ͒̐_̯͙̬̬̦̯͂͋͒ͧ͋̈̋_̴̝̔̉̅ͨ͞
01:26:14 <HackEgo> famicom/Famicom is a famous sitcom from Japan.
01:26:19 <HackEgo> roujo/Roujo is a Java heretic leaning on ungrammatical Haskell. His claim to Canadianness is marred by an unholy portal to China. The treaties suffer, so the cocktail will be postponed. He does not understand shell quoting.
01:36:44 -!- variable has joined.
01:38:49 -!- Herbalist has left ("WeeChat 1.2").
02:02:25 -!- tromp__ has quit (Remote host closed the connection).
02:06:17 -!- Wallacoloo has joined.
02:20:36 -!- Wright has joined.
02:22:47 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
02:24:30 -!- oerjan has quit (Quit: leaving).
02:35:37 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
02:41:49 <coppro> anyone here with experience with GitHub's premium services?
02:45:27 <tromp_> i pay to have private repos
02:45:35 -!- Wallacoloo has left.
02:54:23 <coppro> tromp_: mind answering some quetsions in PM?
03:02:53 -!- tromp__ has joined.
03:08:00 -!- tromp__ has quit (Ping timeout: 264 seconds).
03:08:06 <zzo38> What is the calculation called when you have one number and the answer is the original number divided by all square numbers it can be divisible by?
03:10:45 <zzo38> (Equivalently, take the set of prime factors which occur odd numbers of time, and take one of each and multiplied together)
03:11:02 -!- heroux has quit (Ping timeout: 256 seconds).
03:14:37 <Sgeo> http://su3su2u1.tumblr.com/post/124431191528/reasons-to-hate-r
03:21:31 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
03:39:32 <tromp_> zzo38: https://en.wikipedia.org/wiki/Square-free_integer#Squarefree_core
03:46:13 -!- password2 has joined.
03:48:20 <zzo38> A Digi-RGB display that wants to support arbitrary resolutions will need to be able to calculate a squarefree core, since it is used to determine what aspect ratio to use. Actually, it only has to determine whether the squarefree core is a particular number; it doesn't necessarily have to calculate squarefree cores.
04:04:37 -!- tromp__ has joined.
04:08:48 -!- tromp__ has quit (Ping timeout: 246 seconds).
04:47:09 -!- Wright has quit (Ping timeout: 255 seconds).
04:59:25 -!- Sgeo has quit (Read error: Connection reset by peer).
05:00:40 -!- Sgeo has joined.
05:08:12 -!- MDude has changed nick to MDream.
05:21:54 -!- programming has joined.
05:22:13 -!- programming has quit (Client Quit).
05:24:49 -!- hppavilion1[1] has joined.
05:25:34 -!- hppavilion1[1] has quit (Client Quit).
05:26:22 -!- hppavilion[1] has joined.
05:41:51 -!- Sgeo has quit (Read error: Connection reset by peer).
05:44:32 -!- Sgeo has joined.
05:45:38 -!- password2 has quit (Remote host closed the connection).
05:46:06 -!- variable has quit (Ping timeout: 252 seconds).
05:59:36 -!- Sgeo_ has joined.
06:02:22 -!- Sgeo has quit (Ping timeout: 248 seconds).
06:04:10 -!- tromp__ has joined.
06:07:05 -!- aretecode has quit (Read error: Connection reset by peer).
06:08:36 -!- tromp__ has quit (Ping timeout: 240 seconds).
06:10:11 -!- aretecode has joined.
06:14:14 -!- lleu has quit (Read error: Connection reset by peer).
06:37:08 <HackEgo> [wiki] [[Talk:Call Queue]] N http://esolangs.org/w/index.php?oldid=43561 * Hppavilion1 * (+306) Created Page
06:41:12 <tswett> Latest wisdom from the neural net:
06:41:14 <tswett> 16:25:39: <ais523> good light like that is still the last exploit
06:41:35 <tswett> I couldn't agree. Good light like that is, most certainly, still the last exploit.
06:53:57 <zzo38> I have now written the program to play .MOD/.XM/.S3M/.IT with Linux command-line. It expect music file in stdin and then writes the raw data to stdout you can then pipe it to aplay in order to play it back. You could even do stuff like: amigamml | playmod | aplay
06:57:42 <HackEgo> [wiki] [[Tangle bracket language]] N http://esolangs.org/w/index.php?oldid=43562 * Hppavilion1 * (+537) Created Page. Hope there isn't already one for it :(
06:59:33 <zzo38> Well, let's see what it is and then we can see about congratulating you.
07:00:51 <HackEgo> [wiki] [[Tangle bracket language]] http://esolangs.org/w/index.php?diff=43563&oldid=43562 * Hppavilion1 * (+156) Elaborated on tangliness
07:04:07 <HackEgo> [wiki] [[Tangle bracket language]] http://esolangs.org/w/index.php?diff=43564&oldid=43563 * Hppavilion1 * (+0) Moved {{stub}}
07:07:21 <zzo38> About moving it, I think just changing the category may work
07:09:15 <zzo38> I meant moving Call Queue as the message on the talk page; that is what I was refering to
07:09:48 <zzo38> I do like the "tangle bracket language" actually it is ideas I have thought before too
07:10:14 <zzo38> But the example program seem clear to me
07:10:39 <hppavilion[1]> If you want you can edit the page to explain it to people
07:11:00 <hppavilion[1]> Call Queue is a language, but I think it should be a concept for languages
07:11:23 <hppavilion[1]> So either I'll make a page called Call Queue (concept)
07:11:57 <hppavilion[1]> Or move Call Queue to "Koen's Call Queue Language"
07:12:21 <zzo38> Which seems to be that if x is false then doSomethingElse, otherwise if y is false do nothing, otherwise if x and y are both true then doSomething and then repeat. That's what it look like to me
07:14:27 <hppavilion[1]> I'm tabbed out, so add "hppavilion[1]" to any messages to me
07:16:37 <zzo38> hppavilion[1]: But my idea was they don't have to be tangled it is optional, anyways
07:17:26 -!- hppavilion[1]_ has joined.
07:18:45 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
07:19:44 -!- hppavilion[1]_ has changed nick to hppavilion[1].
07:22:10 <HackEgo> [wiki] [[Talk:Tangle bracket language]] N http://esolangs.org/w/index.php?oldid=43565 * Zzo38 * (+247) This is what I expect the example code to mean
07:23:21 -!- heroux has joined.
07:26:14 <HackEgo> [wiki] [[Tangle bracket language]] http://esolangs.org/w/index.php?diff=43566&oldid=43564 * Hppavilion1 * (-20) Implemented User:Zzo38's code
07:27:54 <zzo38> If the && is lazy (like in C) then it doesn't matter whether or not y has side-effects, I think
07:28:43 <zzo38> Use AWAY with any non-empty parameter; this won't indicate it except to someone who send private message or WHOIS to you though.
07:29:01 <zzo38> (Whatever IRC client you use might have a menu for it; I don't know)
07:29:14 <zzo38> AWAY with no parameter cancels this function.
07:32:49 -!- white_bear has joined.
07:37:28 <hppavilion[1]> Iiiiiiiiiiii' dreeeeeaming of a word of eeeeeeendless
07:48:09 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
07:48:35 -!- mbrcknl has quit (Ping timeout: 240 seconds).
07:50:44 -!- ocharles_ has quit (Read error: Connection reset by peer).
07:50:51 -!- mbrcknl has joined.
07:51:18 -!- ocharles_ has joined.
07:53:32 -!- tromp__ has joined.
07:57:42 -!- tromp__ has quit (Ping timeout: 246 seconds).
08:02:00 -!- augur has quit (Ping timeout: 255 seconds).
08:38:11 -!- AnotherTest has joined.
08:43:20 -!- Patashu has joined.
08:47:44 <HackEgo> [wiki] [[O]] M http://esolangs.org/w/index.php?diff=43567&oldid=43555 * Phase * (+98) link to ReadTheDocs
08:50:41 <fizzie> "Of the fatalities on the railway in 2013/14, seven occurred on a level crossing, 18 involved people trespassing on the railway and 286 were suicide or suspected suicide."
08:51:53 <fizzie> That's not a uniform distribution.
08:51:56 <fizzie> (My morning commute was delayed by one today.)
08:55:46 <scoofy> at least it's a quite failsafe suicide method
08:57:20 -!- shikhin has quit (Read error: Connection reset by peer).
08:57:47 <Jafet> In what sense is a suicide method fail-safe
09:01:40 -!- shikhin has joined.
09:05:19 <scoofy> that you're guaranteed to succeed
09:06:30 <scoofy> if you take pills but fail to take enough, you may end up living but braindead
09:11:31 -!- x10A94 has joined.
09:11:47 <fizzie> "Reliable statistics on the likely mortality rate of being hit by an overground or underground train are hard to locate. Wikipedia quotes a 90% mortality rate for jumping in front of a high speed train (not when it is slowing down as it comes in to a platform though), and 67% for subway/underground trains, as people are generally jumping as the trains are slowing down coming into a station."
09:13:10 <fizzie> Those are probably out of a hat, but I wouldn't expect it to be entirely foolproof.
09:13:32 <Jafet> Your best bet may be a bridge, but bridges that cross tracks tend to be fenced up.
09:13:47 <fizzie> (And if you do survive, I assume you're quite likely to end up badly injured.)
09:15:47 <Jafet> A handgun would probably have a much higher success rate (but beware https://www.youtube.com/watch?v=wb_GNzfEBKI)
09:22:13 <scoofy> well, if you jump before a train that is just about to stop... well that's obviously not fail-proof.
09:22:31 -!- janus_ has joined.
09:22:41 <scoofy> when you do it, at least do it well
09:23:30 <scoofy> if a high-speed train goes through your body, you're 100% guaranteed to not live
09:23:55 <scoofy> so that 90% mortality rate probably comes from people bouncing off or something
09:34:42 -!- janus_ has left.
09:39:06 -!- hilquias has joined.
09:47:12 <mroman_> Features I want Java to have
09:47:31 <mroman_> 1.) allow void bar() { if(condition) return handleError(); }
09:47:48 <mroman_> 2.) allow class overloading
09:48:10 <mroman_> such as class Pair<T,U>; and class Pair<T>
09:52:03 <mroman_> also what happens with exceptions that happen during close if you use try-with?
09:52:15 <mroman_> try(FileInputStream fis = new FileInputStream(new File("foo.txt"))) { }
09:52:23 <mroman_> close() may throw an IOException
09:52:34 <mroman_> but it seems the try-with statement suppresses the Exceptions on close()?
09:57:20 <mroman_> they can be catched in the catch block as usual
09:58:50 <mroman_> this is actually pretty cool
09:58:57 <mroman_> with this, you can sorta get something like destructors :D
10:02:59 <mroman_> you just gotta be careful not to copy references
10:04:51 <mroman_> The only failsafe suicide method is overdosing on barbiturates in combination with a plastic bag over your head
10:05:12 <mroman_> well... it's the fail-safest suicide method at least
10:06:00 <mroman_> wrist cutting and trying to overdose by yourself is generally not really a safe way of doing it
10:06:12 <mroman_> mostly because you have to cut precisely and deep enough
10:06:58 <mroman_> and you better take some stuff before-hand that stops coagulation
10:07:56 <mroman_> and you need an anti-emetic if you plan on doing it with drugs
10:08:22 <mroman_> otherwise plastic bag + helium works quite nicely
10:08:34 <mroman_> if your helium tank is big enough and the plastic bag is used correctly
10:08:42 <mroman_> that's how it's done in countries with no legal euthanasia
10:10:00 <mroman_> Since barbiturates are hard to get
10:18:41 -!- boily has joined.
10:28:23 <mroman_> Does rust still have owned pointers
10:28:52 <mroman_> (crappy thing about rust is, that lots of example code on the net does not compile anymore because rust has changed a lot)
10:29:18 <mroman_> Taneb: data structures in rust are generally value types, right?
10:29:35 <Taneb> I'm not the one to ask, I'm afraid
10:29:42 -!- augur has joined.
10:31:36 <Jafet> Chemicals used for lethal injections are extremely reliable, but harder to get
10:45:15 <scoofy> well, injecting any poisonous chemical should be lethal
10:45:38 <scoofy> if the dosage is enough
10:48:17 <scoofy> (though some people injected large amounts of mercury, but did not die, so that's not fail-safe)
10:50:07 <Jafet> The body has some ways to reject toxins.
10:51:03 -!- J_A_Work has joined.
10:51:10 <scoofy> if you inject some cyanide, that won't be rejected
10:58:38 -!- J_A_Work has quit (Quit: J_A_Work).
11:00:18 <scoofy> there are lots of common poisons. f.ex. jimsonweed is common, and if you eat a lot, it kills you. or make a tea out of a pack of cigarettes - nicotine is a strong poison so it will kill you
11:00:46 <scoofy> so you cannot even be saved, so it's kinda fail-safe
11:00:54 <Jafet> "will" is a strong word. What's the LD50 for herbal nicotine?
11:02:10 <Jafet> I guess the relevant product feature is actually LD99
11:02:46 <scoofy> "Standard textbooks, databases, and safety sheets consistently state that the lethal dose for adults is 60 mg or less (30–60 mg), leading to safety warnings that ingestion of five cigarettes or 10 ml of a dilute nicotine-containing solution could kill an adult."
11:02:52 <Jafet> (dosage that's lethal at 99% probability)
11:03:13 <scoofy> well, it's easy - just keep ingesting more until you die
11:03:19 <Jafet> For many toxins, the LD90 is much higher than the LD50 dose.
11:03:24 <mroman_> that's still 1 out of 100 people surviving
11:03:44 <scoofy> 1. drink 1 cup. 2. if not dead within 30 mins, drink another cup. 3. go to step 1
11:03:49 <mroman_> considering there is at least one suicide a day around here
11:03:55 <mroman_> three people would survive each year
11:04:34 <mroman_> well at max 1 in 10000 who survives
11:05:06 <Jafet> 99% would already be a great safety improvement over the current estimate of ~10%: https://en.wikipedia.org/wiki/Failed_suicide_attempt
11:06:11 <mroman_> obviously rates of nonfatal self-injury is through the roof compared to suicide
11:06:22 <mroman_> that's a useless sentence there
11:07:18 <Jafet> Oh, it includes self-injuries
11:08:18 <mroman_> otherwise I'd have at least 3 suicide attempts within the last month.
11:08:33 <Jafet> Apparently those statistics include self-injuries in suicide attempts
11:09:08 <mroman_> suicide attempts count as self-injury
11:09:15 <mroman_> or self-injury counts as suicide attempt?
11:09:16 <scoofy> i cigarette contains ~12mg of nicotine. so, make and drink a tea out of 5 packs of cigarettes, eat 3 handfuls of jimson weed, and eat 100 caffeine tablets. i think that's almost 100% fail-safe
11:10:24 <scoofy> + swallow some rat-poison, just in case
11:12:11 <scoofy> poisons are easily available
11:14:39 <mroman_> Jafet: also if the second one: What forms of self-injury
11:14:57 <mroman_> potentially lethal self-injury?
11:15:11 <mroman_> (however you'd define "potentially lethal")
11:15:21 <Jafet> Ones that would get you sent to a suicide therapist, presumably
11:15:54 <scoofy> here when you have an attempted suicide, they pump you full of drugs
11:18:58 <mroman_> Jafet: Ok, so potentially lethal self-injury
11:19:26 -!- boily has quit (Quit: PECTORAL CHICKEN).
11:19:28 <mroman_> they don't send you to a therapist just because of cutting that leaves ugly scars but isn't lethal
11:23:03 <Taneb> How did this topic arise
11:24:15 <Jafet> Don't worry, it will soon die off by itself
11:24:44 <Taneb> On another note... I am being really unproductive today
11:27:08 <scoofy> "In the late 19th century in Great Britain, attempted suicide was deemed to be equivalent to attempted murder and could be punished by hanging."
11:27:56 <scoofy> "if you didn't kill yourself, we will"
11:27:58 <Jafet> Hanged convicts lost their inheritance to the crown, I think
11:30:57 -!- tromp__ has joined.
11:35:09 -!- augur has quit (Ping timeout: 252 seconds).
11:35:18 -!- tromp__ has quit (Ping timeout: 244 seconds).
11:35:22 -!- Phantom_Hoover has joined.
11:36:33 -!- lleu has joined.
11:36:34 -!- lleu has quit (Changing host).
11:36:34 -!- lleu has joined.
11:43:51 -!- copumpkin has joined.
12:02:07 -!- oerjan has joined.
12:06:11 -!- Patashu has quit (Ping timeout: 246 seconds).
12:10:21 -!- Lymia has quit (Quit: Hugs~ <3).
12:11:47 -!- Lymia has joined.
12:21:05 -!- Lymia has quit (Quit: Hugs~ <3).
12:22:27 -!- Lymia has joined.
12:23:13 -!- Lymia has quit (Remote host closed the connection).
12:37:58 -!- Lymia has joined.
12:53:44 -!- augur has joined.
12:58:09 <oerjan> <scoofy> well, it's easy - just keep ingesting more until you die <-- istr at least for some pills the problem is your body is too smart: you start vomiting it up faster than it can kill you
12:59:18 <Taneb> oerjan, I think that way you will eventually die (or get into serious medical straits) from vomiting too much
12:59:20 <oerjan> and i'd also imagine for some poisons, you might pass out and not die
13:00:22 <oerjan> also you cannot get to 100% with anything; you might be accidentally saved by an asteroid impact. somehow.
13:01:01 <olsner> or killed by the asteroid before the poison kicks in
13:01:14 <oerjan> Taneb: i think the point of the discussion was how to ensure you die with no risk of ending up seriously injured but alive
13:01:30 <oerjan> well part of the discussion anyway
13:01:31 <Jafet> It could be a small meteorite
13:02:29 <oerjan> meteorites are small asteroids or comets, aren't they
13:17:46 <mroman_> overdosing can cause liver failures
13:18:16 <mroman_> (overdosing can leave lots of permanent injuries if it fails)
13:43:57 -!- `^_^v has joined.
14:21:59 -!- MDream has changed nick to MDude.
14:58:33 -!- nycs has joined.
15:03:07 -!- oerjan has quit (Quit: leaving).
15:04:11 -!- _256Q has joined.
15:06:40 -!- `^_^v has quit (*.net *.split).
15:06:43 -!- skarn has quit (*.net *.split).
15:06:44 -!- izabera has quit (*.net *.split).
15:06:45 -!- fowl has quit (*.net *.split).
15:30:51 <Jafet> Apparently Windows 10 will have its very own SPARTAN-aftermarket sidekick: https://en.wikipedia.org/wiki/Cortana_(voice_assistant)
15:33:37 <Jafet> (Never mind, apparently it's already in phones)
15:38:40 -!- GeekDude has joined.
15:39:53 -!- FreeFull has quit (Quit: BBS).
15:46:18 -!- variable has joined.
15:46:47 -!- variable has quit (Remote host closed the connection).
15:49:55 -!- FreeFull has joined.
16:05:01 -!- Wright has joined.
16:10:24 -!- izabera_ has joined.
16:10:47 -!- izabera_ has changed nick to izabera.
16:37:21 -!- white_bear has quit (Quit: leaving).
16:41:33 -!- password2 has joined.
16:43:33 -!- password2 has left.
16:48:30 -!- Froox has quit (Quit: *bubbles away*).
16:52:44 -!- Frooxius has joined.
16:56:11 -!- atrapado has joined.
17:11:17 -!- fowl has joined.
17:22:22 -!- MDude has quit (Read error: Connection reset by peer).
17:24:22 -!- Lorenzo64 has joined.
17:40:42 -!- mauris has joined.
17:47:53 -!- Sprocklem has quit (Ping timeout: 255 seconds).
17:48:25 <zzo38> My opinion is making a SIGMEM signal that by default does nothing, but a program that can use a lot of memory that isn't mandatory should catch this signal in order to free any memory it doesn't need absolutely (such as a cache), and should probably also try to reallocate existing dynamic memory at the same size as it already was, and to malloc_trim(0)
17:48:48 <fizzie> Android has a thing like that.
17:49:33 <fizzie> There's an onTrimMemory callback you can implement, it's "Called when the operating system has determined that it is a good time for a process to trim unneeded memory from its process."
17:52:20 <shachaf> zzo38: I've suggested something like that before.
17:53:24 <zzo38> But I mean that even if the operating system is not running out of memory that you could call it manually by "kill -SIGMEM" command
17:54:41 <shachaf> If a program does its own caching instead of relying on the OS page cache, there's no reason for it to hog memory when someone else wants it.
18:00:23 -!- Phantom_Hoover has quit (Remote host closed the connection).
18:05:18 <HackEgo> mips/MIPS Is Popular in Schools.
18:05:41 <Jafet> Sounds like sched_yield, another interface that nobody ever uses.
18:11:57 -!- mihow has joined.
18:12:34 -!- skarn has joined.
18:16:09 -!- heroux has quit (Ping timeout: 264 seconds).
18:17:21 -!- heroux has joined.
18:47:33 -!- zzo38 has quit (Remote host closed the connection).
18:56:13 -!- Phantom_Hoover has joined.
18:57:46 -!- zzo38 has joined.
19:05:12 -!- FreeFull has quit.
19:28:52 -!- hppavilion[1] has joined.
19:29:05 -!- FreeFull has joined.
19:31:52 -!- Lorenzo64 has quit (Read error: Connection reset by peer).
19:32:53 -!- mauris_ has joined.
19:35:34 -!- mauris has quit (Ping timeout: 240 seconds).
19:41:31 <zzo38> Is your music playing program a UNIX-style filter?
19:43:32 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
19:44:07 -!- hilquias has quit (Ping timeout: 244 seconds).
19:57:26 -!- yorick has quit (Read error: Connection reset by peer).
19:58:30 -!- hppavilion[1][1] has joined.
20:00:37 -!- x10A94 has quit (Read error: Connection reset by peer).
20:12:23 -!- villasukka has quit (Ping timeout: 258 seconds).
20:12:31 -!- atehwa has quit (Ping timeout: 244 seconds).
20:14:11 -!- villasukka has joined.
20:14:13 -!- atehwa has joined.
20:27:45 -!- oerjan has joined.
20:31:56 -!- villasukka has quit (Ping timeout: 258 seconds).
20:32:11 -!- hppavilion[1][1] has quit (Ping timeout: 246 seconds).
20:32:20 -!- atehwa has quit (Ping timeout: 264 seconds).
20:32:30 -!- villasukka has joined.
20:32:33 -!- atehwa has joined.
20:38:44 <oerjan> what, hppavilion[1] left?
20:39:05 <oerjan> @tell hppavilion[1] here's the comic i blathered about http://www.the-whiteboard.com/autowb516.html
20:39:28 <oerjan> stupid contrary universe.
20:49:34 <HackEgo> A relrod is a machine useful for finding the Force.
20:51:31 <shachaf> `` hg log wisdom/relrod | grep summary:
20:51:32 <HackEgo> summary: <shachaf> learn A relrod is a machine useful for finding the Force.
20:55:10 <int-e> shachaf: it's in http://codu.org/logs/_esoteric/2015-04-02.txt ... hmm still don't get it.
20:56:21 <shachaf> 00:11:06: <boily> what's an elrod?
20:56:25 <shachaf> 00:11:58: <shachaf> relrod: You may be more qualified to answer that than I am.
20:56:28 <shachaf> 00:13:46: <boily> http://www.globalsino.com/EM/image1/3911.gif ???
20:56:31 <shachaf> 00:14:40: <oerjan> ah that must be the machine cern used to find the force
20:57:37 <HackEgo> shachaf sprø som selleri and cosplays Nepeta Leijon on weekends. He hates bell peppers with a passion.
20:57:52 <relrod> well that was ... anticlimatic.
20:57:59 <shachaf> 00:51:08: <relrod> shachaf: Lately I'm on a type theory thing. Trying to work with people in the math department at my school and have them let me do an Individual Study in type theory.
20:58:00 <int-e> (and no that wasn't ironic)
20:58:45 <HackEgo> Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience.
20:58:47 <shachaf> relrod: if it's anticlimactic feel free to change it hth
20:59:45 <int-e> `learn The universe was created as an opposing force to oerjan.
20:59:47 <HackEgo> Learned 'universe': The universe was created as an opposing force to oerjan.
21:00:12 <relrod> shachaf: re: your question -- in the math department, not so well, but I did get permission from my CS advisor to do some self-study courses using TaPL and CPDT, so there's that
21:00:36 <shachaf> i,i conflict-free propagated data type
21:01:32 <relrod> no, I got that. I've just never seen that expansion of that abbreviation.
21:01:36 -!- hppavilion[1] has joined.
21:01:53 <lambdabot> Title: Certified Programming with Dependent Types
21:02:03 <shachaf> @google conflict-free propagated data type
21:02:03 <lambdabot> https://en.wikipedia.org/wiki/Conflict-free_replicated_data_type
21:02:21 -!- Patashu has joined.
21:03:13 <relrod> shachaf: fine, you win. :P
21:03:43 <relrod> I don't know what you win though. Hopefully not money. Because I don't have any money to give you. :P
21:03:45 <shachaf> But now I remember Smerdyakov's book.
21:05:35 <Jafet> I,I ethical fair trade replicated data types
21:09:43 <shachaf> Jafet: also where did *you* get "I,I" from twh
21:10:05 -!- _256Q has quit (Read error: Connection reset by peer).
21:10:20 -!- _256Q has joined.
21:10:21 -!- _256Q has quit (Changing host).
21:10:21 -!- _256Q has joined.
21:11:20 <HackEgo> 1151) <mauke> C++ is a superset of a subset of C
21:13:09 <HackEgo> 1245) <ais523> hppavilion1: there's not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there's interesting context <ais523> because you can tell it was added from the fact that it's there
21:13:58 <shachaf> `` hg log quotes | grep 'fact that it'
21:13:59 <HackEgo> summary: <shachaf> addquote <ais523> hppavilion1: there\'s not much point in `addquoting an `addquote unless the person who added it was somehow significant, or there\'s interesting context <ais523> because you can tell it was added from the fact that it\'s there \ summary: <oerjan> addquote <Phantom__Hoover> the scene: it is a warm summer
21:16:02 -!- Walpurgisnacht has joined.
21:17:17 <oerjan> <int-e> `learn The universe was created as an opposing force to oerjan. <-- YOU KNOW TOO MUCH
21:18:46 <shachaf> `` sed -i 's/created/invented by Taneb/' wisdom/universe
21:23:29 <mroman_> For every oerjan there is an equal opposite oerjan
21:23:35 <mroman_> no matter how smart oerjan is
21:23:42 <mroman_> there's going to be someone who is equall dumb
21:24:35 -!- mihow has quit (Quit: mihow).
21:24:57 -!- Walpurgisnacht has quit (Ping timeout: 250 seconds).
21:26:06 -!- Walpurgisnacht has joined.
21:26:17 <HackEgo> The universe was invented by Taneb as an opposing force to oerjan.
21:26:21 -!- mihow has joined.
21:26:30 -!- yorick has joined.
21:26:37 <oerjan> i guess that makes it better somehow.
21:26:41 <mroman_> and that person might just be me .
21:26:50 <HackEgo> Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience.
21:27:18 <int-e> The context was: <oerjan> stupid contrary universe.
21:28:33 <oerjan> mroman_: no, the equal opposite to me would be actually successful at what he does, not dumb. except in math and programming.
21:29:43 <mroman_> Yeah, I'm not sucessful at what I'm doing
21:30:03 <oerjan> actually, s/he/she/ for more stereotypical oppositeness
21:30:42 <oerjan> mroman_: that wouldn't be very opposite, i am not a gender neutral person.
21:32:15 <oerjan> i suppose this all depends on which parts are equal and which are opposite.
21:36:12 -!- tromp__ has joined.
21:38:58 -!- Patashu has quit (Ping timeout: 256 seconds).
21:40:56 <mroman_> what's the opposite of having 10 fingers?
21:40:59 -!- tromp__ has quit (Ping timeout: 264 seconds).
21:41:58 -!- mihow has quit (Quit: mihow).
21:47:28 -!- nycs has quit (Ping timeout: 256 seconds).
21:57:22 -!- Walpurgisnacht has quit (Remote host closed the connection).
22:01:59 -!- AnotherTest has quit (Ping timeout: 264 seconds).
22:03:20 -!- GeekDude has quit (Read error: Connection reset by peer).
22:03:33 -!- GeekDude has joined.
22:05:15 -!- mihow has joined.
22:14:58 -!- _256Q has quit (Ping timeout: 244 seconds).
22:19:57 -!- Wright has quit (Read error: Connection timed out).
22:21:15 -!- Wright has joined.
22:26:26 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
22:26:29 -!- _256Q has joined.
22:26:30 -!- _256Q has quit (Changing host).
22:26:30 -!- _256Q has joined.
23:01:30 -!- _256Q has quit (Read error: Connection reset by peer).
23:02:47 -!- atrapado has quit (Quit: Leaving).
23:04:19 -!- _256Q has joined.
23:11:25 -!- idris-bot has quit (Ping timeout: 255 seconds).
23:13:04 -!- Melvar has quit (Ping timeout: 265 seconds).
23:15:53 -!- mauris_ has quit (Ping timeout: 244 seconds).
23:19:13 -!- Melvar has joined.
23:19:35 -!- idris-bot has joined.
23:52:56 -!- tromp__ has joined.
23:56:16 <zzo38> How do I cause it to read a manual page that I wrote?
23:58:01 -!- tromp__ has quit (Ping timeout: 272 seconds).
23:58:08 <zzo38> O, I may have figure out
23:59:04 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).