00:01:11 oh some starfish do "Brittle stars have a blind gut with no intestine or anus." 00:04:44 `` zgrep CONFIG_MODULES /proc/config.gz 00:04:45 CONFIG_MODULES_USE_ELF_RELA=y \ # CONFIG_MODULES is not set 00:06:35 ?metar CYVR 00:06:35 CYVR 282357Z 21020KT 12SM -RA FEW040 BKN063 BKN100 BKN150 09/05 A2986 RMK SC1SC4AC1AC1 VIRGA N SLP114 00:08:11 Do most JavaScript programs require a webpage or most don't? (My own program "JSZM" does not require a webpage and only requires ES6.) 00:10:26 I suspect the sheer mass of websites means that most javascript code is written for websites... typically operating on the DOM, which requires some sort of browser. 00:10:42 (well, the HTML DOM) 00:10:54 there's also an SVG one, at least 00:11:11 probably extends to XML in general 00:11:33 (and then it covers XUL as well) 00:12:14 @@ @@ (@where weather) KSEA KOAK 00:12:15 XUL is the worst 00:12:16 KSEA 282353Z 20014G20KT 10SM FEW012 BKN050 BKN060 07/05 A3004 RMK AO2 PK WND 22027/2338 RAE08B24E37 SLP179 P0001 60029 T00720050 10100 20067 53018 $ \ KOAK 282353Z 27006KT 10SM FEW020 BKN170 OVC200 17/11 A3019 RMK AO2 SLP224 T01720106 10189 20139 55006 00:12:19 ?? ?? (?where weather) KSEA KOAK 00:12:21 KSEA 282353Z 20014G20KT 10SM FEW012 BKN050 BKN060 07/05 A3004 RMK AO2 PK WND 22027/2338 RAE08B24E37 SLP179 P0001 60029 T00720050 10100 20067 53018 $ \ KOAK 282353Z 27006KT 10SM FEW020 BKN170 OVC200 17/11 A3019 RMK AO2 SLP224 T01720106 10189 20139 55006 00:12:25 `` sed -i 's/\?/@/g' wisdom/weather 00:12:27 No output. 00:20:11 `? extreme 00:20:17 Extreme ironing is an esoteric sport in a similar sense as esoteric programming languages. 00:20:51 `forget extreme 00:20:54 Forget what? 00:21:50 `? ironing 00:21:50 ironing? ¯\(°_o)/¯ 00:21:52 whoa whoa whoa 00:21:53 @time oerjan 00:21:54 Local time for oerjan is Mon Feb 29 01:21:53 2016 00:21:55 `? extreme ironing 00:21:56 Extreme ironing is an esoteric sport in a similar sense as esoteric programming languages. 00:22:09 shachaf: wat? 00:22:10 that date makes no sense hth 00:22:27 shachaf: you just need a leap of logic hth 00:24:38 see, this is why I'm not using learn <-- OKAY 00:25:06 `? learn 00:25:07 learn? ¯\(°_o)/¯ 00:25:20 -!- tromp has joined. 00:25:40 `` ln -s '`learn' wisdom/learn 00:25:42 No output. 00:26:13 * boily bissextically mapoles oerjan 00:26:19 wat? 00:26:27 that entry is suspiciously accurate 00:26:36 int-e: i just made it 00:26:49 `learn learn is the most convenient and error-prone way of adding new wisdom entries. 00:26:51 Learned 'learn': learn is the most convenient and error-prone way of adding new wisdom entries. 00:26:52 `? `learn 00:26:53 learn is the most convenient and error-prone way of adding new wisdom entries. 00:26:56 `revert 00:26:58 thought so. 00:26:58 oerjan: https://fr.wikipedia.org/wiki/Ann%C3%A9e_bissextile 00:27:02 int-e: ARGH 00:27:06 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 00:27:15 `` ls wisdom/*learn 00:27:16 wisdom/learn \ wisdom/`learn 00:27:17 haha 00:27:20 `` ls -l wisdom/*learn 00:27:23 lrwxrwxrwx 1 5000 0 6 Feb 29 00:25 wisdom/learn -> `learn \ -rw-r--r-- 1 5000 0 149 Feb 29 00:26 wisdom/`learn 00:27:27 whew 00:27:29 `? learn 00:27:30 `learn creates a wisdom entry and tries to guess which word is the key. Syntax (case insensitive): `learn [a|an|the] [s][punctuation] [...] 00:28:13 `? one 00:28:14 one? ¯\(°_o)/¯ 00:28:16 `? fish 00:28:17 fish? ¯\(°_o)/¯ 00:28:24 `? seuss 00:28:25 seuss? ¯\(°_o)/¯ 00:28:34 `? dr seuss 00:28:35 dr seuss? ¯\(°_o)/¯ 00:29:43 boily: bissextile is a weird word 00:29:57 you don't say. 00:31:30 apparently it's because the roman calendar was weird. 00:33:57 romans built an empire on top of unusual units and acrobarithmetic. 00:39:06 did any empire not 00:39:25 maybe the french 00:39:36 except they were unusual when they started 00:42:29 boily: what is acrobarithmetic? 00:42:49 hellombda-11235. it's acrobatical arithmetic hth 00:43:37 . o O ( There was a doctor called Seuss / who studied Grinch's Whoville abuse, / one fish and two fish, / red fish and blue fish. / To me that is highly abstruse. ) 00:45:48 -!- hppavilion[1] has joined. 00:46:32 What would be an ideal design for a database? 00:46:39 hppavellon[1]. what is your stance about unusual units? 00:46:55 ideal? 00:46:55 boily: What kind of unusual unit? 00:46:57 Units of what? 00:47:10 boily: Most useful. 00:47:16 sqlite? 00:47:33 `? extreme irony 00:47:34 extreme irony? ¯\(°_o)/¯ 00:47:41 units of measurement, odd conversion factors between them, units that measure unusual stuff... 00:47:51 boily: Ah; love'em 00:48:02 `le/rn extreme irony/Extreme irony it was happens when you do extreme ironing leading to a Darwin award. 00:48:06 Learned «extreme irony» 00:48:31 I love them with almost exactly 5pi romeos (2.5tau juliettes) 00:48:38 `le/rn extreme irony/Extreme irony it what happens when you get a Darwin award for extreme ironing. 00:48:41 Learned «extreme irony» 00:48:42 argh 00:48:49 `le/rn extreme irony/Extreme irony is what happens when you get a Darwin award for extreme ironing. 00:48:51 Learned «extreme irony» 00:49:00 the above, however, is extreme muphry's law. 00:49:33 int-e: Yes HTML/SVG DOM is what I had meant. A JavaScript program is not required to touch any DOM though, and if only core JavaScript features are used then it can be used with anything. 00:49:47 zzo38: I know 00:50:01 boily: my stance about unusual units is about 63 millicleese hth 00:50:02 (It would then still require a front-end to be written, although that would be a separate program.) 00:50:15 oerjan: What is that units? 00:50:15 oerjan: millicleese? 00:50:40 boily: 1/1000th of a cleese hth 00:50:44 zzo38: unit of absurd humor hth 00:51:08 OK 00:51:21 -!- tromp has quit (Remote host closed the connection). 00:51:40 Should the past tense of "synch" be "sanch"? 00:51:51 here's some simple pure ecmascript I wrote some years ago for fun http://sprunge.us/SaZe?js 00:52:59 are there any actual strong english verbs with y as main voerl 00:53:01 (I love Tarjan's disjoint set forests.) 00:53:05 *woveel 00:53:37 oerjan: If you count lay, but I doubt it 00:53:54 you could verbify "lyre" ;-) 00:54:07 I'm with int-e 00:54:12 woveel, voerl, mhound, tromple, spronghack... 00:55:29 hppavilion[1]: i'd say that's not the main vowel 00:55:45 oerjan: I would be inclined to agree 00:55:53 `word 50 00:55:56 ivlncene mball durhetendumen preng se pitibindrectic dgolineng obmlacomess cong fridarosed resmatienexong mee ats ramed fae acomerischigney nitgeheaesalthemereca canobipit ickeuconethet othilbarmundenobte si ta enatrad ceacgrapraffe hors juggerismushimeraocke idercenstrablebedres imulanimaartunignings ters mureahaltemassanon rned kito flasimen les 00:56:43 those words are a bit verbose 00:56:49 aka wordful 00:57:00 mureahaltemassanon sounds Finnishish. 00:57:27 oerjan: wry! 00:57:35 int-e: oh! 00:58:16 what's a wry? 00:58:21 int-e: um, not strong sorry 00:59:27 although maybe some others on -y are... 00:59:52 I want to study ZF^C 01:00:01 Not to be confused with ZFC 01:00:05 type? 01:00:25 hmph neither cry, try or fry 01:00:31 not sure what kind of strength you're after 01:00:55 ZFC is set theory with nothing /but/ the axiom of choice 01:00:56 int-e: an irregular vowel change in the past tense would be good 01:00:56 the hit/hit/hit kind? 01:01:15 ablaut, basically 01:01:47 (i don't count -y -> -i- since that's a completely regular rule) 01:02:42 What alternatives are there to Horn Clauses for logic programming? 01:02:48 hm to work with synch above, it probably shouldn't be the last sound in the word either 01:04:24 http://whymtgcardsmith.tumblr.com/post/139692846278/because-actually-playing-magic-the-gathering-is Change "the player with the highest life total wins" to "the active player loses". 01:04:59 "tryst" of 7th guest fame appears to be completely regular as well 01:05:17 actually the problem with finding one, i think, is that strong verbs are always germanic while y in germanic words only appears at the end like that 01:05:20 (but is interesting to me in that the "y" isn't the usual ai: sound) 01:05:52 (I'm too lazy for proper IPA) 01:06:16 wiktionary claims it can be ai 01:06:32 aɪ 01:07:24 Hmm, I'll try sleep. Back in Europe... 01:13:48 "When you draw cards, draw an extra card" 01:13:57 Someone doesn't know about event-driven programming tautologies 01:20:47 -!- tromp has joined. 01:29:45 * boily is binging ASMR and SCP at the same time. maybe I shouldn't do that... 01:42:22 boily: A Sailor Moon Romance and the Society of Catholic Priests? 01:43:16 Age Standardized Mortality Rate and Security Certified Program? 01:43:53 Average Spread Margin Rating and Simple Chess Program 01:45:12 I wouldn't be surprised if there were Sailor Moon ASMR out there... 01:45:24 Catholic Priests are too terrifying to qualify as mere SCPs. 01:58:12 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 02:03:28 boily: what does a person gotta do get mapoled around here 02:04:01 whoa whoa whoa, how is "mapole" pronounced? 02:04:12 bad puns, essentially. 02:04:13 i assumed it was like "ma pole" 02:04:20 but maybe it's more like "mey pole" 02:04:35 i only have good puns tdnh 02:04:40 it's just a pole, ma'am 02:05:27 /mæ'po:l/ hth 02:05:29 is a mapole a citizen of mapoland 02:05:57 boily: i find that o: unlikely 02:06:17 it is likely, with my outrageous accent. 02:06:42 AHKEE 02:07:07 i don't know how to read those highfaluting IPAs 02:07:10 i don't even drink beer 02:07:22 or is it highfalutin? 02:07:28 i may have faluted a little too high myself 02:08:09 * oerjan wonders if shachaf ever ingests anything nice 02:08:30 boily: oh, you weren't even around for my pun earlier 02:09:00 or just lives on broccoli and bean sprouts 02:09:11 ieeeuw... broccoli... 02:09:38 and the occasional grapefruit. 02:09:39 oerjan: when i was ~3 years old i'm told i would throw tantrums about not being given broccoli 02:09:55 i would sit outside the apartment and scream "broccoli! broccoli!" even through we were out 02:10:14 * boily eyes shachaf 02:10:29 boily: http://codu.org/logs/log/_esoteric/2016-02-27#225334oerjan 02:10:57 oh. and what was the pun you got overmapoled for? 02:11:33 i don't think i've ever been overmapoled 02:12:28 oerjan: Where do I file a complain if I have reason to believe I've been overly mapoled? ← overmapoling much? 02:12:45 boily: Oh, right. 02:12:48 The pun is a few lines later. 02:14:54 * boily thwacks shachaf with his mapole 02:14:59 that pun was bad. 02:15:25 you can still file a complain. 02:15:57 `cat bin/complain 02:15:59 print_args_or_input "$@" >> Complaints.mp3; echo Complaint filed. Thank you. 02:16:07 `culprits Complaints.mp3 02:16:12 tswett oerjan tswett oerjan hppavilion[2] oerjan 02:17:37 -!- boily has quit (Quit: LEOTARD CHICKEN). 02:27:36 -!- andrew has joined. 02:33:38 oerjan: you are the modal complainer 02:35:07 "ie am the very modal of a modern filer of complaints" 02:35:10 s/e// 02:37:11 `complain This database lacks knowledge animal and vegetable and mineral. 02:37:15 Complaint filed. Thank you. 02:38:17 now you're even more modal 02:38:23 shachaf: mod 2, to be precise. 02:38:52 i used to think Modest Mussorgsky's first name was the english adjective 02:39:06 it seems like an odd title to give oneself 02:39:09 seemed 02:39:43 especially as he was an exhibitionist 02:46:27 I got selections to work in my program now, in both directions 02:47:13 -!- lambda-11235 has quit (Ping timeout: 268 seconds). 02:47:15 I have the music from Modest Mussorgsky on my computer right now 02:47:50 -!- Froox has quit (Ping timeout: 268 seconds). 02:48:52 -!- lambda-11235 has joined. 02:49:33 Which music? 02:49:39 He wrote good musics. 02:50:55 "The Great Gate of Kiev" 02:52:01 -!- Sir_Andrei has joined. 02:52:05 Hello 02:53:19 Firefox requests the "TARGETS" target five times, and then "UTF8_STRING", and then "COMPOUND_TEXT", and then "STRING". Xterm requests "UTF8_STRING" (even if Unicode mode is disabled), and then "TEXT", and then "COMPOUND_TEXT", and then "STRING". 02:53:22 Why is that? 02:58:29 You can now write: window.createSelection(X.atom.PRIMARY,t=>(t==X.atom.STRING && new Property(X.atom.STRING,8,"Hello, World!"))).on("clear",()=>console.log("Cleared")); 03:05:08 s/Property/X.Property/ 03:06:51 -!- adu has joined. 03:08:18 -!- augur has quit (Remote host closed the connection). 03:08:29 -!- XorSwap has joined. 03:12:33 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:15:07 -!- Sir_Andrei has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 03:45:19 Is it possible to add support for Plan9 forwarding into SSH server in Linux? If so, how? 03:46:34 (The other thing to add would be support for adding a one time pad encryption on the outside layer) 04:23:34 -!- noncom has quit (Ping timeout: 260 seconds). 04:30:19 -!- hppavilion[1] has joined. 04:49:07 -!- oerjan has quit (Ping timeout: 264 seconds). 04:58:21 -!- ayeelmao has joined. 05:19:19 -!- augur has joined. 05:52:44 -!- andrew_ has joined. 05:53:36 -!- andrew__ has joined. 05:56:12 -!- andrew has quit (Ping timeout: 246 seconds). 05:57:31 -!- dingbat has joined. 05:57:46 -!- andrew_ has quit (Ping timeout: 268 seconds). 06:01:31 What's the opposite of intuitionistic logic? Something destructive, no doubt 06:01:54 There is dual-intuitionistic logic. 06:02:12 Where not not P is a stronger statement than P. 06:08:22 http://unicode.org/consortium/adopt-a-character.html 06:14:20 -!- XorSwap has quit (Quit: Leaving). 06:15:23 lifthrasiir: I don't understand how that's not satire. It's satire, isn't it? But it's on unicode.org. I'm so confused. 06:16:55 dingbat: it is a sort of donation mechanism, all serious 06:18:22 If I told someone I was paying $5000 a year to sponsor a Unicode character and, in return, receive an engraved plaque, I'd be locked in the looney bin. 06:19:42 As an aside: Hello! I'm new to this channel 06:20:29 hello :p 06:21:22 dingbat: Than just tell them you're paying to support multilingistic harmony across all computer systems. 06:22:51 lambda-11235: I think that's still grounds for the looney bin :) 06:30:22 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 06:30:34 dingbat: Then just don't tell anyone. :) 06:31:29 lambda-11235: have you adopted a character yet? 06:33:19 I think if I was going to adopt, I'd choose U+200F RIGHT-TO-LEFT MARK. It's a good character 06:34:39 Incidentally, it's a great character to insert into unsanitized HTML forms 06:36:05 `welcome dingbat 06:36:12 dingbat: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 06:37:43 Cheers. I'm a big fan of esolangs, so I guess this is a good place to lurk 06:37:53 dingbat: No. 06:37:58 dingbat: visible, allocated graphical characters only 06:38:20 lifthrasiir: aww. Shame 06:39:22 dingbat: someone managed to adopt a combining character, though 06:40:02 I'd choose λ, just cause it's the only character whose code I've memorized by heart. 06:40:09 I think that a lot of mess has been made with Unicode 06:40:37 is it ⯣ ? 06:41:23 lifthrasiir: U-03BB, so no. 11235 is the first 5 numbers in the fibonacci sequence. 06:41:57 dingbat: people do that in zoos, but in that case at least they get a plaque not at home, but at the cage of the animal they adopt, so anyone visiting the zoo can see they're the sponsor. 06:42:45 -!- hppavilion[1] has joined. 06:42:49 b_jonas: right. And that makes some sense, because people go to animal zoos. But I somehow doubt many people visit the "Unicode zoo" 06:43:11 Reverse Polish Logic 06:43:32 U+0666 is a nice satanic character. ARABIC-INDIC DIGIT SIX 06:43:53 `unicode U+0666 06:43:55 ٦ 06:44:05 `unicode U+6666 06:44:06 晦 06:44:21 `unicode U+0777 06:44:22 ݷ 06:44:40 `unicode U+7777 06:44:41 睷 06:44:53 `unicode 4242 06:44:54 䉂 06:45:18 `unicode 42 06:45:19 B 06:45:22 GAAAAASP 06:45:37 dingbat: ٦٦٦ 06:45:55 Ooooh nooo Satan's string is coming for me! 06:46:06 `unicode 1f446 06:46:07 👆 06:46:39 So glad iPhone finally added that to the font set. Conversations with friends are much more succinct 06:47:44 👎 06:47:54 dingbat: U+1F446 displays for you? on weechat it doesn't show up, although in the terminal emulator it does. 06:48:07 1f459 06:48:08 Wierd. 06:48:33 lambda-11235: Yup. I'm on IRCCloud, the OS X client, specifically. So I guess it's using OS X system fonts 06:49:01 dingbat: possible noooooooooooooooooooooob 06:49:36 In what typographists are calling "Totally gay", U+1F46C 06:49:46 hppavilion[1]: hahaha it's the most convenient client I've tried. It stays connected no matter what, and I don't have to keep a bouncer running :) 06:50:14 -!- lambda-11235 has quit (Quit: Bye). 06:50:34 1F47C is depressing 06:51:36 -!- lleu has joined. 06:51:36 -!- lleu has quit (Changing host). 06:51:36 -!- lleu has joined. 06:53:44 "UTCE" http://zzo38computer.org/textfile/miscellaneous/utce is a better character set for making terminal emulators with, than Unicode, which is especially bad for that purpose 06:54:59 zzo38: Does it have box drawing? 06:55:08 zzo38: it is a well-doomed replication of ISO 2022 I think 06:55:19 hppavilion[1]: Yes it does have all of the box drawing 06:55:25 zzo38: STFH 06:55:35 (STFH is the opposite of GTFO) 06:56:16 (The PC character set has all of the box drawing, and all characters in the PC character set are included in UTCE) 06:56:37 hppavilion[1]: ! 06:56:52 adu: & 06:57:01 adu: I made a GUI application for generating SBLs 06:57:06 Actually there are also a few additional box drawing stuff in the DEC and Infocom and Commodore sets, and those are also all included. 07:00:32 hppavilion[1]: what's an sbl? 07:01:45 adu: Stack-based langauge 07:02:02 so, like forth or factor? 07:02:25 lifthrasiir: It is far simpler than ISO 2022 actually, and is capable of being used on the same system as ISO 2022. 07:02:26 or PostScript? 07:04:05 zzo38: isn't that bytes marked with * are used to switch the current bank? 07:04:18 (You can use the DEC character set selections together with it, and use a single font with it. Therefore the terminal emulator can be fulfilled without use of Unicode or ISO-2022-JP or whatever else like that) 07:04:42 lifthrasiir: No, the bytes marked with * are not used in UTCE, and may be used for data transfer functions and/or terminal control functions. 07:05:03 adu: Yes, like forth or factor, but stupider 07:05:15 adu: Really, it just prompts you with random symbols and you describe them 07:05:24 adu: It's for mass-production of low-quality esolangs 07:05:46 (The bytes marked with 0 also, if not the second byte of a two-byte code, may be used for terminal controls, such as to emulate VT100 character set selections.) 07:05:48 hppavilion[1]: Does Befunge count as an SBL? 07:06:23 then it actually is [\t\r\n...] | [\x20-\x7e] (?# bank 0 characters ) | [\x80-\xff] [\x20-\x7e\x80-\xff] (?# double-width fixed bank characters ) | [\x80-\xff] [\x00-\x1f] (?# bank override ) ? 07:07:18 then this is much worse than ISO 2022 in terms of total number of characters supported. 07:07:51 I change the document a bit to clarify it 07:08:29 dingbat: Yes. 07:08:41 zzo38: for example, how would you support GB 2312 in the same framework? 07:08:49 dingbat: Anything with a stack as the primary data structure is an SBL 07:09:30 hppavilion[1]: Gotcha. (I'm particularly fond of Befunge as far as esoterics go, and working on a similar language) 07:11:11 lifthrasiir: Currently there is no Chinese supporting, although you can write in Japanese. (There is also no Korean) It could possibly be added into the double wide characters though, although currently they are defined as only JIS X 0213 07:11:40 dingbat: Befunge is the best 07:11:47 dingbat: I once tried making a production Fungeoid 07:11:56 so is it going to be a multi-byte (larger than 2 bytes) encoding? 07:12:00 dingbat: (Also, I wrote most of the fungeoid article on the wiki :)) 07:12:09 No, it is only 2 bytes 07:12:23 then you need some kind of switch characters, and it is identical to ISO 2022 07:12:35 I would expect that you can do without simplified Chinese 07:13:02 I believe a flat namespace used by Unicode is much better than tons of separated namespaces 07:13:37 hppavilion[1]: oh neat. I really like how fantastically easy it is to make a simple fungeoid interpreter 07:13:53 It is better yes, although the rest of Unicode is worst. 07:14:44 you should have tried TRON first :p 07:16:46 However I believe my design can be reasonable even without simplified Chinese included. (Arabic and Hebrew and zero-width spaces and combining characters will never be included; all of these things are against this design.) 07:16:48 I wonder, did ais523 deliberately name Underload to make people create an abbreviation ambiguous with the already famous language unlambda, in a similar way as brainfuck and befunge causes problems? 07:17:54 hppavilion[1]: so, kind of like a built-your-own-with-five-words kind of esolang 07:18:49 Because if it's so, then we need another language as successful as those whose name matches I.*C.* 07:19:34 -!- augur has quit (Remote host closed the connection). 07:19:44 adu: Yes 07:19:58 UTCE is not designed for typography; it is designed for screen displaying on a grid-based display with simple encoding/decoding, so there is no such things as hyphenations and ligatures and so on that can be supported (actually an implementation probably could, but it would be a bad idea). 07:20:00 adu: Except it can have upwards of 18000 instructions 07:21:04 hppavilion[1]: well, I was thinking of something like "C without semicolons" or "Lisp with indentation" 07:22:00 zzo38: like cp437? 07:22:13 adu: C without semicolons? http://ioccc.org/1988/litmaath.c (+ s/;/{}/) 07:22:46 it is not really hard. 07:23:24 b_jonas: Yes, but with more characters including DEC characters. 07:23:42 Why do I try to read ioccc code? 07:23:58 I DON'T EVEN KNOW C NORMALLY 07:24:12 hppavilion[1]: I do 07:24:32 I've written thousands of things in C 07:26:52 (Also, avoids the confusion of graphics with control codes) 07:29:11 hppavilion[1]: it looks like it's an implementation of echo 07:29:34 adu: Ah 07:30:15 only with spaces replaced with \n 07:31:10 hppavilion[1]: or '\n'.join(sys.argv[1:]) 07:31:38 in Python 07:35:13 In JavaScript it would be process.argv.slice(1).join("\n") although note that the name of the program is argv[1] (and argv[0] is the name of the interpreter) so it isn't quite the same way necessarily 07:36:12 -!- mroman has joined. 07:36:15 fnard 07:36:24 fnird to you 08:00:47 fnurd 08:07:42 -!- AnotherTest has joined. 08:08:36 If you do not know C programming, then you must learn. 08:10:21 nah 08:10:51 a language that doesn't change the way you think is not worth knowing 08:22:36 myname: What if said language is your first language? 08:22:48 myname: And you already thought in its mindset? 08:23:15 https://github.com/izabera/pathhack if anyone wants to try this, it lets you handle relative paths in other directories than . 08:23:42 just put the list in the paths file and run make 08:23:53 I'm tempted to axiomize everything in one grand messy axiomatic system 08:23:55 (it's mostly a test, maybe i'll rewrite it with fuse) 08:24:05 So you can reason about groups relative to topological systems 08:24:21 s/systems/spaces/ 08:24:31 * hppavilion[1] may have just invented Category Theory 08:24:56 or ZFC 08:25:28 myname: No, it axiomizes things completely unrelated to sets (though you can, of course, construct them using sets) 08:27:00 Category theory has many definitions made including thin category, discrete category, functors, monads, comonads, initial/final object, etc. Also a category can add/multiply/exponent another category, and in this way the finite discrete categories are the natural numbers of these add/multiply/exponent. 08:27:30 zzo38: Is there category successor? 08:27:51 You could add one, I suppose 08:28:02 zzo38: NOT GOOD ENOUGH 08:28:13 zzo38: You must go peano on its ass or it isn't real arithmetic 08:28:14 xD 08:28:57 But you could add one to any category it does not have to be a discrete category. 08:29:32 (A discrete category is a category with no morphisms other than identity morphisms.) 08:30:28 (By "add one" I mean you add the discrete category with one object.) 08:31:18 zzo38: Ah 08:31:42 zzo38: Is there category predecessor though? 08:31:53 Predecessor is really what this's about 08:32:38 As far as I can tell, there cannot always be. 08:32:40 -!- adu has quit (Quit: adu). 08:32:43 (Use of the successor function was a bad choice for Peano, because successor is better for computing (you don't need to brute force it or use algebra)) 08:32:45 “(A discrete category is a category with no morphisms other than identity morphisms.)” => is that like a set? 08:32:48 zzo38: That's what I thought 08:33:22 -!- mtve- has changed nick to mtve. 08:33:30 b_jonas: I suppose it is like a set. 08:34:38 Just read about Ultrafinitism 08:34:42 Ew 08:35:42 Any category with more than one object has more monads than final objects. 08:36:15 -!- J_Arcane has quit (Ping timeout: 268 seconds). 08:39:42 Now I'm reminded to the infamous lambdacats. And the one that says “I FIXED UR TYPE ERROR / BUT NOW IT SAYS SUMTHING ABOUT / MONOMORPHISM RESTRIKSHUN” 08:40:01 C changes the way you think to. 08:40:29 It changes it to "this language shouldn't have been used as a first choice". 08:41:55 there are a lot of languages like that 08:42:03 php for example 08:42:57 myname: And brianfuck 08:43:30 I happen to think C is not so bad. PHP isn't very good though 08:43:36 nah, brainfuck is alright 08:43:55 also, c++ 08:44:04 that is one mess of a language 08:44:42 That is true, C++ is pretty messy 08:49:00 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 08:53:08 -!- tromp has quit (Remote host closed the connection). 08:53:28 it's interesting how "to find" is practically identical to "finden" in germany, including that weird "i find sth to be sth" 09:24:12 -!- impomatic has quit (Ping timeout: 260 seconds). 09:27:35 What's up with all these boot loaders that set up graphical mode on PC hardware with bios? Why don't they just use the default vga (or similar) text mode that the bios sets up for them? 09:45:10 because it looks fancier obviously. 09:53:41 -!- tromp has joined. 09:57:55 -!- tromp has quit (Ping timeout: 248 seconds). 10:21:56 -!- jaboja has joined. 10:40:35 -!- jaboja has quit (Ping timeout: 248 seconds). 11:01:02 -!- clog has quit (Ping timeout: 260 seconds). 11:17:59 https://imgur.com/gallery/kenWB i want hair like ariel 11:22:45 -!- Xe has quit (Ping timeout: 268 seconds). 11:33:48 -!- boily has joined. 11:41:52 -!- ayeelmao has quit (Quit: Leaving.). 11:51:43 -!- Xe has joined. 11:52:24 `relcome Xe 11:52:39 Xe: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 12:05:35 @ping 12:05:35 pong 12:07:25 ^ping 12:07:34 fizzie: FUNGOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOT! 12:09:44 -!- tjt263__ has joined. 12:11:11 `relcome tjt263__ 12:11:19 tjt263__: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 12:15:12 -!- jix has quit (Remote host closed the connection). 12:15:42 -!- jix has joined. 12:18:35 Ut-oh. 12:19:44 -!- fungot has joined. 12:20:00 There we fun-go-t. 12:21:55 -!- AnotherTest has quit (Ping timeout: 248 seconds). 12:22:38 fungot: o hai! 12:22:39