00:08:15 -!- uplime has joined.
00:10:41 -!- uplime has changed nick to Rudolph.
00:11:01 -!- tromp has quit (Remote host closed the connection).
00:26:38 -!- tromp has joined.
00:30:47 -!- tromp has quit (Ping timeout: 240 seconds).
00:56:16 <esowiki> [[FALSE]] M https://esolangs.org/w/index.php?diff=58762&oldid=47263 * Voltage2007 * (-23) Fixed grammatical errors
01:02:57 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
01:14:33 <oerjan> <int-e> . o O ( let's blame oerjan ) <-- i don't use the stalker logs hth
01:21:13 -!- tromp has joined.
01:25:45 -!- tromp has quit (Ping timeout: 244 seconds).
01:51:18 -!- FreeFull has quit (Ping timeout: 268 seconds).
01:52:23 -!- nfd has joined.
01:55:35 -!- nfd9001 has quit (Ping timeout: 250 seconds).
02:13:01 -!- salpynx has quit (Ping timeout: 256 seconds).
02:15:23 -!- tromp has joined.
02:19:51 -!- tromp has quit (Ping timeout: 250 seconds).
03:30:52 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
03:33:43 -!- Lord_of_Life has joined.
04:03:26 -!- tromp has joined.
04:04:56 -!- doesthiswork1 has quit (Quit: Leaving.).
04:07:42 -!- tromp has quit (Ping timeout: 250 seconds).
04:16:56 -!- doesthiswork has joined.
04:23:09 -!- oerjan has quit (Quit: Nite).
05:52:15 -!- tromp has joined.
05:56:27 -!- tromp has quit (Ping timeout: 240 seconds).
06:13:38 -!- imode has joined.
06:25:53 -!- iconmaster has joined.
06:37:42 -!- Lymia has quit (Remote host closed the connection).
06:37:57 -!- Lymia has joined.
06:46:13 -!- tromp has joined.
06:51:02 -!- tromp has quit (Ping timeout: 272 seconds).
06:58:39 -!- Sgeo has joined.
07:43:56 -!- imode has quit (Ping timeout: 246 seconds).
07:56:55 -!- tromp has joined.
07:59:39 -!- tromp has quit (Remote host closed the connection).
07:59:53 -!- tromp has joined.
08:43:55 -!- doesthiswork has quit (Quit: Leaving.).
08:50:08 -!- AnotherTest has joined.
10:30:03 -!- nfd has quit (Ping timeout: 245 seconds).
10:31:05 -!- nfd9001 has joined.
12:09:28 -!- LKoen has joined.
13:08:25 -!- ais523_ has joined.
13:09:33 -!- ais523_ has changed nick to ais523.
13:09:47 -!- ais523 has changed nick to ais523_.
13:27:01 <ais523_> six does seem like too many variables for Blindfolded Arithmetic
13:27:42 <ais523_> my own solution to the problem was a three-counter machine (basically due to the I/O encoding issue; a two-counter machine can't do the I/O encoding by itself so you'd need a separate system for that, a three-counter machine can)
13:28:04 <ais523_> more recently, I've been thinking that Fractran may be a good target language
13:28:14 <ais523_> we have basically all the primitives we need already
13:28:53 <ais523_> (a zero-test can be done via adding 1 and dividing into 1, and a modulus operation via divide, multiply, subtract)
13:29:23 <ais523_> let's see… we need one variable for the current working value, and two (probably) as temporaries
13:29:48 <ais523_> let's say a as the working value, b and c as the temporaries
13:31:23 <ais523_> a divisibility check by a constant k is b=a; b/=k; b*=k; b-=a; b-=a/a; c=a/a; c/=b;, now c is 1 if k divides a, 0 if k does not divide a
13:32:14 <ais523_> (Blindfolded Arithmetic doesn't have numerical constants but we can use c as a temporary to hold the value of k)
13:33:37 <ais523_> err, c is now -1 if k divides a, or 0 if k does not divide a, a distinction that's not massively important
13:34:30 <Luciole> What are the constraints in Blindfolded Arithmetic/where can I find more info about it?
13:35:04 <ais523_> Luciole: see https://codegolf.stackexchange.com/a/162531 for a specification
13:35:56 <ais523_> although when b_jonas and I discuss it in IRC we sometimes use shorthand, which follows the same rules as C
13:37:07 <ais523_> you can pretty much define the language in one line, though: "a bignum language which supports addition, subtraction, multiplication, division, assignment, but only one assignment and one arithmetic operation per line, no constants, no flow control, the entire program is one big loop"
13:37:23 <ais523_> what we're mostly focusing on is trying to reduce the number of variables you need for TCness as far as possible
13:38:10 <ais523_> oh, and division is integer division that trunactes towards 0
13:38:24 <ais523_> which is actually really exploitable
13:38:41 <ais523_> b_jonas has a theory that Blindfolded Arithmetic is very close to the language planned for the original Analytical Engine
13:40:11 <ais523_> anyway, we have our divisibility test, so the other thing we need for TCness is a conditional-multiply-by-ratio
13:41:12 <ais523_> and you can do that with b=a; b+=a; b+=a; … b+=a; b*=c; b+=a; b+=a; … b+=a; a=b (followed by calculating your denominator using b and c and dividing a by it)
13:41:54 <ais523_> once you do this you have a "cyclic" version of Fractran, which is TC because you can easily implement regular Fractran using one extra prime to see if you've already done a division this cycle
13:42:05 <ais523_> so it looks like three variables is enough for this without I/O
13:42:07 -!- Rudolph has quit (Quit: WeeChat 2.2).
13:43:30 <ais523_> @message b_jonas on the subject of Blindfolded Arithmetic, I think it and buzzard.1/0 are as different as bignum brainfuck and infinite-tape brainfuck
13:43:30 <lambdabot> Maybe you meant: messages messages-loud messages?
13:43:33 <ais523_> @tell b_jonas on the subject of Blindfolded Arithmetic, I think it and buzzard.1/0 are as different as bignum brainfuck and infinite-tape brainfuck
13:44:09 <ais523_> @tell b_jonas which is, very similar spec, but very different programming styles; as such, there is probably room for a page about both languages (obviously, with cross-links)
13:45:32 <ais523_> I/O encoding seems nightmarish in this, though, so you might need a fourth variable for that
13:45:36 -!- arseniiv has joined.
13:56:19 <ais523_> I guess I/O encoding will definitely require a loop, and the only place I can see to store the encoded value of the I/O is c
13:57:16 <ais523_> meaning that we have to dead-reckon c throughout the entire operation in order to store an extra piece of data in it, which will have interesting effects on a (but we might be able to control them)
13:57:39 -!- ais523_ has quit (Quit: quit).
14:00:25 -!- doesthiswork has joined.
14:08:58 -!- iconmaster has quit (Quit: Leaving).
14:54:21 -!- doesthiswork has quit (Quit: Leaving.).
15:11:10 -!- sleepnap has joined.
15:11:42 -!- moony_ has joined.
15:23:28 <esowiki> [[Special:Log/newusers]] create * Leduyquang753 * New user account
15:32:09 -!- ais523 has joined.
15:32:33 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
15:33:52 -!- Lord_of_Life has joined.
16:03:11 -!- moony_ has quit (Ping timeout: 256 seconds).
16:16:11 -!- ais523 has quit (Remote host closed the connection).
16:17:24 -!- ais523 has joined.
17:12:18 -!- ais523 has quit (Remote host closed the connection).
17:13:30 -!- ais523 has joined.
17:24:48 -!- ais523 has quit (Quit: sorry for my connection).
17:25:00 -!- ais523 has joined.
17:28:04 -!- ais523 has quit (Client Quit).
17:32:22 -!- imode has joined.
17:33:33 -!- arseniiv_ has joined.
17:36:16 -!- arseniiv has quit (Ping timeout: 246 seconds).
18:02:50 -!- Phantom_Hoover has joined.
18:04:36 -!- b_jonas has joined.
18:05:38 <b_jonas> ais523: I believe five variables are enough for blindfolded arithmetic, and four may be, see channel logs yesterday
18:06:31 <b_jonas> ais523: sure they're different. you allow a = b / a which Babbage's doesn't allow, which might just give you a bit of an edge when it comes to the number of variables
18:07:09 <b_jonas> ais523: I'll try to write down a detailed and readable proof some time on how I can simulate two tapes with five variables, and, if I can make it work, with four variables
18:08:11 <b_jonas> "b_jonas has a theory that Blindfolded Arithmetic is very close to the language planned for the original Analytical Engine" => definitely not. I'm saying it's very similar to the machine that IOCCC entry talks about. its author was the one who compared it to Babbage's something or anohter,
18:08:22 <b_jonas> I don't think it has much to do with Babbage actually.
18:10:02 <b_jonas> ais523: you're saying three variables? dunno, might be possible, I don't claim it impossible.
18:13:50 <b_jonas> also, wth, ais523 around 12:30 Z?
18:46:29 <lambdabot> EGKK 201820Z 21006KT 9999 BKN032 09/06 Q1008
18:46:39 <int-e> . o O ( what's the indicator for increased drone activity? )
18:58:16 <b_jonas> int-e: high temperature and buzzing
18:58:39 <int-e> different kind of drones
19:04:23 <b_jonas> try listening for microwave-based control signals
19:06:29 <int-e> b_jonas: ah but I wanted a METAR acronym.
19:07:20 * int-e could have been more specific.
19:07:39 <lambdabot> https://en.wikipedia.org/wiki/Gatwick_Airport
19:35:32 <int-e> I didn't know or forgot that we had those (probably the latter).
19:35:50 <fizzie> I remember them, I just can't remember the syntax.
19:36:22 <fizzie> It's a little ambiguous whether `icao is for converting from or to.
19:37:21 <b_jonas> is there a command that tells the timezone and current timezone offset for an airport?
19:38:42 <fizzie> Not that I know of, though the timezone is part of airports.dat.
19:39:07 <fizzie> `` grep Gatwick share/airports.dat
19:39:07 <HackEso> 502,"Gatwick","London","United Kingdom","LGW","EGKK",51.148056,-0.190278,202,0,"E","Europe/London"
19:39:45 <int-e> `` grep LOWI share/airports.dat
19:39:46 <HackEso> 1610,"Innsbruck","Innsbruck","Austria","INN","LOWI",47.260219,11.343964,1906,1,"E","Europe/Vienna"
19:40:31 <b_jonas> ``` grep Arizona share/airports.dat
19:41:13 <b_jonas> there's no international airport in Arizona?
19:41:22 <int-e> `` head -n1 share/airports.dat
19:41:22 <HackEso> 1,"Goroka","Goroka","Papua New Guinea","GKA","AYGA",-6.081689,145.391881,5282,10,"U","Pacific/Port_Moresby"
19:41:37 <int-e> no column description :/
19:42:35 <fizzie> `` grep KPHX share/airports.dat
19:42:36 <HackEso> 3462,"Phoenix Sky Harbor Intl","Phoenix","United States","PHX","KPHX",33.434278,-112.011583,1135,-7,"N","America/Phoenix"
19:42:46 <fizzie> There is, it just doesn't say "Arizona" anywhere in it.
19:43:36 <fizzie> int-e: The column description is at https://openflights.org/data.html
19:43:41 <int-e> hmm. 5282 is in m, 1906 is in ft?
19:43:50 <int-e> I meant to delete that, never mind.
19:44:13 <int-e> Google AYGA elevation is wrong :)
19:44:19 <fizzie> Except the "type" and "source" columns might be newer than in our copy.
19:47:44 <HackEso> Drones are tools used to perform certain criminal actions that were not possible in ancient times.
19:48:38 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
19:52:51 -!- imode has quit (Ping timeout: 250 seconds).
19:56:01 -!- LKoen has joined.
19:56:34 -!- doesthiswork has joined.
20:06:23 -!- FreeFull has joined.
20:09:21 -!- arseniiv_ has quit (Quit: gone completely :o).
20:19:51 -!- arseniiv has joined.
20:43:56 -!- Melvar has quit (Ping timeout: 250 seconds).
20:55:37 <esowiki> [[Blindfolded arithmetic]] N https://esolangs.org/w/index.php?oldid=58763 * B jonas * (+776) Created page with "'''Blindfolded arithmetic''' is an esoteric language that [[User:ais523]] has published in 2018 on Code Golf Stack Exchange. It is similar to a language called Babbage's Anal..."
20:56:15 -!- Melvar has joined.
20:57:08 -!- zzo38 has quit (Ping timeout: 245 seconds).
21:02:51 -!- zzo38 has joined.
21:13:31 -!- imode has joined.
21:14:10 <esowiki> [[Blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=58764&oldid=58763 * B jonas * (+876)
21:18:03 <esowiki> [[Blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=58765&oldid=58764 * B jonas * (+47)
21:18:18 <esowiki> [[Blindfolded arithmetic]] https://esolangs.org/w/index.php?diff=58766&oldid=58765 * B jonas * (+0)
21:26:14 -!- contrapumpkin has joined.
21:29:45 -!- zzo38 has quit (Ping timeout: 268 seconds).
21:29:45 -!- copumpkin has quit (Ping timeout: 268 seconds).
21:58:46 -!- arseniiv has quit (Ping timeout: 246 seconds).
22:22:47 -!- MDude has quit (Ping timeout: 268 seconds).
22:24:52 -!- MDude has joined.
22:29:47 -!- MDude has quit (Ping timeout: 240 seconds).
22:34:27 -!- MDude has joined.
22:44:01 -!- AnotherTest has quit (Ping timeout: 250 seconds).
22:57:36 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
23:00:10 -!- FreeFull has quit (Quit: rebooting).
23:02:29 -!- FreeFull has joined.
23:14:07 -!- sleepnap has left.
23:29:42 -!- Essadon has joined.
23:43:51 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).