00:10:01 -!- FreeFull has quit.
00:44:23 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
00:44:59 -!- arseniiv_ has quit (Ping timeout: 276 seconds).
00:55:43 -!- Melvar has quit (Quit: WeeChat 2.4).
01:06:37 -!- sprocklem has quit (Ping timeout: 265 seconds).
01:10:17 -!- atslash has quit (Ping timeout: 240 seconds).
01:10:46 -!- atslash has joined.
01:16:20 -!- atslash has quit (Quit: This computer has gone to sleep).
01:42:26 -!- sprocklem has joined.
02:13:00 -!- oerjan has quit (Quit: Nite).
02:27:17 -!- xkapastel has quit (Quit: Connection closed for inactivity).
02:40:15 <shachaf> kmc: do you like pleurotus eryngii twh
03:00:48 -!- imode has joined.
03:05:08 -!- Phantom_Hoover has joined.
03:10:50 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
03:20:29 -!- Phantom_Hoover has joined.
03:25:36 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
03:33:52 <kmc> shachaf: yes
03:33:55 <kmc> good mushroom
03:34:00 <kmc> at least i think so
03:35:17 -!- imode has quit (Ping timeout: 276 seconds).
04:58:35 -!- imode has joined.
05:20:50 -!- imode has quit (Ping timeout: 240 seconds).
05:21:19 -!- imode has joined.
05:45:01 -!- imode has quit (Ping timeout: 265 seconds).
05:45:17 -!- tromp_ has quit (Ping timeout: 276 seconds).
06:02:41 -!- tromp has joined.
06:08:13 -!- kingoffrance has joined.
06:11:17 -!- tromp has quit (Ping timeout: 276 seconds).
06:50:40 -!- tromp has joined.
06:55:26 -!- b_jonas has quit (Remote host closed the connection).
07:07:37 -!- nfd9001 has quit (Quit: Leaving).
07:08:01 -!- nfd9001 has joined.
07:28:20 -!- Panini has joined.
08:04:30 -!- Panini has left ("Leaving").
08:25:05 -!- tromp has quit (Read error: Connection reset by peer).
08:25:14 -!- tromp has joined.
08:45:13 -!- xkapastel has joined.
08:55:53 -!- hppavilion[1] has joined.
08:58:59 -!- tromp has quit (Ping timeout: 276 seconds).
09:10:01 -!- tromp has joined.
09:17:37 -!- hppavilion[1] has quit (Quit: Leaving).
09:22:26 -!- sprocklem has quit (Ping timeout: 240 seconds).
09:45:01 -!- kritixilithos has joined.
09:47:06 -!- kspalaiologos has joined.
10:03:40 -!- sprocklem has joined.
10:03:43 -!- kspalaiologos has quit (Quit: Leaving).
10:04:08 -!- kspalaiologos has joined.
10:04:52 -!- kspalaiologos has quit (Client Quit).
10:05:08 -!- kspalaiologos has joined.
10:30:37 -!- sprocklem has quit (Ping timeout: 240 seconds).
10:31:54 -!- sprocklem has joined.
10:45:54 -!- b_jonas has joined.
10:50:39 -!- hppavilion[1] has joined.
11:17:31 -!- Melvar has joined.
12:29:26 -!- arseniiv_ has joined.
14:32:20 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
14:39:38 -!- Phantom_Hoover has joined.
14:44:02 -!- atslash has joined.
14:49:20 -!- imode has joined.
15:45:24 -!- kritixilithos has quit (Ping timeout: 260 seconds).
15:46:33 -!- kritixilithos has joined.
15:54:40 -!- imode has quit (Ping timeout: 252 seconds).
16:36:52 -!- arseniiv_ has changed nick to arseniiv.
16:55:14 -!- atslash has quit (Ping timeout: 240 seconds).
16:55:32 -!- atslash has joined.
17:07:00 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
17:40:12 -!- kritixilithos has quit (Ping timeout: 260 seconds).
17:41:11 -!- Frater_EST has joined.
17:44:43 -!- kritixilithos has joined.
17:50:59 -!- FreeFull has joined.
17:53:04 -!- Frater_EST has quit (Read error: Connection reset by peer).
17:54:53 -!- Frater_EST has joined.
18:10:13 -!- Frater_EST has quit (Read error: Connection reset by peer).
18:12:28 -!- Frater_EST has joined.
18:38:47 -!- Cale has quit (Ping timeout: 250 seconds).
18:46:25 <b_jonas> do you like your chocolate corn flakes with or without cinnamon, fungot?
18:46:25 <fungot> b_jonas: for that, my family would like my mode of transit returned, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not, lieutenant, do i not,
18:50:01 -!- kritixilithos has quit (Quit: :q).
18:52:03 -!- Cale has joined.
19:20:57 -!- Frater_EST has quit (Read error: Connection reset by peer).
19:40:05 <arseniiv> fungot: would you loop if I ask you something too, too?
19:40:06 <fungot> arseniiv: the " hd" stands for " 2 gp's", and it'll be there until your trial and then, gods willing, for that kind of stuff, i figured that one out on my own, but
19:40:37 <arseniiv> fungot: my what now? What did I do?
19:40:38 <fungot> arseniiv: i know that, i'm a whole skeleton again, and we all know nothing of your wicked?
19:41:17 <arseniiv> I hadn’t done anything wicked ever, fear fungot, why would you presume that?..
19:41:17 <fungot> arseniiv: great, now i'm cursed. mom was so mad, i was.
19:41:35 <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 ukparl youtube
19:41:40 <fizzie> fungot: Who cursed you?
19:41:40 <fungot> fizzie: i, uh, the king's room, and none and my need for the mission that was about, it wouldn't be really easy, and its taking forever, but
19:42:09 <arseniiv> remind me not to step in that room ever
19:42:17 <fizzie> FWIW, the smaller models are more loop-prone. Not as bad now as before the real loop bug got fixed.
19:43:27 <fizzie> https://github.com/fis/fungot/commit/1025e3b wasn't that such an obvious mistake?
19:43:28 <fungot> fizzie: master,, in enough detail as you. and i know that, i'm no better than my own, but one that requires that the subject. does he? didn't he?
19:43:41 <arseniiv> fungot: hopefully the curse would lift itself some day! Don’t feel bad, we all love you
19:43:41 <fungot> arseniiv: see, i need magic to find that i am, i am the leader and strategic plan in the morning" to you,. there are so many of the terrible tree invaders.
19:44:34 <arseniiv> fizzie: presuming it indeed was, it was
19:44:47 <arseniiv> sorry I’m reading a formal semantics article about NPIs
19:45:12 <arseniiv> it affects my pragmatic and syntactic choices
19:45:53 -!- kspalaiologos has quit (Quit: Leaving).
19:47:27 <arseniiv> oh! someone familiar with free logic variants and their problems? I chewed on that for a while, and now, that being half-forgotten, I think if type theories are an unquestionably better choice for what free logics were designed
19:50:28 <HackEso> 728) <fungot> itidus21: hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, h
19:50:39 <arseniiv> https://plato.stanford.edu/entries/logic-free is a pretty good summary, it cleared many things for me, though it confused my feelings about free logics in the first place. Before, I was hopeful, and now I’m anxious when I accidentally remember of the topic
19:51:05 <arseniiv> b_jonas: yeah, that one came to my mind too!
19:51:34 <arseniiv> was that in a loop bug times or after fixing it?
19:51:54 <b_jonas> fizzie: well OOTS has lots of new strips now, so you could retrain the model with them. then it would talk about dwarves and gods and honor and Tarquin and dinosaurs. it would be a win.
19:53:00 <fizzie> I'm guessing it was still bugtime. The sword alone definitely was.
19:53:20 <fizzie> The sword alone can't stop.
19:53:24 <fungot> Selected style: ct (Chrono Trigger game script)
19:53:30 <fizzie> fungot: So tell me about this sword.
19:53:30 <fungot> fizzie: the real queen's safe, right! right. wrong!
19:56:44 <fungot> arseniiv: is the gate key okay!! get' em! 200g per night. care, and stay...healthy! my husband...he's...he's...gone... but he left me precious gifts! the seeds...and our child, it's ancient history now...
19:58:35 <arseniiv> seem to remember something about ct having quite long unbroken passages, is it a couple of them?
19:59:07 -!- maitake has joined.
19:59:45 <fizzie> The loop's from when the Crono sticks the Masamune into the Mammon Machine, and Lavos wakes up.
20:00:12 <fizzie> Schala says "N, no stop! That sword alone can't stop it!"
20:01:50 <fizzie> So: http://esolangs.org/logs/2010-06-02.html#l0F
20:01:55 -!- maitake has quit (Remote host closed the connection).
20:04:01 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:07:12 <arseniiv> the pretty smiles of Darwin :)
21:12:26 -!- ornxka has quit (Ping timeout: 240 seconds).
21:15:55 <b_jonas> I know I asked this already, but I didn't get a satisfying answer. fungot, which love song is better, "I will love again" or "White flag"?
21:15:55 <fungot> b_jonas: but, we are far outnumbered! your friends, i presume? at this rate, leave to kino! ayla quit chief. kino now chief. bright place can get us down as long as you keep crono in your heart, the day of lavos"... go to " leene square" 1000 a.d.? yes, i'd have done something very brave! he's probably up north, to guardia!!! let's toast our land! now we'll have some peace! magus is a tad on the spooky side. our only hope.
21:21:35 <fizzie> A tad on the spooky side, but still our only hope.
21:22:26 -!- oerjan has joined.
21:25:39 <fizzie> Aw, a Chrome app using the TCP socket API can't set the MSS. :/
21:26:05 <b_jonas> fizzie: incidentally, I downloaded most of DMM's comics webpages recently, so if you want to retrain our hon. and learned friend on Irregular or perhaps on (Irregular annotations plus 100 Proofs), I can extract the right parts of the text and put it somehwere
21:26:52 <fizzie> I kind of want to, but at the same time it feels like a hassle.
21:27:00 <b_jonas> fizzie: that goes over TCP, so doesn't the operating system's TCP stack normally sets the MSS the right way by default?
21:28:05 <b_jonas> fizzie: use that new IOCCC winner that lets you train stochastic models using these new-fangled AI terminology that goes so well with marketing
21:29:21 <HackEso> /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: faq: not found
21:29:32 <b_jonas> we'll have to rely on lambdabot
21:31:17 <fizzie> b_jonas: Yes, there's a lot of context for the observation. The short version is, I've got a nftables setup that does SSH port knocking using knocks that have an odd MSS value set, because it's something you can easily detect with a firewall rule without running a server, yet also one of the few bits in the TCP header you can quite well control from the client side.
21:31:47 <fizzie> (I used to have a more conventional port knock thing where the knocks were "packets to port X, Y and Z", but that seemed too mainstream.)
21:32:51 <fizzie> Now I've picked up a Chrome OS device, which is a little awkward to run arbitrary code on without losing the "fully verified" status, so I was wondering if I could make Chrome do the knocking.
21:34:15 <b_jonas> fizzie: ok, I don't claim to understand that part
21:35:01 <b_jonas> the part I understand is just: let the OS do its thing by default, even though it has all sorts of setsockopt and sysctl knobs to do more magic
21:35:19 <fizzie> But that's fundamentally incompatible with this idea.
21:35:54 <fizzie> I'm using the MSS field as an arbitrary "key" in a connection that won't actually be used for any data, it's just a signal.
21:37:09 <fizzie> (To add a temporary exemption that allows the *actual* connection to the SSH port.)
21:41:45 <b_jonas> fizzie: but won't that confuse further connections to the same host?
21:41:55 <b_jonas> since the OS might try to use the same MSS value later
21:42:07 <b_jonas> why MSS in particular? aren't there other places where you can shove the data?
21:42:40 <fizzie> From what I recall, there wasn't really anything else easily/portably controllable (in a non-raw-sockets manner) in the IP or TCP headers.
21:42:57 <fizzie> And I don't think any TCP stack will pick up MSS values used by applications.
21:43:02 <fizzie> It's not like MTU discovery.
21:45:51 <fizzie> It's all quite pointless, I've just gotten used to having this thing.
22:06:55 -!- ornx has joined.
22:08:59 -!- ornx has changed nick to ornxka.
22:51:14 -!- arseniiv has quit (Ping timeout: 240 seconds).
23:09:02 -!- imode has joined.