00:01:06 -!- tromp has joined.
00:04:03 <shikhin> I've released a new IDE with fun support for all esoteric languages - http://shikhin.in/2014/04/01/wodscipe-ide.html & http://f.osdev.org/viewtopic.php?f=2&t=27885.
00:06:05 -!- augur has quit (Remote host closed the connection).
00:06:37 -!- augur has joined.
00:09:18 <elliott> well, I don't actually mean that.
00:10:35 <Bicyclidine> doesthiswork: i'll play it later. i'm just thinking of irl chemistry which is where axiomatism goes to die http://en.wikipedia.org/wiki/Relativistic_quantum_chemistry
00:11:08 -!- augur has quit (Ping timeout: 240 seconds).
00:17:31 -!- nooodl has quit (Quit: Ik ga weg).
00:34:52 <shikhin> elliott: D'oh, that was actually a typo. *some -- go check it out, it actually works :-)
00:35:22 <elliott> does it all fit in a boot sector?
00:35:27 <elliott> I almost managed to fit half a Forth into one.
00:36:24 <shikhin> elliott: We've split the editor and the interpreter.
00:36:39 <shikhin> elliott: So, yes, the editor fits into a boot sector, and all interpreters fit in another 512B.
00:36:46 <shikhin> But, hey, the editor's a quite functional ed :-)
00:36:53 <elliott> I'm sure you can halve them both
00:38:47 <shikhin> The editor's... really nasty.
00:39:09 -!- shikhin has quit (Read error: Connection reset by peer).
00:39:53 <elliott> it can't possibly need all those bytes
00:40:36 -!- shikhin has joined.
00:42:46 -!- augur has joined.
00:43:15 -!- augur has quit (Remote host closed the connection).
00:43:24 -!- augur has joined.
01:05:05 -!- conehead has quit (Quit: Computer has gone to sleep.).
01:11:17 -!- augur_ has joined.
01:11:55 -!- augur has quit (Ping timeout: 240 seconds).
01:41:25 <Sgeo> Is it wrong for me to want Snap on WAI?
01:41:57 <Sgeo> Also, is there any good reason that Scotty doesn't allow for installing middleware in a route?
01:42:09 <Sgeo> I certainly don't want to apply jsonp to my entire application
01:42:26 <Sgeo> (Not that I like Scotty. I really, really, don't)
01:53:59 -!- Bicyclidine has quit (Ping timeout: 252 seconds).
02:04:13 <quintopia> re: freenode-G+ integration: I lolled
02:05:28 -!- ^v has quit (Read error: Connection reset by peer).
02:05:52 <doesthiswork> have you read the paper on managed time in programming languages?
02:05:56 -!- ^v has joined.
02:07:27 <doesthiswork> well it is interesting http://research.microsoft.com/pubs/211297/managedtime.pdf
02:10:29 <Jafet> "Section 6 concludes with a future of managed time."
02:12:44 <doesthiswork> what else would come after section 5 "The past and present of managed time"
02:58:48 -!- Sellyme has quit (Excess Flood).
02:59:41 -!- Sellyme has joined.
03:00:52 <zzo38> I was looking at some things and found a Java program written by a pretty bad compiler... to create a text value with "pick one" written in it, the code looks like: temp7 = new TTText("A"); hand = temp7; hand.keyboard('\b', false); hand.keyboard('p', false); hand.keyboard('i', false); hand.keyboard('c', false); ... hand.stoppedTyping(); notebook.gets(hand);
03:04:01 <Jafet> I wonder what was the reason for the \b.
03:29:33 -!- BeingUntoDeath has quit.
03:37:07 -!- Sorella has quit (Quit: It is tiem!).
03:43:29 -!- tertu has joined.
03:44:37 <zzo38> The \b is backspace, I think, to delete the "A"
03:45:28 <zzo38> And, I think the macro recorder in Microsoft Office probably does a better job than this...
03:46:36 <zzo38> (Actually the program contains a comment that says \b is the backspace key)
04:22:18 -!- doesthiswork has quit (Ping timeout: 245 seconds).
04:31:39 <zzo38> There are also things like this: temp1 = new TTNumber(1); hand = temp1; temp1 = hand; TTVacuum vacuum = new TTVacuum(); hand = vacuum; hand.keyboard('e', false); hand.stoppedTyping(); vacuum.suckUp(temp1); (temp1 and hand are both local variables of type TTObject)
04:35:14 -!- conehead has joined.
04:39:08 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
04:44:49 -!- doesthiswork has joined.
04:46:23 <nortti> http://shikhin.in/2014/04/01/wodscipe-ide.html http://github.com/Shikhin/wodscipe
04:47:13 -!- conehead has quit (Quit: conehead).
04:47:58 -!- Zerker has joined.
04:51:31 -!- ^v has quit (Read error: Connection reset by peer).
04:51:59 -!- ^v has joined.
04:52:27 -!- conehead has joined.
04:56:45 <Sgeo> kmc: Just learned that Snap framework apparently uses a Haskell library for SSL that uses OpenSSL, and someone on the mailing list was asking why thye're not using the pure Haskell version
04:57:10 <Sgeo> I think I am that much more confident in Snap doing the right thing (in that they're doing the right thing here using OpenSSL)
04:59:47 <elliott> I'd trust some random Haskell code over OpenSSL :/
05:05:06 <shachaf> Random Haskell code implementing SSL? Really?
05:05:26 -!- nisstyre has quit (Quit: WeeChat 0.4.3).
05:08:31 <maurer> pure haskell version also has some oddities, e.g. not reading modern key formats
05:12:17 <HackEgo> mariolacoin fobcoin cuttcoin argfalcoin pathcoin subjicidecoin sympcoin resscoin middcoin torcoin ext()coin bitioncoin parackcoin clunecoin pictcoin billiicoin reverecoin andcoin bfirdinarizcoin ~coin
05:13:05 <quintopia> the channel for the freenode/google integration is so much fun
05:14:53 -!- Zerker has quit (Ping timeout: 268 seconds).
05:19:16 <Sgeo> I was hoping they actually changed NickServ to suppport it
05:22:29 <lambdabot> Not in scope: type constructor or class `Void'
05:23:00 -!- Zerker has joined.
05:23:19 <Sgeo> Did... Reddit implement face recognition technology for an April Fools prank?
05:23:20 <newsham> ?type fix id :: AprilFOols
05:23:21 <lambdabot> Not in scope: type constructor or class `AprilFOols'
05:23:21 <lambdabot> Perhaps you meant `AprilFools' (line 153)
05:23:25 <newsham> ?type fix id :: AprilFools
05:23:53 <Sgeo> I mean, the webcam video genuinely was recongizing where my face was
05:24:13 <elliott> that must have taken, like, three lines of OpenCV calls
05:24:16 <fizzie> Sgeo: I would assume they just picked an off-the-shelf one. There's one as a standard module in OpenCV.
05:25:01 <Sgeo> I couldn't do anything but downvote
05:25:08 <Sgeo> But then I hadn't read the blog yet
05:26:47 <Bike> happy internet uselessness day
05:27:48 -!- oklopol has joined.
05:29:11 <fizzie> I've got a weekly exercise session to run for that machine learning course, and I didn't even think of putting any FOOLERY in the questions. :/
05:34:57 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)).
05:45:52 <lambdabot> Yow! And then we could sit on the hoods of cars at stop lights!
05:54:15 -!- password2 has joined.
06:05:39 <Sgeo> If I believe something for half a second, does that still count as falling for it?/
06:06:14 <Bike> yes. feel shame.
06:06:38 <Sgeo> http://www.nordicgoacademy.com/2014/04/01/9x9-go-has-been-solved/
06:06:41 <Sgeo> I didn't even read the article
06:07:41 <Bike> god damn it, the internet has made me hate a holiday as innocuous as april fool's
06:08:30 <Sgeo> "Similarly, now we have type holes that let us see what types should be inserted in various spots. -fvalue-holes is the next logical step, to tell us what terms we should be writing."
06:08:43 <Sgeo> Isn't that what automated proofs in dependently typed languages assist with?
06:11:20 -!- tertu has quit (Ping timeout: 246 seconds).
06:16:55 -!- Sprocklem has joined.
06:21:17 -!- tromp_ has joined.
06:23:57 -!- tromp has quit (Ping timeout: 268 seconds).
06:30:27 -!- jix_ has quit (Ping timeout: 265 seconds).
06:30:35 -!- jix has joined.
06:34:49 <oklopol> i fell for it even though i read Sgeo's first message, and even though i was informed the first thing in the morning that it's 1.4. and if i go to work i should be careful.
06:34:54 -!- olsner has joined.
06:35:26 <oklopol> (i asked why i got a warning instead of trickery, but apparently i'm too gullible for it to be interesting.)
06:36:20 <Sgeo> I don't get the meaning of precise-exceptions
06:41:03 -!- shikhout has joined.
06:41:38 <variable> Sgeo: on some processors exceptions, such as div-by-zero, etc. are not guaranteed to be reported in exact temporal location
06:41:55 <variable> other instructions may have already been executed by the time it is reported
06:43:43 -!- shikhin has quit (Ping timeout: 264 seconds).
06:43:45 -!- shikhout has changed nick to shikhin.
06:44:18 <HackEgo> divzerosisivecoin phildcoin smal-xcoin bash-01coin asingcoin aarghcoin shacoin magincoin cratorycoin upakcoin possologelcoin perparcoin opparcivilcoin etchcoin selfcoin iotoncoin braincoin nutcoin niocoin kensigcoin
06:44:55 <fungot> \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
06:44:55 <myndzi> | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c |
06:44:55 <myndzi> /^\ c.c |\ |\| | >\ c.c /< | /| |/< c.c /|
06:49:40 <fizzie> "For light computing there will now be two servers, brute.aalto.fi and force.aalto.fi."
06:50:54 <fizzie> "Mathematica, MatLAB etc will be removed from kosh and lyta [general shell servers], and it is now forbidden to run CPU and/or memory-intensive processes there, and Aalto IT may kill those processes. -- There will be two new Ubuntu shell servers (brute.aalto.fi, force.aalto.fi), both of which have 256GB RAM and 16 cores. These are meant for light computing. All users are asked to be ...
06:51:00 <fizzie> ... considerate of other users and nice their processes. Any commercial use of these servers is prohibited. As an extreme example, 'mining' of any electronic currencies is strictly prohibited."
06:51:04 <fizzie> Makes me wonder if anyone has actually mined some bitcoins on the shell server.
06:51:28 <olsner> kosh and lyta were nice names too
06:54:07 -!- doesthiswork has quit (Quit: Page closed).
06:54:26 <fizzie> "Solve::nsmet: This system cannot be solved with the methods available to Solve." Mathematica, you've let me down!
07:08:25 -!- Sprocklem has quit (Quit: Lost terminal).
07:10:07 <^v> esolang.org is going down
07:10:14 <^v> due to lack of funding
07:11:07 <^v> here is the info: http://goo.gl/6zh5
07:11:12 <quintopia> but esolangs.org is here to stay :D
07:11:48 <Sgeo> http://www.scp-wiki.net/ aww, such super cute pets
07:14:08 -!- heroux has quit (Ping timeout: 240 seconds).
07:15:21 -!- ChanServ has set channel mode: +o elliott.
07:15:28 <Sgeo> I should sleep
07:15:37 -!- elliott has kicked ^v it's april fool's day, not just be stupid day.
07:15:39 -!- elliott has set channel mode: -o elliott.
07:16:22 <Bike> is the link goatse or what
07:17:09 -!- ^v has joined.
07:17:14 <Bike> why does goo.gl not have an expander...
07:17:16 <Sgeo> As of this line, neither the most recent link I linked to nor the most recent link ^v linked to is goatse
07:17:46 <Bike> well what is it then. lemonparty? screamer? 2048? pentagon papers?
07:17:53 <Sgeo> I am aware of the potential race condition, but it seemed to not have occurred
07:18:41 <Bike> jesus christ dude
07:18:59 <Sgeo> It is not lemonparty nor screamer nor 2048. I am not sure what pentagon papers is, but it's not that either, unless pentagon papers means something really non-obvious
07:19:31 <Sgeo> (It's rickroll)
07:19:38 <Sgeo> I should sleep
07:24:40 -!- Patashu has joined.
07:25:00 <^v> No, its illuminati
07:29:45 <^v> http://i.imgur.com/9IR3V86.png
07:29:54 <^v> its illuminati
07:30:02 <^v> they are taking over the world
07:31:12 <kmc> `addquote <Sgeo> It is not lemonparty nor screamer nor 2048. I am not sure what pentagon papers is, but it's not that either
07:31:14 <HackEgo> 1180) <Sgeo> It is not lemonparty nor screamer nor 2048. I am not sure what pentagon papers is, but it's not that either
07:34:30 <Sgeo> Fark put up their April Fools Day prank
07:38:41 -!- Patashu[Zzz] has joined.
07:38:41 -!- Patashu has quit (Disconnected by services).
07:40:14 <olsner> went to the page (I think) and it wasn't obvious, so I left
07:40:45 <quintopia> so they just reset the page back to some day in 2004? lame
07:41:37 <olsner> I imagine it's great if you were a regular visitor in 2004
07:43:35 <kmc> I actually was a regular visitor in 2004
07:44:06 <kmc> fungot: what would you do if your toilet came to life
07:44:06 <fungot> kmc: we need to get and up here, shouldn't there be, exactly, i don't get to live. your trial that would appear to you in the bedroom. or any room with that."
07:44:08 <olsner> was it a good joke for you then?
07:45:22 -!- Patashu[Zzz] has quit (Ping timeout: 265 seconds).
07:48:41 -!- ^v has quit (Quit: http://i.imgur.com/DrFFzea.png).
07:50:41 -!- Slereahphone has joined.
07:52:48 -!- Tritonio has joined.
07:55:03 <olsner> hmm, is "passionated" a word?
08:25:06 -!- oerjan has joined.
08:46:41 -!- olsner has quit (Quit: Leaving).
08:59:00 <ion> @tell olsner It is if you word it.
08:59:24 -!- Slereahphone has quit (Remote host closed the connection).
09:05:06 -!- Slereahphone has joined.
09:18:10 -!- oerjan has quit (Quit: leaving).
09:43:04 <quintopia> ion: it also depends on how it's encoded, and the size of a word on your system
10:01:44 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com).
10:12:53 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
10:13:27 -!- Slereahphone has joined.
10:13:37 -!- boily has joined.
10:20:57 -!- yorick has joined.
10:26:04 -!- Slereahphone has quit (Remote host closed the connection).
10:26:25 -!- Slereahphone has joined.
10:34:04 -!- JesseH has joined.
10:34:32 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
10:59:31 -!- boily has quit (Quit: Poulet!).
11:23:32 -!- Phantom_Hoover has joined.
11:34:45 -!- JesseH has quit (Ping timeout: 268 seconds).
11:42:00 -!- yorick has quit (Remote host closed the connection).
11:42:17 -!- yorick has joined.
11:47:08 -!- tertu has joined.
12:03:20 -!- Sorella has joined.
12:32:55 -!- Sgeo has quit (Read error: Connection reset by peer).
12:34:56 -!- MoALTz has quit (Read error: Connection reset by peer).
12:35:03 -!- MoALTz has joined.
12:38:20 -!- MoALTz_ has joined.
12:40:26 -!- shikhout has joined.
12:41:58 -!- MoALTz has quit (Ping timeout: 268 seconds).
12:43:43 -!- shikhin has quit (Ping timeout: 264 seconds).
12:43:44 -!- shikhout has changed nick to shikhin.
13:11:28 -!- vravn has quit (Ping timeout: 255 seconds).
13:12:37 -!- vravn has joined.
13:43:30 <shikhin> Has everyone here checked out Wodscipe? It's an insane IDE for esoteric languages! http://shikhin.in/2014/04/01/wodscipe-ide.html (github: http://github.com/shikhin/wodscipe)!
13:44:07 <zzo38> I have read that article about it, at least
15:03:32 -!- MoALTz_ has quit (Quit: bbs).
15:18:25 -!- nooodl has joined.
15:26:30 -!- Tritonio has quit (Ping timeout: 252 seconds).
15:44:21 -!- MindlessDrone has joined.
15:50:39 -!- spiette has quit (Ping timeout: 265 seconds).
15:55:35 -!- olsner has joined.
15:57:31 -!- idris-ircslave has quit (Quit: Terminated).
15:57:50 -!- idris-ircslave has joined.
16:01:00 -!- oerjan has joined.
16:30:32 <mroman> I've grown to hate Smalltalk and Modula
16:30:48 <mroman> and everything that is similar to it
16:32:03 <mroman> elliott: Thank you for listening.
16:32:09 <mroman> I really appreciate it.
16:32:35 <mroman> In other channels I would have gotten banned for such promising statements.
16:33:02 <oerjan> i didn't think smalltalk, modula and fortran were very similar.
16:33:37 <elliott> mroman: that can still be arranged if you'd like.
16:33:42 <oerjan> are you sure you don't just hate programming languages in general.
16:33:46 <elliott> oerjan: smalltalk and modula are at least both early OO languages...
16:33:57 <mroman> oerjan: No. Just the old ones that feel impractical ;)
16:33:58 <olsner> ion: if someone worded it, it wasn't me (looked like swenglish to me)
16:34:11 <elliott> have you ever read a line of smalltalk in your life?
16:34:18 <elliott> it's far more comparable to something like Ruby than Fortran...
16:34:23 <oerjan> elliott: depends on if it's modula 2 or 3, i think. (i learned 2 which wasn't very oo iirc)
16:34:32 <mroman> elliott: I've even written lines in smalltalk
16:34:59 <mroman> honestly the worst part about smalltalk is that workspace thingy
16:35:09 <mroman> other than that it's not so bad actually
16:35:20 -!- olsner has quit (Quit: Leaving).
16:35:30 <elliott> and eclipse, the worst part of java
16:35:47 <mroman> Eclipse isn't that tightly coupled to java
16:35:49 <elliott> (though Workspace is just the REPL type thing, maybe you didn't mean that?)
16:36:13 <elliott> anyway I'm actually so tired of bickering about this stuff and am hereby retiring from it.
16:36:43 <mroman> I obviously wasn't prepared to discuss it anyway ;)
16:38:04 <mroman> There really isn't a way to return an open array from a procedure in Modula?
16:38:45 <elliott> well, I also retired from complaining, just more relapses
16:39:47 <elliott> oerjan: I wasn't aware. silly Wirth reusing language names so much
16:39:54 <elliott> or, maybe I was aware but only dimly
16:40:08 <mroman> I'm not asking you to complain. And I'm not complaining.
16:43:23 <elliott> we are, by the way, now bickering over this.
16:45:01 <zzo38> oerjan: No, *you* are not.
16:49:30 <mroman> fungot: What's your position on this.
16:49:31 <fungot> mroman: he be tha heart an' soul o" tiles because my father, and i would not be so dismissive of.
16:50:09 -!- ^v has joined.
16:50:42 <oerjan> and possibly vaarsuvius
16:52:44 <zzo38> FORTRAN is including many things that they forgot to put in modern programming languages, such as FREQUENCY statement, arithmetic IF, arithmetic overflow checking, ASSIGN, etc and some of these features have been removed or made useless in Fortran 95 and newer versions.
17:00:46 <zzo38> Although FORTRAN does have some new features which are pretty good too, such as coarrays, and a few others.
17:07:26 <mroman> incindentally I hate all programming languages
17:12:25 <int-e> mroman: It's not often that I quote Stroustrup, but I like this statement: "There are only two kinds of languages: the ones people complain about and the ones nobody uses."
17:13:27 <kmc> two kinds of fungot
17:13:28 <fungot> kmc: me too! neat, having dinner together, and i know that, i'm no better than my own, but
17:14:28 <oerjan> fungot: now you're going around being disturbingly appropriate again
17:14:28 <fungot> oerjan: get down! take a load and unload the camels for a second, any spell you are working on.
17:15:20 <int-e> two fungot (or is the plural "fungots"?) and "me too", does that make three?
17:15:21 <fungot> int-e: we need to get that " video games, but you and the idiot paladin understands better, i once saw head-butt an elderly gnome woman into a coma, he's been too tired and panicked! it's all i could get the scene.
17:15:48 <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
17:19:13 <Jafet> fungot, what do you think about fungoots
17:19:14 <fungot> Jafet: this " treasure" idea intrigues me and i wish. but elan, we're doing here in, say, " hold half-orc" for the hell, i rolled a 1 gp fee, we'll see if, for that kind of stuff, i figured that one out on my own, but
17:19:30 <Jafet> I think this corpus isn't quite large enough.
17:20:11 <int-e> "iwcs" would be the irregular webcomics?
17:20:17 <kmc> wouldn't the plural be "fungi"
17:20:32 <kmc> fungot: how do you pluralize yourself
17:20:33 <fungot> kmc: for that, my family would like my mode of transit returned, do you know that no one leaves. roy, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant,
17:20:49 <int-e> "pluralize", not "multiply"
17:21:16 <kmc> huh I usually don't see fungot do that
17:21:17 <fungot> kmc: too much clean and safe places for us, " oh, i get it. in that case, i will be up here on my throne, being awesome and everyone here could use a little. you sound so bad, really, all my molecules, so that the dwarf, " stabby"
17:21:23 <fungot> Selected style: discworld (a subset of Terry Pratchett's Discworld books)
17:21:38 <int-e> fungot: how do you feel about imps?
17:21:38 <fungot> int-e: " good heavens. really... i have nothing but the endless glass rooms.
17:22:07 * int-e wonders whether fungot can recognize handwriting now
17:22:07 <fungot> int-e: " ah," said ponder. " uh... and there's still more scumble in the jug."
17:22:40 * int-e realizes for the first time that fungot is all lower case ALL THE TIME.
17:22:41 <fungot> int-e: on the other hand, anyone you managed to hit instantly became your foe, so it can get interesting, technically you'll rank as a corporal," said colon, but without much enthusiasm. even beggars need someone to watch over imp that night was day, people would have joined in.
17:23:12 -!- MoALTz has joined.
17:23:13 <kmc> T FUNGOT HUALAGAHALAHAGAGLAHL
17:23:30 <int-e> yes, including the fUnGoT nickname recognition
17:23:40 <kmc> tea fungot
17:23:41 <fungot> kmc: this was a gross breach of etiquette. " she's all right. you have to look hard. the hogfather's artificial stomach was now at groin level.
17:23:52 <kmc> fungot: c.c
17:23:52 <fungot> kmc: the whole family, including the floor and looked down at the table in the rats chamber repaired?' he said.
17:23:57 <kmc> myndzi: TOO SLOW
17:24:09 * kmc wonders if the ordering of messages is consistent for all users in a channel
17:24:15 <kmc> I suspect not, at least between servers?
17:24:40 <shachaf> In the past I've seen messages from the same user reordered.
17:25:32 <int-e> discworld was a bad choice, I want to get this image out of my head ...
17:26:04 <kmc> fungot: i'll be back in a bit
17:26:05 <fungot> kmc: ' is there something you want to go by yourself?'
17:26:16 <kmc> fungot: yes, riding TRAAAAAINS
17:26:16 <fungot> kmc: ' right,' said the count, thrusting the axe aside. ' good name.'
17:26:34 <int-e> fungot: s/go/do/ and it would have been perfect.
17:26:35 <fungot> int-e: teppic joined him on the
17:27:21 <int-e> That's an euphemism I have not heard before.
17:27:24 <kmc> the only 1676 mm gauge railway in North America?
17:44:21 <int-e> ... still in operation?
17:45:19 -!- doesthiswork has joined.
17:46:24 -!- ^v has quit (Read error: Connection reset by peer).
17:46:52 -!- ^v has joined.
17:54:46 -!- MoALTz_ has joined.
17:57:22 -!- MoALTz has quit (Ping timeout: 252 seconds).
17:58:40 -!- Sorella has quit (Ping timeout: 252 seconds).
18:05:23 <Bike> kmc: messages by yourself show up instantaneously in most clients so there's semifrequent mild inconsitencies
18:08:36 <oerjan> i assume irc makes no attempt at chronologically ordering messages arriving from different servers
18:08:57 <Jafet> “The Sampoong Department Store collapse was a structural failure that occurred on June 29, 1995 [...] It was the deadliest building collapse since the Circus Maximus collapse in c. 140 AD”
18:09:09 <oerjan> hm, _is_ there even any original timestamp?
18:10:41 <oerjan> that circus maximus one was a long-lasting record for sure
18:11:35 <oerjan> wait it didn't say that beat it
18:12:07 <oerjan> i'd imagine the twin towers might hold that record now?
18:12:21 <Jafet> There is a very brief mention on the article for the Circus Maximus, in the citation footnotes, of 13000 people killed by a partial collapse of the stadium.
18:12:25 <Bike> they're probably only counting accidents.
18:12:43 <oerjan> 13000, ok that record might _still_ hold then.
18:13:50 <Jafet> If you really want to kill the most people, though, you should build a dam in china
18:14:01 <Jafet> Or a chemical factory in india
18:15:16 <oerjan> just do that mediterranean basin thing
18:15:49 <oerjan> takes a few millennia to set up, though
18:17:43 -!- nooodl_ has joined.
18:21:02 -!- nooodl has quit (Ping timeout: 253 seconds).
18:22:24 <kmc> just spend a few hundred years filling the atmosphere with excess CO₂
18:22:51 -!- password2 has quit (Read error: Operation timed out).
18:25:28 <Jafet> Wouldn't you only ruin a few million coastal dwellers who by most accounts don't even give us cheap consumer products
18:26:31 <oerjan> kmc: um that wouldn't be likely to empty the basin, would it?
18:28:41 -!- upgrayeddd has joined.
18:29:10 -!- doesthiswork has quit (Quit: Page closed).
18:36:48 -!- password2 has joined.
18:41:14 -!- shikhout has joined.
18:44:00 -!- shikhin has quit (Ping timeout: 255 seconds).
18:44:02 -!- shikhout has changed nick to shikhin.
19:02:36 <Bike> http://appleinsider.com/articles/14/04/01/like-a-glove-april-fools-efforts-from-samsung-htc-toshiba-all-share-the-same-punchline
19:11:01 -!- Guest27452 has changed nick to Zom-B.
19:12:22 -!- impomatic has joined.
19:15:06 <impomatic> Core War is currently high on the programming reddit :-) http://www.reddit.com/r/programming/comments/21xfrs/the_spring_2014_core_war_tournament_celebrating/
19:15:25 * impomatic hopes quite a few people will enter the tournament...
19:17:19 -!- Sorella has joined.
19:17:22 -!- Sorella_ has joined.
19:22:07 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:28:23 -!- chaiomanot has joined.
19:29:30 -!- olsner has joined.
19:35:33 <olsner> sounds too boring to approve of, however crazy it may be
19:39:38 -!- password2 has quit (Ping timeout: 240 seconds).
19:43:58 -!- heroux has joined.
20:02:38 -!- conehead has joined.
20:05:26 -!- Sprocklem has joined.
20:24:21 -!- conehead has quit (Quit: Computer has gone to sleep).
20:36:47 <oerjan> darn i had 1024, 512 and 256
20:41:04 <kmc> you know how it saves your game when you close the tab? well you can cheat by opening multiple tabs as savepoints
20:42:25 <shachaf> you can also cheat by changing the numbers around to say what you want
20:45:52 <kmc> you can also cheat by not playing at all
20:46:18 <kmc> shachaf: there's "taking the rubiks cube apart and reassembling it solved" cheating and then there's "moving all the stickers" cheating
20:46:39 <kmc> now you've made me want to play DEFCON
20:46:58 -!- conehead has joined.
20:49:10 <olsner> I want a proper programming language to (re-)write my OS in
20:49:23 <lexande> the only winning move is to play, perfectly, waiting for your opponent to make a mistake
20:52:55 <kmc> olsner: Rust?
20:53:43 <maurer> kmc: Are you on a team for it?
20:54:00 <kmc> I don't know what you mean by that quite
20:54:07 <kmc> I'm on Team Rust in that I plug Rust every chance I get :P
20:54:08 <olsner> I guess I should try, I hear there have been some improvements for runtime-less rust code
20:54:18 <kmc> yeah, it's pretty slick now
20:54:22 <maurer> kmc: Sorry, I meant in relation to 16:46 < kmc> now you've made me want to play DEFCON
20:54:24 <kmc> http://blog.theincredibleholk.org/blog/2013/11/18/booting-to-rust/
20:54:28 <maurer> you don't mean that defcon
20:54:31 <maurer> you mean the missile shooting one
20:54:57 <maurer> We're gonna have srsmode competition from dragon sector this year :(
20:54:59 <olsner> but I may want something that's more like a mix between rust and assembly
20:55:01 <maurer> well, it's a good thing
20:55:41 <kmc> olsner: in what way?
20:59:31 <kmc> you can do inline assembly in Rust; you can also link object files from Rust, C, assembly pretty easily
21:01:57 <olsner> not sure :) but e.g. something like inline rust for the code that's too tedious to do manually in assembly
21:09:20 -!- trn has quit (Ping timeout: 246 seconds).
21:09:59 <olsner> I've been playing with the idea of building an optimizing assembler too
21:11:50 <olsner> (... implementing actual functionality is not the primary activity of this project)
21:15:59 -!- john_metcalf has quit (Read error: Connection reset by peer).
21:17:50 -!- Sprocklem has quit (Quit: Lost terminal).
21:19:05 -!- trn has joined.
21:19:12 <olsner> UEFI's console API takes UTF-16 o.O
21:19:23 <kmc> i blame microsoft
21:19:48 <olsner> obviously, with the PE32 format too
21:19:56 <kmc> and the windows x64 calling convention
21:20:16 <Bike> at least it's not latin-1
21:20:32 <kmc> cp437 for life
21:21:06 <olsner> code page "whatever matches the font loaded on the graphics card"
21:21:17 <kmc> Bike: I like how on the web "Latin-1" means Windows-1252 always
21:21:25 <kmc> like in <meta charset> tags, etc.
21:22:11 <kmc> also the algorithm for parsing numerical character entities (which are supposed to be Unicode codepoints) has special cases for 0x80 - 0x9F (the ISO-2022 C1 control code range) which map to the most likely printable Windows codepage characters
21:26:46 -!- Sprocklem has joined.
21:29:13 <olsner> oh well, I think I'll do a trial rewrite of the kernel in rust ... the biggest horror is that I'll probably have to use a linker
21:29:32 <zzo38> CP437 (the PC character set) is good idea.
21:37:31 -!- boily has joined.
21:43:08 <olsner> but tomorrow! now I shall sleep
21:45:42 -!- olsner has quit (Quit: Leaving).
21:46:07 -!- heroux has quit (Ping timeout: 264 seconds).
21:46:29 <boily> can lambdabot send differed subconscious messages in people's sleep?
21:46:31 -!- heroux has joined.
21:46:59 <lambdabot> The answer is: Yes! Haskell can do that.
21:47:23 <int-e> . o O ( which reminds me of a request to change this to a link to the FAQ on the haskell wiki )
21:47:44 <int-e> boily: it only works if your subconscious is pure though
21:48:24 <boily> ain't gonna happen soon. my subconscious is having lascivious thoughts of a grilled bagel, with chipotle hummus, random cheese, spinach and italian tomatoes.
21:49:47 -!- MoALTz__ has joined.
21:54:40 -!- tertu has quit (Ping timeout: 255 seconds).
21:54:41 -!- shikhin has quit (Ping timeout: 255 seconds).
21:54:42 -!- lambdabot has quit (Ping timeout: 255 seconds).
21:54:43 -!- MoALTz_ has quit (Ping timeout: 255 seconds).
21:54:43 -!- vravn has quit (Ping timeout: 255 seconds).
21:55:26 -!- shikhin has joined.
21:55:29 -!- upgrayeddd has quit (Quit: Connection closed for inactivity).
21:57:09 -!- vravn has joined.
21:59:50 -!- lambdabot has joined.
22:01:27 -!- MoALTz__ has quit (Quit: Leaving).
22:01:40 -!- MoALTz has joined.
22:05:24 -!- nooodl_ has quit (Quit: Ik ga weg).
22:15:17 -!- boily has quit (Quit: UNCLEAN CHICKEN).
22:38:29 <kmc> wish lambdabot would rejoin ##crypto
22:39:08 <elliott> int-e: you should add kmc to online.rc
22:40:28 <kmc> what's online.rc
22:41:01 <elliott> the file of commands lambdabot loads at startup
22:49:00 <shachaf> int-e: you should add shachaf to online.rc
22:49:34 <Taneb> elliott, could you make lambdabot join #cs-york?
22:50:18 -!- yorick has quit (Remote host closed the connection).
23:01:01 <Taneb> (elliott, that is the University of York computer science channel)
23:01:43 <elliott> you'll have to ask int-e for permanence, but sure
23:01:49 <elliott> it runs ghc not yhc though
23:02:01 -!- oerjan has quit (Quit: join ALL the channels).
23:02:59 <Taneb> And we are for some strange reason slowly working on a new York Haskell Compiler
23:03:30 <Taneb> Which of course is called the New York Haskell Compiler
23:12:08 -!- Sorella has quit (Ping timeout: 240 seconds).
23:14:03 -!- Sorella has joined.
23:33:29 <Taneb> TIL 5 ^ (4 ^ (3 ^ (2 ^ 1)))) is rather large
23:35:38 <kmc> `run python -c 'print 5 ^ (4 ^ (3 ^ (2 ^ 1))))'
23:35:39 <HackEgo> File "<string>", line 1 \ print 5 ^ (4 ^ (3 ^ (2 ^ 1)))) \ ^ \ SyntaxError: invalid syntax
23:35:46 <kmc> `run python -c 'print 5 ^ (4 ^ (3 ^ (2 ^ 1)))'
23:36:32 <Taneb> kmc, Python has the wrong definition of ^
23:37:08 <kmc> that'sthejoke
23:37:15 <kmc> also I just realized most lines of C code end with a sad face
23:37:24 <Taneb> Also I regret giving #cs-york lambdabot
23:37:31 <Taneb> Mostly I regret giving me lambdabot, though
23:38:06 <Taneb> <Sourceless> > foldl (+) [1..]
23:39:06 -!- Chiyo has joined.
23:39:42 <HackEgo> Chiyo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/wiki/Main_Page>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
23:40:17 -!- Sprocklem has quit (Quit: Lost terminal).
23:40:50 -!- Sprocklem has joined.
23:40:54 <zzo38> Don't be too ineffective.
23:41:06 <elliott> `addquote <zzo38> Don't be too ineffective.
23:41:08 <HackEgo> 1181) <zzo38> Don't be too ineffective.
23:41:59 -!- Chiyo has left.
23:42:59 <elliott> I wonder what our user retention would be like without HackEgo.
23:43:30 <lexande> what was it like during the recent HackEgo downtime?
23:43:58 <shachaf> I think all the hello/welcome jokes are played out and were never a good idea for actually making newcomers feel welcome.
23:48:46 -!- Sorella_ has quit (Quit: It is tiem!).
23:52:23 -!- ^v has quit (Ping timeout: 252 seconds).
23:54:21 -!- ^v has joined.
23:59:44 -!- nisstyre has joined.
23:59:45 -!- nisstyre has quit (Changing host).
23:59:46 -!- nisstyre has joined.