←2018-06-17 2018-06-18 2018-06-19→ ↑2018 ↑all
00:09:43 <boily> bonsϿϿirjan!
00:09:57 <boily> @metar CYUL
00:09:58 <lambdabot> CYUL 180000Z 22007KT 30SM FEW200 BKN270 27/16 A2991 RMK CC1CI6 SLP131 DENSITY ALT 1600FT
00:10:00 <boily> @metar ENVA
00:10:00 <lambdabot> ENVA 172350Z VRB01KT 9999 SCT040 BKN100 12/09 Q1006 RMK WIND 670FT 30005KT
00:10:39 <shachaf> @mtear KOAK
00:10:40 <lambdabot> KOAK 172353Z 31010KT 10SM FEW023 21/12 A2993 RMK AO2 SLP134 T02060117 10211 20172 50001
00:11:10 <shachaf> @mtera hth
00:11:11 <lambdabot> *** "hth" vera "V.E.R.A. -- Virtual Entity of Relevant Acronyms (September 2014)"
00:11:11 <lambdabot> HTH
00:11:11 <lambdabot> Hope This Helps (slang)
00:11:12 <lambdabot>
00:15:20 <boily> helloochaf. mtera???
00:15:54 <ais523> @vera tanstaafl
00:15:56 <lambdabot> *** "tanstaafl" vera "V.E.R.A. -- Virtual Entity of Relevant Acronyms (September 2014)"
00:15:56 <lambdabot> TANSTAAFL
00:15:56 <lambdabot> There Ain't No Such Thing As A Free Lunch (slang, Usenet)
00:15:56 <lambdabot>
00:17:09 <ais523> that blank line at the end of the response is bothering me
00:17:27 <ais523> and I'm not even sure how to send one, I get a 412 when I try
00:17:36 <ais523> there must be an invisible character (other than regular space) somewhere
00:17:45 <ais523>
00:19:02 <boily> split on newlines, drop the last one and print the rest?
00:22:14 <zzo38> Do you like Unuseuset?
00:22:49 <oerjan> . o O ( sounds unuseable )
00:23:04 <boily> hezzo38.
00:23:37 <oerjan> `icode
00:23:37 <HackEso> ​[U+0020 SPACE]
00:24:02 <oerjan> ais523: pastes as a space in webchat
00:24:29 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
00:25:45 <ais523> hmm, maybe my client splits trailing spaces off messages
00:25:53 <ais523> I tried sending a U+0020 space but it didn't work
00:25:55 <ais523> a nbsp did though
00:26:08 <ais523> (which is not surprising as one of nbsp's main properties is to be whitespace that is never stripped)
00:29:15 <oerjan> `icode
00:29:15 <HackEso> ​[U+0020 SPACE]
00:29:26 <oerjan> i suppose that also pastes as space.
00:29:43 <oerjan>
00:29:57 <oerjan> that was just a space.
00:30:35 <ais523> `unidecode
00:30:35 <HackEso> ​[U+0020 SPACE]
00:30:52 <ais523> that was a copy-and-pasted nbsp, I think?
00:30:54 <ais523> let me try typing one
00:30:59 <ais523> `unidecode
00:31:00 <HackEso> ​[U+0020 SPACE]
00:31:04 <ais523> hmm, how weird
00:31:20 <ais523> `unidecode
00:31:21 <HackEso> ​[U+0020 SPACE] [U+0020 SPACE] [U+0020 SPACE]
00:31:26 <ais523> that was a space between two nbsps
00:31:48 <ais523> so either Freenode is translating them (unlikely), or else my client is (also unlikely), or else lambdabot is (more possible?)
00:32:04 <ais523>
00:32:24 <ais523> wait, /that/ was a regular space, and it sent, so perhaps I've forgotten how to type nbsp (or it broke in my recent OS upgrade)
00:38:35 <oerjan> (curiouser) & \1
00:41:07 <ais523> nope, same key combination gives me a nbsp in a terminal
01:10:19 -!- MDude has joined.
01:25:59 <quintopia> helloily
01:27:30 <quintopia> boily?
01:27:36 <boily> QUINTHELLOPIA!
01:28:08 <quintopia> i pinged you on every platform :p
01:29:21 -!- arseniiv has quit (Ping timeout: 240 seconds).
01:29:40 <boily> I wasn't exactly online >_>'...
01:31:51 <boily> I'll be away next weekend (National Holiday). weekend after that I'll be free.
01:32:39 -!- boily has quit (Quit: BLUE CHICKEN).
02:29:17 -!- erkin has joined.
02:48:42 <zzo38> Unusenet can be useable with NNTP clients. I wrote a document to describe it (available on HTTP and gopher access) that I have mentioned on here before.
02:49:04 -!- ais523 has quit (Quit: quit).
03:02:22 -!- oerjan has quit (Quit: Nite).
03:23:23 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
03:24:51 -!- xkapastel has quit (Quit: Connection closed for inactivity).
04:02:40 <imode-desktop> so I'm experimenting with using my thue interpreter to do tree rewriting operations.
04:03:10 <imode-desktop> my first test is addition on the natural numbers.
04:04:00 <imode-desktop> proving a little difficult.
05:03:25 <zzo38> The specification of Unusenet is at: gopher://zzo38computer.org/0textfile/miscellaneous/unusenet and http://zzo38computer.org/textfile/miscellaneous/unusenet
05:14:37 <imode-desktop> if I was gonna do this easily I'd need a string representation of a tree that enables a node to examine both of its children without leapfrogging over one or the other.
06:33:28 -!- doesthiswork has joined.
06:54:35 -!- oerjan has joined.
07:44:31 -!- zzo38 has quit (Ping timeout: 256 seconds).
07:44:38 -!- doesthiswork has quit (Quit: Leaving.).
07:47:24 -!- zzo38 has joined.
08:14:57 -!- zzo38 has quit (Ping timeout: 240 seconds).
08:20:51 -!- Hoolootwo has quit (Quit: Temporarily refracted into a free-standing prism.).
08:21:30 -!- zzo38 has joined.
08:26:35 -!- zzo38 has quit (Ping timeout: 276 seconds).
08:40:03 -!- zzo38 has joined.
09:21:04 <shachaf> Taneb: sounds like a tanebventon hth
09:24:34 <Taneb> Oh god what did I invent this time
09:34:45 <shachaf> easily accidentally kicked foot level power sockets
09:34:47 <shachaf> hth
09:34:50 -!- zzo38 has quit (Ping timeout: 245 seconds).
09:35:38 <Taneb> I deny all responsibility
09:36:11 <shachaf> Taneb inventeth and Taneb taketh away
09:38:40 <Taneb> I'm a victim in all this
09:43:40 -!- zzo38 has joined.
09:47:28 -!- AnotherTest has joined.
09:50:24 -!- catern has quit (Quit: catern).
09:50:56 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55884&oldid=55882 * Saka * (+11) /* T */ add
09:52:54 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=55885&oldid=55884 * Saka * (+29) some
09:56:05 -!- AnotherTest has quit (Ping timeout: 245 seconds).
09:58:12 -!- zzo38 has quit (Ping timeout: 268 seconds).
10:35:26 -!- doesthiswork has joined.
10:43:17 -!- aloril_ has joined.
10:45:41 -!- aloril has quit (Ping timeout: 276 seconds).
12:08:17 -!- FreeFull has quit (Quit: Rebooting).
12:24:17 -!- FreeFull has joined.
13:11:33 -!- xkapastel has joined.
13:20:55 -!- impomatic has quit (Ping timeout: 260 seconds).
13:34:52 -!- arseniiv has joined.
14:12:46 -!- SopaXorzTaker has joined.
15:10:20 -!- trn has quit (Remote host closed the connection).
15:10:31 -!- trn has joined.
15:10:32 -!- lifthrasiir_ has quit (Remote host closed the connection).
15:11:44 -!- dingbat has quit (Disconnected by services).
15:11:49 -!- lifthrasiir has joined.
15:15:46 -!- dingbat has joined.
15:23:23 <esowiki> [[Talk:]] N https://esolangs.org/w/index.php?oldid=55886 * Plokmijnuhby * (+173) Created page with "Any clues on which instructions pop and which don't would be good. A dup instruction may also be needed. ~~~"
15:46:52 -!- zzo38 has joined.
15:51:17 -!- zzo38 has quit (Ping timeout: 256 seconds).
16:01:42 -!- catern has joined.
16:01:42 -!- catern has quit (Excess Flood).
16:02:14 -!- catern has joined.
16:02:14 -!- catern has quit (Excess Flood).
16:02:42 -!- catern has joined.
16:02:42 -!- catern has quit (Excess Flood).
16:03:42 -!- catern has joined.
16:03:42 -!- catern has quit (Excess Flood).
16:04:12 -!- catern has joined.
16:04:12 -!- catern has quit (Excess Flood).
16:04:42 -!- catern has joined.
16:04:42 -!- catern has quit (Excess Flood).
16:08:47 -!- zzo38 has joined.
16:16:03 <\oren\> Anyone know an alternative to Kerberos that isn't as annoying?
16:21:21 -!- zzo38 has quit (Ping timeout: 264 seconds).
16:34:08 -!- zzo38 has joined.
16:37:40 <oerjan> what, this session connected again?
16:39:16 <oerjan> i guess it was only the network having problems, not the server itself, so it finally got back
16:40:42 <oerjan> so tmux survived, and everything was still there. except the email server is still off.
16:41:21 <oerjan> hm no, that worked too after i restarted alpine.
16:43:56 -!- zzo38 has quit (Ping timeout: 276 seconds).
16:49:24 -!- oerjan has quit (Quit: Too much sunlight).
16:49:36 -!- zzo38 has joined.
16:50:01 <quintopia> i have a sequence in mind. a_1=8. a_n is the area of the largest area integer rectangle that can be formed using at most a_{n-1} squares along its border.
16:50:05 <quintopia> the first few terms are 8,9,10,12,16,25,50,182,1980,246016
16:50:06 <zzo38> This has happened before, that I can receive but not send, and restarting the router sometimes fixes it.
16:50:07 <quintopia> whats the general term?
16:52:25 <zzo38> Do you know what could be causing such problems? Could it be the weather?
16:57:57 <zzo38> (Also sometimes it works but occasionally is delayed by a few seconds)
16:59:54 -!- zzo38 has quit (Disconnected by services).
16:59:59 -!- zzo38 has joined.
17:10:34 -!- zzo38 has quit (Ping timeout: 276 seconds).
17:19:51 <ATMunn> it's been a while since i've said anything in here
17:19:51 <ATMunn> so
17:19:53 <ATMunn> hi
17:24:37 <imode-desktop> hi.
17:28:39 <imode-desktop> I can't imagine what tree or graph structured memory would look like electronically.
17:28:57 <imode-desktop> tree, maybe. you have some analog of it in network equipment.
17:29:04 <imode-desktop> graph? I can't see it.
17:46:46 <int-e> quintopia: wait how do you get that 10?
17:48:44 <int-e> quintopia: I was going to say that a recurrence is easy; you iterate f x = (x+4) `div` 4 * ((x+6) `div` 4) ... but that disagrees with what you claim: starting from 8 it produces 8,9,9,9... and from 10 10,12,16,25,49,169,1849,214369,2872209649,515599267815122569...
17:51:11 <shachaf> C
17:51:14 <shachaf> Er
17:52:19 <int-e> (equivalently, f x = ((x+4) `div` 2)^2 `div` 4)
17:54:52 <int-e> quintopia: The idea being that with x squares, the circumference will be x+4 (unless one of the rectangle sides is shorter than 2), reducing it to the well-known problem of maximizing the area based on the circumference. There's some rounding because I'm assuming that the sides are constrained to integer lengths.
17:58:46 <quintopia> int-e: you cant make the border of a rectangle with an odd number of squares, so the 10 comes from making a 3x3 square with 8 of the squares, and leaving the 9th one to the side
17:59:03 <quintopia> the middle gets filled in and now you have 10
17:59:11 <int-e> quintopia: ah!
17:59:18 <quintopia> but i didnt state that asdumption very well originally
17:59:43 <int-e> quintopia: yeah calling it a rectangle is a bit of a stretch
18:00:08 <quintopia> where did you get 49 from in your sequence from 10?
18:00:44 <quintopia> oh nvm
18:00:52 <quintopia> one sec
18:02:05 <quintopia> yeah the 49 is from not keeping tbe leftover from the 25
18:02:06 <int-e> quintopia: 24 = 4*6 is enough for a 7x7 square
18:02:56 <quintopia> so its the keeping the extras that makes a formula hard
18:02:58 <quintopia> hmm
18:03:12 <int-e> quintopia: okay, doing what you did (setting an extra square aside if x is odd), the sequence becomes 8,9,10,12,16,25,50,182,2162,293222,5373842942,1804886750517122432 ... so we agree until 182
18:03:36 <quintopia> i was doing it by hans
18:03:42 <quintopia> hand
18:03:51 <quintopia> how do you get 2162
18:03:55 <int-e> f x = ((x+4) `div` 2)^2 `div` 4 + x `mod` 2
18:04:01 <int-e> 2162 = 46*47
18:04:14 <int-e> 182 = 45+46+45+46
18:04:18 -!- sprocklem has quit (Quit: brb).
18:04:27 <quintopia> ah right
18:04:35 -!- sprocklem has joined.
18:04:36 <quintopia> good formula
18:06:36 <int-e> ah you compensated by 1 in the wrong direction ending up with 44*45. plausible :)
18:06:57 <quintopia> yeah
18:07:56 <quintopia> div means divide and floor, right?
18:07:59 <int-e> yes
18:08:25 <int-e> > let f x = ((x+4) `div` 2)^2 `div` 4 + x `mod` 2 in iterate f 8
18:08:27 <quintopia> what notation is that?
18:08:28 <lambdabot> [8,9,10,12,16,25,50,182,2162,293222,5373842942,1804886750517122432,203601011...
18:08:35 <quintopia> haskell?
18:08:35 <int-e> Haskell
18:08:57 <int-e> my go to language for combinatorics
18:17:35 <quintopia> heres some combinatorics
18:17:47 <quintopia> six letter strings
18:17:52 <quintopia> anrstu
18:17:57 <quintopia> anrsuu
18:18:07 <quintopia> what am i thinking about?
18:19:23 -!- SopaXorzTaker has quit (Quit: Leaving).
18:19:57 <int-e> editing distance 1 is what I see
18:21:33 <quintopia> yes thats true
18:21:43 <quintopia> and yet
18:21:50 <quintopia> the answer is
18:22:17 <quintopia> putting the names of planets in alphabetical order
18:24:20 <int-e> huh, what star are you looking at...
18:24:46 <int-e> > sort "mvemjsun"
18:24:49 <lambdabot> "ejmmnsuv"
18:26:15 <quintopia> not the first letters of tbeir names
18:26:27 <quintopia> the entire names as strings
18:26:52 <quintopia> how would i get the general term of the above seqhence?
18:27:21 <imode-desktop> uh, a lexographical sort? :V
18:27:24 <int-e> ah
18:27:52 <int-e> I was never any good at anagrams.
18:28:06 <int-e> (or scrabble :P)
18:29:02 <int-e> imode-desktop: itym lexicographical
18:29:18 <imode-desktop> int-e: missing a few letters. :P
18:29:34 <imode-desktop> i, c and b keys don't work very well.
18:30:03 <int-e> imode-desktop: in that case, shouldn't it be lexographal?
18:30:18 <imode-desktop> not very well, not not at all.
18:30:19 <int-e> imode-desktop: (I'm not buying your excuse)
18:30:29 <int-e> :P
18:30:40 <imode-desktop> well I'm not selling one. :P
18:30:57 <imode-desktop> unless you're uying
18:31:04 <imode-desktop> s/uying/buying
18:32:23 <int-e> you are making a good case
18:32:32 <int-e> but it's still hard to believe :P
18:32:35 <imode-desktop> upper or lower
18:32:43 <int-e> (also, maybe you should get a new keyboard)
18:32:58 <imode-desktop> nah, just some dirt.
18:33:16 <int-e> I don't think that dirt will help.
18:33:29 <imode-desktop> what's really needed is a can of compressed air.
18:36:15 <int-e> hmm
18:40:43 -!- MDead has joined.
18:42:59 -!- MDude has quit (Ping timeout: 256 seconds).
18:43:08 -!- MDead has changed nick to MDude.
18:46:14 <quintopia> i meant the general term of the rectangle sequence
18:46:27 <quintopia> int-e gave a recursive formula
18:46:49 <quintopia> i was hoping for a constant time formula in n
18:48:04 <int-e> quintopia: it's doubly exponential but all that rounding makes things quite messy... I don't expect a nice closed formula
18:54:45 <int-e> I mean ignoring all the rounding you essentially have x |-> x^2 / 16, so you'll end up with a_n = 16 * b^2^n for some base b, asymptotically... b is approximately 1.0193570549183
18:56:09 <int-e> (I start counting at 0, a_0 = 9, a_1 = 10)
18:59:39 <int-e> "asymptotically" meaning it's 16 b^2^(n + o(1)) for some b... it may be 16 b^(2^n + o(1)), but that requires some analysis that I haven't done
19:08:38 <int-e> (and I have no formula for that b, only numerical approximations)
19:43:04 -!- gurmble has joined.
19:49:00 -!- laerling has joined.
19:50:35 -!- grumble has quit (Ping timeout: 600 seconds).
19:50:54 -!- gurmble has changed nick to grumble.
19:52:12 <quintopia> ok
21:14:08 -!- laerling has quit (Quit: Leaving).
21:40:16 -!- AnotherTest has joined.
21:48:02 -!- AnotherTest has quit (Ping timeout: 276 seconds).
←2018-06-17 2018-06-18 2018-06-19→ ↑2018 ↑all