00:03:08 -!- delta23 has quit (Quit: Leaving).
00:20:26 -!- arseniiv_ has quit (Ping timeout: 246 seconds).
00:54:51 <esolangs> [[JSCall]]  https://esolangs.org/w/index.php?diff=88465&oldid=88453 * Hakerh400 * (+1082) 
02:36:07 <esolangs> [[]] N https://esolangs.org/w/index.php?oldid=88466 * Maikeru51 * (+907) Created page with " is a golfinglang created by [[User:Maikeru51|Maikeru51]]. It uses emojis as commands.  =Commands= Commands refer to a buffer value. This will be called '''BuffVar'''.  ==..."
02:52:03 <esolangs> [[User:Maikeru51]] M https://esolangs.org/w/index.php?diff=88467&oldid=88421 * Maikeru51 * (+6) 
04:24:09 -!- hendursaga has quit (Ping timeout: 276 seconds).
04:25:15 -!- hendursaga has joined.
05:39:46 -!- oerjan has quit (Quit: Nite).
05:47:22 -!- delta23 has joined.
06:05:48 -!- velik has quit (Remote host closed the connection).
06:06:06 -!- monoxane0 has joined.
06:07:59 -!- dbohdan has joined.
06:13:28 -!- rodgort` has joined.
06:14:18 -!- sprock has quit (*.net *.split).
06:14:18 -!- rodgort has quit (*.net *.split).
06:14:18 -!- dbohdan3 has quit (*.net *.split).
06:14:18 -!- ccx_ has quit (*.net *.split).
06:14:18 -!- monoxane has quit (*.net *.split).
06:14:19 -!- monoxane0 has changed nick to monoxane.
06:15:17 -!- velik has joined.
06:17:31 -!- sprock has joined.
06:20:43 -!- ccx_ has joined.
07:11:49 -!- mcfrd has joined.
07:12:17 -!- rodgort` has quit (Ping timeout: 252 seconds).
07:12:50 -!- mcfrdy has quit (Ping timeout: 252 seconds).
07:13:36 -!- rodgort has joined.
07:14:50 -!- mcfrd has changed nick to mcfrdy.
07:21:43 <nakilon> b_jonas_ what was the IP lookup service you posted here a month ago?
07:22:46 -!- fizzie has quit (Ping timeout: 252 seconds).
07:24:23 <nakilon> is there http?
07:26:55 -!- fizzie has joined.
07:27:02 -!- APic has quit (Ping timeout: 252 seconds).
07:27:18 -!- EPic_ has joined.
07:32:19 -!- b_jonas_ has changed nick to b_jonas.
07:32:35 <b_jonas> nakilon: http://ip6.me/
07:33:15 -!- Sgeo has quit (Read error: Connection reset by peer).
07:34:42 -!- HackEso has quit (Ping timeout: 252 seconds).
07:35:27 -!- HackEso has joined.
07:43:40 -!- Deewiant has quit (Ping timeout: 250 seconds).
07:43:53 -!- Deewiant has joined.
07:46:28 -!- nakilon has quit (Ping timeout: 250 seconds).
07:46:32 -!- nakilon2 has joined.
07:55:48 -!- tromp has joined.
08:02:13 <nakilon2> damn nginx, I don't understand it
08:04:53 <nakilon2> https://dpaste.org/hNMv/slim  curl -vx http://my.domain:80 https://api.myip.com
08:05:07 <nakilon2> it worked on my previous server setup but now it does not
08:05:25 -!- hendursa1 has joined.
08:05:26 <nakilon2> looks like nginx tries to work as a proxy and does not pass the request to tinyproxy:8888 at all
08:07:03 <nakilon2> curl does > CONNECT api.myip.com:443 HTTP/1.1 and nginx says < HTTP/1.1 400 Bad Request
08:09:03 -!- hendursaga has quit (Ping timeout: 276 seconds).
08:11:47 <nakilon2> while inside the network the "curl --dns-servers 127.0.0.11 -vx tinyproxy:8888 http://api.my-ip.io/ip" works fine (get's 301 to https)
08:29:13 -!- integral has quit (Ping timeout: 252 seconds).
08:29:46 -!- yuu_ has quit (Ping timeout: 252 seconds).
08:29:54 -!- yuu_ has joined.
08:32:10 -!- integral has joined.
08:42:47 -!- imode has quit (Ping timeout: 240 seconds).
08:42:58 -!- perlbot has quit (Ping timeout: 252 seconds).
08:43:22 -!- perlbot has joined.
08:59:10 -!- nakilon2 has changed nick to nakilon.
09:11:29 -!- delta23 has quit (Quit: Leaving).
09:14:39 -!- HackEso has quit (Ping timeout: 252 seconds).
09:15:29 -!- HackEso has joined.
09:45:34 -!- hendursa1 has quit (Remote host closed the connection).
09:49:06 -!- hendursa1 has joined.
09:53:41 -!- EPic_ has changed nick to APic.
10:04:09 <riv> I wonder how you would compress a sequence of floating point numbers that tend to be close to each other
10:04:15 <riv> lossless
10:04:35 <myname> zip them :p
10:04:42 <riv> I suppose you could have a 'near' vs 'far' bit that lets you use fewer bits to express a delta when that's nearer
10:04:57 <riv> yeah zip is good too
10:05:25 <riv> it would be good if you could seek, so there could be a limit on how many nears you can have in a row, but that's just encoding
10:05:32 <riv> relative vs absolute, instead of near vs far
10:11:00 <nakilon> depends on the distance U guess
10:11:58 <nakilon> if the distance in close pairs is let's say 32 times shorter and you don't want to precision to become higher then you can save 5 bits I guess
10:12:04 <nakilon> *I guess
10:52:04 <riv> oh i just realized my idea wont be lossless
10:52:09 <riv> since floats aren't translation invariant
11:04:13 <nakilon> there is some joke that 
11:04:18 <nakilon> in war time pi=3
11:36:34 <esolangs> [[Senpai]]  https://esolangs.org/w/index.php?diff=88468&oldid=88451 * 4gboframram * (+1255) 
12:13:42 -!- spruit11 has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
12:29:09 -!- spruit11 has joined.
13:22:07 -!- arseniiv_ has joined.
13:28:19 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=88469&oldid=88445 * PythonshellDebugwindow * (+19) /* A */ add
13:40:37 <int-e> `learn The password of the month is working in mysterious ways.
13:40:42 <HackEso> Relearned 'password': The password of the month is working in mysterious ways.
13:43:49 -!- spruit11 has quit (Ping timeout: 252 seconds).
13:48:08 <int-e> . o O ( Shorter version: "The password of the month is blasphemous." )
13:49:15 <esolangs> [[Senpai]]  https://esolangs.org/w/index.php?diff=88470&oldid=88468 * 4gboframram * (+4359) 
13:50:54 <esolangs> [[Senpai]]  https://esolangs.org/w/index.php?diff=88471&oldid=88470 * 4gboframram * (-1107) 
13:55:16 -!- sprock has quit (Ping timeout: 268 seconds).
14:08:48 -!- spruit11 has joined.
14:12:07 -!- Sgeo has joined.
14:13:30 <esolangs> [[Senpai]]  https://esolangs.org/w/index.php?diff=88472&oldid=88471 * 4gboframram * (+1436) 
14:33:25 -!- spruit11 has quit (Ping timeout: 252 seconds).
14:43:22 -!- hendursa1 has quit (Quit: hendursa1).
14:43:46 -!- hendursaga has joined.
14:46:38 -!- spruit11 has joined.
14:53:29 -!- spruit11 has quit (Ping timeout: 264 seconds).
15:16:27 -!- spruit11 has joined.
15:39:25 -!- spruit11 has quit (Ping timeout: 252 seconds).
15:55:16 -!- spruit11 has joined.
15:55:38 <nakilon> long-long ago I was told there is a way to calculate Pi by experiment
15:56:18 <nakilon> draw a circle, draw diameter D, take a stick of length D/2 and throw it into the circle randomly
15:56:36 <nakilon> and it will cross the Diameter line in 1/Pi cases
15:57:06 <nakilon> I didn't try to check it but I wonder if it's the most simple way to do it
15:57:07 <Corbin> Nice. This is a variant of Buffon's needle, I think: https://en.wikipedia.org/wiki/Buffon%27s_needle_problem
15:58:50 <Corbin> Another technique is to put a circle into a square so that all four sides of the square touch the circle. Then randomly fill the square with points, and pi/4 of them will land in the circle.
15:59:26 <nakilon> I guess the Buffon needle method accuracy is limited by the number of lines
16:00:45 <nakilon> yeah that will work too
16:01:13 <nakilon> Buffon's one is better though in the way that it does not need us to be able to draw a circle
16:05:00 <fizzie> Matt Parker, the Standup Mathematician, usually uploads every pi day (March 14) a different way of empirically approximating pi. Usually something very impractical.
16:05:16 <fizzie> https://www.youtube.com/playlist?list=PLhtC92GarkjyYbxI3-4qzIWIRbZaw4wuP
16:05:39 <fizzie> Weighing a circle was a pretty clever one, I thought.
16:08:17 -!- sprock has joined.
16:11:07 <b_jonas> nakilon: yes, but that method and its kin converges exponentially slowly, so it's a very inefficient way to compute pi. I can give you other simple methods that converge much faster.
16:14:22 <nakilon> ?
16:16:05 <b_jonas> although now I wonder exactly how slowly other bad methods converge, including (6 \sum_{1\le k} 1/k^2), (90 \sum_{1\le k} 1/k^4), and https://en.wikipedia.org/wiki/Wallis_product
16:17:12 <nakilon> meh, rows are not fun
16:17:24 <nakilon> I want to throw things
16:17:30 <nakilon> and just divide
16:20:15 -!- Manna5 has joined.
16:20:57 -!- Manna5 has changed nick to Manna5_.
16:22:09 <riv> :O
16:22:12 <riv> wallis product
16:23:21 <b_jonas> eval $sqrt3 = 1; $sqrt3 = ($sqrt3 + 3 / $sqrt3) / 2 for 0..5; $x = 2 - $sqrt3; $prod = 12; $pi = 0; for $k (1..27) { $prod *= $x; $pi += (0,1,0,-1)[$k%4] * $prod / $k; } $pi # compute pi by evaluating the Taylor series of (12 * atan(x)) around 0 at x = 2 - sqrt(3) = tan(pi/12)
16:23:25 <b_jonas> perlbot eval $sqrt3 = 1; $sqrt3 = ($sqrt3 + 3 / $sqrt3) / 2 for 0..5; $x = 2 - $sqrt3; $prod = 12; $pi = 0; for $k (1..27) { $prod *= $x; $pi += (0,1,0,-1)[$k%4] * $prod / $k; } $pi # compute pi by evaluating the Taylor series of (12 * atan(x)) around 0 at x = 2 - sqrt(3) = tan(pi/12)
16:23:27 <perlbot> b_jonas: 3.14159265358979
16:23:31 -!- Manna5_ has changed nick to Manna5__.
16:24:01 -!- Manna5__ has changed nick to Manna5.
16:24:18 <b_jonas> ^ here's one that converges at a decent speed. it's not the fastest method that you'd put in a library if you want to compute a lot of trigonometry, but it's quick to describe as a one-liner and easy to understand and gives you a linear number of digits instead of an exponential one.
16:24:46 <b_jonas> if you want fast methods, you'd look in bignum libraries of course 
16:26:22 -!- Manna5 has quit (Remote host closed the connection).
16:33:08 -!- Manna5 has joined.
16:34:49 -!- Manna5 has quit (Remote host closed the connection).
16:35:29 <nakilon> \rasel J1J//6-"q"/.@
16:35:41 <velik>  output: 3.1415929203539825 , exit code: 0
16:38:49 -!- arseniiv_ has quit (Ping timeout: 252 seconds).
17:36:22 -!- imode has joined.
17:55:05 -!- arseniiv_ has joined.
18:15:10 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:28:29 -!- tromp has joined.
18:34:22 -!- dutch has quit (Quit: WeeChat 3.3).
18:37:50 -!- dutch has joined.
18:40:24 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:49:29 -!- tromp has joined.
18:52:55 -!- spruit11 has quit (Ping timeout: 252 seconds).
19:01:30 -!- spruit11 has joined.
19:02:18 -!- chiselfuse has quit (Ping timeout: 276 seconds).
19:03:34 -!- chiselfuse has joined.
19:07:00 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:15:47 <esolangs> [[Special:Log/newusers]] create  * Binary *  New user account
19:17:35 -!- earendel has quit (Quit: Connection closed for inactivity).
19:20:03 -!- tromp has joined.
19:23:19 <esolangs> [[Esolang:Introduce yourself]]  https://esolangs.org/w/index.php?diff=88473&oldid=88454 * Binary * (+128) /* Introductions */
19:24:08 <esolangs> [[Terrible]] N https://esolangs.org/w/index.php?oldid=88474 * Binary * (+80) Created page with "'''Terrible''' is a word in English Language, that describes something very bad."
19:37:17 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:48:56 -!- tromp has joined.
19:49:31 -!- sprock has quit (Ping timeout: 252 seconds).
20:05:12 -!- sprock has joined.
20:06:49 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:16:54 -!- tromp has joined.
20:34:03 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
20:37:05 <b_jonas> argh, spare phone won't turn on. I can't tell if it's just battery flat or something worse. I have to do the stupid loop { connect good charger, try to turn on, keep charging for an hour, disconnect charger, wait 30 seconds, } procedure
20:37:30 <b_jonas> oh good, now it says it's charging
20:37:44 <b_jonas> so it is probably flat battery
20:43:05 <fizzie> I have a Nexus 5X that just stopped working in the past, I've been wondering if I should fiddle together a serial port cables for it just in case it would help any. IIRC, it did *something* over USB too, but not the normal Android bootloader things, something more manufacturer-specific.
20:56:37 -!- sprock has quit (Ping timeout: 252 seconds).
21:07:43 <b_jonas> this one did start now, so the battery was just flat because this is a spare phone so I rarely bother to charge it
21:07:56 <b_jonas> especially because I didn't travel during the pandemic
21:11:28 -!- arseniiv_ has quit (Ping timeout: 252 seconds).
21:14:54 -!- Lord_of_Life_ has joined.
21:15:59 -!- Lord_of_Life has quit (Ping timeout: 252 seconds).
21:16:12 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
21:20:50 -!- tromp has joined.
21:27:38 -!- immibis_ has changed nick to immibis.
22:15:03 -!- sprock has joined.
22:42:54 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:20:09 -!- ais523 has joined.
23:20:43 <ais523> is there a standard name for the concept that's equivalent to one variant of a Rust enum, i.e. a tag specifying which of several various possible types something has, together with a list of arguments?
23:21:44 <ais523> not sure I mean "type" here, it's semantically useful to have multiple different tags for the same argument list
23:22:25 <ais523> this seems like a concept that comes up in a lot of contexts and is generally useful, and I'm confused that I don't know what it's called
23:23:28 <esolangs> [[AutomataFuck]]  https://esolangs.org/w/index.php?diff=88475&oldid=88464 * GoodCoderBBoy * (+89) added code order
23:24:59 <esolangs> [[AutomataFuck]]  https://esolangs.org/w/index.php?diff=88476&oldid=88475 * GoodCoderBBoy * (+16) added wiki creator clarification
23:26:05 <Corbin> I've seen "case", "claw" (as in having multiple "claws" in a switch), "variant", and "discriminant".
23:26:51 <Corbin> TIL that CORBA calls them https://en.wikipedia.org/wiki/Discriminator
23:31:14 -!- oerjan has joined.
23:39:23 -!- immibis has quit (Ping timeout: 246 seconds).
23:43:11 <imode> ugh.
23:43:14 <imode> I have been stuck.
23:43:16 <imode> for three days.
23:43:21 <imode> on this simple `dup`.
23:44:56 <oerjan> are you saying you've been duped
23:46:26 <imode> https://hastebin.com/wesarudapo.py
23:46:59 <imode> line 207. _dup_num. it should 100% be able to shorten that.
23:47:34 <imode> 362 commands. for that.
23:47:46 <imode> all it does is duplicate a unary number.
23:58:27 <b_jonas> ais523: I think that's called "constructor", at least in Haskell