00:01:29 quintopia: dun dun dun ♪ 00:01:38 Any thoughts? 00:03:19 -!- oerjan has joined. 00:03:24 crap, realized i typo'd something 00:04:00 typpos are unaceptable hear 00:04:44 [wiki] [[Baby Language]] M https://esolangs.org/w/index.php?diff=50109&oldid=50108 * Enoua5 * (+0) 00:04:46 as long as the typö is artistic enough, it's okay. 00:05:38 you violate pep8! that is unacceptable! 00:05:46 Yeah, I fixed it now. It broke a checker for seeing if recursion had gone too far. 00:08:05 boily ready for vacation 00:10:13 enoua5: What happens when the checker recurses too far? 00:10:41 boily: I've added umlaut to my keyboard as alt+colon (alt+shift+semicolon). Victory is mine! 00:10:48 The program crashes 00:11:12 (I could instead put it in 'u' for 'umlaut', because that's currently bound to üÜ, which will become unnecessary...) 00:12:25 how do you write a normal u twh 00:13:34 -!- augur has quit (Remote host closed the connection). 00:14:12 oerjan: I don't change the default layout, the bindings are accessed via right alt (altgr) 00:14:26 -!- enoua5 has left. 00:17:37 I just use dead ¨ followed by u 00:17:37 Hm, I WONDER where I should put the grave? 00:17:52 FireFly: I don't have a dead key to put it in 00:18:01 FireFly: So I put the combining diacritic in alt+u 00:18:10 what OS do you use? 00:18:20 FireFly: Windows :/ 00:18:28 oh, never mind then 00:19:11 I've resurrected all of ¨ ^ ~ ´ ` that are normally dead on the Finnish layout, because if you happen to want to combine them, there's always the compose key. 00:19:26 ¨ is probably the least useful as a non-dead key though. 00:19:35 Right, that's why I haven't changed that 00:19:52 I made ~ nondead and have nondead ^ as altgr+shift+¨ 00:20:14 How do you type a ñ then? 00:20:14 and nondead ` as altgr+' 00:20:20 compose key for ñ 00:20:24 Right. 00:20:30 hppavilion[1]: grave _has_ to be a dead key, obviously. 00:20:37 Hm, there seems to be a ˇ in my altgr-'. 00:20:44 I guess my solution is a bit adhoc based on which keys I actually use as nondead, and where I might place them 00:20:54 oerjan: Why?? 00:21:23 Huh, actually, yeah, I can make a key dead 00:21:35 I think you might've missed oerjan's joke 00:22:56 FireFly: you should czech that out. 00:22:58 oops 00:23:03 *fizzie: 00:23:25 your pun game is on point tonight 00:23:32 * oerjan chases muphry around with the saucepan again ===\__/ 00:23:47 Of course, I don't think I have enough places to put dead keys 00:24:27 just put them under altgr+specials or altgr+shift+specials 00:24:32 * hppavilion[1] . o O ( Maybe I could lose my ` and ~ keys (kind of) in favor of having key combinations meaning various diacritics and letters ) 00:24:33 bit annoying to type though 00:25:05 * boily *THWACKS* oerjan. 0.50 FP. 00:25:30 -!- xkapastel has joined. 00:25:57 FireFly: Is it possible to use a key twice in a dead key? 00:26:04 *key combo 00:26:15 Hmm? 00:26:15 Like, could I have `uu be ü? 00:26:22 no 00:26:24 well 00:26:28 Damn, didn't think so 00:26:29 I dunno, I don't think so 00:26:37 that would be weird either way 00:26:40 FireFly: Wait, I could probably just bind `u to u umlaut 00:26:53 umm 00:27:02 but what if you want to type ù 00:27:16 wouldn't it make more sense for `u to yield ù rather than ü 00:28:22 FireFly: I'm pretty sure I can have multiple keys in a combo, so ` will be the general-purpose diacritical key 00:28:35 boily 00:28:53 So ` is the given letter with the given diacritic 00:28:55 quintopia: 00:29:35 FireFly: ù is AltCar-DeadCircumflex, then u. 00:30:37 Oh, damn 00:32:34 I guess I can't require multiple characters in one deadkey combo 00:34:31 :( 00:36:29 (God, I wish I could just chord it...) 00:36:46 quintopia: ? 00:37:27 hppavilion[1]: you can do stuff like ế with multiple deadkeys and/or precomposed characters. 00:37:41 boily: Yeah, I think so... 01:10:17 -!- augur has joined. 01:10:58 fizzie: fizziello. could you please refungot the chännel? 01:16:30 sorry 01:16:40 i was going to ask 01:16:55 if you wanted to do any more gaming in future 01:16:57 boily 01:18:28 of course, but December at the soonest... 01:21:09 out of curiosity, what kind of gaming? 01:36:18 -!- iconmaster has joined. 01:36:49 -!- iconmaster has quit (Client Quit). 01:44:28 games with bordering lands hth 01:50:36 -!- fungot has joined. 01:50:44 boily: It is done. 01:54:08 thizzie! 01:54:11 fungot: allô toi! 01:54:12 boily: you can simply read the file. after some fnord around with it... but it shouldn't be especially hard to do 01:54:21 * boily adds fnords around fungot 01:54:22 boily: one for each byte does the same. a tag check involves one more indirection ( a bit more 01:54:40 fungot: one fnord for each byte, and in the markov chain bind them. 01:54:40 boily: oh yeah finnish :) 01:55:08 Hey. 01:55:09 fungot: hyväskyn. 01:55:09 boily: well in that case, in general, changes to the system 01:55:24 The SOCK fingerprint *does* have a thing to set SO_KEEPALIVE. 01:55:51 I think if I set that on, it'll stop fungot from getting indefinitely stuck on the recv call if freenode dies, after which I could look into making it automatically restart. 01:55:51 fizzie: there is something about it today evening ( i must leave now, have we reached the " did too! did not! 01:56:07 ...except I don't have a facility to auto-join channels, or auto-identify to NickServ yet. 01:56:14 fungot: don't leave. 01:56:15 boily: either the way, uses fnord to display. bt connection to a machine that worked for six days. headache, stomach ache, ovary ache, muscle aches everywhere, awful nausea etc. sigh. 01:56:32 fungot: oh. if your ovaries ache, then rest! 01:56:33 boily: condition-restarters, modify-condition-restarters, default-handle-condition... aren't the names a bit inconsistent? it is fnord something workable. 01:56:38 fizzie: fungot has ovaries? 01:56:38 boily: ummmm....... huh....really? ummm......what were we talking about again? mmmm.....really? is that possible 01:56:48 boily: I don't know how it works. 02:00:11 -!- boily has quit (Quit: ANYTHING CHICKEN). 02:02:37 ^style 02:02:37 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 02:19:53 ^style fisher 02:19:53 Selected style: fisher (Fisher corpus of transcribed telephone conversations) 02:19:55 fungot: So what's new? 02:19:55 fizzie: and um but the area we live in um new jersey and i'm going to 02:20:08 fungot: Going to what? 02:20:09 fizzie: out oh yeah my son)) 02:20:32 fungot: You're not my dad. 02:20:32 fizzie: i dunno in countries like um they have um 02:21:23 I think this style has had some preprocessing issues, it seems prone to abrupt stops. 02:43:04 also prone to um 02:53:45 `? taneb consistency 02:53:53 A consistency that is weaker than all other consistencies. Taneb invented it 02:54:25 `slwd taneb consistency//s/./Taneb consistency is a/ 02:54:30 taneb consistency//Taneb consistency is a consistency that is weaker than all other consistencies. Taneb invented it 02:54:46 `slwd taneb consistency//s/$/./ 02:54:50 taneb consistency//Taneb consistency is a consistency that is weaker than all other consistencies. Taneb invented it. 03:02:05 -!- Phantom_Hoover has quit (Remote host closed the connection). 03:07:32 I think "forgetful functor" means "functor". <-- i think it should be a right adjoint of something hth 03:23:53 `airport teborg 03:23:58 No output. 03:24:40 `airport troms 03:24:43 No output. 03:25:12 `iata TOS 03:25:15 Langnes (TOS, ENTC) 03:25:34 oh hm 03:25:41 `airport trondheim 03:25:44 No output. 03:25:52 `icao ENVA 03:25:55 Vaernes (TRD, ENVA) 03:26:08 there you go. no strange letters allowed. 03:26:40 I guess it's Værnes? 03:28:04 yep 03:28:11 oerjan: but cofree functors are right adjoint to forgetful functors hth 03:28:41 OKAY 03:31:10 I suffer from the no-strange-letters each time I get flight tickets 03:31:18 though more due to surname than airport name 04:20:49 `iata GRR 04:20:52 Gerald R Ford Intl (GRR, KGRR) 04:21:06 It's so international! 04:23:25 I'm pretty sure that the letters "GRR" do not come from "Gerald R. Ford". 04:24:06 the Los Ángeles I11l Airport 04:28:05 -!- augur has quit (Remote host closed the connection). 04:30:50 -!- otherbot has quit (Remote host closed the connection). 04:33:39 shachaf: Is cofreedom what they have in China? 04:42:45 -!- Sgeo_ has joined. 04:45:00 -!- Sgeo has quit (Ping timeout: 244 seconds). 05:04:25 OK, bound onto an alternate e is now a dead key for æ, Æ, œ, and Œ 05:04:31 The lack of øe is unfortunate 05:05:52 I have æÆ under a and øØ under o 05:05:57 "co" does not mean "opposite" 05:08:40 shachaf: I didn't say it does 05:08:43 ol story bro 05:08:49 FireFly: I do too, with altgr 05:08:57 i never said anyone said it does 05:09:09 shachaf: ...dammit. You win. 05:09:11 hppavilion[1]: right, that's what I meant too 05:09:31 "I just type æs and øs for every a and o" 05:09:52 øüch 05:12:20 Øøk would be a good esonlamg... (not a tbs or bfd at all, preferably) 05:20:48 -!- augur has joined. 06:19:02 "Make peace with your 'got" 06:26:50 @metar KKKK 06:26:51 No result. 06:26:59 I assume nobody wanted that one :P 06:27:04 @metar FUCK 06:27:05 No result. 07:03:33 -!- espes has quit (Ping timeout: 258 seconds). 07:04:47 -!- espes has joined. 07:12:24 -!- augur has quit (Remote host closed the connection). 07:28:59 -!- godel has quit (Ping timeout: 252 seconds). 07:47:09 https://maps.me/ offline maps on your smartphone for all the people with a smartphone and no internet access 07:50:10 -!- espes has quit (Ping timeout: 268 seconds). 07:52:35 -!- izalove has changed nick to izalove2. 08:04:39 -!- izalove2 has changed nick to izalove. 08:13:08 -!- navet has joined. 08:13:43 -!- espes has joined. 08:24:22 -!- navet has quit (Ping timeout: 256 seconds). 08:26:36 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 08:28:25 well, osmand works fine, too 08:29:22 Google Maps is enough for me. 08:32:18 google maps does not work without internet 08:32:53 Well, not entirely. But it lets you download rather large chunks of the world as offline areas. 08:33:31 fizzie has been assimilated and no longer understand the phrase "without internet" hth 08:33:54 That as well. 08:34:17 it lets you download chunks... in a cache that is easily cleared 08:34:45 Offline areas aren't "easily cleared", IMO. 08:34:56 I don't mean you'd use the regular cache, I mean the explicit offline areas. 08:35:15 Which you get a list of, and which stay around for a month and auto-refresh themselves getting close to expiring. 08:35:33 what if you have no internet connection for a month 08:35:41 https://support.google.com/maps/answer/6291838?co=GENIE.Platform%3DAndroid&hl=en <- those things. 08:35:52 shachaf: Then you're out of luck hth 08:37:18 please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh 08:37:28 Anyway, I'm pretty happy that they made getting directions work offline as well. 08:37:44 (But now I need to gets to a doctor, so bye.) 08:38:14 is L1 cache faster because it uses the taxicab metric 08:44:05 -!- oerjan has quit (Quit: Nite). 08:53:43 shachaf: modern caches actually use the L∞ metric (they can go eight ways) 09:02:24 shachaf: hehe 09:02:38 that's a real funny one 09:02:55 I mean 09:03:00 Jafet: that's a funny one 09:03:05 I have to addquote that 09:04:02 `addquote please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh shachaf: modern caches actually use the L∞ metric (they can go eight ways) 09:04:07 1296) please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh shachaf: modern caches actually use the L∞ metric (they can go eight ways) 09:04:34 um, what's the quote format for separating multiple messages in a quote? 09:04:59 `? quotefmt 09:05:00 quotefmt? ¯\(°​_o)/¯ 09:05:06 `? quoteformat 09:05:08 quoteformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two. 09:05:15 great! I got it right 09:05:32 oerjan: nowadays we would space-separate a wisdom entry like that 09:05:48 the dark ages of wisdom 09:06:01 `doag quotes 09:06:07 9620:2016-11-04 addquote please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh shachaf: modern caches actually use the L\xe2\x88\x9e metric (they can go eight ways) \ 9442:2016-10-26 addquote I once forgot what bin men were called Doing roughly 50% of a computer science 09:07:10 I wonder how the frequency of quote modifications has waned. 09:07:18 fizzie is probably going to make a fancy graph or something. 09:12:32 `quote 09:12:34 172) My quotes are boring 09:12:38 `quote 09:12:39 965) If you cannot type, then you should learn to type if you want to operate your computer 09:29:32 -!- navet has joined. 10:14:23 shachaf: I've been spoiled by tools starting with D, and doing fancy graphs "by hand" feels so crude now. 10:14:27 I even set up a InfluxDB + Grafana thing at home to pretend. 10:15:02 Here, have a table instead: http://sprunge.us/OFjg 10:15:19 It's like a vertical bar chart in logscale, if you look at it the right way. 10:35:00 -!- boily has joined. 10:42:16 -!- navet has quit (Ping timeout: 260 seconds). 10:42:37 -!- ocharles_ has quit (Ping timeout: 260 seconds). 10:42:56 -!- boily has set topic: News: esolang contest at http://calesyta.xyz/en/ | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive pizza testing, use #esoteric-blah. 10:43:36 -!- Taneb has quit (Ping timeout: 260 seconds). 10:44:03 -!- Lymia has quit (Ping timeout: 260 seconds). 10:46:01 -!- ocharles_ has joined. 10:49:11 -!- Taneb has joined. 10:50:27 Tannelle. how's the exam season? 10:50:59 -!- Lymia has joined. 11:16:19 -!- navet has joined. 11:16:54 -!- Phantom_Hoover has joined. 11:23:48 -!- boily has quit (Quit: SULFURIC CHICKEN). 11:55:40 -!- AnotherTest has joined. 11:56:04 -!- benderB787 has joined. 11:58:36 -!- navet has quit (Quit: Leaving). 12:14:55 -!- nisstyre has quit (Read error: Connection reset by peer). 12:33:49 [wiki] [[User:Function call without parameters]] https://esolangs.org/w/index.php?diff=50110&oldid=50012 * Function call without parameters * (+312) update 12:36:11 [wiki] [[Baby Language]] https://esolangs.org/w/index.php?diff=50111&oldid=50109 * Enoua5 * (+2) 12:37:10 [wiki] [[Bug Computer]] M https://esolangs.org/w/index.php?diff=50112&oldid=49934 * Function call without parameters * (+14) minor corrections and clarification of the cat example 12:39:12 -!- godel has joined. 12:48:37 -!- godel has quit (Ping timeout: 260 seconds). 12:50:22 -!- super_bender has joined. 12:54:24 -!- benderB787 has quit (Ping timeout: 260 seconds). 13:34:02 on a scale from klingon to emoji, how readable is this way to represent a tree? 13:34:05 /---------------E---------------\ 13:34:07 /-------C-------\ /-------D-------\ 13:34:09 /---y---\ /---z---\ /---A---\ /---B---\ 13:34:11 a b c d e f g h i j k l m n o p 13:34:27 and i forgot a line 13:34:33 because it started with / 13:34:37 it was /-q-\ /-r-\ /-s-\ /-t-\ /-u-\ /-v-\ /-w-\ /-x-\ 13:34:38 nope. 13:34:41 never again. 13:34:58 :C 13:35:07 Hey, I thought that was pretty readable 13:35:26 plz use that scale 13:35:55 klingon 13:36:06 (note: I've never read klingon before) 13:36:09 I think the scale would work better with \_q_/ instead of /-q-\. 13:36:39 (note also: I strongly dislike emoji) 13:36:42 (obligatory opportunistic pun) 13:37:04 `? oop 13:37:13 oop? ¯\(°​_o)/¯ 13:37:31 a b c d e f g h i j k l m n o p 13:37:33 \_q_/ \_r_/ \_s_/ \_t_/ \_u_/ \_v_/ \_w_/ \_x_/ 13:37:36 \___y___/ \___z___/ \___A___/ \___B___/ 13:37:40 \_______C_______/ \_______D_______/ 13:37:43 \_______________E_______________/ 13:39:32 ah, i like that one 13:39:49 _..--==O==--.._ 13:39:49 . ^ . . ^ . 13:39:49 \__a__/ \__b__/ 13:39:56 haha 13:40:04 curves 13:40:12 scale. 13:51:09 * FireFly hands izalove some ┌── ──┐ 13:51:17 noo 13:51:26 get that utf8 off me 13:51:37 aww 13:52:05 i even use alias tree='tree --charset fail' 13:52:11 I think I would use .-- --. over /-- --\ 13:52:16 ok 13:52:32 Hm you really dislike Unicode eh 13:52:40 well, box-drawing chars at least 13:52:51 why would anyone ever use anything that isn't utf8 13:53:05 i can understand keeping to keyboard characters, but still encode it in utf8 you troglodyte 14:00:48 xa0: wait, I can answer that one 14:03:57 xa0: I'm young enough to not have had used all the strange iso-646-* and other mangled charsets that put accented letters to @[\]`{|}. Instead, when I started working with computers, accented letters were properly at high bytes. 14:05:13 lol 14:05:31 cp437 was universal, because for a while it was burnt into the video card rom of every PC, although at that time most PCs had a VGA card where you could change the font, we just stuck to the cp437 which didn't require changing fonts, and the CWI charset had an unambiguous encoding for all the letters, and was optimized to make it look as good as possible on cp437 if you don't change the font. 14:05:49 So since all the documents were in CWI, even when we did change the font, we just used CWI. 14:06:19 hm, fair enough 14:06:51 Then DOS 6.20 or 6.22 came along, and came with a built-in MODE command that loaded a font and changed what characters were allowed in filenames (seriously, if you didn't MODE to the right codepage, you couldn't even open the existing files that had accented letters in it). 14:07:32 hmm there are no horizontal counterparts for ⎧⎨⎩ 14:07:34 But that supported only the 852 (and 850 for western europe) charsets, which differed from CWI in the placement of some characters, 14:08:01 and was actually worse because some of the letters trampled on useful corner box drawing characters, so the boxes in Norton Commander looked ugly if you used it, 14:08:19 but still, it was what DOS supported, so it became the standard, and we wrote all the text in the 852 character set. 14:09:09 Then windows 3 came along, with its fancy windows bitmap fonts and true type fonts, and those fonts were encoded in the cp1250 charset (and cp1252 for western europe and cp1251 for cyrillic). 14:09:47 Obviously everyone wanted to see accented characters in texts in windows and winword and excel, so even when they wrote plain text, they wrote everything in cp1252. 14:10:10 You could no longer show cp1252 on text console, but still, everyone wanted to use windows and winword, so they just stuck to cp1252. 14:10:15 and cp1250 14:10:18 you know 14:10:28 I hated CP 850, I used CP 437. 14:11:03 (But I forgot why... did some line drawing characters get reused for letters in CP850?) 14:11:15 And then unix came along, and for some historical reasons, the unix people preferred iso-8859-2 over cp1250, and the two were sort of similar, but not quite the same. All the Hungarian letters were at the same place, but the Polish letters got moved, 14:11:26 and the smart quotes and long dash and ellipsis disappeared. 14:11:50 But still, the unix people liked it and unix machines came with fonts for it and stuff, so we used iso-8859-2. 14:11:55 int-e: yes, that's what I said above 14:12:18 b_jonas: my favourite is ASCII symbols being designed for overstriking, like a` → à, c, → ç, a^ → â etc 14:12:30 especially the less intuitive ones, like comma as cedilla 14:12:35 So anyway, after a while, utf-8 came along, and people said I should encode stuff in utf-8, but at that time I got tired of all the changes, so I just stuck to iso-8859-2 (including in terminals) for quite a while. 14:12:52 I did eventually adopt utf-8 for most of the stuff, but quite late. 14:13:24 xa0: so that's the long story of why everyone doesn't use utf-8, even though is obviously the best encoding and the only one you should use, just like all the previous ones were. 14:14:40 heh 14:14:49 fair enough i guess. 14:15:02 and inefficient for man CJK characters 14:15:18 *many 14:16:34 Once, I've even read a very old book that taught programming BASIC on some particular then popular pre-IBM-PC PC, the internationalized variant of it, which used some strange modified commodore-like charset, so in the book, instead of PRINT#, the command for printing to a file handle was shown as PRINTÉ. 14:17:15 That's not even the ISO-646-* encoding, mind you, that's not surprising in a commodore64-like machine where the default charset doesn't have lowercase characters. 14:17:32 The ISO-646-HU doesn't replace #, it replaces @[\]. 14:18:09 I haven't actually seen that particular PC in real life though; the Commodore 64 I used a bit (for games, not yet programming) wasn't a nationalized one. 14:18:27 int-e: true, and I suppose why SJIS is still popular 14:22:30 -!- moonheart08 has joined. 14:22:31 -!- moony has joined. 14:23:12 -!- moonheart08 has quit (Client Quit). 14:23:13 And I do still have non-utf8 files along. If you check my homepage, you'll find that in half the pages, the HTML is iso-8859-2 encoded, though of course the browser handles that transparently. 14:23:21 I just never changed them, because why bother? 14:34:51 -!- MoALTz has joined. 14:36:22 -!- DHeadshot has joined. 15:18:14 -!- LKoen has joined. 15:30:59 -!- computing has joined. 15:32:08 -!- moony has quit (Ping timeout: 260 seconds). 15:36:12 fizzie: tdh 15:36:35 fizzie: Though it doesn't show days with 0 edits, which would probably make recent quotes edits look even more sparse. 15:47:14 Months. 15:47:21 But yes. 15:47:45 fizzie: most fancy tools that read from disk start with D hth 15:48:20 Oh, never mind, it's months. 15:48:44 I was thinking it'd be noisy if it were days. 15:49:56 Yes. 15:50:28 You could use base 1 instead of base 10 for the numbers. 15:50:40 I'm not sure PostgreSQL has a function for that. 15:51:35 Oh, wasn't thinking -- of course there is, it's called lpad. 15:51:57 repeat(string text, number int) 15:52:10 Oh, that's even more obviouser. 15:54:08 One of the troubles with histograms is that you have to pick boundaries. 15:54:47 You can just use Gaussian mixture models instead. 15:54:53 Then you have to pick the number of components. 15:56:04 I saw a presentation about a continuous variant of histograms and various other visualization things once. 15:56:19 I think it was based on http://adereth.github.io/oneoff/Mode%20Trees.pdf 16:03:41 -!- MoALTz has quit (Quit: Leaving). 16:07:09 -!- DHeadshot has quit (Quit: Pull the pin and count to what?). 16:09:44 <\oren\> wow, the plQad is being proposed for unicode inclusion again 16:09:58 <\oren\> http://web.meson.org/downloads/pIqaDReturns.pdf 16:14:48 -!- MoALTz has joined. 16:15:52 -!- ais523 has joined. 16:16:18 is there ever a legitimate reason to send an email with no To: address (not even "undisclosed-recipients")? 16:16:33 because a decent proportion of the spam I get has no To: and I'm considering just blocking it 16:25:05 -!- LKoen has quit (Remote host closed the connection). 16:26:06 <\oren\> I don't even know HOW 16:26:24 <\oren\> how do you een do that 16:27:08 -!- DHeadshot has joined. 16:28:30 most email clients won't let you do it 16:28:35 you can hand-deliver an email with no To: line 16:28:45 actually an email doesn't actually need any headers at all 16:28:53 -!- MoALTz has quit (Ping timeout: 248 seconds). 16:29:07 although the chance of passing a spam check under those circumstances is low 16:29:46 -!- MoALTz has joined. 16:38:30 -!- Frooxius has quit (Quit: *bubbles away*). 16:39:33 -!- LKoen has joined. 16:40:44 fizzie: Rather than modifications it should count the number of quotes added, I guess. 16:40:50 Probably negative in some months. 16:41:38 Actually it counts just the number of `addquote commands, not really all modifications. 16:44:38 ais523: I may be missing something, but RFCs 5321 and 5322 do not seem to mandate a To: header in the message body... 16:45:40 int-e: do they mandate any headers? 16:45:56 Oh, you're using IRC logs. 16:46:27 arguably Received: is always going to be there but that one isn't added by the sender 16:55:41 -!- hppavilion[1] has joined. 16:56:18 -!- Frooxius has joined. 16:59:57 -!- Zarutian has joined. 17:00:40 -!- Zarutian has quit (Read error: Connection reset by peer). 17:01:34 ais523: yes, that tracing information is mandated... that's the only thing I see 17:01:42 HALP! in git, how do I reset a file delete that's already in the index? shouldn't git reset --filename work 17:01:43 -!- Zarutian has joined. 17:02:42 b_jonas: is the file in the working directory? or is it deleted from both the working directory and index? 17:03:21 b_jonas: I'd try git checkout HEAD file 17:04:58 i think you'd need a hard reset for that 17:05:04 but hmm, the reset... needs a --hard, perhaps? 17:05:11 see 17:05:15 ais523: it's not in the working directory either. it's only in the HEAD. 17:05:32 -!- augur has joined. 17:05:33 int-e: git reset --hard would be bad, since there are other modified files 17:05:41 b_jonas: you need to reset the file to get it back into the index, then checkout the file to get it into the working tree 17:05:41 I want this selectively on just two files 17:06:19 you can use git reset -p and git checkout -p to get a darcs-like interface, that's easier to use than git's 17:06:26 "After running git reset to update the index entry, you can use git-checkout(1) to check the contents out of the index to the working tree." 17:06:33 ais523: right, but why did reset fail? I tried to help my coworker with git, and he tried a git reset (and insists he copied the filename wrong), and reset says it doesn't know of that path 17:06:35 wait, let me try this locally to check if reset indeed works 17:06:49 maybe the filename WAS wrong despite what my coworker said 17:07:02 also make sure you're in the root of the repo 17:07:12 I think a reset should put the file back to the index 17:07:12 ais523: yes, I did make that sure 17:07:14 otherwise it can be a bit confusing as to whether the filename's relative to the repo route or the current directory 17:07:20 b_jonas: git reset doesn't touch the working directory. (but you're right, --hard doesn't seem to apply to the git reset -- paths variant) 17:07:39 I'll try a simple testcase in my local machine 17:07:39 int-e: I know, I can git checkout after 17:07:45 the problem was that the reset failed 17:08:55 anyway, http://stackoverflow.com/questions/2125710/how-to-revert-a-git-rm-r lists all the options discussed above :P and a few stupid ones. 17:09:05 -!- xkapastel has quit (Quit: Connection closed for inactivity). 17:09:23 git reset does work 17:09:34 in that case my working hypothesis is that he just copied the filename wrong 17:09:53 sorry then 17:10:47 http://www.f15ijp.com/2012/06/git-undo-git-rm-on-one-file/ suggests the git checkout HEAD ... variant. but maybe that's enough redundant googling for me. 17:16:08 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 17:28:55 -!- godel has joined. 17:30:08 -!- computing has quit (Ping timeout: 260 seconds). 17:30:12 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 17:30:50 -!- computing has joined. 18:00:55 -!- carado has joined. 18:05:57 -!- carado has quit (Remote host closed the connection). 18:06:58 -!- carado has joined. 18:15:55 -!- hppavilion[1] has joined. 18:28:36 -!- zemhill__ has quit (Write error: Broken pipe). 18:28:53 -!- zemhill__ has joined. 18:34:22 -!- zzo38 has joined. 18:34:51 -!- carado has quit (Remote host closed the connection). 18:35:30 -!- carado has joined. 18:38:20 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 18:40:49 :(){ :|:& };: 18:41:40 :(){ :|:|echo lol& };: 18:41:52 sup jeff 18:43:56 hi 18:48:46 -!- hppavilion[1] has joined. 18:52:20 `` :(){ :|:&ps };: 18:52:21 ​/hackenv/bin/`: eval: line 5: syntax error: unexpected end of file 18:52:33 `` :(){ :|:&; ps; };: 18:52:34 ​/hackenv/bin/`: eval: line 4: syntax error near unexpected token `;' \ /hackenv/bin/`: eval: line 4: `:(){ :|:&; ps; };:' 18:52:43 hmm 18:52:49 `` :(){ ps; :|:& };: 18:52:50 No output. 18:55:04 [wiki] [[Special:Log/newusers]] create * Narcissus * New user account 18:56:08 -!- carado has quit (Remote host closed the connection). 19:02:18 -!- DHeadshot has quit (Ping timeout: 250 seconds). 19:10:18 -!- sewilton has joined. 19:13:20 -!- computing has quit (Ping timeout: 260 seconds). 19:19:48 -!- moonheart08 has joined. 19:20:22 -!- DHeadshot has joined. 19:21:48 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 19:25:53 -!- jeffl35 has changed nick to iczero. 19:28:26 apparently the recent earthquakes in italy are god's punishment for civil unions 19:37:50 -!- DHeadshot has quit (Ping timeout: 250 seconds). 19:38:18 -!- DHeadshot has joined. 19:39:50 izalove, that makes no sense 19:40:53 it was said by someon on a famous italian christian radio station 19:41:16 atheist bias: dude that makes no sense 19:45:03 -!- Phantom_Hoover has joined. 20:08:32 -!- hppavilion[1] has joined. 20:15:58 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 20:25:54 -!- iczero has quit (Changing host). 20:25:54 -!- iczero has joined. 20:27:04 -!- DHeadshot has quit (Ping timeout: 260 seconds). 20:29:32 -!- hppavilion[1] has joined. 20:34:29 Is æ an evil name for a variable? 20:34:56 yes 20:35:15 (Perhaps it should be assumed æ := a*e (e as in ln)?) 20:35:32 (Or maybe æ = e**a, as that's a far more common operation...) 20:35:55 you just shouldn't use nonascii characters in variable names if you ever want other people to even read your code 20:42:19 -!- LKoen has quit (Read error: Connection reset by peer). 20:43:02 -!- shikhin has quit (Read error: Connection reset by peer). 20:43:28 -!- Lord_of_Life has quit (Remote host closed the connection). 20:44:08 -!- ^v has quit (Ping timeout: 250 seconds). 20:44:42 -!- Lord_of_Life has joined. 20:48:33 -!- LKoen_ has joined. 20:48:33 -!- shikhin_ has joined. 20:48:33 Why didn't anybody tell Iverson that 20:48:35 Ø (with some element ø) would be a good name for a nonempty set... 20:48:35 Bye FireFly 20:48:35 -!- ^v^v has joined. 20:48:35 BuyerFly 20:48:35 I'm leaving? :o 20:48:35 Hm 20:48:35 BuyerFly and SellerFly / Agreed to have a battle; / For SellerFly said BuyerFly / Had spoiled his nice new rattle. 20:48:35 I guess the trees are leaving this time of the year 20:48:36 They're called leaves because they leave the trees in the fall. Which is why it's called fall. 20:48:36 I see. 20:48:36 I like it 20:48:36 That's a quote from a book I haven't read. 20:48:39 -!- Lord_of_Life has quit (Changing host). 20:48:39 -!- Lord_of_Life has joined. 20:49:27 -!- shikhin_ has changed nick to shikhin. 20:50:06 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 20:59:01 -!- Phantom_Hoover has joined. 21:11:41 -!- super_bender has quit (Read error: Connection reset by peer). 21:12:10 -!- super_bender has joined. 21:12:14 [wiki] [[Baby Language]] M https://esolangs.org/w/index.php?diff=50113&oldid=50111 * Enoua5 * (+0) 21:12:44 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 21:15:32 -!- godel has quit (Ping timeout: 268 seconds). 21:16:11 -!- moony has joined. 21:16:46 -!- moonheart08 has quit (Ping timeout: 268 seconds). 21:19:16 -!- godel has joined. 21:33:52 -!- PinealGlandOptic has joined. 21:40:12 -!- Frooxius has quit (Ping timeout: 268 seconds). 21:40:45 neat, Baby Language got interpreted 21:40:45 :\ 21:40:56 oh yeah that guy 21:42:12 you didnt really specify it enough to be interpretable 21:42:19 but it is anyway 21:44:42 Hi everyone! I've got an unknown function, working like this (C/C++): void func(int a[6]) { for (int i=0; i<6; i++) a[i]=a[i]/6; }; what it is for, some kind of normalization, or?.. 21:44:46 Why would anyone divide each element of vector by vector size? 21:45:16 "func(int a[6])" 21:45:16 I don't think there's enough information to tell 21:45:24 it may be a conincidence that the two 6s are the same 21:45:34 unlikely... 21:45:36 xa0: that's valid syntax, the 6 is just a suggestion though 21:45:45 it doesn't actually do anything, and you can pass an array of a different size 21:45:47 interesting 21:45:59 xa0: yes, kind of self-documentation 21:46:07 fair enough 21:46:10 C99 introduced the syntax void func(int a[static 6]) 21:46:22 which asserts that the array is exactly six elements long (or possibly at least six elements long) 21:46:38 and the compiler's allowed to miscompile the program if it's shorter 21:46:41 that's ..bizarre, but kinda cool 21:46:52 a form of dependent typing i guess 21:46:56 I think that's to allow optimizations which wouldn't otherwise be possible, like reading ahead in the array 21:58:06 -!- hppavilion[1] has joined. 22:02:13 Yes. There's an example or two in the C99 rationale document. 22:02:28 It's somewhat similar to restrict. 22:03:52 -!- hppavilion[1] has quit (Ping timeout: 250 seconds). 22:03:55 In fact, the example is a void fadd(double a[static restrict 10], double b[static restrict 10]) { ... } where the compiler is allowed to freely reorder the loads and stores of the elements of a and b. 22:04:38 -!- augur has quit (Remote host closed the connection). 22:05:18 -!- augur has joined. 22:06:04 fizzie: I can see why restrict would do that, but why is static needed? 22:06:18 I found there is another special case I did not yet consider in my GURPS character point total calculation program, for Delusions, now I will add that one. 22:06:24 ais523: Oh, it's because of the part I omitted. 22:06:34 ais523: The actual function stops at the first nonnegative element. 22:09:40 -!- augur has quit (Ping timeout: 260 seconds). 22:34:47 xa0: 22:35:08 did you just ping yourself? 22:35:13 tried to 22:35:18 pls help 22:36:59 ais523: can you ping me 22:37:10 xa0: ping 22:37:17 darn 22:37:29 ask the bots if you need pings 22:37:38 ^bf ,[.,]!xao: ping! 22:37:38 xao: ping! 22:37:50 ah, cool! 22:37:53 err, you're actually xa0 22:37:53 but close enough 22:37:58 heh, yeah 22:38:05 you can ping yourself in a wide range of esolangs :-D 22:38:19 that's extended brainfuck, right 22:38:53 it's a brainfuck cat program 22:38:55 then after the ! comes the input to it 22:39:11 ahh 22:39:16 fair enough! 22:40:08 `! bf_txtgen xa0: ping! 22:40:16 105 ++++++++++++[>++++++++++>++++++++>+++>++++<<<<-]>.>+.>>.++++++++++.<----.<<--------.>++++++++.<--.>--.>+. [192] 22:40:28 ^bf ++++++++++++[>++++++++++>++++++++>+++>++++<<<<-]>.>+.>>.++++++++++.<----.<<--------.>++++++++.<--.>--.>+. 22:40:28 xa0: ping! 22:40:50 :P 22:41:43 `! bf_txtgen xa0: 22:41:49 72 ++++++++++++[>++++++++++>++++++++>++++>+++<<<<-]>.>+.>.++++++++++.>----. [577] 22:41:55 -!- wob_jonas has joined. 22:43:16 ^bf ++++++++++++[>++++++++++>++++++++>++++>+++<<<<-]>.>+.>.++++++++++.>----. 22:43:16 xa0: 22:45:02 -!- wob_jonas has quit (Client Quit). 22:47:04 ooh, I like Memfractal 22:47:14 and believe it's TC 22:48:51 Maybe fungot should prefix the babble with the name it's answering to. 22:48:51 fizzie: we've been married quite a few 22:48:55 Oh, it does. 22:49:03 See, you can get a ping without having to actually do anything. 22:50:34 Of course there's always Underload as well, if you want it simple. 22:51:30 -!- wanderman has joined. 22:54:48 "some recipes call for vegetable stock which i've never made since i've never been able to find vegetable bones" :D 22:56:17 -!- moonheart08 has joined. 22:57:17 -!- moony has quit (Ping timeout: 265 seconds). 22:57:39 The ! between the program and input is a common convention for brainfuck but I prefer the convention that ] is used instead; it has the advantage to be compatible with standard brainfuck. 23:06:25 -!- nisstyre has joined. 23:06:39 -!- nisstyre has quit (Changing host). 23:06:39 -!- nisstyre has joined. 23:10:44 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:14:58 -!- MoALTz has quit (Quit: Leaving). 23:17:24 -!- hppavilion[1] has joined. 23:20:33 -!- oerjan has joined. 23:20:38 -!- augur has joined. 23:22:45 -!- Notebook has joined. 23:22:54 Hi! 23:23:09 -!- Notebook has quit (Client Quit). 23:27:08 Bye. 23:33:21 fizzie: the joke was about software whose name starts with D and also ends with D 23:36:49 Yeah, that's not in particular something I feel I miss. 23:37:55 how about C, or B 23:37:57 i,i or A 23:38:37 I implemented program for doing GURPS dice by computer; you can do: Success, Damage, Quick Contest, Regular Contest. You can look at the codes to see its working, to learn a few things about it without having to buy the book (although you should look in book if you want more explanation of it) 23:42:07 -!- sewilton has quit (Quit: Connection closed for inactivity). 23:43:18 It doesn't say what happen if you hit by less than zero or miss by less than zero, so I assumed that if you hit or miss by less than zero then you hit or miss by zero instead (the only possibility to miss by zero is to roll a natural 17 or 18 on three dice, and such case is usually missing by more than zero anyways) 23:50:45 My domain name will not be fixed until later tonight 23:55:36 * hppavilion[1] . o O ( Rational-coefficient complexes (a+bi for b, i in \QQ) in bijective base 2... mmm...) 23:57:19 -!- wanderman has quit (Quit: Leaving).