00:12:12 -!- augur has joined.
00:13:19 <zzo38> Is this document good? http://sprunge.us/LXFW Also if some functions is missing or wrong or other thing (if you know any astronomy or astrology, that would help too), then you can explain that too
00:13:32 -!- jaboja has quit (Ping timeout: 240 seconds).
00:19:26 -!- jaboja has joined.
00:28:14 -!- Remavas-3 has joined.
00:30:37 -!- Remavas-Hex has quit (Ping timeout: 246 seconds).
01:05:38 -!- wob_jonas has joined.
01:07:43 <wob_jonas> Nah, I don't know much astronomy. I know the swiss ephemeris can be used to predict the relative positions of the Sun, Earth, Moon, sphere of fixed stars, and Venus, which is about the amount of astronomy that is observable to me easily.
01:07:58 <wob_jonas> I mean, you can use it to tell their positions at any time, past or future.
01:08:17 <wob_jonas> Which makes the day-night cycle and the moon cycle and the seasonal cycle work.
01:08:28 <shachaf> Hm. I thought there was some entry.
01:08:41 <wob_jonas> The orientation of the Earth and Moon too of course.
01:08:48 <HackEgo> #! /bin/bash \ cd wisdom; shopt -s dotglob; grep -R "$@" -- *
01:09:19 <shachaf> ``mkx bin/grWp//grwp -i "$@"
01:09:20 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `mkx: not found
01:09:24 <shachaf> `mkx bin/grWp//grwp -i "$@"
01:09:59 <HackEgo> `words:The `words dictionary framework was designed by Klens Hålgar Oslekk, Upert T. Noffrey, Guiston Degraîme, Myyntti Raatalla, Gölrika Rosenskild, Zwübert von Pfölliger, Waslomir Stronderowich, Győrvan Sárbik, Gareen Shergyle, Fnörður Hljófsson, and Pastronella Gattrovezzi.
01:12:11 -!- 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:18:47 <zzo38> shachaf: You could to write the entry if you know what to write I suppose (maybe)
01:19:42 <wob_jonas> A wisdom entry? Should it be truthful, like saying astronomy is trying to find out why the Earth is older than the universe?
01:21:12 <shachaf> Is there a name for \x -> sin(2pi x)?
01:21:47 <zzo38> I don't know that either
01:22:00 <wob_jonas> I don't think there's a special name for that
01:22:16 <shachaf> Or maybe it should be sin(2pi/x), not sure.
01:22:48 -!- jaboja has quit (Ping timeout: 260 seconds).
01:22:52 <shachaf> Measuring in terms of fractions of a full turn is pretty reasonable.
01:23:12 <shachaf> Also this function maps rational numbers to algebraic numbers.
01:23:16 <wob_jonas> no it's not. measure angles in radians and information in nats.
01:23:35 <shachaf> What's a nat? Natural logarithm unit?
01:24:36 <zzo38> Although often I to call the period of trigonometric functions (equal to twice pi) as tau, or in other words, pi = half tau. You can do both.
01:25:02 <shachaf> I think bits are a pretty good unit.
01:28:31 <shachaf> hppavilion[1]: Maybe you would like the problems in https://faculty.utrgv.edu/eleftherios.gkioulekas/OGS/Misc/ARUSSIAN.PDF
01:28:37 <shachaf> Also the rest of the article is p. good
01:29:48 <zzo38> I did once notice that (almost certainly just by coincidence) the first four astrological signs have first letter the same letter as the DNA. That can be one thing writing if it can be worked into a message about astrological signs maybe
01:31:07 <shachaf> zzo38: Why don't you write it?
01:31:22 <HackEgo> 10058:2016-12-31 <alercäh> addquote <zzo38> What time zone has time as a complex number? \ 8922:2016-08-16 <shachäf> addquote <zzo38> I told someone to tell the queen to tell the prime minister to cancel the EU. \ 8447:2016-06-11 <moon̈_> addquote <zzo38> Why does my computer support only one colormap? <oerjan> because it\'s meta-racist \ 763
01:31:34 <shachaf> `` doag | grep '<zzo38>' | grep -v addquote
01:31:38 <HackEgo> 5745:2015-06-25 <shachäf> ` rm wisdom/{revery,that,42.,send,42,discard,\'<zzo38>\',ZombieCheney,ZomieCheney,ZombieChenie} \ 5736:2015-06-25 <ZombieChenëy> learn <zzo38> is not The One \ 3288:2013-07-07 <shachäf> pastelogs <zzo38>.*please \ 1674:2013-01-23 <shachäf> pastequotes <zzo38>
01:33:40 <shachaf> These are middle school problems.
01:34:26 <shachaf> Here's one: "Tom and Dick can do a job in 2 hours. Tom and Harry can do the same job in 3 hours. Dick and Harry can do the same job in 4 hours. How long will it take for all the three of them to do this job?"
01:35:47 <shachaf> And another similar one: "It took 5 days for Huckleberry Finn to go down stream on the Mississippi by ship and 7 days to return by the same ship. How long will it take for him to make the same way down stream by raft?"
01:37:41 <Jafet> that depends on the number of monkeys on the raft
01:38:20 <shachaf> I think the problem assumes that there are zero monkeys.
01:44:40 <shachaf> @let x /+/ y = 1/(1/x + 1/y); x /-/ y = 1/(1/x - 1/y)
01:52:52 -!- doesthiswork has joined.
02:01:13 <Jafet> `learn Astronomy is the study of stars, such as Julia Child and Gordon Ramsay, typically through long-distance viewing devices. Despite the name, it does not involve the study of the astrointestinal tract.
02:01:15 <HackEgo> Learned 'astronomy': Astronomy is the study of stars, such as Julia Child and Gordon Ramsay, typically through long-distance viewing devices. Despite the name, it does not involve the study of the astrointestinal tract.
02:03:05 <shachaf> Was astronomy invented by Astro Teller?
02:03:10 <shachaf> Or did he just tell people about it?
02:06:39 <Jafet> his astronomy teachings are lost because he failed to pen them down
02:07:53 -!- PinealGlandOptic has joined.
02:08:05 <lambdabot> Local time for Jafet is Mon, 17 Jul 2017 11:08:05 +1000
02:08:17 <wob_jonas> Nah, astronomy wasn't invented by anyone we know about, because it's older than history. Even the ancient people have noticed that there are different class of objects follow different rules, which is why there are multiple natural sciences:
02:09:44 <wob_jonas> astronomy for celestial objects, which clearly don't behave like anything on earth; physics for inanimate objects on earth; biology for living beings on earth, which clearly behave differently from the inanimate; psychology studying white humans who have a soul and thus clearly aren't related to dumb animals at all; and sociology for crowds which a
02:09:44 <wob_jonas> re clearly more dumb than any individual human.
02:12:11 <wob_jonas> that classification stood for a long time, until Newton discovered that celestial objects might perhaps actually follow the same physics as objects on earth
02:12:43 <wob_jonas> eventually all the natural sciences got mixed up and a lot of boundary sciences got created
02:13:09 <wob_jonas> like astrophysics and biochemistry and xenobiology
02:15:18 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
02:18:19 <Jafet> `le/rn milky way//The Milky Way is the astrointestinal tract through which our own planet is ruminated. Recently discovered alternatives, like Andromeda and M81, offer hope for lactose-intolerant astronomers.
02:18:21 <HackEgo> Learned 'milky way': The Milky Way is the astrointestinal tract through which our own planet is ruminated. Recently discovered alternatives, like Andromeda and M81, offer hope for lactose-intolerant astronomers.
02:18:42 -!- staffehn_ has joined.
02:18:50 <shachaf> fizzie: do you like mölkky twh
02:19:11 -!- staffehn has quit (Ping timeout: 258 seconds).
02:20:37 <shachaf> It's surprising that people have been studying deuterium for thousands of years.
02:22:00 <HackEgo> A manometer is a device for testing real men by putting them under pressure.
02:22:31 <HackEgo> gentlemanometer? ¯\(°_o)/¯
02:35:01 -!- hppavilion[1] has joined.
02:46:41 <zzo38> Example of this program for telling the current Sun sign: swe.format(swe.calc(swe.planet.Sun).lon,{type:"S"}) It is a shorter code compared to the C API to do the same things.
02:47:15 <zzo38> (Currently the Sun sign is Cancer.)
02:49:05 <wob_jonas> zzo38: ok, but it's more interesting to be able to tell information at some time in the past or future, not just now.
02:50:15 <zzo38> You can do that too; the second argument to swe.calc is an option object (you can specify {} to use the defaults), and the third argument is the time that you want to know it for; the document I linked mentions that (if it isn't clear from that document, tell me how I can improve it)
05:45:30 -!- doesthiswork has quit (Quit: Leaving.).
05:53:25 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
06:57:56 <izabera> can you apply the pumping lemma to wang tiles?
07:00:31 -!- FreeFull has quit.
07:13:32 <shachaf> I don't know how a 2D pumping lemma would work, but aren't they Turing-complete anyway? Do you expect it to work?
07:38:44 -!- augur has quit (Remote host closed the connection).
07:42:19 -!- imode has joined.
08:10:52 -!- PinealGlandOptic has quit (Quit: leaving).
08:13:36 <int-e> This question reminds me of the quadrant phenomenon for finite sets of wang tiles (if you can tile a quadrant then you can tile the whole plane).
08:17:33 <int-e> Anyway, no useful pumping (the only contexts that you could pump are infinite (e.g., parallel lines), so you're not guaranteed to find a repetition.)
08:32:55 -!- imode has quit (Ping timeout: 255 seconds).
08:34:30 -!- AnotherTest has joined.
08:55:20 -!- erkin has joined.
09:12:32 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
09:54:32 -!- olsner has quit (Ping timeout: 240 seconds).
09:56:34 -!- olsner has joined.
10:28:42 -!- DHeadshot has joined.
10:37:57 -!- DHeadshot has quit (Quit: I used to think I was indecisive, but now I'm not too sure.).
11:25:35 -!- erkin has joined.
11:33:31 -!- boily has joined.
12:28:03 -!- boily has quit (Quit: BERSERK CHICKEN).
12:44:58 -!- sdhand has quit (Excess Flood).
12:45:07 -!- sdhand has joined.
12:45:30 -!- sdhand has changed nick to Guest83541.
12:45:58 -!- Guest83541 has quit (Changing host).
12:45:58 -!- Guest83541 has joined.
12:45:58 -!- Guest83541 has changed nick to sdhand.
14:00:32 -!- doesthiswork has joined.
14:33:05 -!- `^_^v has joined.
14:48:03 -!- Remavas has joined.
14:51:29 -!- Remavas-3 has quit (Ping timeout: 248 seconds).
14:54:37 <HackEgo> olist 1083: shachaf oerjan Sgeo FireFly boily nortti b_jonas
15:08:39 -!- doesthiswork has quit (Quit: Leaving.).
15:42:13 -!- `^_^v has quit (Quit: Leaving).
15:42:23 -!- `^_^v has joined.
15:42:54 -!- Mayoi has joined.
15:43:44 -!- erkin has quit (Disconnected by services).
15:45:55 -!- Remavas has quit (Remote host closed the connection).
15:46:23 -!- Remavas has joined.
15:47:25 -!- Remavas has quit (Remote host closed the connection).
15:56:00 -!- Mayoi has quit (Quit: Ouch! Got SIGABRT, dying...).
16:16:28 -!- heroux has quit (Ping timeout: 260 seconds).
16:17:30 -!- heroux has joined.
16:28:55 -!- oerjan has joined.
16:32:42 -!- m4sk1n has joined.
16:33:08 -!- m4sk1n has left.
16:33:36 -!- pikhq has quit (Ping timeout: 268 seconds).
16:34:36 -!- pikhq has joined.
17:02:46 -!- AnotherTest has quit (Ping timeout: 258 seconds).
17:06:48 <HackEgo> [U+29D4 TIMES WITH LEFT HALF BLACK]
17:15:38 <oerjan> <shachaf> How many nats to a gnat? <-- gnine
17:16:09 <oerjan> because gnone seemed a bit small hth
17:20:37 <\oren\> hmm but what sort of operations can you perform on a nat?
17:21:37 <oerjan> all the operations succ
17:24:51 -!- FreeFull has joined.
17:33:06 <quintopia> @tell boily just bought two copies of polygod let's play
18:07:02 <HackEgo> Astronomy is the study of stars, such as Julia Child and Gordon Ramsay, typically through long-distance viewing devices. Despite the name, it does not involve the study of the astrointestinal tract.
18:07:40 <oerjan> i think the g's have been torn loose and are now roaming random words.
18:08:50 <oerjan> spreading into foreign glands
18:10:21 -!- imode has joined.
18:11:08 -!- copumpkin has quit (Ping timeout: 240 seconds).
18:11:09 <oerjan> <shachaf> It's surprising that people have been studying deuterium for thousands of years. <-- * oerjan is surprised
18:13:07 <oerjan> also a tingy bit skeptical
18:13:47 <shachaf> oerjan: well there's a bible book about deuteronomy hth
18:22:22 -!- copumpkin has joined.
18:23:03 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
18:23:33 -!- oerjan has quit (Quit: Lateronomy).
18:34:30 <shachaf> copumpkin: I'm not sure I understand this hash table on untrusted medium situation.
19:05:58 -!- imode has quit (Ping timeout: 276 seconds).
19:08:35 -!- Jafet has quit (Ping timeout: 240 seconds).
19:11:57 -!- DHeadshot has joined.
19:18:04 -!- Remavas has joined.
19:19:20 -!- Remavas has quit (Remote host closed the connection).
19:27:45 -!- Jafet has joined.
19:55:28 -!- augur has joined.
19:55:29 -!- Jafet has quit (Read error: Connection reset by peer).
19:56:08 -!- Jafet has joined.
19:56:36 -!- imode has joined.
19:56:36 -!- Jafet has quit (Read error: Connection reset by peer).
19:57:28 -!- Jafet has joined.
19:57:28 -!- Jafet has quit (Read error: Connection reset by peer).
19:58:50 -!- Jafet has joined.
20:10:20 -!- sparr has quit (Ping timeout: 255 seconds).
20:10:21 -!- Jafet has quit (Read error: Connection reset by peer).
20:11:53 -!- Jafet has joined.
20:11:53 -!- Jafet has quit (Read error: Connection reset by peer).
20:13:13 -!- Jafet has joined.
20:13:14 -!- Jafet has quit (Read error: Connection reset by peer).
20:14:37 -!- Jafet has joined.
20:14:38 -!- Jafet has quit (Read error: Connection reset by peer).
20:15:58 -!- Jafet has joined.
20:15:58 -!- Jafet has quit (Read error: Connection reset by peer).
20:20:23 -!- Jafet has joined.
20:21:09 -!- DHeadshot has quit (Ping timeout: 268 seconds).
20:21:20 -!- MDude has quit (Ping timeout: 260 seconds).
20:24:02 -!- MDude has joined.
20:24:21 -!- Jafet has quit (Read error: Connection reset by peer).
20:24:24 -!- augur has quit (Remote host closed the connection).
20:24:48 -!- Jafet has joined.
20:26:55 -!- imode has quit (Ping timeout: 246 seconds).
20:26:55 -!- Jafet has quit (Read error: Connection reset by peer).
20:30:28 -!- Jafet has joined.
20:30:30 -!- Jafet has quit (Read error: Connection reset by peer).
20:38:05 -!- sparr has joined.
20:41:48 -!- Jafet has joined.
20:41:49 -!- Jafet has quit (Read error: Connection reset by peer).
20:44:30 -!- Jafet has joined.
20:53:25 <HackEgo> [wiki] [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=52442&oldid=52416 * ZekNikZ * (+200)
20:53:36 <HackEgo> [wiki] [[Glava]] N https://esolangs.org/w/index.php?oldid=52443 * ZekNikZ * (+8241) Created page with "<h1>Glava</h1> <p><em>Glava</em> is an [[Esoteric programming language|esoteric programming language]], built on top of a [https://go.java/index.html?intcmp=gojava-banner-jav..."
20:53:53 -!- DHeadshot has joined.
20:53:54 -!- Jafet has quit (Read error: Connection reset by peer).
20:55:04 -!- Jafet has joined.
20:55:05 -!- Jafet has quit (Read error: Connection reset by peer).
20:56:26 -!- Jafet has joined.
20:56:27 -!- Jafet has quit (Read error: Connection reset by peer).
20:57:24 <HackEgo> [wiki] [[Glava]] https://esolangs.org/w/index.php?diff=52444&oldid=52443 * ZekNikZ * (+140)
20:59:05 -!- Jafet has joined.
20:59:39 -!- AnotherTest has joined.
21:02:13 <HackEgo> [wiki] [[Glava]] https://esolangs.org/w/index.php?diff=52445&oldid=52444 * ZekNikZ * (+417)
21:02:36 <HackEgo> [wiki] [[Glava]] https://esolangs.org/w/index.php?diff=52446&oldid=52445 * ZekNikZ * (+1)
21:02:36 -!- Jafet has quit (Read error: Connection reset by peer).
21:04:47 -!- Jafet has joined.
21:04:48 -!- Jafet has quit (Read error: Connection reset by peer).
21:06:30 -!- Jafet has joined.
21:07:49 -!- augur has joined.
21:12:49 <HackEgo> [wiki] [[Glava]] https://esolangs.org/w/index.php?diff=52447&oldid=52446 * ZekNikZ * (+185)
21:12:49 -!- Jafet has quit (Read error: Connection reset by peer).
21:15:17 -!- Jafet has joined.
21:15:18 -!- Jafet has quit (Read error: Connection reset by peer).
21:15:57 -!- LKoen has joined.
21:16:02 -!- DHeadshot has quit (Ping timeout: 268 seconds).
21:16:38 -!- Jafet has joined.
21:16:38 -!- Jafet has quit (Read error: Connection reset by peer).
21:18:41 -!- Jafet has joined.
21:18:42 -!- Jafet has quit (Read error: Connection reset by peer).
21:20:08 -!- PinealGlandOptic has joined.
21:20:29 -!- Jafet has joined.
21:20:55 <HackEgo> [wiki] [[Language list]] https://esolangs.org/w/index.php?diff=52448&oldid=52423 * ZekNikZ * (+12)
21:28:31 <HackEgo> [wiki] [[Glava]] https://esolangs.org/w/index.php?diff=52449&oldid=52447 * ZekNikZ * (+96)
21:28:59 -!- AnotherTest has quit (Ping timeout: 246 seconds).
21:39:32 -!- jaboja has joined.
21:45:24 -!- iovoid has quit (Remote host closed the connection).
21:49:33 -!- jaboja has quit (Ping timeout: 260 seconds).
21:50:28 -!- jaboja has joined.
21:50:28 -!- Jafet has quit (Read error: Connection reset by peer).
21:51:21 -!- Jafet has joined.
21:56:33 -!- jaboja has quit (Ping timeout: 260 seconds).
21:56:33 -!- Jafet has quit (Read error: Connection reset by peer).
21:57:13 -!- jaboja has joined.
21:59:51 -!- Jafet has joined.
21:59:51 -!- Jafet has quit (Read error: Connection reset by peer).
22:02:32 -!- Jafet has joined.
22:02:46 -!- jaboja has quit (Ping timeout: 276 seconds).
22:03:13 -!- jaboja has joined.
22:12:59 -!- AnotherTest has joined.
22:23:15 -!- jaboja has quit (Ping timeout: 268 seconds).
22:23:16 -!- Jafet has quit (Read error: Connection reset by peer).
22:24:13 -!- Jafet has joined.
22:29:31 -!- AnotherTest has quit (Ping timeout: 240 seconds).
22:35:18 -!- Jafet has quit (Read error: Connection reset by peer).
22:35:34 -!- imode has joined.
22:37:08 -!- Jafet has joined.
22:48:00 -!- jaboja has joined.
22:48:11 -!- Sgeo has quit (Read error: Connection reset by peer).
22:48:12 -!- Jafet has quit (Read error: Connection reset by peer).
22:48:41 -!- Jafet has joined.
22:59:16 -!- iovoid has joined.
22:59:16 -!- iovoid has quit (Changing host).
22:59:16 -!- iovoid has joined.
22:59:16 -!- Jafet has quit (Read error: Connection reset by peer).
22:59:51 -!- Sgeo has joined.
23:01:45 -!- Jafet has joined.
23:05:34 -!- `^_^v has quit (Quit: This computer has gone to sleep).
23:05:35 -!- Jafet has quit (Read error: Connection reset by peer).
23:09:10 -!- Jafet has joined.
23:09:10 -!- Jafet has quit (Read error: Connection reset by peer).
23:13:10 -!- boily has joined.
23:13:19 -!- hppavilion[1] has joined.
23:19:57 -!- PinealGlandOptic has quit (Quit: leaving).
23:20:54 <lambdabot> quintopia said 5h 47m 47s ago: just bought two copies of polygod let's play
23:20:55 <HackEgo> 1/2:real fast nora's hair salon 3: shear disaster download//Real Fast Nora's Hair Salon 3: Shear Disaster Download is the most readable functional programming language out there. \ latin//LATINA EST SVBLIMISSIMA LINGVA MVNDI \ space elevator//Like the shorter and more familiar strings of stringed musical instruments, the cable of a space elevator h
23:21:27 <boily> @tell quintopia QUINTHELLOPIA! !
23:27:08 -!- 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:27:43 -!- DHeadshot has joined.
23:37:40 -!- staffehn_ has quit (Ping timeout: 276 seconds).
23:49:28 <HackEgo> 2/2:as a natural resonant frequency. \ hðh//hðh is how hppavilion[n] decides to sæ 'hth' when e's beiŋ annoyiŋ. At least, in a subset of ðose times. \ mpiler//An mpiler takes an executable file and nverts it to readable form.
23:52:35 -!- boily has quit (Quit: WHOM CHICKEN).
23:54:38 -!- Jafet has joined.
23:56:57 -!- DHeadshot has quit (Ping timeout: 240 seconds).
23:56:58 -!- Jafet has quit (Read error: Connection reset by peer).
23:59:47 -!- staffehn has joined.