#forth on 2020-09-15 — irc logs at freenode.irclog.whitequark.org

01:06 boru` has joined #forth

01:06 boru has quit [Disconnected by services]

01:06 boru` is now known as boru

01:24 elioat has left #forth ["The Lounge - https://thelounge.chat"]

01:49 <siraben> Tau is just defined as 2π, no?

01:57 dave0 has quit [Quit: dave's not here]

02:12 <cmtptr> yes

02:13 <cmtptr> but it makes euler's identity more better

02:13 <cmtptr> e^πi = -1, but e^ti = 1

02:16 <cmtptr> it also meams the area of a circle is (tr^2)/2, which is more clearly an integration because of the 1/2 to go with the ^2

02:18 <cmtptr> there are probably more reasons why it's better that i don't remember now

02:18 <cmtptr> oh, a circle is t radians instead of 2π radians

02:18 <cmtptr> etc.

02:26 MrMobius has joined #forth

02:28 MrMobius has quit [Read error: Connection reset by peer]

02:35 MrMobius has joined #forth

03:47 Croran has quit [Ping timeout: 244 seconds]

03:53 Croran has joined #forth

04:02 <proteusguy> tabemann, is zeptoforth gonna run on my discovery board? I'd like to try it out as well.

04:04 <proteusguy> tabemann, specifically this one: https://www.aliexpress.com/item/1751883080.html

04:08 DKordic has quit [Ping timeout: 240 seconds]

04:27 jsoft has joined #forth

04:54 jsoft has quit [Quit: Leaving]

05:09 gravicappa has joined #forth

05:20 Zarutian_HTC has quit [Ping timeout: 244 seconds]

06:07 gravicappa has quit [Remote host closed the connection]

06:12 WickedShell has quit [Remote host closed the connection]

06:50 Zarutian_HTC has joined #forth

06:51 mtsd has joined #forth

06:59 iyzsong has quit [Quit: ZNC 1.7.5 - https://znc.in]

08:04 xek has joined #forth

10:03 cmtptr has quit [Ping timeout: 256 seconds]

10:04 cmtptr has joined #forth

10:10 dave0 has joined #forth

11:16 APic has quit [Quit: Fnord — brb]

11:16 APic has joined #forth

11:44 xek has quit [Ping timeout: 264 seconds]

12:30 DKordic has joined #forth

12:30 <DKordic> Q: How to _simply_ GET raw WikiText from Wikipedia and other MediaWikis, like nLab?

12:51 dave0 has quit [Quit: dave's not here]

12:52 <DKordic> ""https://en.wikipedia.org/w/index.php?action=raw&title=Kitsch"" is the best I am aware of.

12:56 xek has joined #forth

13:01 mtsd_ has joined #forth

13:03 mtsd has quit [Ping timeout: 240 seconds]

13:03 mtsd_ has quit [Client Quit]

13:36 Zarutian_HTC has quit [Remote host closed the connection]

13:36 xek has quit [Ping timeout: 240 seconds]

13:43 gravicappa has joined #forth

13:52 DKordic has quit [Ping timeout: 244 seconds]

13:56 crc_ has joined #forth

13:57 neuro_sys_ has joined #forth

13:59 xek has joined #forth

14:00 crc has quit [Ping timeout: 272 seconds]

14:00 crc_ is now known as crc

14:00 neuro_sys has quit [Ping timeout: 272 seconds]

14:15 Zarutian_HTC has joined #forth

15:08 xek has quit [Ping timeout: 256 seconds]

15:15 cantstanya has quit [Ping timeout: 240 seconds]

15:20 cantstanya has joined #forth

15:49 payph0ne has joined #forth

17:50 WickedShell has joined #forth

18:02 reepca has quit [Remote host closed the connection]

18:05 Zarutian_HTC has quit [Ping timeout: 258 seconds]

18:25 xek has joined #forth

18:26 Zarutian_HTC has joined #forth

18:36 gravicappa has quit [Ping timeout: 240 seconds]

18:37 reepca has joined #forth

18:37 gravicappa has joined #forth

18:44 payph0ne has quit [Ping timeout: 245 seconds]

20:22 Zarutian_HTC has quit [Remote host closed the connection]

20:24 Zarutian_HTC has joined #forth

20:26 remexre has quit [Quit: WeeChat 2.9]

20:39 xek has quit [Ping timeout: 256 seconds]

21:09 remexre has joined #forth

21:16 gravicappa has quit [Ping timeout: 240 seconds]

22:14 dave0 has joined #forth