00:01:17 <zzo38> I think that, instead of HPKP, can be TLS-PKP, which is not specific to HTTP(S) and can be used with any protocol. Additionally there is no sending reporting (although a program may display the report to the user if implemented, it doesn't automatically send it anywhere and the protocol has no specification as to where to send it anyways. There is also no mandatory backup pinning, and the user MUST have the ability to configure/disable/override TL
00:08:28 <esowiki> [[Functional()]] M https://esolangs.org/w/index.php?diff=57312&oldid=57264 * Hakerh400 * (+16) Added link to cat program
00:11:30 <zzo38> (Specifically, the "includeSubDomains" and "report-uri" fields in HPKP would not be available for TLS-PKP, although the key and duration are included, and that is all.)
00:12:43 -!- tromp has joined.
00:16:57 -!- tromp has quit (Ping timeout: 240 seconds).
00:27:58 <HackEso> twh would help, but is an hth derivative. hth. twh. hand.
00:31:13 -!- arseniiv has quit (Ping timeout: 260 seconds).
00:38:19 -!- oerjan has joined.
00:46:34 -!- boily has joined.
01:03:11 -!- kepler_mach12 has joined.
01:08:05 -!- kepler_mach12 has quit (Ping timeout: 240 seconds).
01:13:21 <shachaf> Did I mention that I figured out what "break" and "continue" really are?
01:13:39 <shachaf> outer: { while(p) { inner: { ... } } }
01:13:48 <shachaf> "break" means "break outer", and "continue" means "break inner"
01:19:48 <fizzie> shachaf: You might have +R on? I think Freenode auto-set that to everyone because of the spam.
01:20:01 <fizzie> I haven't had the chance to make HackEso register itself to services.
01:20:13 <fizzie> Maybe when I get back from here.
01:20:58 <shachaf> That explains why I haven't been getting /msg spam anymore.
01:21:14 <fizzie> I un-R'd myself, and there's been spam every now and then.
01:21:21 <fizzie> Though for the last few hours it's been quiet.
01:22:39 <oerjan> whoops, i missed a wikipedia day
01:22:53 <oerjan> i thought i'd opened the tab before going to bed.
01:24:30 <fizzie> There was someone biking a gBike through downtown Mountain View in broad daylight. :/
01:25:18 <boily> bonsϿirjan, helloochaf, fiziello.
01:26:36 <fizzie> boily: A usermode you can set to not receive private messages from unregistered users.
01:30:18 <shachaf> are you wishing boily a bad day tdnh
01:30:37 <shachaf> What do you think "the full set" means?
01:30:48 <shachaf> John Baez thinks its the one-element set but that seems fishy to me.
01:31:01 <shachaf> It seems more likely to be the universe.
01:33:22 <fizzie> The half-empty set may actually be the half-full set if you're an optimist.
01:55:05 -!- aloril has quit (Ping timeout: 240 seconds).
02:00:50 -!- tromp has joined.
02:02:28 -!- aloril has joined.
02:05:54 -!- tromp has quit (Ping timeout: 272 seconds).
02:13:48 -!- RumpledElf18 has joined.
02:14:50 -!- RumpledElf18 has quit (Remote host closed the connection).
02:19:08 -!- boily has quit (Quit: CURVY CHICKEN).
02:20:34 -!- pierte has joined.
02:21:31 -!- pierte has quit (Remote host closed the connection).
02:41:36 -!- sophiya has joined.
02:42:36 -!- sophiya has quit (Remote host closed the connection).
02:51:33 -!- Chew18 has joined.
02:52:35 -!- imode has quit (Ping timeout: 240 seconds).
02:57:50 -!- Chew18 has quit (Ping timeout: 256 seconds).
03:06:22 -!- imode has joined.
03:29:29 -!- nedbat5 has joined.
03:31:14 -!- nedbat5 has quit (Remote host closed the connection).
03:48:29 -!- tromp has joined.
03:53:38 -!- tromp has quit (Ping timeout: 260 seconds).
04:13:32 -!- Gregor has quit (Quit: Coyote finally caught me).
04:33:43 <shachaf> http://www.supermegacomics.com/index.php?i=80
04:33:48 <shachaf> so many good super megas i forgot about
04:37:21 -!- u0_a101 has quit (Ping timeout: 244 seconds).
04:44:34 -!- Gregor has joined.
04:54:27 -!- aloril has quit (Ping timeout: 240 seconds).
04:55:13 <zzo38> How can you get a hair cut if you do not have any hair (whether due to your species or due to your baldness)? That is what happened in a GURPS game I played.
04:55:27 <shachaf> you can get someone else's hair cut
04:58:25 -!- aloril has joined.
05:12:04 -!- u0_a101 has joined.
05:22:33 -!- j-bot has quit (Remote host closed the connection).
05:22:33 -!- FireFly has quit (Quit: Goodbye).
05:26:23 -!- FireFly has joined.
05:34:11 -!- u0_a101 has quit (Ping timeout: 244 seconds).
05:36:21 -!- tromp has joined.
05:41:05 -!- tromp has quit (Ping timeout: 240 seconds).
05:51:27 -!- u0_a101 has joined.
06:03:02 -!- xkapastel has quit (Quit: Connection closed for inactivity).
06:38:55 -!- tromp has joined.
06:38:59 -!- tromp has quit (Remote host closed the connection).
06:39:14 -!- tromp has joined.
07:11:17 -!- ais523 has quit (Quit: quit).
07:27:01 -!- danil has joined.
07:30:49 -!- bray90820_ has joined.
07:30:54 -!- bray90820_ has quit (Remote host closed the connection).
07:32:11 -!- AnotherTest has joined.
08:02:11 -!- danil has quit (Quit: danil).
08:03:06 -!- j-bot has joined.
08:03:23 -!- danil has joined.
08:06:27 -!- grumble has quit (Read error: Connection reset by peer).
08:07:23 -!- grumble has joined.
08:12:30 -!- pk1213 has joined.
08:12:41 -!- pk1213 has quit (Remote host closed the connection).
08:15:03 -!- danil has quit (Quit: danil).
08:18:27 -!- danil has joined.
08:19:25 -!- danil has quit (Client Quit).
08:19:37 -!- danil has joined.
08:21:57 -!- danil has quit (Client Quit).
08:26:27 -!- danil has joined.
08:28:09 <esowiki> [[Reversible Brainfuck]] https://esolangs.org/w/index.php?diff=57313&oldid=45694 * Oerjan * (+3778) Algorithms for building up to a stack with unbounded cells
08:28:38 <oerjan> now time to either eat or shave
08:29:38 -!- danil has quit (Remote host closed the connection).
08:29:47 -!- danil has joined.
08:29:55 -!- danil has quit (Client Quit).
08:30:30 -!- danil has joined.
08:32:49 * oerjan should probably get that code tested at some point.
08:52:40 -!- atslash has joined.
09:18:56 -!- imode has quit (Ping timeout: 244 seconds).
09:20:40 -!- SopaXorzTaker has joined.
09:35:39 -!- oerjan has quit (Quit: Later).
09:53:49 -!- danil has quit (Quit: danil).
10:03:25 <APic> Celebrate Zaraday
10:09:17 -!- erkin has joined.
10:22:31 -!- salamanderrake has joined.
10:22:46 -!- salamanderrake has quit (Remote host closed the connection).
10:31:58 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
10:37:50 -!- infernix24 has joined.
10:38:25 -!- infernix24 has quit (Remote host closed the connection).
11:32:57 -!- S_Gautam has joined.
12:00:13 -!- zseri has joined.
12:12:47 -!- Dominian23 has joined.
12:13:27 -!- Dominian23 has quit (Remote host closed the connection).
12:16:05 -!- Evidlo10 has joined.
12:22:08 -!- Evidlo10 has quit (Ping timeout: 272 seconds).
12:38:35 -!- arseniiv has joined.
12:42:16 -!- zseri has quit (Quit: Leaving).
12:47:58 <arseniiv> hello; does somebody know a study on defining a space of possible human voice timbres (with any assumptions and restrictions)? Particularly some analysis of formant values that make a timbre human-ish, or some measure of “humanness” of an arbitrary timbre
12:48:00 -!- xkapastel has joined.
12:49:10 <arseniiv> I know acoustic part of phonetics relies on formant values so the question shouldn’t be at all unresearched
12:53:56 -!- TingPing5 has joined.
12:54:29 -!- TingPing5 has quit (Killed (Unit193 (Spam is not permitted on freenode.))).
13:17:46 -!- ascheel0 has joined.
13:18:13 -!- ascheel0 has quit (Remote host closed the connection).
13:26:31 -!- SopaXorzTaker has quit (Remote host closed the connection).
13:38:05 -!- j-bot has quit (Ping timeout: 268 seconds).
13:40:21 -!- Gregor has quit (Ping timeout: 240 seconds).
13:41:55 -!- Gregor has joined.
13:42:01 -!- j-bot has joined.
13:58:07 -!- tromp has quit (Remote host closed the connection).
14:04:47 -!- bigpresh7 has joined.
14:09:46 -!- bigpresh7 has quit (Ping timeout: 256 seconds).
14:27:14 -!- tromp has joined.
14:31:31 -!- tromp has quit (Ping timeout: 244 seconds).
14:55:29 -!- MeiR has joined.
14:55:34 -!- MeiR has quit (Remote host closed the connection).
15:07:18 -!- tromp has joined.
15:11:21 -!- tromp has quit (Ping timeout: 240 seconds).
15:18:40 -!- SopaXorzTaker has joined.
15:23:49 -!- musician_pro has joined.
15:25:34 -!- musician_pro has quit (Remote host closed the connection).
16:03:05 -!- Fogity has quit (Ping timeout: 240 seconds).
16:04:30 -!- Fogity has joined.
16:17:07 -!- Shibe8 has joined.
16:18:34 -!- Shibe8 has quit (Remote host closed the connection).
16:23:57 -!- Fogity has quit (Ping timeout: 240 seconds).
16:24:26 -!- Fogity has joined.
16:38:42 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:54:45 -!- tromp has joined.
17:03:35 -!- tromp has quit (Ping timeout: 240 seconds).
17:10:36 -!- atslash has quit (Quit: This computer has gone to sleep).
17:21:18 -!- tromp has joined.
17:26:19 -!- TellsTogo has joined.
17:31:21 -!- j-bot has quit (Ping timeout: 240 seconds).
17:32:51 -!- Gregor has quit (Ping timeout: 240 seconds).
17:34:13 -!- Gregor has joined.
17:43:12 -!- j-bot has joined.
17:47:35 -!- benoliver9992 has joined.
17:47:56 -!- j-bot has quit (Ping timeout: 256 seconds).
17:48:51 -!- Gregor has quit (Ping timeout: 240 seconds).
17:49:17 -!- benoliver9992 has quit (Remote host closed the connection).
17:50:46 -!- TellsTogo has quit (Quit: Page closed).
17:50:47 -!- Gregor has joined.
17:56:37 -!- SopaXorzTaker has joined.
18:05:20 -!- imode has joined.
18:10:28 -!- imode has quit (Ping timeout: 272 seconds).
18:13:41 <int-e> still got it: http://int-e.eu/~bf3/tmp/4096.png
18:35:01 -!- tromp has quit (Remote host closed the connection).
18:59:39 -!- tromp has joined.
19:33:20 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:42:31 -!- S_Gautam has quit (Quit: Connection closed for inactivity).
20:34:49 -!- mundus2018 has joined.
20:34:59 -!- mundus2018 has quit (Remote host closed the connection).
20:36:31 -!- j-bot has joined.
21:14:23 -!- steveeJ19 has joined.
21:16:03 -!- steveeJ19 has quit (Remote host closed the connection).
21:33:05 -!- erkin has quit (Read error: Connection reset by peer).
21:35:29 -!- enyc9 has joined.
21:35:45 -!- enyc9 has quit (Remote host closed the connection).
21:43:04 -!- eldritch26 has joined.
21:44:32 -!- eldritch26 has quit (Remote host closed the connection).
22:02:05 -!- wob_jonas has joined.
22:03:38 <xkapastel> does anyone have any tricks on creating a binary encoding for an AST where every bitstring is valid?
22:03:47 -!- gurmble has joined.
22:03:48 <wob_jonas> arseniiv: sorry, I'm rather busy with new stuff that came up just this weekend, as well as the usual old stuff, but I will at some point watch the whole video (russian cursive), even the parts where you start writing more impatiently.
22:04:11 -!- grumble has quit (Killed (rajaniemi.freenode.net (Nickname regained by services))).
22:04:11 -!- gurmble has changed nick to grumble.
22:04:21 <wob_jonas> arseniiv: it doesn't bother me too much that the writing is getting ugly. my writing is ugly as hell anyway. as long as it doesn't get as bad as a doctor's, it's fine.
22:05:21 <wob_jonas> I probably won't learn to write exactly that sort of cursive, but at least will figure out some variant I can write for myself that I can read, probably with the letters often disjoint (which is how I write Hungarian too if I want to make it readable for people other than me, and even then it's not very readable, but native speakers can divine a lo
22:05:50 <wob_jonas> I'm still glad that your video seems to make the underlying logic clear, and how it works totally backwards from the hungarian cursive
22:06:42 <zzo38> xkapastel: I have thought of thing like that before, but do not remember.
22:10:09 <wob_jonas> shachaf:`outer: { while(p) { inner: { ... } } } / "break" means "break outer", and "continue" means "break inner"` => it is something like that, but your labels are in the wrong place
22:11:43 <wob_jonas> "How can you get a hair cut if you do not have any hair (whether due to your species or due to your baldness)?" => some video games have haircut salons that change your hair graphics to your choice among the available styles. it can grow your hair.
22:12:06 <wob_jonas> it's an acceptible break from realism since due to limitations of the game, your hair won't just naturally grow. the hairstyles are fixed and small in number.
22:12:26 <wob_jonas> And yes, people often have their kid's hair cut.
22:12:33 <zzo38> OK, although this is not a computer game
22:13:47 <zzo38> Yes, it is, although it may not be applicable here.
22:17:18 <shachaf> wob_jonas: C doesn't have labeled break, so there's no canonical place for the label to go in this syntax
22:17:26 <arseniiv> xkapastel: oh god nice problem. I see only a boring ineffective solution (order bitstrings in some way and the same for trees, and map corresponding ones)
22:17:40 <wob_jonas> shachaf: yes, but where you put it is definitely wrong
22:17:53 <xkapastel> arseniiv: bonus if every bitstring is a unique AST
22:18:02 <shachaf> In my syntax I'd put it in a different place
22:18:10 <xkapastel> i think this is the setup i want for program synthesis
22:18:14 <shachaf> But where would you put it?
22:18:16 <arseniiv> wob_jonas: okay. I can assure it won’t devolve to doctor’s :D
22:18:22 <wob_jonas> shachaf: oh wait, you say "break outer" and "break inner", not "goto outer" and "goto inner"
22:18:49 <shachaf> Yes, those are meant to be labeling the blocks
22:19:50 <wob_jonas> I'd explain it the way it's defined, like while(p) { loop body; inner: } outer:; and then "break;" means "goto outer;" and "continue;" means "goto inner;" but of course it can bind to other control structures than while
22:20:22 <wob_jonas> I guess the way you told it works too
22:20:32 <wob_jonas> I'm just tired and didn't notice that you translated them to labeled break
22:20:37 <shachaf> Well, C doesn't even support break from arbitrary blocks
22:20:47 <wob_jonas> goto are the natural control structures in my mind, not break
22:21:13 -!- tromp has quit (Remote host closed the connection).
22:21:15 <zzo38> I agree, goto are the natural control structures rather than break
22:21:32 <wob_jonas> shachaf: perl sort of does, and now rust does too, at least arbitrary labeled blocks, at least if it goes outwards, and doesn't go through the boundary of a function body or lambda body
22:21:53 <shachaf> Rust has it for arbitrary blocks?
22:21:59 <wob_jonas> but break are nice control structures too in practice, and rust now encourages them
22:22:05 <wob_jonas> shachaf: or will have it soon, I'm not sure
22:22:12 <arseniiv> xkapastel: yeah, my dull solution gives that (if one understands “order” as I did here—mathematically, so in increasing sequence any element would be met once at max)
22:22:12 <wob_jonas> it might not be implemented yet, but I think it's accepted
22:22:25 <wob_jonas> shachaf: I'm a bit tired and unsure, ask on mozilla #rust if you want to know
22:23:19 <wob_jonas> in any case you could have already used a `'label loop{body; break returnvalue}` instead of a bare block
22:23:38 <wob_jonas> which is why the rust guys could determine that breaks on bare loops aren't too dangerous
22:23:50 <arseniiv> there could be even useful optimizations (order strings lexicographically, it’s quite computable in both directions; order trees in some way lexicographically too, and inverting *this* is then a challenge, but in some cases it could be easy)
22:24:22 <wob_jonas> they still had to make sure not to change the behavior of existing unlabeled break, so you can only use a _labeled_ break for a bare block
22:25:41 <wob_jonas> and it's of course possible that they'll only implement this for the rewritten liveness checker (whatever that thing is called) in rustc, so you might have to wait a tad bit more, I dunno
22:26:27 <arseniiv> (any datatypes occuring in nodes should be, of course, also ordered for the latter to work, and a lexicographic order, recursively, is a natural choice then)
22:27:25 <wob_jonas> so I don't know about the status, but the rust guys figured that allowing labeled break from bare blocks is the Right Thing To Do, and will do so eventually if they haven't done it yet
22:28:37 -!- Phantom_Hoover has joined.
22:28:37 -!- Phantom_Hoover has quit (Changing host).
22:28:37 -!- Phantom_Hoover has joined.
22:31:38 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
22:33:06 -!- AnotherTest has quit (Ping timeout: 256 seconds).
22:38:21 -!- imode has joined.
22:49:40 -!- imode has quit (Quit: WeeChat 2.2).
22:51:11 <zzo38> In this GURPS game someone said the king insisted we all get our hair cut at a specific barber, even though two of us have no hair.
22:52:04 -!- Ceber has joined.
22:53:55 -!- Ceber has quit (Remote host closed the connection).
23:00:03 -!- danieljabailey has quit (Quit: ZNC 1.6.5+deb2build2 - http://znc.in).
23:00:21 -!- danieljabailey has joined.
23:26:05 -!- Melvar has quit (Ping timeout: 240 seconds).
23:27:59 <Phantom_Hoover> cool, someone implemented brainfuck as a cellular automaton: http://www.conwaylife.com/forums/viewtopic.php?f=11&t=3277
23:28:57 -!- arseniiv has quit (Ping timeout: 240 seconds).
23:29:57 -!- eth212 has joined.
23:30:06 -!- eth212 has quit (Remote host closed the connection).
23:33:33 -!- imode has joined.
23:39:20 -!- Melvar has joined.
23:51:28 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:57:03 -!- MDude has quit (Ping timeout: 260 seconds).
23:57:33 -!- MDude has joined.
23:58:11 -!- wob_jonas has joined.
23:59:39 <wob_jonas> zzo38: well, sometimes kings can afford to give you orders that might waste some of your time. at least it doesn't sound too dangerous to go to the barber and tell him to get the haircut on the king's order, or at least not more dangerous because you don't have any hair.