00:17:04 `slist 00:17:05 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 00:24:34 `ls bin/*list* 00:24:35 ls: cannot access bin/*list*: No such file or directory 00:24:41 `run ls bin/*list* 00:24:43 bin/emptylist \ bin/instalist \ bin/list \ bin/listen \ bin/makelist \ bin/mlist \ bin/olist \ bin/pbflist \ bin/slist \ bin/smlist \ bin/testlist 00:31:44 -!- Deewiant has quit (*.net *.split). 00:31:46 -!- clog has quit (*.net *.split). 00:31:46 -!- SirCmpwn has quit (*.net *.split). 00:31:47 -!- bengt_ has quit (*.net *.split). 00:31:47 -!- iamcal_ has quit (*.net *.split). 00:31:47 -!- Frooxius has quit (*.net *.split). 00:31:47 -!- Fiora has quit (*.net *.split). 00:31:47 -!- lifthrasiir has quit (*.net *.split). 00:31:47 -!- augur has quit (*.net *.split). 00:31:47 -!- copumpkin has quit (*.net *.split). 00:31:47 -!- Nisstyre-laptop has quit (*.net *.split). 00:31:47 -!- fizzie has quit (*.net *.split). 00:31:47 -!- kyyni has quit (*.net *.split). 00:33:08 -!- boily has joined. 00:33:25 -!- boily has quit (Client Quit). 00:34:57 -!- SirCmpwn has joined. 00:35:08 -!- boily has joined. 00:35:22 -!- boily has left. 00:35:26 -!- boily has joined. 00:35:58 -!- boily has quit (Client Quit). 00:36:43 -!- nooga has quit (Ping timeout: 245 seconds). 00:48:07 -!- carado has quit (Ping timeout: 246 seconds). 00:57:30 -!- oerjan has quit (Quit: leaving). 01:19:27 -!- copumpkin has joined. 01:31:38 -!- augur has joined. 01:32:08 -!- Regis__ has quit (Ping timeout: 256 seconds). 01:38:15 -!- Jafet has quit (Changing host). 01:38:15 -!- Jafet has joined. 01:39:39 I thought logreading was punishable by apathy. 01:39:46 remember the tiny lisps craze 01:39:47 or maybe not even tiny but 01:39:47 idk 01:39:47 newlisp, picolisp, zepto 01:39:47 remember zeptobot, remember news-ham 01:39:50 is that like a nomic, or 01:40:16 microkernel nanokernel femtokernel 01:40:18 exokernel goes somewhere in there 01:40:42 -!- 66MAAH5NI has joined. 01:41:11 I think we need yoctokernels. 01:42:32 -!- 66MAAH5NI has quit (Read error: Connection reset by peer). 01:42:44 -!- SirCmpwn has quit (Excess Flood). 01:42:55 -!- SirCmpwn has joined. 01:43:42 Exokernel Mustard returning to the Library with the Gadget 01:43:45 -!- copumpkin has quit (Changing host). 01:43:45 -!- copumpkin has joined. 01:44:02 why do people pronounce "colonel" as "krnl" 01:44:47 The linux colonel 01:45:11 Proof Colonel 01:46:33 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 01:47:02 shachaf: that's what happens when the english military conspires to pronounce french probably 01:54:12 Bike: why would anybody try to pronounce french 01:55:12 (19:54) Because the French are masochists. 01:55:48 -!- augur has quit (Remote host closed the connection). 01:57:39 PING 01:59:17 -!- boily has joined. 01:59:17 -!- Nisstyre-laptop has joined. 01:59:17 -!- fizzie has joined. 01:59:17 -!- Fiora has joined. 01:59:17 -!- bengt_ has joined. 01:59:17 -!- kyyni has joined. 01:59:17 -!- iamcal_ has joined. 01:59:17 -!- Deewiant has joined. 01:59:17 -!- lifthrasiir has joined. 02:00:43 (20:00) Welcome back from the split. 02:01:16 The character of Green has been given two different personas in the Cluedo world. Originally patented as The Rev. Mr. Green, in Britain, he is Reverend Green, a hypocritical vicar who weakens when it comes to the Sixth commandment, murder. In North America, he is Mr. Green, who has taken many money-oriented roles from mobster to businessman. Parker Brothers insisted on the name change as they thought the American public would object to a ... 02:01:22 ... parson being a murder suspect.[1] He rolls fourth in the game. 02:01:52 the sixth commandment, murder 02:02:20 Ugh, only Portlanders would be stupid enough to fight flouridation of water X_X 02:02:35 http://slbkbs.org/fluids.jpg 02:02:46 Seen in Palo Alto, Calif. 02:03:00 Gregor: you sure about that 02:03:39 http://en.wikipedia.org/wiki/File:Unholy_three_cropped.png POLIO MONKEY SERUMS 02:03:47 OK, OK X-D 02:03:50 Gregor: https://www.noisebridge.net/pipermail/noisebridge-discuss/2013-March/034990.html san francisco 02:04:14 I like "USED BY NAZIS" 02:04:14 p. good thread, somebody brings up 9-11 trutherism as a hyperbolic troll and then they discuss that seriously for a while 02:04:33 WATER: USED BY NAZIS 02:04:40 ostensibly to prevent tooth decay (dubious) 02:04:57 -!- augur has joined. 02:05:19 I heard flouridation is pointless, which sounds more plausible than it lowering IQ and turning you into a nazi 02:05:33 nazi shmatzi 02:06:24 http://jpelectron.com/sample/Electronics/PC-%20SCSI%20-%20Connectors.gif the great thing about SCSI connectors is that there are so many to choose from 02:07:33 the great ting about monoids is that they are so easy to choose from 02:07:36 thing 02:08:17 elliott: don't you need some kind of axiom for that 02:09:17 it's called the axiom of choice because everyone prefers it to the other axioms 02:11:28 check out my new axiom, axiom of choice 02:12:17 the axiom of choice for the discerning mathematician 02:12:49 kmc++ 02:13:06 shachaf: isn't that the axiom of comprehension 02:13:19 oh, that's a lyrics 02:17:00 kmc: oh man this thread is gold 02:17:13 kmc: the guy's response to everyone who says he's an idiot is to criticise them for top-posting first 02:17:17 that is the funniest thing to me 02:17:19 hahaha 02:17:58 toxic at the cellular level 02:18:25 i also like the email 02:18:28 dhtmlkitchen 02:18:39 i gather that noisebridge has been overrun with hobos and crazies and also they spent all their money and nobody knows how 02:18:58 hopefully nobody on this list thinks that three steel skyscraper can just 02:18:58 all collapse into their own footprints, because two of them were hit with 02:18:58 planes. 02:18:59 http://24.media.tumblr.com/4749e66db130c47b127835b56bf34e67/tumblr_mkbu5fdToy1r7a5hdo1_1280.jpg Dude. Their blog. 02:19:02 holy shit 02:19:14 this thread is amazing 02:19:23 Bike: uncle sam looks p. cool in that drawing 02:19:26 a rad dude 02:19:27 elliott: wow you made me look 02:19:30 Hey, my Nexus 10's battery finally died. 02:19:31 he really does do that doesn't he 02:19:35 Dutifully reporting 72% to the very end. 02:19:37 2cool4skool 02:19:43 Top posting, in spite of having the problems with that pointed out in the message to which you're replying, and with new subject matter but the same subject line. 02:19:44 we are the 72% 02:19:54 i actually hate top posting but this guy is so funny 02:20:01 question what is "top posting" 02:20:08 Bike: what 02:20:09 re: the image 02:20:10 what 02:20:14 This shifts the helm of the printing press to the federal government and they might print money for ulterior uses, surreptitiously or a vague reason of “national security.” Government officials have been known to influenced by bribes, gifts, threats, blackmail, and force. 02:20:22 top posting is where you put your reply before a big ol quote of the email you're replying to 02:20:28 Wow, really. 02:20:30 Top posting is the best way of posting 02:20:38 instead of putting the context before the actual things you're saying and not including five thousand lines that are irrelevant to your email 02:20:50 of course every client promotes doing this by default for no reason 02:21:16 The Planned Parenthood memo indicates a the organization’s darker notes of eugenics-based population control. 02:21:38 yep there's alex jones 02:21:48 And worthwhile of discussion, even if top-posted. 02:21:54 BLATANT CENSORSHIP by CNN of Soldier Supporting Ron Paul’s Foreign Policy - Please Re-upload 02:22:46 17 Reasons Why A Vote For Mitt Romney Is A Vote For The New World Order. <-- okay i kind of want to read this almost except it's on infowars 02:23:45 Is Gingrich a Straw Man? Gingrich is perhaps a straw man. Do night fight single candidate wars; be smart. Use logic, Socratic method (identify BS). Issues are collapse and WW3. The *real* enemy is war, lies, and corruption. These things come from CFR, Bilderberg. Romney (CFR), Rick Perry (CFR, Bilderberg), Obama (CFR, Goldman-Sachs, Brzezinski). 02:23:51 and now i'm done. 02:23:52 FluorIDE sounds like an IDE. 02:24:06 imo you should make an ide called that 02:24:07 Bike: do night fight single candidate wars 02:24:11 @google fluoride IDE 02:24:16 http://www.electricscotland.com/mcintyre/index_f/menu_f/nomenclature.htm 02:24:16 Title: fluorine fluoride chemistry 02:24:38 elliott: tonight on spike 02:26:42 -!- boily has quit (Ping timeout: 245 seconds). 02:28:57 monoid monoid on the wall. what is the easiest algebraic structure of all? 02:31:08 @google dylan server pages 02:31:13 http://en.wikipedia.org/wiki/Dylan_Server_Pages 02:31:14 Title: Dylan Server Pages - Wikipedia, the free encyclopedia 02:33:13 I,I The Last Monoid 02:35:48 The Last Free Monoid in Europe 02:39:21 Bike: to be fair the founder of Planned Parenthood was sort of into eugenics http://en.wikipedia.org/wiki/Planned_Parenthood#Margaret_Sanger_and_eugenics 02:39:35 but maybe the kind that isn't so bad 02:39:42 and also it was the 20s and everyone though eugenics was cool back then 02:39:44 kmc: plz https: link 02:39:48 yes i am aware 02:39:56 shachattps 02:40:08 shachaf: are you the secure version of a protocol named hachaf 02:40:22 maybe i should have mentioned that the title of that post was "Fertility control agents in water supply" 02:42:13 SHA-chaf 02:45:04 Jafet: You left #haskell? 02:46:36 No, I just didn't go back in. 03:01:08 -!- btiffin has joined. 03:03:16 -!- clog_ has quit (Quit: ^C). 03:03:30 -!- clog has joined. 03:12:56 -!- FreeFull has quit (Ping timeout: 255 seconds). 03:18:07 -!- boily has joined. 03:18:25 -!- FreeFull has joined. 03:36:13 -!- doesthiswork has joined. 03:36:38 which old computer game is the topic/ 03:39:10 an old one I'm guessing? 03:40:30 good guess 03:44:10 -!- copumpkin has quit (Ping timeout: 246 seconds). 03:44:41 -!- copumpkin has joined. 03:51:22 mastermind? 03:53:00 I vote Atari ET 03:53:54 blech! 03:58:10 as I was telling my colleague on the other side of the table: I never imagined that I would in my life stare at a picture of the teletubbies in a common room around midnight in order to score points in a hacking competition. 03:58:30 -!- boily has quit (Quit: Poulet!). 03:59:10 Civilization II, actually 04:08:26 this sight really improves my programming efficiency http://www.hackertyper.com/ 04:08:50 ^site 04:20:07 -!- nooodl_ has quit (Ping timeout: 256 seconds). 05:05:43 -!- conehead has quit (Quit: Computer has gone to sleep.). 05:10:27 -!- FreeFull has quit (Ping timeout: 245 seconds). 05:11:48 -!- FreeFull has joined. 05:18:46 -!- FreeFull has quit (Ping timeout: 245 seconds). 05:55:48 -!- FreeFull has joined. 06:01:56 -!- Nisstyre-laptop has quit (Quit: Leaving). 06:02:37 -!- Nisstyre-laptop has joined. 06:04:08 -!- zzo38 has joined. 06:35:02 Ok, What's a pirate's favourite letter? 06:35:24 Arrr, you think it'd be R 06:35:30 But they loves the C 06:35:43 @arr 06:35:43 I want me grog! 06:35:48 @arr you sure? 06:35:48 Keelhaul the swabs! 06:36:15 Aye 06:37:22 What did the zero say to the eight? 06:37:28 Nice belt. 06:41:29 What did the one say to the seven? 06:41:34 Stay straight. 06:42:13 :-) 06:45:23 Is there an idea listed for a language based on the outcome of jokes? 06:45:51 If not, you can add it 06:45:51 zzo38: You have 1 new message. '/msg lambdabot @messages' to read it. 06:45:54 ?messages 06:45:54 boily said 12h 53m 16s ago: Montréal. 06:54:29 -!- ThatOtherPerson has joined. 06:58:03 -!- FreeFull has quit (Ping timeout: 276 seconds). 07:03:57 -!- FreeFull has joined. 07:20:47 There's new porn spam on the wiki 07:20:52 :/ 07:26:55 -!- doesthiswork has quit (Quit: Leaving.). 07:29:37 is that french 07:32:18 -!- Bike has quit (Quit: tiredn). 07:34:15 monqy: yes. 07:37:57 http://codepad.org/cRrdL4wD 07:38:15 I'm tempted to write a new stlisp implementation some day 07:39:48 -!- carado has joined. 07:44:32 The source code has gone missing. 07:55:07 -!- carado has quit (Ping timeout: 246 seconds). 08:04:17 -!- ThatOtherPerson has quit (Quit: Leaving). 08:07:56 -!- ogrom has joined. 08:13:37 -!- epicmonkey has joined. 08:16:08 -!- btiffin has left. 08:29:15 Can Z-machine version 1 files be made to work in Famicom? It doesn't have the ASCII codes above 95, but it could be done so that the SHIFT key with codes 64 to 95 and 96 to 126 will toggle bit5 of the ASCII code, like SHIFT toggles bit4 for the codes 32 to 63. 08:33:18 -!- monqy has quit (Quit: hello). 08:51:24 -!- oklopol has quit (Ping timeout: 252 seconds). 08:59:31 -!- oklofok has joined. 09:27:02 -!- ThatOtherPerson has joined. 09:32:24 -!- ThatOtherPerson has quit (Ping timeout: 256 seconds). 09:33:51 -!- ThatOtherPerson has joined. 09:46:10 -!- nooga has joined. 09:54:21 -!- dessos has quit (Read error: Connection reset by peer). 09:57:09 -!- dessos has joined. 10:16:30 -!- nooodl_ has joined. 10:21:06 -!- nooodl_ has quit (Ping timeout: 258 seconds). 10:56:19 -!- Phantom_Hoover has joined. 10:58:51 -!- nooodl_ has joined. 10:59:28 -!- nooodl_ has quit (Read error: Connection reset by peer). 11:03:13 -!- sirdancealot has quit (Ping timeout: 240 seconds). 11:05:40 -!- AnotherTest has joined. 11:17:41 -!- sirdancealot has joined. 11:25:09 -!- ReadingDragon has changed nick to SDr|Flow. 11:37:55 -!- kallisti has quit (Ping timeout: 245 seconds). 11:41:30 -!- ThatOtherPersonY has joined. 11:43:49 -!- ThatOtherPerson has quit (Ping timeout: 256 seconds). 11:47:24 -!- sirdancealot has quit (Ping timeout: 252 seconds). 11:49:22 -!- ThatOtherPersonY has changed nick to ThatOtherPerson. 12:01:43 -!- sirdancealot has joined. 12:04:31 -!- AnotherTest has left. 12:05:29 -!- Regis__ has joined. 12:28:59 -!- nooodl has joined. 12:40:42 Z-machine version 5 has a command to check if the game disc is genuine. No game uses it, and all interpreters just assume that it is genuine. 12:41:29 (Some interpreters have an option to tell it that it is not genuine.) 12:48:14 zzo38: are you writing a Z-machine? 12:51:33 Yes, actually at this time I am. 12:52:24 Cool! 12:52:39 I was considering writing one for the DCPU, but I didn't for some reason. 12:53:15 Mine is C and SDL, all versions except 6. 13:01:25 -!- ThatOtherPerson has quit (Quit: Leaving). 13:02:02 Including version 9, which is my own variant based on version 5, although there are a few differences, such as using word addresses in the headers, and allowing packed addresses to be access twice as much memory as in version 8. 13:12:57 WinFrotz reports the interpreter number as 6 (I tested it using ZmForth). Setting the Tandy bit does not change this, nor does it change flags 1 (ZmForth is Z-machine version 5, so there is no Tandy bit in flags 1). My own interpreter (not finished yet) sets the interpreter number to 11 if the Tandy bit is set in the options, or 6 otherwise; it also sets flags 1 for versions 1 to 3. 13:14:05 I don't know if any version 4 or 5 games use this (other than Beyond Zork, which crashes on Tandy computers), but I put it in anyways, in case someone writes some game to use it. 13:18:42 -!- monqy has joined. 13:19:03 -!- impomatic has joined. 13:23:03 -!- boily has joined. 13:24:18 Bit0 and bit1 of flags 2 remains as it is when the game is restored or restarted or after undo, rather than being restored. I wonder if some game might use this to undo and then do something else 13:31:39 -!- augur_ has joined. 13:31:45 -!- augur has quit (Read error: Connection reset by peer). 13:34:07 For some reason in WinFrotz, if the game selects fixed-pitch mode, the display options are ignored and it uses actual italic and bold rather than whatever colors are set by the user. 13:38:30 -!- augur_ has quit (Read error: Connection reset by peer). 13:38:36 -!- augur has joined. 13:39:43 -!- ThatOtherPerson has joined. 13:41:28 how about a game where you write an AI and fight other people 13:42:39 There's something like that in forth I think 14:00:33 -!- epicmonkey has quit (Ping timeout: 240 seconds). 14:07:49 -!- Taneb has joined. 14:18:22 -!- nooodl has quit (Ping timeout: 258 seconds). 14:21:22 Some people have dumb reasons for being atheist and some people have dumb reasons for being religious. 14:21:49 I don't particularly care either way 14:22:18 I don't care either, but sometimes their reasons for being so aren't very good reasons. 14:34:39 -!- Regis__ has changed nick to GOMADWarrior. 14:36:28 -!- Mathnerd626 has quit (Read error: Connection reset by peer). 14:36:44 -!- btiffin has joined. 14:43:58 I don't particularly care either way <-- does that mean you are agnostic? 14:44:06 or something else? 14:44:24 I call myself a lapsed Christian if anything 14:44:45 A fallen one. (It's an impressive-sounding name.) 14:44:56 I think "agnostic" is still a term for a person who cares some way or another 14:45:16 The book Godel,Escher,Bach also mentions "meta-agnostic" 14:45:35 there should be a term like meh-gnostic 14:49:07 Speaking of which, I see that that Torment kick-farter ended, and they made it to the $4.25M mark but not quite to the $4.5M one. (Still, they only asked for $900k.) 14:49:21 (Also, I hear Notch put in ten thousand dollars, as usual.) 14:56:40 does he just donate $10,000 to all kickstarters 15:03:25 On this note, I can't wait for To Be Or Not To Be: That Is The Adventure 15:05:12 -!- doesthiswork has joined. 15:05:59 Taneb, what is that? 15:06:15 It's a choose-your-own-adventure version of Hamlet 15:06:19 Made by Ryan North 15:06:40 http://www.kickstarter.com/projects/breadpig/to-be-or-not-to-be-that-is-the-adventure 15:07:11 heh 15:14:19 -!- Mathnerd626 has joined. 15:15:11 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 15:28:01 -!- Phantom_Hoover has joined. 15:41:14 -!- conehead has joined. 15:51:31 -!- ThatOtherPerson has quit (Quit: Leaving). 15:59:01 'agnostic' traditionally means someone who thinks the question of whether god exists is impossible to answer 15:59:22 they might still care a lot about the question and write many volumes about what a bummer it is that we can't answer it 15:59:37 personally i like the word 'apatheist' 15:59:58 I am 'ignostic' 16:00:21 apatheist sounds about right 16:00:29 I am 'pretty okay with whatever' 16:00:31 * kmc thinks it is logically possible that a being like a god exists, e.g. if this universe is a simulation running in some other universe, but even though it's possible there's no particular reason to believe it 16:00:46 any more than we believe there is a teapot orbiting the sun between the earth and mars 16:00:50 which is also totally possible 16:01:01 it might cost less than a billion dollars to make that happen 16:01:15 not sure though, I guess you need heavy rockets to get to a solar orbit? 16:01:20 Did somebody put it there a few years ago? 16:01:45 I think if there was a single deity powerful enough to be worth worshipping 16:01:51 although there are some physical facts which look like evidence for us being in a simulation, if you look at them just right 16:02:00 I do not believe this universe is a simulation running in some other universe, but I don't know. However, it is not what I mean by "God". 16:02:06 We'd know because of all the non-believers getting hit by lightning all the time 16:02:24 Taneb: i think we can confidently say that if God does exist, he is fucking with all of us 16:02:26 kmc: Maybe, but I still don't think so. 16:02:48 Unless said deity is benevolent, in which case why the hell wars. 16:03:06 And if it is a simulation, is that in another simulation? 16:03:24 And if not, what is it? 16:03:43 -!- conehead has quit (Quit: Computer has gone to sleep.). 16:04:26 Taneb: That is what a lot of people ask. 16:05:13 However unlikely it is that we are the "top" universe (by which I mean one that isn't a simulation), consider how unlikely it would be for any universe to be top universe, and how unlikely it would be for the top universe to create a simulation of a universe down to our level 16:05:27 And how even more unlikely for it to be universes all the way up 16:06:39 But, what is best for *the universe as a whole*? Of course we shouldn't have a war but that is the job of people to choose not to have a war; probably it is best for the universe as a whole that we have that choice but choose not to use it. 16:07:12 Why malaria, then 16:07:16 Why guinea worm 16:07:50 "benevolence" doesn't imply fixing everything 16:09:00 Anyways, the laws of physics must still be followed regardless; even if there are sometimes multiple outcomes, or none at all. 16:09:15 A god that must obey the laws of physics is no god at all 16:09:17 Humanity is not the most important thing in the universe. 16:09:26 Is Ruby "out of style"? #haskell discusses. 16:09:27 taneb: Would you prefer to be a robot that won’t ever go to war or to have a free will which implies you have the choice to go to war? 16:09:32 Taneb: That is what it seems to you. 16:09:51 do you have to be "a" something, anyway 16:10:17 ion, I'd rather live in a society that is weighted firmly against war 16:10:25 imo ruby was never in style 16:10:30 So that even if individuals choose to go to war, society will prevent them 16:10:40 However, if there is some multiverse, do they have a few different laws of physics? 16:10:40 Taneb 16:10:46 individuals can't go to war 16:10:52 that is kind of "how it works" 16:11:04 Individuals can decide that there ought to be a war 16:11:17 Also I shouldn't philosophy this time in the afternoon 16:11:26 I am 'panentheist', which means that the universe (and possibly even the multiverse, omnium, whatever) is a part of God. Some say Spinoza is also panentheist. 16:11:27 that's more like having an opinion than going to war 16:11:42 shachaf: ;_; 16:11:50 Well, individuals do not go to war as much as the military can, anyways. 16:11:51 Anyway, goodbye 16:11:59 I will stop philosphying now 16:12:05 So it is different. 16:12:38 kmc: Don't worry, it's moved onto Perl. 16:13:53 -!- nooodl has joined. 16:14:39 My opinion is that the fundamental laws of physics can be expressed by mathematics, although we may not be able to figure it out quite that precisely, and that many of it is not computable, and sometimes there will be multiple solutions or none at all. Of course, this is just guess so I don't really know for sure. 16:14:49 -!- Taneb has quit (Quit: Leaving). 16:14:49 shachaf: perl is like a cockroach, it will never die 16:15:21 So it's like the species of cockroaches? 16:15:38 Some people prefer different programming languages, and some programming language are good for a few other things too, but you can use it for other purposes too. 16:16:06 after like 8 years of avoiding perl, I'm starting to use it again for shell oneliners 16:16:36 it's pretty convenient especially with options like n, p, l, a, 0 16:17:04 These Japanese slides from ekmett_conf are so excited. Why can't everyone make slides like these? 16:17:35 ekmett_conf is decadent and depraved 16:18:10 Anyone try IPython? It's pysh mode is my favourite shell now, ... well for playing. bash still wins for 'working' 16:18:17 yeah IPython is great 16:18:36 also cool: http://ipython.org/notebook.html 16:18:45 what about bpython 16:18:48 many cool examples here: http://nbviewer.ipython.org/ 16:18:57 btiffin, what about zsh? 16:19:29 Yeah, web notebooks, those are awesome. I've only used them in toy mode though 16:19:31 I used it a couple of times on live cds where it was default. It has some interesting conveniences, but generally I use bash 16:19:31 -!- Bike has joined. 16:19:32 btiffin: yeah, bash is good for running programs, and python is good for manipulating data, so what I really want is an interface which lets me jump between a bash prompt and a python prompt and easily carry data between them 16:19:44 i have a design in mind for this, just need to write it 16:19:57 does ipython have method completion and interactive documentation like bpython 16:20:07 zsh is a time hole Vorpal. ;-) Just one more tweak and life will be great, ok maybe one more. ;-) 16:20:15 hah 16:20:16 oh bpython is a real thing? i assumed it was some kind of obscure funpun 16:20:49 there is cython or whatever the thing that took Python and made it into C + calls to libpython.so 16:23:07 yeah, pyrex / cython (i think cython is newer) 16:23:18 not to be confused with cpython, which is just the name of the 'default' python interpreter 16:23:42 there are loads of cool ways to call between Python and C or C++ 16:23:46 Boost.Python is neat 16:23:56 ctypes is really really handy for small things 16:24:46 also there's some numpy (or scipy?) feature that lets you just straight up include c code in a string 16:26:05 -!- Koen_ has joined. 16:26:21 Boost.Python gives you basically two things: a C++ data type that corresponds to a Python value, and an easy way to export a C++ class as a Python class 16:27:03 the "Python value" type has enough boosty high level C++ magic that you can write C++ code in a vaguely Pythonic style 16:28:10 valac and Genie? It's like writing Python in vaguely Pythonic style. ;-) 16:28:34 cool, I haven't heard of Genie 16:28:55 "In the vein of Python, Genie uses indentation rather than curly brackets to delimit blocks." so, is indentation sugar for punctuation, or not? 16:29:13 indentation as sugar for punctuation is fine, indentation as core syntax is terrible 16:29:16 imnsho 16:29:44 Haskell mostly passes this test except that the desugaring procedure has a weird feedback from the parser 16:31:04 Core syntax 16:31:08 :( 16:31:16 oh well I can deal with it 16:31:21 I use Python all the time too 16:31:34 there are curly-brace preprocessors for Python 16:31:36 tab by default even, a keyword [indent n] can change that to counted spaces though 16:31:53 i wonder if any of them add full lambda support though 16:31:57 btiffin: :( :( :( 16:32:05 ok I shouldn't care so much about concrete syntax 16:32:11 the desugaring in haskell seems very complicated, I've never quite understood how it works 16:32:21 olsner: it's pretty simple except for that feedback 16:32:36 I'm not sure if Genie is getting much attention, but Jamie seems to post up updates once every blue moon or so 16:32:49 if the token after 'do', 'let', 'of', or 'in' is not an open brace, insert an open brace and remember the starting column of that token 16:33:04 a subsequent line at the same column gets a semicolon prepended 16:33:13 a subsequent line at a column left of there gets a close brace prepended 16:33:31 there are some other rules to make sure that you can't e.g. close an implicit brace with an explicit one 16:34:07 i think most beginning Haskell programmers think Haskell is a lot pickier about indentation than it is 16:34:11 i know i did 16:34:19 it took me a while to realize you can say 16:34:21 foo x = do 16:34:24 y <- bar 16:34:31 which is way better than foo x = do y <- bar 16:34:46 because this way you don't have to re-indent the whole block if the name of 'foo' or its arguments changes 16:34:53 Hmm, bf indented would drop it down to 6 symbols. Yeah, indented bf 16:34:56 and it just looks cleaner and more uniform 16:35:25 -!- GOMADWarrior has quit (Ping timeout: 245 seconds). 16:35:52 kmc: i don't get how that doesn't prepend a close brace from what you just said. 16:36:13 "ADD RDX, 1 MOV RDX, [RDX+8] SHR RDX, 2 SHL RDX, 1" unrelatedly, lol 16:36:25 because the first token after 'do' is that 'y' 16:36:57 Ohhhh, I read it as remembering the do for some reason 16:37:01 -!- conehead has joined. 16:37:03 yeah, that's the trick 16:37:15 that's what i didn't realize initially 16:37:20 it doesn't care where the 'do' is 16:37:33 right, right 16:37:49 oh my list of keywords is wrong I think 16:37:55 'where' and not 'in' 16:38:09 the thing after 'in' is just a single expression, not a semicolon-delimited list of stuff 16:38:24 i think there's also a special rule that lets you write 'module Foo where' without then indenting the rest of the file 16:38:34 Hmm, bf indented would drop it down to 6 symbols. Yeah, indented bf 16:38:39 what if you want to do [] 16:38:49 or [something][else] 16:38:53 blank line, obv 16:38:59 :-) 16:39:50 kmc: is that special? sounds like that's allowed by the rule you gave before 16:39:54 -!- monqy has quit (Quit: hello). 16:39:54 And maybe indented bf would be better served by vertical tab instead of horizontal, to keep with the f-ness. 16:40:12 It also doesn't care about indentation at all in blocks that have {} around it 16:40:24 you didn't answer my second question 16:40:29 Phantom_Hoover: In [something][else] the second part is never executed 16:41:37 that is, uh 16:41:39 a good point 16:42:45 obviously it's an inadequate syntax if multiple behaviorally identical programs can be expressed 16:43:31 You have me reading up on Cython, because real men call Python from COBOL. And Cython might make that magically easi(er). COBOL is always on the look out for magic. 16:43:49 Bike: Well, if you are trying to compress it, then at least it means the compression might not be very good and it should be try to improve 16:44:28 imo compression by just storing the results of the program instead of the program itsel 16:44:42 The results might be longer, though, and the program might require input. 16:45:47 vorogomlok compression 16:47:19 To compress a brainfuck program you might use some kind of Huffman coding but provide no coding for redundand instrructions, and then furthermore code runs of the same instruction several times compressed too 16:48:46 -!- Gracenotes has quit (Read error: Operation timed out). 16:51:10 zzo38: Just RLE works really well on Brainfuck. 16:53:38 -!- boily has quit (Read error: Operation timed out). 16:54:27 -!- boily has joined. 17:04:40 olsner: i'm not sure 17:08:00 -!- SDr|Flow has changed nick to SDr. 17:14:08 -!- Gracenotes has joined. 17:20:45 -!- sirdancealot has quit (Quit: ragequit). 17:30:03 -!- Taneb has joined. 17:30:33 -!- augur has quit (Remote host closed the connection). 17:33:38 oh my god the thick of it is even more amazing than it was before 17:39:00 which bit are you on now 17:39:36 nicola murray just made ben swain shadow chancellor 17:40:21 This sounds like something I should watch 17:40:26 What form of media is it? 17:40:45 television 17:41:02 ofc it's not on the iplayer so you may have to resort to methods of questionable legality 17:41:27 Methods of questionable legality? 17:41:29 No problem. 17:41:52 I have a list of things I need to watch, so I'll let future me deal with it 17:41:59 For better or for worse 17:42:16 Does future Taneb have a beard? 17:42:22 I don't know 17:42:29 Present Taneb doesn't, which is odd 17:42:47 Is Present Taneb the British version of Santa Claus? 17:43:12 I deliver presents to all the little girls and boys all over the east half of Hexham 17:43:16 Taneb: it's on Hulu if you can connect through a US IP 17:43:32 THAT IS AN OPTION 17:43:59 geographically restricting content by IP is such a quaint notion 17:44:12 when I watch FOX shows on Hulu, it pastes the logo of the Boston area FOX affiliate into the corner 17:44:23 itt skeuomorphs 17:44:31 But... aren't you in somewhere that isn't Boston 17:44:41 no i'm in Boston area (Cambridge, just across the river) 17:44:44 Right 17:45:02 i thought you were in mid-cambridge 17:45:08 c.c 17:45:10 I think I assume everyone who isn't me, Phantom_Hoover, elliott and ais523 or Finnish all live together with shachaf 17:45:27 (Norwegians and Swedes live with the Finns) 17:45:29 Taneb: I'm Finnish. Where does that put me? 17:45:43 shachaf, in Finland, with everyone living with you 17:45:49 oh 17:45:53 is "river" a metaphor for the atlantic ocean 17:46:12 But... Cambridge is in, like, the south-east 17:46:16 since cambridge is in england and all 17:46:18 It's not near the coast at all 17:46:36 picturing the hexham equivalent of http://upload.wikimedia.org/wikipedia/en/4/4d/Steinberg_New_Yorker_Cover.png 17:47:19 My knowledge of geography is pretty good until the north sea, Keswick, Alnwick, and Yorkshire 17:48:13 Looking at Google Maps now 17:48:21 Never realised how far west Edinburgh is 17:48:26 Phantom_Hoover has some explaining to do 17:48:37 imo Taneb should move to cambridge 17:48:58 Cambridgeshire or Massachusetts? 17:49:35 either one. i'm not picky!! 17:49:37 "shadow chancellor" sounds like a much cooler office than it actually is 17:49:44 ikr 17:50:45 or maybe move to Newcastle upon Tyne, California 18:07:34 -!- john_metcalf has joined. 18:10:16 -!- sirdancealo2 has joined. 18:11:27 Old computer games? Has anyone ever played micromud? 18:11:56 I have played some old computer games 18:12:04 I don't know if I have played that one though 18:12:28 Its only for the c64 í think. 18:13:16 A single player version of the essex mud 18:13:48 Games for old computers are sometimes still written this year. 18:16:43 single player version of a mud? what's the point 18:17:51 that's a sud 18:18:26 The other players are AI. It's from approx 1985 when very few people could play online. 18:19:21 -!- Taneb has quit (Ping timeout: 256 seconds). 18:19:53 * impomatic used to play a few BBS door games. 18:20:08 -!- ThatOtherPerson has joined. 18:20:32 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 18:20:48 Cambridge has a new retro computer museum opening soon. 18:21:30 I play a few BBS door games. 18:21:40 They are still available. 18:22:18 Inform-7 18:22:39 Best parser, ever 18:29:40 I'm using it from the angle of interactive fiction training, random reward being a powerful human incentive. Grace Hopper History lesson game will be first up. 18:30:04 Oh, and if you don't know Grace. http://www.smbc-comics.com/?id=2516 (Don't forget the red drop hover over bonus comic). 18:30:14 red dot 18:31:27 imo fran allen 18:32:30 Nice. Thanks Bike 18:35:04 -!- augur has joined. 18:37:40 -!- ogrom has quit (Quit: Left). 18:38:44 -!- ais523 has joined. 18:39:40