00:01:29 <boily> quintopia: dun dun dun ♪
00:03:19 -!- oerjan has joined.
00:03:24 <enoua5> crap, realized i typo'd something
00:04:00 <oerjan> typpos are unaceptable hear
00:04:44 <HackEgo> [wiki] [[Baby Language]] M https://esolangs.org/w/index.php?diff=50109&oldid=50108 * Enoua5 * (+0)
00:04:46 <boily> as long as the typö is artistic enough, it's okay.
00:05:38 <boily> you violate pep8! that is unacceptable!
00:05:46 <enoua5> Yeah, I fixed it now. It broke a checker for seeing if recursion had gone too far.
00:10:13 <hppavilion[1]> enoua5: What happens when the checker recurses too far?
00:10:41 <hppavilion[1]> boily: I've added umlaut to my keyboard as alt+colon (alt+shift+semicolon). Victory is mine!
00:11:12 <hppavilion[1]> (I could instead put it in 'u' for 'umlaut', because that's currently bound to üÜ, which will become unnecessary...)
00:12:25 <oerjan> how do you write a normal u twh
00:13:34 -!- augur has quit (Remote host closed the connection).
00:14:12 <hppavilion[1]> 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 <FireFly> I just use dead ¨ followed by u
00:18:01 <hppavilion[1]> FireFly: So I put the combining diacritic in alt+u
00:19:11 <fizzie> 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 <fizzie> ¨ is probably the least useful as a non-dead key though.
00:19:35 <FireFly> Right, that's why I haven't changed that
00:19:52 <FireFly> I made ~ nondead and have nondead ^ as altgr+shift+¨
00:20:14 <fizzie> How do you type a ñ then?
00:20:30 <oerjan> hppavilion[1]: grave _has_ to be a dead key, obviously.
00:20:37 <fizzie> Hm, there seems to be a ˇ in my altgr-'.
00:20:44 <FireFly> I guess my solution is a bit adhoc based on which keys I actually use as nondead, and where I might place them
00:21:35 <FireFly> I think you might've missed oerjan's joke
00:22:56 <oerjan> FireFly: you should czech that out.
00:23:25 <FireFly> your pun game is on point tonight
00:23:32 * oerjan chases muphry around with the saucepan again ===\__/
00:23:47 <hppavilion[1]> Of course, I don't think I have enough places to put dead keys
00:24:27 <FireFly> 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 <FireFly> bit annoying to type though
00:25:05 * boily *THWACKS* oerjan. 0.50 FP.
00:25:30 -!- xkapastel has joined.
00:25:57 <hppavilion[1]> FireFly: Is it possible to use a key twice in a dead key?
00:26:37 <FireFly> that would be weird either way
00:26:40 <hppavilion[1]> FireFly: Wait, I could probably just bind `u to u umlaut
00:27:02 <FireFly> but what if you want to type ù
00:27:16 <FireFly> wouldn't it make more sense for `u to yield ù rather than ü
00:28:22 <hppavilion[1]> FireFly: I'm pretty sure I can have multiple keys in a combo, so ` will be the general-purpose diacritical key
00:28:53 <hppavilion[1]> So `<diacritic-code><letter> is the given letter with the given diacritic
00:29:35 <boily> FireFly: ù is AltCar-DeadCircumflex, then u.
00:32:34 <hppavilion[1]> I guess I can't require multiple characters in one deadkey combo
00:37:27 <boily> hppavilion[1]: you can do stuff like ế with multiple deadkeys and/or precomposed characters.
01:10:17 -!- augur has joined.
01:10:58 <boily> fizzie: fizziello. could you please refungot the chännel?
01:16:55 <quintopia> if you wanted to do any more gaming in future
01:18:28 <boily> of course, but December at the soonest...
01:21:09 <FireFly> out of curiosity, what kind of gaming?
01:36:18 -!- iconmaster has joined.
01:36:49 -!- iconmaster has quit (Client Quit).
01:44:28 <boily> games with bordering lands hth
01:50:36 -!- fungot has joined.
01:54:12 <fungot> 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 <fungot> boily: one for each byte does the same. a tag check involves one more indirection ( a bit more
01:54:40 <boily> fungot: one fnord for each byte, and in the markov chain bind them.
01:54:40 <fungot> boily: oh yeah finnish :)
01:55:09 <fungot> boily: well in that case, in general, changes to the system
01:55:24 <fizzie> The SOCK fingerprint *does* have a thing to set SO_KEEPALIVE.
01:55:51 <fizzie> 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 <fungot> fizzie: there is something about it today evening ( i must leave now, have we reached the " did too! did not!
01:56:07 <fizzie> ...except I don't have a facility to auto-join channels, or auto-identify to NickServ yet.
01:56:14 <boily> fungot: don't leave.
01:56:15 <fungot> 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 <boily> fungot: oh. if your ovaries ache, then rest!
01:56:33 <fungot> boily: condition-restarters, modify-condition-restarters, default-handle-condition... aren't the names a bit inconsistent? it is fnord something workable.
01:56:38 <boily> fizzie: fungot has ovaries?
01:56:38 <fungot> boily: ummmm....... huh....really? ummm......what were we talking about again? mmmm.....really? is that possible
01:56:48 <fizzie> boily: I don't know how it works.
02:00:11 -!- boily has quit (Quit: ANYTHING CHICKEN).
02:02:37 <fungot> 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 <fungot> Selected style: fisher (Fisher corpus of transcribed telephone conversations)
02:19:55 <fizzie> fungot: So what's new?
02:19:55 <fungot> fizzie: and um but the area we live in um new jersey and i'm going to
02:20:08 <fizzie> fungot: Going to what?
02:20:09 <fungot> fizzie: out oh yeah my son))
02:20:32 <fizzie> fungot: You're not my dad.
02:20:32 <fungot> fizzie: i dunno in countries like um they have um
02:21:23 <fizzie> I think this style has had some preprocessing issues, it seems prone to abrupt stops.
02:53:53 <HackEgo> A consistency that is weaker than all other consistencies. Taneb invented it
02:54:25 <oerjan> `slwd taneb consistency//s/./Taneb consistency is a/
02:54:30 <HackEgo> taneb consistency//Taneb consistency is a consistency that is weaker than all other consistencies. Taneb invented it
02:54:46 <oerjan> `slwd taneb consistency//s/$/./
02:54:50 <HackEgo> 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 <oerjan> <shachaf> I think "forgetful functor" means "functor". <-- i think it should be a right adjoint of something hth
03:26:08 <oerjan> there you go. no strange letters allowed.
03:28:11 <shachaf> oerjan: but cofree functors are right adjoint to forgetful functors hth
03:31:10 <FireFly> I suffer from the no-strange-letters each time I get flight tickets
03:31:18 <FireFly> though more due to surname than airport name
04:20:52 <HackEgo> Gerald R Ford Intl (GRR, KGRR)
04:21:06 <tswett> It's so international!
04:23:25 <tswett> I'm pretty sure that the letters "GRR" do not come from "Gerald R. Ford".
04:24:06 <Jafet> 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:42:45 -!- Sgeo_ has joined.
04:45:00 -!- Sgeo has quit (Ping timeout: 244 seconds).
05:04:25 <hppavilion[1]> OK, bound onto an alternate e is now a dead key for æ, Æ, œ, and Œ
05:05:52 <FireFly> I have æÆ under a and øØ under o
05:05:57 <shachaf> "co" does not mean "opposite"
05:08:57 <shachaf> i never said anyone said it does
05:09:11 <FireFly> hppavilion[1]: right, that's what I meant too
05:12:20 <hppavilion[1]> Øøk would be a good esonlamg... (not a tbs or bfd at all, preferably)
05:20:48 -!- augur has joined.
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 <izalove> 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 <myname> well, osmand works fine, too
08:29:22 <fizzie> Google Maps is enough for me.
08:32:18 <myname> google maps does not work without internet
08:32:53 <fizzie> Well, not entirely. But it lets you download rather large chunks of the world as offline areas.
08:33:31 <shachaf> fizzie has been assimilated and no longer understand the phrase "without internet" hth
08:34:17 <myname> it lets you download chunks... in a cache that is easily cleared
08:34:45 <fizzie> Offline areas aren't "easily cleared", IMO.
08:34:56 <fizzie> I don't mean you'd use the regular cache, I mean the explicit offline areas.
08:35:15 <fizzie> Which you get a list of, and which stay around for a month and auto-refresh themselves getting close to expiring.
08:35:33 <shachaf> what if you have no internet connection for a month
08:35:41 <fizzie> https://support.google.com/maps/answer/6291838?co=GENIE.Platform%3DAndroid&hl=en <- those things.
08:35:52 <fizzie> shachaf: Then you're out of luck hth
08:37:18 <shachaf> please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh
08:37:28 <fizzie> Anyway, I'm pretty happy that they made getting directions work offline as well.
08:37:44 <fizzie> (But now I need to gets to a doctor, so bye.)
08:38:14 <shachaf> is L1 cache faster because it uses the taxicab metric
08:44:05 -!- oerjan has quit (Quit: Nite).
08:53:43 <Jafet> shachaf: modern caches actually use the L∞ metric (they can go eight ways)
09:04:02 <b_jonas> `addquote <shachaf> please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh <Jafet> shachaf: modern caches actually use the L∞ metric (they can go eight ways)
09:04:07 <HackEgo> 1296) <shachaf> please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh <Jafet> shachaf: modern caches actually use the L∞ metric (they can go eight ways)
09:04:34 <b_jonas> um, what's the quote format for separating multiple messages in a quote?
09:05:08 <HackEgo> quoteformat is: <nick> 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:32 <shachaf> oerjan: nowadays we would space-separate a wisdom entry like that
09:06:07 <HackEgo> 9620:2016-11-04 <b_jonäs> addquote <shachaf> please make a connection between L1, L2, L3 norm and L1, L2, L3 cache twh <Jafet> shachaf: modern caches actually use the L\xe2\x88\x9e metric (they can go eight ways) \ 9442:2016-10-26 <oerjän> addquote <Taneb> I once forgot what bin men were called <Taneb> Doing roughly 50% of a computer science
09:07:10 <shachaf> I wonder how the frequency of quote modifications has waned.
09:07:18 <shachaf> fizzie is probably going to make a fancy graph or something.
09:12:34 <HackEgo> 172) <Sgeo> My quotes are boring
09:12:39 <HackEgo> 965) <zzo38> 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 <fizzie> shachaf: I've been spoiled by tools starting with D, and doing fancy graphs "by hand" feels so crude now.
10:14:27 <fizzie> I even set up a InfluxDB + Grafana thing at home to pretend.
10:15:02 <fizzie> Here, have a table instead: http://sprunge.us/OFjg
10:15:19 <fizzie> 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 <boily> 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 <HackEgo> [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 <HackEgo> [wiki] [[Baby Language]] https://esolangs.org/w/index.php?diff=50111&oldid=50109 * Enoua5 * (+2)
12:37:10 <HackEgo> [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 <izalove> on a scale from klingon to emoji, how readable is this way to represent a tree?
13:34:05 <izalove> /---------------E---------------\
13:34:07 <izalove> /-------C-------\ /-------D-------\
13:34:09 <izalove> /---y---\ /---z---\ /---A---\ /---B---\
13:34:11 <izalove> a b c d e f g h i j k l m n o p
13:34:37 <izalove> it was /-q-\ /-r-\ /-s-\ /-t-\ /-u-\ /-v-\ /-w-\ /-x-\
13:34:41 <xa0> never again.
13:35:07 <ybden> Hey, I thought that was pretty readable
13:36:06 <ybden> (note: I've never read klingon before)
13:36:09 <int-e> I think the scale would work better with \_q_/ instead of /-q-\.
13:36:39 <ybden> (note also: I strongly dislike emoji)
13:36:42 <int-e> (obligatory opportunistic pun)
13:37:31 <izalove> a b c d e f g h i j k l m n o p
13:37:33 <izalove> \_q_/ \_r_/ \_s_/ \_t_/ \_u_/ \_v_/ \_w_/ \_x_/
13:37:36 <izalove> \___y___/ \___z___/ \___A___/ \___B___/
13:37:40 <izalove> \_______C_______/ \_______D_______/
13:37:43 <izalove> \_______________E_______________/
13:39:32 <xa0> ah, i like that one
13:51:09 * FireFly hands izalove some ┌── ──┐
13:52:05 <izalove> i even use alias tree='tree --charset fail'
13:52:11 <FireFly> I think I would use .-- --. over /-- --\
13:52:32 <FireFly> Hm you really dislike Unicode eh
13:52:40 <FireFly> well, box-drawing chars at least
13:52:51 <xa0> why would anyone ever use anything that isn't utf8
13:53:05 <xa0> i can understand keeping to keyboard characters, but still encode it in utf8 you troglodyte
14:00:48 <b_jonas> xa0: wait, I can answer that one
14:03:57 <b_jonas> 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:31 <b_jonas> 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 <b_jonas> So since all the documents were in CWI, even when we did change the font, we just used CWI.
14:06:19 <xa0> hm, fair enough
14:06:51 <b_jonas> 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 <int-e> hmm there are no horizontal counterparts for ⎧⎨⎩
14:07:34 <b_jonas> 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 <b_jonas> 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 <b_jonas> 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 <b_jonas> 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 <b_jonas> 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 <b_jonas> 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:28 <int-e> I hated CP 850, I used CP 437.
14:11:03 <int-e> (But I forgot why... did some line drawing characters get reused for letters in CP850?)
14:11:15 <b_jonas> 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 <b_jonas> and the smart quotes and long dash and ellipsis disappeared.
14:11:50 <b_jonas> 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 <b_jonas> int-e: yes, that's what I said above
14:12:18 <FireFly> b_jonas: my favourite is ASCII symbols being designed for overstriking, like a` → à, c, → ç, a^ → â etc
14:12:30 <FireFly> especially the less intuitive ones, like comma as cedilla
14:12:35 <b_jonas> 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 <b_jonas> I did eventually adopt utf-8 for most of the stuff, but quite late.
14:13:24 <b_jonas> 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:49 <xa0> fair enough i guess.
14:15:02 <int-e> and inefficient for man CJK characters
14:16:34 <b_jonas> 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 <b_jonas> 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 <b_jonas> The ISO-646-HU doesn't replace #, it replaces @[\].
14:18:09 <b_jonas> 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 <FireFly> 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 <b_jonas> 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 <b_jonas> 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:35 <shachaf> fizzie: Though it doesn't show days with 0 edits, which would probably make recent quotes edits look even more sparse.
15:47:45 <shachaf> fizzie: most fancy tools that read from disk start with D hth
15:48:20 <shachaf> Oh, never mind, it's months.
15:48:44 <fizzie> I was thinking it'd be noisy if it were days.
15:50:28 <shachaf> You could use base 1 instead of base 10 for the numbers.
15:50:40 <fizzie> I'm not sure PostgreSQL has a function for that.
15:51:35 <fizzie> Oh, wasn't thinking -- of course there is, it's called lpad.
15:51:57 <shachaf> repeat(string text, number int)
15:52:10 <fizzie> Oh, that's even more obviouser.
15:54:08 <shachaf> One of the troubles with histograms is that you have to pick boundaries.
15:54:47 <fizzie> You can just use Gaussian mixture models instead.
15:54:53 <fizzie> Then you have to pick the number of components.
15:56:04 <shachaf> I saw a presentation about a continuous variant of histograms and various other visualization things once.
15:56:19 <shachaf> 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 <ais523> is there ever a legitimate reason to send an email with no To: address (not even "undisclosed-recipients")?
16:16:33 <ais523> 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:24 <\oren\> how do you een do that
16:27:08 -!- DHeadshot has joined.
16:28:30 <ais523> most email clients won't let you do it
16:28:35 <ais523> you can hand-deliver an email with no To: line
16:28:45 <ais523> actually an email doesn't actually need any headers at all
16:28:53 -!- MoALTz has quit (Ping timeout: 248 seconds).
16:29:07 <ais523> 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 <shachaf> fizzie: Rather than modifications it should count the number of quotes added, I guess.
16:40:50 <shachaf> Probably negative in some months.
16:41:38 <fizzie> Actually it counts just the number of `addquote commands, not really all modifications.
16:44:38 <int-e> 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 <ais523> int-e: do they mandate any headers?
16:45:56 <shachaf> Oh, you're using IRC logs.
16:46:27 <ais523> 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 <int-e> ais523: yes, that tracing information is mandated... that's the only thing I see
17:01:42 <b_jonas> 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 <ais523> b_jonas: is the file in the working directory? or is it deleted from both the working directory and index?
17:03:21 <int-e> b_jonas: I'd try git checkout HEAD file
17:04:58 <xa0> i think you'd need a hard reset for that
17:05:04 <int-e> but hmm, the reset... needs a --hard, perhaps?
17:05:15 <b_jonas> ais523: it's not in the working directory either. it's only in the HEAD.
17:05:32 -!- augur has joined.
17:05:33 <b_jonas> int-e: git reset --hard would be bad, since there are other modified files
17:05:41 <ais523> 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 <b_jonas> I want this selectively on just two files
17:06:19 <ais523> 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 <int-e> "After running git reset <paths> 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 <b_jonas> 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 <b_jonas> wait, let me try this locally to check if reset indeed works
17:06:49 <b_jonas> maybe the filename WAS wrong despite what my coworker said
17:07:02 <ais523> also make sure you're in the root of the repo
17:07:12 <b_jonas> I think a reset should put the file back to the index
17:07:12 <b_jonas> ais523: yes, I did make that sure
17:07:14 <ais523> 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 <int-e> 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 <b_jonas> I'll try a simple testcase in my local machine
17:07:39 <b_jonas> int-e: I know, I can git checkout after
17:07:45 <b_jonas> the problem was that the reset failed
17:08:55 <int-e> 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:34 <b_jonas> in that case my working hypothesis is that he just copied the filename wrong
17:10:47 <int-e> 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:48:46 -!- hppavilion[1] has joined.
18:52:21 <HackEgo> /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file
18:52:34 <HackEgo> /hackenv/bin/`: eval: line 4: syntax error near unexpected token `;' \ /hackenv/bin/`: eval: line 4: `:(){ :|:&; ps; };:'
18:55:04 <HackEgo> [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 <izalove> 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:40:53 <izalove> it was said by someon on a famous italian christian radio station
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:35:15 <hppavilion[1]> (Perhaps it should be assumed æ := a*e (e as in ln)?)
20:35:32 <hppavilion[1]> (Or maybe æ = e**a, as that's a far more common operation...)
20:35:55 <myname> 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 <FireFly> Why didn't anybody tell Iverson that
20:48:35 <hppavilion[1]> Ø (with some element ø) would be a good name for a nonempty set...
20:48:35 -!- ^v^v has joined.
20:48:35 <shachaf> BuyerFly and SellerFly / Agreed to have a battle; / For SellerFly said BuyerFly / Had spoiled his nice new rattle.
20:48:35 <FireFly> I guess the trees are leaving this time of the year
20:48:36 <shachaf> They're called leaves because they leave the trees in the fall. Which is why it's called fall.
20:48:36 <shachaf> 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 <HackEgo> [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 <ais523> neat, Baby Language got interpreted
21:42:12 <quintopia> you didnt really specify it enough to be interpretable
21:44:42 <PinealGlandOptic> 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 <PinealGlandOptic> Why would anyone divide each element of vector by vector size?
21:45:16 <xa0> "func(int a[6])"
21:45:16 <ais523> I don't think there's enough information to tell
21:45:24 <ais523> it may be a conincidence that the two 6s are the same
21:45:36 <ais523> xa0: that's valid syntax, the 6 is just a suggestion though
21:45:45 <ais523> it doesn't actually do anything, and you can pass an array of a different size
21:45:47 <xa0> interesting
21:46:07 <xa0> fair enough
21:46:10 <ais523> C99 introduced the syntax void func(int a[static 6])
21:46:22 <ais523> which asserts that the array is exactly six elements long (or possibly at least six elements long)
21:46:38 <ais523> and the compiler's allowed to miscompile the program if it's shorter
21:46:41 <xa0> that's ..bizarre, but kinda cool
21:46:52 <xa0> a form of dependent typing i guess
21:46:56 <ais523> 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 <fizzie> Yes. There's an example or two in the C99 rationale document.
22:02:28 <fizzie> It's somewhat similar to restrict.
22:03:52 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
22:03:55 <fizzie> 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 <ais523> fizzie: I can see why restrict would do that, but why is static needed?
22:06:18 <zzo38> 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 <fizzie> ais523: Oh, it's because of the part I omitted.
22:06:34 <fizzie> ais523: The actual function stops at the first nonnegative element.
22:09:40 -!- augur has quit (Ping timeout: 260 seconds).
22:35:08 <ais523> did you just ping yourself?
22:36:59 <xa0> ais523: can you ping me
22:37:29 <ais523> ask the bots if you need pings
22:37:53 <ais523> err, you're actually xa0
22:38:05 <ais523> you can ping yourself in a wide range of esolangs :-D
22:38:19 <xa0> that's extended brainfuck, right
22:38:53 <ais523> it's a brainfuck cat program
22:38:55 <ais523> then after the ! comes the input to it
22:39:16 <xa0> fair enough!
22:40:08 <ais523> `! bf_txtgen xa0: ping!
22:40:16 <HackEgo> 105 ++++++++++++[>++++++++++>++++++++>+++>++++<<<<-]>.>+.>>.++++++++++.<----.<<--------.>++++++++.<--.>--.>+. [192]
22:40:28 <ais523> ^bf ++++++++++++[>++++++++++>++++++++>+++>++++<<<<-]>.>+.>>.++++++++++.<----.<<--------.>++++++++.<--.>--.>+.
22:41:43 <xa0> `! bf_txtgen xa0:
22:41:49 <HackEgo> 72 ++++++++++++[>++++++++++>++++++++>++++>+++<<<<-]>.>+.>.++++++++++.>----. [577]
22:41:55 -!- wob_jonas has joined.
22:43:16 <xa0> ^bf ++++++++++++[>++++++++++>++++++++>++++>+++<<<<-]>.>+.>.++++++++++.>----.
22:45:02 -!- wob_jonas has quit (Client Quit).
22:47:04 <ais523> ooh, I like Memfractal
22:48:51 <fizzie> Maybe fungot should prefix the babble with the name it's answering to.
22:48:51 <fungot> fizzie: we've been married quite a few
22:49:03 <fizzie> See, you can get a ping without having to actually do anything.
22:50:34 <fizzie> Of course there's always Underload as well, if you want it simple.
22:51:30 -!- wanderman has joined.
22:54:48 <myname> "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 <zzo38> 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:23:09 -!- Notebook has quit (Client Quit).
23:33:21 <shachaf> fizzie: the joke was about software whose name starts with D and also ends with D
23:36:49 <fizzie> Yeah, that's not in particular something I feel I miss.
23:38:37 <zzo38> 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 <zzo38> 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 <zzo38> 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).