00:04:46 -!- Nisstyre-laptop has quit (Quit: Leaving). 00:32:03 -!- epicmonkey has quit (Ping timeout: 248 seconds). 00:33:17 -!- WeThePeople has quit (Quit: Leaving). 00:34:31 what's the /topic program? SUBLEQ interpreter or something? 00:34:47 or is it actually a linux rootkit? *fucked* 00:39:12 Looks to be a SUBLEQ interpreter, yeah. 00:40:52 it's a linux rootkit 00:40:53 for qnx 00:40:56 on the amiga 00:41:28 can something be a linux rootkit for qnx? 00:41:37 I guess it could be a program that roots qnx if you run it on Linux 00:42:08 or a rootkit that runs on a linux kernel modified to run at the same time as qnx 00:42:09 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:42:39 maybe you can build UML for QNX 00:42:50 HackEgo's shameful secret 00:42:56 -!- DHeadshot has joined. 00:43:08 -!- ais523 has quit. 00:43:24 apparently blackberry OS is based on QNX? 00:43:28 nobody told me 00:45:41 10 and playbook are 00:45:46 previous versions are not. 00:45:50 ah 00:45:56 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 00:46:58 -!- Phantom__Hoover has joined. 00:47:50 -!- TeruFSX has quit (Read error: Connection reset by peer). 00:50:24 -!- Nisstyre has joined. 01:14:15 -!- augur has joined. 01:17:51 -!- monqy has joined. 01:28:44 -!- Phantom__Hoover has quit (Remote host closed the connection). 01:39:33 more inappropriate haskell questions: is "main" a standard thing or what because I can't find it 01:40:43 yes it is 01:41:49 Bike: Yes: "main" is the Haskell entry point, just like main is the C entry point. 01:42:06 http://www.haskell.org/onlinereport/haskell2010/haskellch5.html#x11-980005 01:42:09 "A Haskell program is a collection of modules, one of which, by convention, must be called Main and must export the value main" aha 01:42:16 thanks 01:42:50 (there's a flag to call it something else, naturally >:) ) 01:43:02 a standard flag? 01:43:05 (mostly intented for running test suites and the like) 01:43:09 no, in ghc 01:43:17 nooooo 01:48:22 hm has Taneb revealed his email... 01:48:40 taneb@taneb.taneb 01:48:46 taneb@ngevd.atriq? 01:48:59 elliott i don't think taneb is even a real tld are you lying 01:49:55 im sure it is 01:51:42 oh there is an email on his webpage 01:57:31 -!- quintopia has quit (Ping timeout: 246 seconds). 01:58:31 -!- quintopia has joined. 02:05:19 @tell Taneb I sent an email to your gmail account. 02:05:19 Consider it noted. 02:11:46 -!- NihilistDandy has joined. 02:22:06 lecture went well 02:22:10 the crabputer was a crowd pleaser 02:22:29 thanks Bike 02:22:54 -!- madbr has joined. 02:23:22 trying to design a "trace CPU" 02:23:23 crabputers know what's hip 02:24:31 like, instead of just executing the code 02:24:59 it allocates a new execution unit (ALU, multiplier, etc...) for each instruction 02:25:27 once it reaches a loop, it just lets data stream through the already allocated units 02:27:17 nice 02:27:51 are there any really good tracing JITs for VLIW architectures 02:27:57 that could be kind of an approximation of that 02:28:06 where's my V8 for itanium =( =( =( 02:32:57 Is it reasonable to look at a language mostly because of its implications for how one would structure a program written in it 02:33:03 Actually, yes 02:33:30 yes 02:33:57 Haskell tends to imply a certain structure (IO layer using non-IO layer) 02:34:08 yes 02:34:09 So, why not try to get a grasp of how Erlang programs are structured 02:34:13 I still don't understand it :/ 02:34:19 What about Ada? 02:35:15 kmc: it's kinda scary how VLIW architectures tend to bomb :o 02:35:53 Sgeo have you seen Erlang: The Movie 02:36:50 I think part of it, I don't remember if I've seen the whole thing. If I have, I don't remember it 02:36:54 I know I've heard of it 02:37:12 i think erlang programs involve lots of small concurrent agents which interact through semi ad-hoc algebraic-data-ish protocols 02:37:13 It's kind of ... dry and old, isn't it? 02:37:45 one point of it being dynamically typed is that you can restart small parts independently from each other 02:38:15 Not sure that dynamic typing is a requirement for that 02:38:17 -!- copumpkin has quit (Ping timeout: 252 seconds). 02:38:18 harder to migrate a distributed system piecemeal if your protocols are very rigid 02:38:30 it's not a requirement but it makes things easier 02:38:34 * elliott doesn't think that argument makes much sense 02:38:43 but I guess I would say that all protocols are rigid 02:38:45 anyway i don't know erlang 02:38:51 it is just a question of how much your code acknowledges that fact 02:39:34 I'd like to see more languages structured like zzt-oop (or megazeux's "robotic") 02:39:38 all protocols are rigid but their implementations are crazed nuttiness? 02:39:47 zzt, isn't that something for games 02:40:02 bike : yes! 02:40:10 zomg moreutils has /usr/bin/errno -l? 02:40:24 bike : so it would probably work well for GUI 02:40:57 «Note the use of an invisible "timer" object to send a periodical ShootDownward message to the Shooter.» man this reminds me of game maker 02:41:01 i'm... not sure if that's a good thing 02:41:13 "They are neither operating system processes nor operating system threads, but lightweight processes[citation needed]." 02:41:22 1+1=2[citation needed] 02:41:58 hi 02:42:20 Sgeo: principia mathematica, done 02:42:26 > monoidize "threads" 02:42:29 "are threads like monoids? I love monoids" 02:42:34 shachaf 02:42:36 no 02:42:45 monqy: i didn't write monoidize....................................... 02:42:51 > monoidize "monoids" 02:42:54 "are monoids like monoids? I love monoids" 02:42:58 sgeo..... 02:43:02 no.............................. 02:43:09 > monoidize "monqy" 02:43:12 "is monqy like monoids? I love monoids" 02:43:17 "ok maybe thats enough....." 02:43:17 mostly, they have very simple languages yet they're fairly usable actually 02:43:17 oh nice 02:43:27 > monoidize "people" 02:43:30 "is people like monoids? I love monoids" 02:43:33 megazeux didn't have any functions or even subroutines 02:43:34 @undefine 02:43:39 :'( 02:43:43 or objects/structs 02:43:44 monqy 02:43:48 or strings 02:43:53 did you just @undefine!! 02:43:59 who knows 02:44:03 but i sure said @undefine 02:44:04 madbr: if i'm reading the zzt-oop article right it has objects? 02:44:50 monqy: "thats what @undefining is" 02:44:55 shachaf: nice re errno 02:45:01 <3 moreutils 02:45:22 kmc: I've spent way too much time hunting down the lesser-known errno mappings in some cases. 02:45:39 I mean e.g. pretty-printed message to number. 02:46:21 there's at least one errno that can only be produced by a single point in the Linux kernel 02:46:37 EACHIEVEMENTUNLOCKED 02:47:00 each and every ievement 02:48:29 kmc: I came to the conclusion that mkaing an MD5 collision under those constraints would be hard. 02:48:36 So I just posted a bug. 02:48:48 kmc: what is it? 02:49:14 `olist #I don't think shachaf was here when I did this 02:49:18 shachaf oerjan Sgeo 02:50:22 is this the super mega list 02:50:52 it's the oots list 02:50:57 `smlist 02:51:01 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: smlist: not found 02:51:13 oerjan: I saw it. 02:51:33 okay! 02:51:46 Someone should just echo echo `/names` > bin/smlist 02:51:55 Because who wouldn't want to read super mega comics? 02:52:15 hm does irssi have interpolation like that i wonder 02:56:44 -!- sebbu has quit (Ping timeout: 255 seconds). 02:57:51 -!- oerjan has quit (Quit: Good night). 03:05:03 bike: objects? yes and no 03:05:20 it has objects but objects can't store any data 03:05:35 each object has its own code 03:05:45 and it runs once per frame 03:06:25 and when it runs it essentially keeps running until it reaches a command that has a pause in it 03:06:47 such as "wait 1" (megazeux, zzt-oop has an equivalent) 03:07:02 and then next frame it continues from there 03:07:13 so they're really kindof like cooperative threads 03:07:33 also objects are part of the tile map and the player can't go through them 03:20:42 Bike: http://livegrep.com/search?q=ETOOMANYREFS 03:20:49 it's in the UNIX socket garbage collector >_< 03:21:47 and yeah it was a bit ACHIEVEMENT UNLOCKED when i wrote code which hit this error 03:25:00 "Too many references: cannot splice" informative 03:26:57 shachaf: LC_ALL=de_DE.utf-8 errno -l 03:28:28 Veraltete NFS-Dateizugriffsnummer 03:29:06 Eingabe-/Ausgabefehler 03:29:29 "Unterbrechung während des Betriebssystemaufrufs" i think that was in the Ring Cycle 03:34:25 -!- madbr has quit (Quit: Radiateur). 03:37:02 * TwilightSpockle tests something. 03:37:10 Did that show up as a /me to y'all? 03:37:36 yes 03:38:24 what did you do 03:38:43 I actually typed in the \x01. 03:38:49 To me it showed as messages with \x01 X-D 03:38:57 So I thought maybe it'd actually sent something weird. 03:39:12 there was a bot in another channel such that we had it send arbitrary CTCPs with its echo command 03:39:15 that was fun 03:39:33 Yeah, you could do that with HackEgo until somebody whinged about it. 03:40:08 (you should put that back) 03:40:39 -!- Arc_Koen has quit (Quit: Arc_Koen). 04:17:15 -!- esowiki has joined. 04:17:19 -!- esowiki has joined. 04:17:20 -!- esowiki has joined. 04:18:04 -!- esowiki has joined. 04:18:09 -!- esowiki has joined. 04:18:09 -!- esowiki has joined. 04:19:06 -!- esowiki has joined. 04:19:11 -!- esowiki has joined. 04:19:11 -!- esowiki has joined. 04:20:00 -!- esowiki has joined. 04:20:01 -!- glogbot has joined. 04:20:01 -!- glogbackup has left. 04:20:04 -!- esowiki has joined. 04:20:04 -!- esowiki has joined. 04:21:29 -!- RodgerTheGreat has quit (Quit: RodgerTheGreat). 05:27:17 -!- kmc has set topic: char*a,b[9999];main(){gets(a=b);while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);} | fiat luxembourg http://codu.org/logs/_esoteric/. 05:35:55 kmc: what does that program do mannnnnn 05:36:08 it cant be the shortest missing subscript 05:36:15 *string 05:36:17 it hecks your aim 05:36:59 elliott: halp i is too unsmart 05:37:09 nobody can avoid the aim hecking 05:37:25 * quintopia dodges 05:44:27 it's a SUBLEQ interpreter or similar 05:44:28 i think 05:44:31 so it was said 05:44:36 i didnot invent it 05:45:59 who said it 05:46:17 gregor. 05:46:29 gregor says lots of things 05:52:23 -!- Bike has quit (Ping timeout: 260 seconds). 05:54:06 -!- Bike has joined. 06:05:39 @admin - shachaf 06:05:40 @admin + shachaf 06:05:48 shachaf: It's official now. 06:05:50 help 06:05:59 It's actually not official. 06:06:07 Um, I'm the office. 06:06:16 I think the configuration file is the office. 06:06:39 hello 06:06:44 Hike 06:07:07 seven hundred and sixty one armless and legless corpses 06:07:24 Bike: do you love monoids yet 06:08:14 there will be no love, except for love of monoids 06:10:01 btw congratulations shachaf 06:10:31 congratulations!!! 06:11:04 what are you going to do with this new “power„ 06:12:29 maybe rule with an "iron fist" 06:12:37 or just a copper fist?? 06:13:10 -!- clog has joined. 06:13:15 rule with a fencyclidine fist 06:13:27 wow that was some shitty spelling 06:13:51 hi clog 06:13:53 wasup 06:14:04 `wehlcohme clog 06:14:09 clohg: Wehlcohme to the ihntehrnahtiohnahl huhb fohr ehsohtehrihc prohgrahmmihng lahnguahge dehsihgn ahnd dehployhmehnt! Fohr mohre ihnfohrmahtiohn, chehck ouht ouhr wihki: http://ehsohlahngs.ohrg/wihki/Maihn_Pahge. (Fohr the ohthehr kihnd ohf ehsohtehrihca, try #ehsohtehrihc ohn ihrc.dahl.neht.) 06:24:02 Of course it is mandatory for me to join #ehsohtehrihc on Freenode 06:24:28 `cat wehlcohme 06:24:31 cat: wehlcohme: No such file or directory 06:24:32 #ifdef _CPLUSPLUS 06:24:33 `run echo "esoteric" | ?hh 06:24:36 `cat bin/wehlcohme 06:24:37 ? ¯\(°_o)/¯ 06:24:40 welcome "$@" | h 06:24:42 Oh 06:24:45 oh 06:24:47 `run echo "esoteric" | h 06:24:51 ehsohtehrihc 06:24:52 #endif 06:24:57 `run echo "char*a,b[9999];main(){gets(a=b);while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);} | fiat luxembourg http://codu.org/logs/_esoteric/" | h 06:24:59 holy - 06:25:00 chahr*a,b[9999];maihn(){gehts(a=b);whihle(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puhts(b+1);} | fiaht luhxehmbouhrg http://cohdu.ohrg/lohgs/_ehsohtehrihc/ 06:25:52 Bike, hm? 06:42:04 the Y combinator has a similar structure to a typical quine 06:42:11 they're based on the same trick of implicit self-reference 06:42:27 as is the proof by contradiction of the undecidability of the halting problem 06:42:33 so that's fun 06:43:08 what about kleene recursion 06:56:32 yeah 06:56:47 kind of mentioned that too but not really 06:57:09 you need it to do the halting proof in full rigor 06:57:43 diagonalization? 06:57:52 what about it? 06:58:10 is that what you mean by "full rigor" 06:58:34 personally i just like the intuitive loop scooper thing but that's not as useful... 06:59:39 -!- sebbu has joined. 06:59:39 -!- sebbu has quit (Changing host). 06:59:39 -!- sebbu has joined. 07:01:59 well in this lecture i just went with the good old (define (f x) (if (halts? x x) (loop-forever) 0)) 07:02:07 right, that 07:02:27 i think, if you want to do that proof in full rigor on turing machines specifically, you need kleene's recursion theorem 07:02:30 not sure though, it's been a while 07:02:37 @google scooping the loop snooper 07:02:40 http://www.lel.ed.ac.uk/~gpullum/loopsnoop.html 07:02:40 Title: Scooping the Loop Snooper — Geoffrey K. Pullum 07:03:06 hm, i don't think i've actually read turing's original paper. 07:03:07 i did talk about diagonalization but not specifically about halting, just showing that the set of functions is uncountable while the set of programs is countable 07:03:10 heh 07:03:26 actually just about the only turing i've read is the test paper. that's probably not good 07:03:33 yeah that article is great 07:03:42 my favorite part is the ESP speculation 07:03:43 Bike: did you like the part where he speculates about beating the turing test using ESP 07:03:46 yesssss 07:04:00 i just imagine singulatarians reading it dumbfounded 07:04:30 i think nobody is quite sure if he was joking or not 07:05:06 i read a nice article on turing's article from a lit perspective once 07:05:16 guy thought turing was a pretty funny guy overall 07:05:56 ...i can never find it again when i want it, though. 07:05:56 heh, that sounds interesting 07:06:08 did you see the article about how maybe turing didn't kill himself on purpose 07:06:22 no, i've heard rumors about that however 07:06:33 http://www.bbc.co.uk/news/science-environment-18561092 07:06:38 http://www.furtherfield.org/features/articles/why-arent-we-reading-turing here we go 07:07:43 huh, i didn't know he wrote about the chemical basis of morphogenesis 07:07:55 that's cool 07:08:03 oh yeah there was a bit of news stuff about that last year when they actually found some turing morphogens 07:10:06 is it numberwang? we'll have to check with the boffins. 07:11:04 "In a man of his type, one never knows what his mental processes are going to do next." one can only hope he meant "genius" and not "teh ghey" 07:11:21 saying "what if it wasn't suicide??" seems to have an uncomfortable whiff of downplaying the awful treatment turing was going through at the time to me 07:11:49 elliott: the article i linked doesn't downplay it really 07:12:22 it's more like "what if he had the strength to endure awful treatment in relatively good spirits" 07:12:30 i mean if the facts stated are true, we will never know if it was suicide or not 07:12:41 elliott: the professor made a point of saying "no this was still horrible" 07:12:50 it shouldn't affect whether the treatment was unjust or the legacy of his life before his death 07:13:52 http://www.kcl.ac.uk/newsevents/news/newsrecords/2012/02Feb/Scientists-prove-Turings-tiger-stripe-theory-.aspx it is apparently impossible to find the actual goddamn paper 07:14:56 speaking of the classics, it's funny that Gödel never got around to publishing part 2 of the paper on incompleteness 07:15:00 because part 1 was such a bombshell 07:15:23 you've seen his letter to von neumann, right? 07:15:25 i also think it's kind of weird that all this theory developed in super abstract form just a decade or so before people started building actual computers 07:15:29 don't think so 07:16:03 http://rjlipton.wordpress.com/the-gdel-letter/ "hey i heard your sick but whatever let me talk about proofs" 07:17:16 haha he even mentions type theory as foundational 07:18:18 -!- FreeFull has quit. 07:18:38 "ramified" is still the silliest goddamn word 07:18:51 yeah type theory is an alternative to set theory, or something 07:19:00 not sure if it's exactly the same thing programmers mean by 'type theory' 07:19:42 well i mean the math. people do that as foundational nowadays. 07:19:50 not that that has much to do with ramified types any more. 07:22:15 greecallister 07:29:55 hichaf 07:29:57 going to bed tho 07:51:10 -!- Taneb has joined. 07:52:02 @tell oerjan Thanks for your Fueue fix! 07:52:02 Consider it noted. 07:52:46 thoerjan 07:53:39 Anyway, the balloons have returned 07:53:39 Taneb: You have 1 new message. '/msg lambdabot @messages' to read it. 07:53:52 happy birthday!! 07:54:02 Turns out they didn't come for me 07:54:05 I am still only 18 07:54:29 ugh, that's such a shitty age though. 07:54:31 you're sure? 07:54:40 Yeah 07:54:44 It's my mum's birthday 07:55:03 wait i thought you said that if you were fifty you'd be older than your parents 07:55:06 !!?!?!!!??? 07:56:03 That was yesterday 07:56:17 hi Taneb 07:56:40 Hi shachaf 07:56:53 Explain the meaning of your "hi" 07:57:16 Happy bIrdthay 07:57:20 (to your mum) 07:57:46 (here in america there aren't any mums) 07:58:07 There are mumps though. 08:13:44 -!- Taneb has quit (Quit: Leaving). 08:16:50 -!- Bike has quit (Quit: memorize). 09:13:18 -!- DHeadshot has quit (Ping timeout: 264 seconds). 09:17:11 @ask zzo38 What about newtype Foo b s a r = Foo (Either b (s, a -> r)); CodensityAsk (Foo b s a) t? 09:17:11 Consider it noted. 09:24:08 -!- epicmonkey has joined. 10:01:31 http://literallyunbelievable.org/post/41195269567/theres-no-such-thing 10:01:32 I just 10:01:54 One particular xkcd comes to mind 10:10:12 -!- TwilightSpockle has quit (*.net *.split). 10:13:12 -!- TwilightSpockle has joined. 10:47:14 -!- TodPunk has quit (Read error: Connection reset by peer). 10:47:48 -!- Tod-Autojoined has joined. 11:13:34 Hmm, #haskell-lens is bigger than #esoteric 11:17:29 -!- impomatic has quit (Ping timeout: 255 seconds). 11:19:08 -!- epicmonkey has quit (Read error: Operation timed out). 11:25:37 "Let's imagine that utilities are radioactive; If we are careful with out containment procedures, we can safely combine and compare them, but if we interact with an unshielded utility, it's over, we've committed a type error." 11:25:45 oh god utilities are monads 11:25:51 (note: utilities probably not monads) 11:48:03 -!- sebbu has quit (Ping timeout: 245 seconds). 11:55:14 -!- sebbu has joined. 11:55:30 -!- sebbu has quit (Changing host). 11:55:30 -!- sebbu has joined. 12:13:27 -!- Phantom_Hoover has joined. 12:14:50 unsafeNmap :: MonadIO m => m Utility -> m () 12:15:02 -!- augur has quit (Remote host closed the connection). 12:22:31 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 12:26:18 -!- epicmonkey has joined. 12:31:44 -!- monqy has quit (Quit: hello). 12:40:50 -!- Phantom_Hoover has joined. 12:49:06 -!- salehkamali999 has joined. 12:49:30 -!- salehkamali999 has quit (Client Quit). 12:54:44 -!- Arc_Koen has joined. 12:55:30 -!- Arc_Koen has quit (Client Quit). 12:55:48 -!- Arc_Koen has joined. 12:58:13 -!- Arc_Koen has quit (Client Quit). 12:58:29 -!- Arc_Koen has joined. 12:59:45 -!- augur has joined. 13:11:03 -!- Kosova has joined. 13:11:27 -!- copumpkin has joined. 13:20:40 -!- Kosova has quit. 13:31:26 -!- Taneb has joined. 14:45:27 -!- boily has joined. 15:02:13 -!- Frooxius has joined. 15:15:41 -!- Jafet has quit (Quit: Leaving.). 15:24:35 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 15:26:34 -!- Taneb has quit. 15:28:23 -!- Tod-Autojoined has changed nick to TodPunk. 15:29:55 -!- Frooxius has joined. 15:38:17 -!- noam__ has changed nick to noam. 15:58:26 can anyone ping nortti.dy.fi now? 16:00:01 yep 16:00:38 great 16:10:48 -!- oonbotti has quit (Ping timeout: 256 seconds). 16:12:09 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 16:14:59 -!- Frooxius has joined. 16:22:59 nortti: what kind of server are you running? the only response header I get by visiting http://nortti.dy.fi/ is "Content-Type: text/html" 16:24:38 boily: my own http server written in python 16:24:51 boily: what is your exact request? 16:25:39 nortti: I tried firefox first, just to see if you had anything running, then raw telnet to get a pretty list of all headers. 16:25:54 (and I admit running a fast nmap against your domain.) 16:26:00 what is the request you used with telnet 16:26:29 oh, that's ok. I used to have "run nmap here if you want to test it" on my homepage 16:26:30 telnet nortti.dy.fi 80, then GET / HTTP/1.1. 16:26:58 what kind of line terminator? 16:27:19 eeeeh... I hope CR+LF, but probably only LF. 16:27:30 I can see your stub web page just fine, too. 16:27:39 very strange 16:28:04 do you have your telent in char or in line mode? 16:28:23 no idea. bog standard vanilla telnet on my machine. 16:28:37 what os your machine runs? 16:28:57 arch linux, Linux njorun 3.7.5-1-ARCH #1 SMP PREEMPT Mon Jan 28 10:03:32 CET 2013 x86_64 GNU/Linux. 16:29:06 have you tried netcat? 16:29:26 no, not yet. 16:30:43 same behaviour with netcat: echo -e "GET / HTTP/1.1\r\n\r\n" | nc nortti.dy.fi 80 16:31:07 by the way, telnet (GNU inetutils) 1.9.1 and GNU netcat 0.7.1. 16:31:22 very, very strange 16:31:34 so you only see the headers? 16:31:49 and not the page itself= 16:31:51 oh, no. I was just wondering what was the webserver and stuff and anything. 16:31:59 the pages renders correctly. 16:32:09 s/pages/page/, as I only saw a single page for now. 16:32:14 oh. then it works just as it shoudl 16:33:09 I tried to make it compatible with normaly used subset of HTTP 1.0 16:34:29 boily: in case you are interested these files are available: foo.txt mcsnapshot strace_failed_config.log index.html os_cars.html 16:35:33 playing with slitaz? 16:35:42 using it as my main os 16:36:50 well slitaz 3.0 with all kind of crap put on top of it like toybox and my own coreutils replacing parts of busybox, pkgsrc and jpkg package managers and a lot of hand compiled stuff 16:37:04 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 16:37:38 -!- Phantom_Hoover has joined. 16:42:29 -!- epicmonkey has quit (Ping timeout: 255 seconds). 16:49:11 -!- oonbotti has joined. 17:09:51 How are there people who don't program for fun. 17:09:53 I don't get it. 17:16:06 programming is a combination of mentally challenging and tedious 17:16:27 plus some people like things like being outside or interacting with humans in person 17:16:31 and would rather spend free time on that 17:17:37 All I'm hearing is that people like to fritter their potential away on completely nonproductive uses of time. 17:17:37 "hacker" communities have a huge amount of prejudice against people who don't spend every waking hour thinking about programming 17:17:52 i think it's largely unfounded 17:17:59 http://geekfeminism.org/2013/01/21/re-post-hiring-based-on-hobbies-effective-or-exclusive/ 17:18:09 "I’ve seen other people imply that there’s something even morally suspect about somebody working an engineering job just for the money, and that someone who doesn’t do the same stuff in their free time is obviously just in it for the money. Of course, that’s classist. It’s easier to feel like you’re motivated by the sheer love of your work if you don’t really need the money." 17:18:36 TwilightSpockle: oh yeah because writing the 2,000th toy Lisp interpreter or Python webapp framework nobody will ever use is so productive 17:18:52 anyway i think you're trolling 17:19:00 No shiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiit X-D 17:19:16 glad that's settled then 17:29:25 -!- impomatic has joined. 17:31:40 -!- WeThePeople has joined. 17:45:26 I propose that we use the prefix "wyo-" to denote the fixed point of a word. 17:45:33 So that, for example, a wyopicture is a picture of a wyopicture. 17:46:16 Wyothinking is the act of thinking about wyothinking. 17:47:04 And Wyoming is... waaaaait 17:48:53 A wyoprinter is something that prints a wyoprinter. So, a quine is a type of wyoprinter. 17:50:27 kmc, that wasn't obviously a joke from the start? 17:50:50 Some people just love monoids, Phantom_Hoover. 17:51:03 what is it with you and monoids 17:51:13 (DON'T SAY "THEY'RE SO EASY") 17:53:11 it's not easy being a monoid :( 17:54:30 You used to think that it was so easy? 17:55:45 -!- FreeFull has joined. 17:56:38 -!- Bike has joined. 17:57:58 someone explain this monoid thing shachaf has developed, for god's sake 18:05:03 -!- noam has quit (Read error: Connection reset by peer). 18:05:13 shachaf developed a monoid thing? 18:05:27 -!- noam has joined. 18:06:47 tswett, yes, he developed a condition where he inexplicably brings monoids up all the time. 18:07:46 but I like monoids. they are ea... NOOOOOOOOOO! I think it's contagious! 18:11:26 -!- cuttlefish has joined. 18:12:27 ~fortune 18:12:28 Kent's Heuristic: 18:12:28 Look for it first where you'd most like to find it. 18:13:32 hm. hoping to get useful guidance from a fortune DB is like trying to find a needle in a wyohaystack. 18:16:25 finding a needle in a wyohaystack is pretty easy 18:16:38 almost all of it is empty space, after all 18:18:03 Phantom_Hoover's method to find a needle in a wyohaystack: 1. Remove all empty space; 2. Whatever isn't empty in what's left is a needle 18:18:22 -!- mroman has left. 18:18:36 pretty efficient 18:19:03 -!- AnotherTest has joined. 18:20:45 -!- AnotherTest has quit (Client Quit). 18:20:59 -!- AnotherTest has joined. 18:21:34 `learn wyohaystack is that which hasn't been sifted for emptiness yet. Easily needled. 18:21:38 I knew that. 18:22:32 hmm 18:22:54 -!- epicmonkey has joined. 18:23:20 if you allow the -irth form to be used as a gerundive you can express a contradiction pretty easily 18:23:45 Phantom_Hoover: You should encourage Sgeo to learn Ada. 18:23:49 He's been giving up on it. 18:23:55 Sgeo, don't give up! 18:24:30 Phantom_Hoover: wyohaystackirth? 18:24:45 boily, nonono, the -irth form is applied to verbs 18:24:59 whyohaystacksearchirth 18:26:17 -!- DHeadshot has joined. 18:27:36 and its French cognate, ouaillohéstaqueseurtchirtant. 18:28:08 Phantom_Hoover: i don't know, maybe it is obviously a joke here 18:28:17 on Hacker News such things are said in apparent seriousness 18:28:20 but poe's law etc 18:28:40 cole's law etc 18:28:47 monoid's law 18:28:49 also hichaf 18:29:06 hellogan international airport 18:29:14 kmc: did shachaf tell you ~the news~ 18:29:18 man coleslaw is such a weird word 18:29:19 (i'm saying he's pregnant) 18:29:21 what is the news 18:29:25 help 18:29:29 he's pregnant with #haskell ophood 18:29:29