00:22:58 -!- Koen_ has quit (Quit: Koen_). 00:38:17 -!- yorick has quit (Remote host closed the connection). 00:51:17 -!- PiRSquared has joined. 00:53:04 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:56:35 -!- kmc has joined. 01:05:58 -!- Taneb has quit (Quit: Leaving). 01:08:51 -!- nisstyre has joined. 01:19:48 wow we have a fizzie, a fizziev, and a fizziew 01:20:31 are fizzievp and fizzievpe next 01:20:43 an abundance of fizzie entities 01:26:01 -!- Bike has quit (Ping timeout: 246 seconds). 01:27:49 the next will be the outsourced cnzzie version. 01:41:57 fizzie's non-union Canadian equivalent? 01:42:05 er, Chinese 01:45:11 no uszzie? poor us :( 01:46:05 what about suzzie 01:47:04 is that the root of all fizzies? 01:47:25 suzzie disappeared back in the early nineties. 01:48:59 is there any good alternate history fiction where the soviet union survives into the Internet age 01:55:35 suzzie q, i love you, suzzie q 01:56:03 technically the soviet union _did_ survive into the Internet age. 01:56:05 kmc: yes, it's called "modern china" 01:56:22 oerjan: it collapsed within months of eternal september. 01:56:44 oerjan: I'm (conveniently) defining "Internet age" as a time when the Internet is a pervasive part of everday life for a substantial fraction of all people 01:57:01 kmc: how silly 01:57:06 -!- Bike has joined. 02:02:14 hm funny today is the anniversary of the end of https://en.wikipedia.org/wiki/1993_Russian_constitutional_crisis 02:02:36 -!- augur has joined. 02:03:02 i always confuse that with the 1991 thing, because i'm dumb 02:03:36 i was briefly wondering if quintopia had done so 02:04:09 "because i'm dumb" :D 02:04:19 wow thanks myname?? 02:04:20 (although that's not how i found it, it's on wikipedia's On this day...) 02:05:46 also 56 years since sputnik 02:32:00 Oh, kmc, I wanted to ask your opinion about an article? 02:32:37 ok 02:32:39 http://www.eighty-twenty.org/index.cgi/tech/scheme/fexprs-remain-inscrutable-20110929.html 02:33:31 «Calling Kernel's Fexprs "trivial" doesn't seem quite right to me; perhaps calling them "inscrutable" would be a better fit.» uh? 02:34:35 point 1 is obvious, point 3 is interesting (saying that what should be an implementation detail of higher-order functions can get exposed) 02:35:12 Actually, I take back point 1 being obvious. Just its conclusions about compilability 02:35:28 point 3 is mentioned in shutt's thesis, he cites some paper that mentioned basically the same problem in the 80s 02:36:58 you can dealwith it somewhat with ($define call (c . args) (apply c args)) and then using (call f ...) instead of (f ...) 02:37:08 problems with this left as an exercise to the chatter 02:44:49 i love how you guys make more serious discussions about programming and the theory behind it than every other channel i know 02:44:54 does anyone else think it's crazy that "feedback" didn't exist as a concept before like a hundred years ago 02:55:13 Is Concurrent ML any good? Reason I ask is I think Racket is sucking CML's di.. concurrency mechanisms 02:55:21 -!- azaq23 has joined. 02:56:14 how does one suck a concurrency mechanism 02:57:16 with a lot of spit 03:01:22 -!- JWinslow23 has joined. 03:03:32 Hey! 03:03:58 What 03:05:12 No, I meant Hi. 03:06:45 `run WeLcOmE JWinslow23 | rev | rainwords 03:06:48 ​).tEn.lAd.cRi nO CiReToSe# YrT ,aCiReToSe fO DnIk rEhTo eHt rOf( .eGaP_NiAm/iKiW/GrO.SgNaLoSe//:pTtH :iKiW RuO TuO KcEhC ,nOiTaMrOfNi eRoM RoF !tNeMyOlPeD DnA NgIsEd eGaUgNaL GnImMaRgOrP CiReToSe rOf bUh lAnOiTaNrEtNi eHt oT EmOcLeW :32wOlSnIwJ 03:06:54 I am still stuck on commands for my Tic-Tac-Toe esolang. Can you help? 03:07:47 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:07:58 i suspect this esolang will come to nought. just cross it out. 03:08:10 what should a command be? a move? a board? a full board? 03:09:01 I am thinking a move. But for that to work, we would need different commands on each space for each round. 03:09:20 If we don't want repeats. 03:09:39 you could do nim sums of tic-tac-toe games. 03:09:55 `run WeLcOmE EgoBot | rainwords 03:09:58 ​EgObOt: 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.) 03:11:08 oerjan, what are nim ums? 03:11:23 Sums! Damn you auto correct! :) 03:12:09 http://en.wikipedia.org/wiki/Nim 03:13:24 the nim sum of two games is where a player can choose which of the games to play at each step. 03:14:15 That explanation was...confusing. 03:14:46 -!- Bike has quit (Quit: Reconnecting). 03:14:51 ok it works best for games where there is no difference between the two players. 03:14:59 -!- Bike has joined. 03:15:09 especially games resembling nim. 03:16:06 every impartial game is equivalent to a nim heap of a certain size (Sprague-Grundy thm) 03:16:33 And how big would they be? 03:16:35 but I think the idea of a tic tac toe esolang could be simpler than that 03:16:50 It should. 03:17:22 `help 03:17:23 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 03:18:08 how is hackego secured? 03:18:38 JWinslow23: the size of the nim heap is less than the max number of moves remaining, i think. 03:19:07 myname: lots of ways. 03:19:17 -!- JWinslow23_ has joined. 03:19:37 myname: it runs in an umlbox sandbox, for a start. 03:19:38 Sorry I was out. Wha were we saying about my idea? 03:21:09 i don't actually have an idea about a tic-tac-toe esolang that would be interesting in the way i think of as interesting (i.e. with the tic-tac-toe tied to the _semantics_ of the esolang, rather than just its encoding or syntax). 03:21:45 -!- JWinslow23 has quit (Ping timeout: 250 seconds). 03:22:01 well, which would be able to write interesting programs in that semantics. 03:22:03 Maybe we could do something like COBOL! (No, not that one.) 03:22:46 what if you had generalized tic tac toe, and a program was a starting position. then the action of the program is somehow encoded in the perfect play after that position. 03:23:22 Bike: way too short imho 03:23:35 what? 03:23:51 he did say generalized, i assume that means unbounded board 03:23:56 yes. 03:24:05 also, the name has to do with cheese and crackers, because pajama sam is my hero. 03:24:26 ...okay. 03:26:31 -!- JWinslow23_ has quit (Ping timeout: 250 seconds). 03:26:54 i don't make the rules, oerjan; i just enforce them. and the rule here is clear. 03:27:02 oh no 03:41:29 `slist 03:41:31 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 03:41:55 you should find a UML 0-day 03:42:09 shit, maybe buy one, gotta be cheap 03:43:49 lol 04:00:40 htf is it 6am already 04:01:10 i am a bit unfamiliar with the lack of hths here 04:01:10 -!- asie_ has joined. 04:03:20 -!- asie_ has quit (Client Quit). 04:16:48 -!- fizziev has quit (Quit: leaving). 04:17:25 -!- fizziew has quit (Quit: leaving). 04:35:03 -!- PiRSquared has quit (Quit: .). 04:36:10 -!- variable has changed nick to function. 04:51:38 -!- myndzi has quit (Excess Flood). 04:52:28 -!- myndzi has joined. 05:01:35 -!- nooodl has joined. 05:16:11 -!- nooodl has quit (Ping timeout: 260 seconds). 05:24:09 -!- mnoqy has joined. 06:08:26 -!- nooodl has joined. 06:13:28 -!- carado has joined. 06:26:46 -!- FreeFull has quit (Quit: Dodo, I miss you). 06:29:51 -!- Uguubee111116 has quit (Quit: Uguubee111116). 06:32:13 -!- ^v has quit (Quit: Leaving). 06:38:34 -!- Taneb has joined. 06:40:43 -!- oerjan has quit (Quit: leaving). 06:45:04 -!- nooodl has quit (Ping timeout: 256 seconds). 06:50:49 -!- Uguubee111116 has joined. 06:52:00 :( 06:52:50 `slist happenings including the law against a controlled rage, and a hopeful fork 06:52:54 slist happenings including the law against a controlled rage, and a hopeful fork: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 07:16:02 -!- Taneb has quit (Quit: Leaving). 07:18:45 -!- carado has quit (Ping timeout: 245 seconds). 07:51:32 -!- ais523 has joined. 07:59:15 -!- impomatic has quit (Ping timeout: 252 seconds). 08:07:11 oh, talking about C corner cases, here's one I found in mingw, and now I don't know whether it's correct or not 08:07:17 #define STIRINGIFY(x) #x 08:07:34 int main(void) {puts(STRINGIFY(a\r)); return 0;} 08:07:45 in mingw, it prints "a" then a carriage return 08:08:14 however, backslashes are escaped correctly if they appeared in any context that would be syntactically legal if it weren't a macro argument… 08:10:23 -!- ais523 has quit (Read error: Connection reset by peer). 08:10:37 -!- ais523 has joined. 08:11:52 `pastlog tunes.org/~ 08:12:05 (not that the "past" is needed atm...) 08:12:25 No output. 08:12:58 -!- ais523 has quit (Read error: Connection reset by peer). 08:13:05 -!- ais523 has joined. 08:13:12 `pastlog tunes.org/~ 08:13:29 2007-04-29.txt:18:42:07: -!- ihope_ has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09"). 08:16:07 -!- ais523 has set topic: fnord, offset fnord (with no evidence) | PDF while supplies last: https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | http://tunes.org/~nef/logs/esoteric/ | this space intentionally left right. 08:20:39 -!- ais523 has quit (Read error: Connection reset by peer). 08:20:52 -!- ais523 has joined. 08:32:18 -!- ais523 has quit (Read error: Connection reset by peer). 08:32:30 -!- ais523 has joined. 08:45:42 -!- ais523 has quit (Ping timeout: 264 seconds). 08:46:06 -!- ais523 has joined. 08:56:21 -!- ais523 has quit. 08:56:39 -!- carado has joined. 08:57:23 -!- carado has quit (Client Quit). 08:57:32 -!- carado has joined. 08:57:42 -!- carado_ has joined. 08:59:07 -!- carado_ has quit (Remote host closed the connection). 09:12:33 -!- Phantom_Hoover has joined. 09:41:45 -!- Taneb has joined. 10:04:58 -!- ais523_ has joined. 10:05:19 gah, Ubuntu's login prompt is really really dangerous from a security point of view 10:05:31 it prefills the username and asks you to type the password 10:06:01 which means you get into the habit of just writing the password without the username first, meaning you can accidentally type it into an echoing field whenever you use a different system 10:07:06 interesting idea 10:26:17 ais523_, thus rendering you vulnerable to people-staring-over-your-shoulder attacks 10:26:44 don't forget vnc and webcams 10:30:19 -!- ais523_ has quit (Ping timeout: 250 seconds). 10:33:07 what kind of webcam is pointed at your own screen 10:33:46 the one of the hackers, obviously 10:40:34 Also: reflections in your eye. 10:40:58 (You just rectangle-select it and say "enhance".) 10:41:27 YEAAAAAAAAAH 10:42:16 fizzie, that's why I always squint when typing my password in 10:42:48 or, you could use text-mode login that doesm't display anything when writing pass 10:43:26 -!- shikhin has joined. 10:43:30 I've written my password on the input line of this IRC client due to "I'm sure this computer is xlock'd but I don't want to bother waiting for the screen to wake up before typing in the password". (Though I take care to not press enter before actually seeing the dialog.) 10:43:46 but what if you accidentally type it as username? 10:52:43 -!- ais523_ has joined. 10:58:27 -!- ais523_ has quit (Quit: Page closed). 11:01:18 -!- Taneb has quit (Ping timeout: 264 seconds). 11:28:02 -!- asie has joined. 11:29:44 -!- Taneb has joined. 11:34:28 -!- augur has quit (Ping timeout: 240 seconds). 11:35:13 -!- Koen__ has joined. 11:35:21 -!- augur has joined. 11:41:40 -!- Sgeo has quit (Ping timeout: 240 seconds). 11:44:05 -!- shikhin_ has joined. 11:46:19 -!- shikhin has quit (Ping timeout: 260 seconds). 11:52:41 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 12:05:16 Help 12:05:18 hi 12:05:24 I'm laughing at my own joke and I can't stop 12:05:31 that happens 12:05:38 sounds funny 12:05:41 mind sharing? 12:05:59 Someone posted on Facebook, "yay making friends" 12:06:19 I replied, "Making friends is the best.", followed by, "The only bit I find difficult is attaching the arms." 12:07:21 that almost makes me wish I had a facebook account 12:07:50 -!- MindlessDrone has joined. 12:08:07 not quite though 12:08:22 just not funny enough to motivate getting an account 12:09:02 hm, a joke would have to be pretty dang funny to motivate such a horrible thing wouldn't it 12:16:07 -!- shikhin_ has changed nick to shikhin. 12:19:43 -!- nisstyre has quit (Quit: Leaving). 12:24:41 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 12:29:43 -!- yorick has joined. 12:38:17 -!- Phantom_Hoover has joined. 12:45:51 -!- shikhin has quit (Read error: Operation timed out). 12:46:50 Is it possible to double a cube with the power of origami? 12:49:30 Apparently so 12:50:03 good to know 12:50:12 -!- shikhin has joined. 12:51:58 Double the cube, double the fun. 13:00:22 -!- boily has joined. 13:01:44 -!- metasepia has joined. 13:10:02 -!- shikhin_ has joined. 13:10:19 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 13:11:48 -!- shikhin has quit (Ping timeout: 240 seconds). 13:11:53 -!- Phantom_Hoover has joined. 13:13:09 -!- AnotherTest has joined. 13:14:32 -!- Taneb has quit (Quit: Leaving). 13:21:00 -!- carado has quit (Ping timeout: 252 seconds). 13:23:11 -!- shikhin_ has changed nick to shikhin. 13:25:29 -!- carado has joined. 13:44:07 good sorry-for-the-sudden-metar morning! 13:44:10 ~metar CYUL 13:44:10 CYUL 041300Z 05013KT 30SM BKN080 BKN210 15/08 A3014 RMK AC6CI1 SLP205 13:46:13 -!- asie has joined. 13:54:22 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 13:58:31 -!- shikhin has quit (Ping timeout: 246 seconds). 13:59:18 -!- shikhin has joined. 14:13:19 -!- shikhin_ has joined. 14:13:40 -!- ^v has joined. 14:14:54 -!- shikhin_ has quit (Excess Flood). 14:15:09 -!- asie has joined. 14:15:29 -!- shikhin has quit (Ping timeout: 240 seconds). 14:15:52 -!- shikhin_ has joined. 14:17:15 -!- carado_ has joined. 14:17:35 -!- conehead has joined. 14:18:45 -!- carado has quit (Ping timeout: 252 seconds). 14:19:08 and from now on, I have glorious blue cherries under my fingers :D 14:26:31 -!- shikhin__ has joined. 14:28:31 -!- shikhin_ has quit (Ping timeout: 245 seconds). 14:35:30 -!- carado_ has quit (Ping timeout: 264 seconds). 14:47:44 -!- mnoqy has quit (Quit: hello). 14:48:16 -!- carado has joined. 14:48:32 -!- carado_ has joined. 14:51:13 -!- carado has quit (Client Quit). 14:54:10 -!- conehead has quit (Ping timeout: 246 seconds). 14:54:40 -!- nisstyre has joined. 15:01:34 -!- JWinslow23 has joined. 15:02:21 !bf_txtgen Happy CB Radio Day! 15:02:25 ​193 ++++++++++++++[>+++++++>+++++>++>+++++<<<<-]>>++.<-.+++++++++++++++..+++++++++.>>++++.>---.-.<.<++++++++++.+++++++++++++++.+++.+++++.++++++.>.>++.<<--------------.<.>>+.-----------------------. [148] 15:03:01 -!- shikhin__ has changed nick to shikhin. 15:03:57 JWinslow23: CB radio day? 15:04:06 10-4? 15:04:10 oh 15:04:11 heh 15:04:33 Heh, the time is also 10-4! 15:04:41 it is? 15:04:42 @localtime JWinslow23 15:04:43 Local time for JWinslow23 is Fri Oct 04 10:04:42 2013 15:04:45 where be you? 15:04:47 Yeah, 10:04 15:04:57 nortti: can I ask him the The Question? 15:05:03 boily: go ahead 15:05:04 What Question? 15:05:16 JWinslow23: what are your approximate cördinates, and body weigh? 15:05:22 darn. missed a o. 15:05:28 coördinates, says I. 15:05:36 (I still need to get used to that shiny keyboard.) 15:05:38 No idea, but somewhere in Wisconsin. I weigh about 110 pounds. 15:05:44 thanks! 15:07:02 JWinslow23: you a CB radio user? 15:07:24 No, but I always her 10-4 on walkie talkies. 15:07:44 Hear! DYAC! 15:07:58 Dang you auto correct! 15:08:04 on phone? 15:08:22 I sometimes use walkie-talkies. Not cell phones. 15:08:26 `pastewisdom 15:08:31 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/wisdom/ 15:08:57 no, I mean are you using IRC on a phone 15:09:12 No, on a school computer. 15:09:27 school computer has autocorrect? O_o 15:09:37 `run Welcome RaidoUsers 15:09:43 bash: Welcome: command not found 15:09:55 `run WeLcOmE RadioUsers 15:10:00 RaDiOuSeRs: 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.) 15:10:35 -!- carado_ has quit (Quit: Leaving). 15:10:48 -!- carado has joined. 15:13:09 School computer has no autocorrect, I just joked about that. 15:13:20 Honest mistake! 15:14:49 So... 15:15:13 I think I have an idea for my Tic-Tac-Toe language. 15:15:15 @tell oerjan you stealth quoted me 4 days ago! 15:15:15 Consider it noted. 15:15:26 JWinslow23: is it recursive? 15:15:29 @help 15:15:30 help . Ask for help for . Try 'list' for all commands 15:15:34 @list 15:15:35 What module? Try @listmodules for some ideas. 15:15:41 @listmodules 15:15:41 activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime more oeis offlineRC pl pointful poll pretty quote search slap 15:15:41 source spell system tell ticker todo topic type undo unlambda unmtl version where 15:16:12 Boily: I don't THINK so. 15:16:24 The center square and winning move are NOPs. 15:16:35 All other squares are commands. 15:16:42 Still figuring out that they are. 15:16:50 Don't want another BF derivative! 15:17:05 Sorry, I meant "what they are". 15:31:04 @help poll 15:31:04 poll provides: poll-list poll-show poll-add choice-add vote poll-result poll-close poll-remove 15:31:23 @help poll-add 15:31:24 poll-add Adds a new poll, with no candidates 15:31:45 @poll-add Should I go on with my Tic Tac Toe idea? 15:31:46 usage: @poll-add with "ThisTopic" style names 15:32:02 @poll-add ShouldIusemyTicTacToeidea 15:32:02 Added new poll: "ShouldIusemyTicTacToeidea" 15:32:11 @help choice-add 15:32:12 choice-add Adds a new choice to the given poll 15:32:29 @choice-add ShouldIusemyTicTacToeidea Yes 15:32:29 New candidate "Yes", added to poll "ShouldIusemyTicTacToeidea". 15:32:37 @choice-add ShouldIusemyTicTacToeidea No 15:32:37 New candidate "No", added to poll "ShouldIusemyTicTacToeidea". 15:32:51 @choice-add ShouldIusemyTicTacToeidea Maybe? 15:32:51 New candidate "Maybe?", added to poll "ShouldIusemyTicTacToeidea". 15:33:01 @help vote 15:33:01 vote Vote for in 15:34:35 -!- conehead has joined. 15:34:53 `run WeLcOmE conehead | rainwords 15:34:57 ​CoNeHeAd: 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.) 15:35:29 dear lord this is the best welcome to date 15:36:32 :D 15:37:07 -!- Uguubee111116 has quit (Read error: Connection reset by peer). 15:40:25 -!- Uguubee111116 has joined. 15:41:25 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 15:41:28 Yeah. 15:41:34 That was a good welcome. 15:41:51 -!- JWinslow23 has quit (Quit: Page closed). 15:43:37 D: 15:43:42 I got three welcomes, and that wasn't one. 15:43:44 * shikhin sobs. 15:44:20 `run WeLcOmE shikhin | rainwords 15:44:23 ​ShIkHiN: 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.) 15:44:28 Yayy! 15:44:34 `run WeLcOmE shikhin | rainwords | tac 15:44:37 ​ \ \ ShIkHiN: 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.) 15:44:57 `run WeLcOmE shikhin | tac | rainwords 15:45:00 ​ \ ShIkHiN: 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.) 15:45:24 * boily kicks tac in the... hmm... does a unix command have reproduction organs? 15:45:36 yes, stdrepro 15:46:45 `paste bin/WeLcOmE 15:46:48 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/WeLcOmE 15:48:03 oh, interesting. still written in py 15:48:23 I though someone would've rewritten it in perl by now 15:49:33 or a python interpreter written in perl. 15:50:20 hmm, not gonna do that 15:50:29 at least not over hackego 15:56:51 -!- carado has quit (Ping timeout: 260 seconds). 15:56:59 yield to the Asinine and Useless side of the Programming. let free your sanity inhibitions! 15:58:56 -!- carado has joined. 15:59:03 my sanity inhobitions I've let free when I wrote python program that had no statements, only expressions 15:59:28 but writing a perl program over hackego would just be too much of a pita 15:59:49 well, unless I figure out how to nicely simulate ed, that is 16:00:09 I think you know what to do. let the yaks roam and be shaved! 16:01:02 well, I do 16:01:15 it'd just not scale to multi-user 16:03:40 oh. 16:12:03 -!- azaq23 has quit (Ping timeout: 252 seconds). 16:19:28 `? scapegoat 16:19:30 scapegoat? ¯\(°_o)/¯ 16:19:56 olsner, the @ of version control 16:28:35 -!- Lymia has quit (Read error: Operation timed out). 16:28:39 -!- asie has joined. 16:36:26 -!- FreeFull has joined. 17:01:49 -!- Bike has quit (Ping timeout: 241 seconds). 17:11:32 -!- Bike has joined. 17:21:07 -!- nisstyre has quit (Quit: Leaving). 17:26:35 -!- nooodl has joined. 17:33:14 -!- nooodl has quit (Ping timeout: 264 seconds). 17:34:06 `words 17:34:11 dill 17:35:27 That's too dilly. 17:35:33 `words --finnish 1 17:35:35 ahananne 17:35:47 `words --estonian 17:35:48 Unknown option: estonian 17:36:00 `words --list 17:36:02 valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M 17:36:21 `words --esolangs 17:36:23 sartre 17:36:27 yeah 17:36:34 -!- Phantom__Hoover has joined. 17:36:36 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 17:36:45 `run words --swedish --finnish 10 # let's get some of that Swedo-Finnish stuff going 17:36:47 telsertapa sellistenemanan banansarskeiskys fixeri aukebatalat konaivuamiintron asigniner tempiltimurkes vacks sum 17:37:36 does that like run a markov thingy on a mix of swedish and finnish data? 17:38:46 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 17:39:09 It's a character... trigram? 4-gram? Something like that, I forget exactly. 17:39:16 And if you specify multiple options, it just interpolates. 17:39:36 (As in, sums the frequencies.) 17:39:54 aah, ogerman is probably o-german, not oger-man 17:40:50 is it weighted by the size of the input sets? I imagine --esolangs --x would not be very esolangy otherwise 17:41:18 olsner: I think all the models are normalized, but not sure. 17:41:49 `words --eng-1M --esolangs 15 17:41:53 whailyletornentallyido ado dup lazzo ora son guo wierding befear sho affic miscudal yllangi abn evill 17:42:08 Well, that's not conclusive, but it looks quite esolangy. 17:42:27 (And whailyletornentallyido is probably quite a nice language.) 17:43:39 dup is an esolang, isn't it? and befear is probably from befunge +/- some letters 17:45:49 Dupdog is. Apparently DUP is, too. 17:45:49 what's updog? 17:46:53 I was sort of expecting befear to actually exist, but seems that there's just Befreak. 17:47:49 begrunge, a nirvana-based esolang 17:53:02 Begrudge, a language where the implementation runs your program but isn't happy about it at all. 17:56:39 that sounds a little like INTERCAL 17:58:09 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:00:39 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:00:57 -!- asie has joined. 18:05:28 -!- Bike has quit (Quit: Reconnecting). 18:05:42 -!- Bike has joined. 18:08:26 -!- Taneb has joined. 18:17:07 Well 18:17:17 I managed to get to the semifinal without actually winning a match 18:18:37 what competition? 18:18:46 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 18:19:58 nortti: writing an AI for a Battleships-like game to run on a RaspberryPi 18:20:06 ah 18:21:08 I almost actually got to the final without winning a match 18:21:14 how? 18:21:28 My opponent almost got disqualified for misentering twice 18:21:40 :D 18:21:47 I saved him out of the kindness in my heart 18:22:09 And the fact that if I managed to get to the final without winning I'd feel really unfulfilled 18:30:37 -!- asie has joined. 18:32:53 Taneb, oi, start a succession fort 18:33:38 Phantom__Hoover: I can't right now on account of the only computer I have access to which I am willing to install software on is a Raspberry Pi 18:33:49 And tomorrow is Freshers' Fair 18:33:53 Maybe tomorrow evening 18:34:13 goddamn you 18:34:39 how does freshers work in universities that actually have a week for it 18:35:43 Basically, you have a week to get settled in with stuff like "This practical is where you learn to turn on a computer" 18:35:55 And then for one day all the societies try to get you to join them 18:36:02 And then it's over 18:37:05 oh that does just sound like the first week at warwick 18:37:22 except the societies all try and get you to join on tuesday through thursday 18:56:04 anyone suggestions for naming my hardware in general or my new mini root in detail? 18:56:26 Rhizobia 18:57:00 huh? 18:57:10 A name. 18:57:28 where does it come frome? 18:58:30 -!- Frooxius has quit (Read error: Connection reset by peer). 19:00:42 -!- Frooxius has joined. 19:01:54 -!- Bike has quit (Ping timeout: 264 seconds). 19:01:58 -!- Taneb has quit (Quit: Page closed). 19:04:10 myname, it's one of the nitrogen-fixing bacteria in plants or something 19:07:14 -!- impomatic has joined. 19:35:28 -!- Bike has joined. 19:39:54 -!- shikhin has changed nick to driyoyleujiy. 19:42:34 -!- nooodl has joined. 19:47:27 finally out of formation. 19:47:42 uuuuuuuuurgh... that was long. but now, I understand enterprisey stuff! 19:48:09 hooray, apparently 19:48:45 nah. 19:48:56 I'm feeling dizzy on so many levels it's not funny. 19:48:59 woe, apparently 19:49:23 the woe is amply felt, and I'm confused as ever about manufacturing processes. 19:55:20 `rot13 pung 19:55:22 chat 19:56:43 incidentally, that means scrotum 19:57:03 that's the second definition on urban dictionary about pung. 20:05:49 -!- asie has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz...). 20:29:36 -!- driyoyleujiy has quit (Ping timeout: 245 seconds). 20:34:05 -!- KingOfKarlsruhe has joined. 20:40:51 -!- nisstyre has joined. 20:51:48 -!- JWinslow23 has joined. 20:52:15 Happy CB Radio Day! 20:53:55 some day, I'll get an amateur radio license... 20:54:00 * boily dreamily looks in the sky 20:54:41 is the license in the sy or just the radio waves 20:56:48 license in the sky with radio waaaaves ♪ 21:05:51 * JWinslow23 doesn't give a BF 21:06:12 -!- function has changed nick to trout. 21:08:21 -!- Bike has quit (Ping timeout: 245 seconds). 21:10:01 -!- Bike has joined. 21:15:22 the new swearing idiom, after the Fungottian Conjugations, “to give a BF”. 21:17:31 That was mine! 21:18:58 `learn JWinslow23 is a Wisconsinite who doesn't give a BF. 21:19:13 I knew that. 21:22:42 `help 21:22:42 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 21:23:06 -!- boily has quit (Quit: probably poulet tonight. maybe. but don't bet on it.). 21:23:09 -!- metasepia has quit (Remote host closed the connection). 21:23:16 `run JWinslow23 21:23:18 bash: JWinslow23: command not found 21:23:26 Dunno your syntax. 21:24:07 it's a shell 21:24:11 `run echo JWinslow23 21:24:13 JWinslow23 21:28:06 `echo %JWinslow23% 21:28:08 ​%JWinslow23% 21:28:25 `run it 21:28:28 no. 21:28:31 -!- AnotherTest has quit (Ping timeout: 245 seconds). 21:28:43 `If you're happy and you know it, SYNTAX ERROR! 21:28:45 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:28:56 - 21:29:01 I will improve that. 21:29:14 `If you're happy and you know it, ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:16 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:24 `If you're happy and you know it, ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:26 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:42 `If you're happy and you know it, then your face will surely show it, if you're happy and you know it, ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:43 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: If: not found 21:29:54 Good, right? 21:31:54 -!- Bike has quit (Ping timeout: 264 seconds). 21:38:42 [Quit "Something went wrong." 21:38:48 [Quit "Something went wrong."] 21:38:51 -!- JWinslow23 has quit (Quit: Page closed). 21:39:08 -!- nooodl has quit (Ping timeout: 240 seconds). 21:41:06 Error: something's wrong. 21:41:17 Error: an error occurred 21:47:23 someone make a clever `? telling people to experiment with the bots in /query 21:48:28 doing irc in private sounds ultimately boring 21:49:23 -!- alone has quit (Quit: Pislik Script ! with Self clearing virus System! Download it at 9www.PislikleR.com). 21:50:06 I remember HL engine games that would crash with "Error: no error" 21:50:17 the Linux equivalent is usually "Error: Success" 22:01:17 -!- oerjan has joined. 22:03:08 @messages-loud 22:03:09 boily said 6h 47m 53s ago: you stealth quoted me 4 days ago! 22:03:31 @tell boily i don't recall there being anything stealthy about it. 22:03:31 Consider it noted. 22:03:48 `run allquotes | tail -4 22:03:50 1112) It is probably also "horrifyingly fucked up" \ 1113) aaaaaurgh. you're making me think on a Monday! that shouldn't be happening! \ 1114) what did fungot say? kmc: my implementation isn't supposed to sound rude. \ 1115) BBC: Exercise 'can be as good as pills' oh, they mean for your health 22:09:22 @tell Gregor ais523 evicted your logs from the topic, you might want to fix them. 22:09:22 Consider it noted. 22:14:36 -!- augur has quit (Ping timeout: 245 seconds). 22:21:46 -!- mnoqy has joined. 22:25:52 school computer has autocorrect? O_o <-- it's so the pupils will get used to computers being maddenly annoying. 22:29:51 @tell boily also, you are still confusing tac and rev 22:29:52 Consider it noted. 22:31:09 `run WeLcOmE | wc 22:31:12 ​ 2 30 234 22:31:22 `run welcome | wc 22:31:25 ​ 1 30 233 22:31:38 `cat bin/WeLcOmE 22:31:40 ​#!/bin/sh \ welcome "$@" | CaT 22:31:55 `cat bin/CaT 22:31:57 ​#!/usr/bin/env python \ print (lambda s: "".join([(s[i].upper() if i%2==0 else s[i].lower()) for i in range(len(s)) ]))(open("/dev/stdin").read()) 22:32:02 I always mix them up, too 22:32:33 is tac the one that reverses order of lines? 22:32:38 yes. 22:32:49 Okay, good, hopefully I'll remember that 22:32:49 what's the python for printing without a newline? 22:34:12 Good question. Unfortunately I don't know python 22:34:19 add an extra comma at the end 22:34:29 like in ... basic? 22:35:46 olsner: i think that's perl, not python 22:36:04 http://stackoverflow.com/questions/493386/how-to-print-in-python-without-newline-or-space 22:36:34 hmm, so comma adds a space instead of newline? 22:36:58 oh hm... 22:39:01 `run sed -i -e '1aimport sys' -e 's/print/sys.write/' bin/CaT #Let's see how much i messed this up 22:39:06 No output. 22:39:14 `cat bin/CaT 22:39:15 ​#!/usr/bin/env python \ import sys \ sys.write (lambda s: "".join([(s[i].upper() if i%2==0 else s[i].lower()) for i in range(len(s)) ]))(open("/dev/stdin").read()) 22:39:32 `run WeLcOmE | wc 22:39:36 Traceback (most recent call last): \ File "/hackenv/bin/CaT", line 3, in \ sys.write (lambda s: "".join([(s[i].upper() if i%2==0 else s[i].lower()) for i in range(len(s)) ]))(open("/dev/stdin").read()) \ AttributeError: 'module' object has no attribute 'write' \ 0 0 0 22:39:44 fancy 22:39:50 oops 22:40:07 `run sed -i 's/write/stdout.write/' bin/CaT 22:40:12 No output. 22:40:15 `run WeLcOmE | wc 22:40:18 Traceback (most recent call last): \ File "/hackenv/bin/CaT", line 3, in \ sys.stdout.write (lambda s: "".join([(s[i].upper() if i%2==0 else s[i].lower()) for i in range(len(s)) ]))(open("/dev/stdin").read()) \ TypeError: must be string or read-only character buffer, not function \ 0 0 0 22:40:46 * oerjan swats python -----### 22:41:55 `run sed -i 's/write /write (/;s/read(/read()/' bin/CaT 22:41:59 No output. 22:42:02 `run WeLcOmE | wc 22:42:05 ​ 1 30 233 22:42:11 `run WeLcOmE 22:42:14 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.) 22:42:21 -!- Lymia has joined. 22:44:19 um 22:44:29 oerjan! 22:44:32 mu 22:44:36 i was wondering 22:44:52 that's dangerous! 22:46:32 cosider a class of programs in which every program P can, given the right integer as input, output the listing of any other program in this class 22:46:34 quintopia: also what happened to your webside, we had to link Spiral to Wayback. 22:46:40 *site 22:47:38 does it make sense to talk about the maximal such class? 22:47:54 no. 22:47:56 i lost it when i stopped paying for it 22:48:55 there is clearly a program which ignores its input and prints itself (i.e. an ordinary quine). it cannot be extended, and there are many such, so "the" cannot apply. 22:49:29 *its single-program class cannot be extended 22:52:07 okay 22:52:12 otoh the set of programs that can print _anything_ given an integer as input is such a class, i should think. although it might still be extendable. 22:52:13 maximum then 22:52:30 yes, i would expect the most inclusive such class 22:52:36 to contain cat at least 22:52:42 but 22:52:45 it's the "the" that's the problem, not the "maximal" :P 22:52:49 is the most inclusive class 22:52:54 even computable? 22:53:19 it's obviously non-existent. just make two programs that can print anything, except each other. 22:53:32 which one should you include? 22:54:29 you can always find a maximal class, using zorn's lemma on the class you start with. (you might even be able to tweak it to be constructive to list.) 22:55:21 no wait, cannot be constructive/computable, it will be undecidable whether a program can be added to the class. 22:55:56 because you cannot check whether a program can print a given other program. 22:56:52 unless you start out with a class that is artificial limited to only decidable programs as the common output 22:56:58 Someone sent a tombstone to the creators of COBOL in 1960! http://www.computerhistory.org/collections/catalog/X572.85 22:57:09 *ally 22:57:21 oerjan: what if you throw an equivalence relation over your programs 22:57:31 "if they do the same thing, they're the same program" 22:57:46 Koen__: that's not going to _help_ decidability. 22:57:47 and then reprensent every equivalency class by a decidable program 22:58:31 Koen__: there are probably programs that have no decidable equivalent programs. 22:59:02 even in the set of programs that print listings of other programs of the class given integers as input? 22:59:26 argh brain 23:00:01 every program is equivalent to the sequence (output(n))_(n\inN) 23:00:36 surely you can make a decidable program matching that sequence? 23:00:51 or maybe not 23:01:13 um those programs don't match quintopia's initial problem afaict 23:01:55 sure you can make decidable programs for a simple example. the problem is coming up with anything interesting where you can decide for _all_ the members. 23:05:40 nice, you can write any old HTML/CSS/JS in jsfiddle and then immediately download it as a Firefox OS mobile app 23:12:30 `rot13 pungdjur 23:12:32 chatqwhe 23:12:41 disappointing 23:12:43 oerjan: what's the proof that it's impossible to prove an as-inclusive-as-possible maximal set is maximal 23:12:48 `rot13 pungdyr 23:12:50 chatqle 23:14:01 `rot13 djur 23:14:03 qwhe 23:14:14 `rot13 dongs 23:14:15 qbatf 23:14:33 quintopia: i don't know, but i am saying you have to construct your maximal set very carefully to ensure no undecidable-whether-you-can-add-them candidates arise 23:14:51 and it might very well be impossible to do so. 23:15:06 in what situation would it become undecidable whether you can add them 23:15:47 -!- Bike has joined. 23:16:38 quintopia: if all the programs already printed are capable of printing a program whose halting problem is undecidable, and if it does halt the part after the loop belongs to the class... 23:16:48 *already included 23:17:10 hmm 23:17:39 and that's just the simplest context i could think of 23:18:22 you could also have programs at some point for which it is undecidable whether they can print a given other progra¨m 23:20:22 if you try to include only programs for which such things are decidable, then it may not be maximal in the original sense because there would always be a program with undecidability issues that _could_ be added. 23:20:51 so does this mean the existence of an as-inclusive-as-possible such class is undecidable? 23:21:52 i am not claiming to have any proof. 23:22:50 class of what now 23:22:53 an added problem is that you have not defined "as-inclusive-as-possible" 23:23:04 Bike: we have logs. 23:23:18 but not gregor's, i note 23:23:38 Bike: ais523 removed them. the .txt version still works. 23:24:03 why are they removed 23:24:08 the class of computable enumerations? hm 23:24:17 doesn't "A is as-inclusive-as-possible" mean "there is no set B (fitting the same criteria ) 23:24:27 such that A is included in B"? 23:24:39 Bike: ask ais523, but my guess is because the link leads to a date listing page where the most prominent links _don't_ work. 23:24:59 yes, i have been the most active Gregor-complainer during the crisis 23:25:01 Koen__: no, that's "maximal". 23:26:10 i understand quintopia to mean something else by "as-inclusive-as-possible", something that excludes my example above of every quine forming a single-element maximal class. 23:26:49 quines take input now? 23:27:06 Koen__: no, they ignore it. 23:27:06 and ignore it 23:27:09 (I was trying to be funny. sorry) 23:27:19 jokes are disallowed in this space-time vector 23:27:29 but since there are obviously subsets of programs that exclude each other, the concept of "inclusive" seems _very_ vague to me. 23:27:43 to include something, you have to exclude something else. 23:28:19 and in what sense is whatever you include then "inclusive" if that's to mean something other than maximal. 23:28:35 oerjan: i don't know how to define it. i suppose the one you get by starting with all quines, then modifying them so they can all print each other 23:30:06 quintopia: i suspect a horrible mess of possible alternative definitions. 23:34:21 Bike: i never notice the log problem personally because my habit is to just bring up the last .txt link on the address line and edit the date. 23:34:34 *bar 23:34:50 -!- Taneb has joined. 23:35:16 i kinda like the formatting 23:35:36 i cannot stand the font size 23:35:36 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 24.0/20130910160258]). 23:35:47 it's fine if i zoom out. 23:35:55 oh... i think it's the same size as the .txt for me. 23:37:43 or wait, i may have to set the font size instead, i recall one of the options causes horrible wrapping. 23:37:52 Hi 23:37:57 hineb 23:38:18 (as in, the messages gets wrapped to right below the corresponding nick, iirc) 23:38:22 *get 23:39:23 in any case, since .txt from the address bar means less tweaking, i use that. 23:40:10 well except in some cases, when the .txt gets horribly broken and i switch to the formatted version. 23:40:18 -!- augur has joined. 23:40:31 right-to-left stuff sometimes does that. 23:41:11 (and it affects the whole _rest_ of the file after it.) 23:42:54 i wish Gregor would set the encoding on the .txt file, for some reason IE 10 hides the option to select utf-8 if it hasn't autodetected it deeply in a horribly long list of charset options. 23:43:25 imo, fuck IE 23:43:30 (old IE 8 had utf-8 conveniently placed.) 23:44:34 does it have "codepage 65001" 23:44:41 kmc: you're so predictable. also, does whatever you use have changing a wrongly detected encoding in a convenient place? 23:45:32 yeah both Chrome and Firefox make that convenient 23:45:46 I love that you can introduce security holes by convincing users to change the character encoding (or tricking the browser) 23:46:12 kmc: i don't see 65001 on the list. 23:46:18 -!- Phantom__Hoover has quit (Quit: Leaving). 23:46:32 admittedly the list isn't _that_ long, but utf-8 isn't on the first page. 23:46:33 I think I'm OK with being predictable 23:58:26 "With Silk Road shut down, developers are finding it hard to do a rolling deploy" -- Hacker News Onion 23:58:48 haha i get it, it's about "blunts" 23:58:52 are you ok with being decidable? 23:59:08 Bike: so close yet 23:59:22 this is me and every drug joke. right here. the platonic bike reaction. 23:59:38 Koen__: the alternative is having unbounded state, which seems more terrifying