| --- Log opened Thu Aug 05 00:00:06 2021 |
| --- Day changed Thu Aug 05 2021 |
| 00:00 | | catalyst_ [catalyst@Nightstar-4d0t03.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 00:03 | | catalyst [catalyst@Nightstar-jos74a.dab.02.net] has joined #code |
| 01:01 | | catalyst_ [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 01:03 | | catalyst [catalyst@Nightstar-jos74a.dab.02.net] has quit [Ping timeout: 121 seconds] |
| 01:18 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has quit [Connection closed] |
| 02:08 | | Degi_ [Degi@Nightstar-6q2ulj.pool.telefonica.de] has joined #code |
| 02:10 | | Degi [Degi@Nightstar-c4osbc.pool.telefonica.de] has quit [Ping timeout: 121 seconds] |
| 02:10 | | Degi_ is now known as Degi |
| 02:45 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 02:45 | | mode/#code [+o Reiv] by ChanServ |
| 02:53 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 03:01 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 03:01 | | mode/#code [+o Reiv] by ChanServ |
| 03:23 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 03:27 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 03:27 | | mode/#code [+o Reiv] by ChanServ |
| 03:48 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 03:49 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 03:49 | | mode/#code [+o Reiv] by ChanServ |
| 04:46 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 04:47 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 04:47 | | mode/#code [+o Reiv] by ChanServ |
| 05:02 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 05:03 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 05:03 | | mode/#code [+o Reiv] by ChanServ |
| 05:18 | | VirusJTG_ [VirusJTG@Nightstar-0th.oti.104.208.IP] has quit [Connection closed] |
| 05:18 | | VirusJTG_ [VirusJTG@Nightstar-0th.oti.104.208.IP] has joined #code |
| 05:27 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 05:28 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 05:28 | | mode/#code [+o Reiv] by ChanServ |
| 05:37 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 05:38 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 05:38 | | mode/#code [+o Reiv] by ChanServ |
| 05:54 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 05:58 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has joined #code |
| 05:58 | | mode/#code [+o Reiv] by ChanServ |
| 06:00 | < Yossarian> | Reiv you need some halp there buddy? |
| 06:03 | <@Reiv> | I would love a stable connection |
| 06:03 | <@Reiv> | But it is apparently not to be, even when I'm actively at the PC. Who knows. |
| 06:03 | <@Reiv> | But I'm done, so I'm off, anyway. |
| 06:03 | | Reiv [NSkiwiirc@Nightstar-ih0uis.global-gateway.net.nz] has quit [[NS] Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] |
| 06:19 | < Yossarian> | :( |
| 08:40 | | catalyst_ is now known as catalyst |
| 09:05 | | Vornicus [Vorn@ServerAdministrator.Nightstar.Net] has joined #code |
| 09:05 | | mode/#code [+qo Vornicus Vornicus] by ChanServ |
| 11:01 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has joined #code |
| 13:11 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [[NS] Quit: -a- Connection Timed Out] |
| 13:12 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 13:26 | | catalyst_ [catalyst@Nightstar-f6mpef.dab.02.net] has joined #code |
| 13:30 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Ping timeout: 121 seconds] |
| 14:03 | | Netsplit Traal.Nightstar.Net <-> Krikkit.Nightstar.Net quits: @PinkFreud, Yossarian, @JustBob, Degi, @Reiver, @ErikMesoy, @Tamber, VirusJTG_, @[R], @gnolam |
| 14:08 | | Netsplit over, joins: @JustBob, @gnolam, Degi, &[R], &Reiver, @ErikMesoy, Yossarian, VirusJTG_, @Tamber |
| 14:13 | | PinkFreud [WhyNot@NetworkAdministrator.Nightstar.Net] has joined #code |
| 14:13 | | ServerMode/#code [+o PinkFreud] by *.Nightstar.Net |
| 14:18 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 14:21 | | catalyst_ [catalyst@Nightstar-f6mpef.dab.02.net] has quit [Connection closed] |
| 14:21 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has quit [Connection closed] |
| 14:22 | | catalyst [catalyst@Nightstar-ejd4sd.cable.virginm.net] has joined #code |
| 14:24 | | Kindamoody is now known as Kindamoody|out |
| 18:15 | | abudhabi_ [abudhabi@Nightstar-ghjvle.adsl.tpnet.pl] has joined #code |
| 18:18 | | abudhabi [abudhabi@Nightstar-mlpjsd.adsl.tpnet.pl] has quit [Ping timeout: 121 seconds] |
| 18:33 | | Kindamoody|out is now known as Kindamoody |
| 21:17 | | Mahal [sid171286@Nightstar-e2nmdb.irccloud.com] has quit [Ping timeout: 121 seconds] |
| 21:19 | <~Vornicus> | I'd forgotten how befuddlingly effective newton's method is |
| 21:32 | | Mahal [sid171286@Nightstar-e2nmdb.irccloud.com] has joined #code |
| 22:18 | <&Reiver> | uh? |
| 22:19 | < Mahal> | ? |
| 22:19 | <&[R]> | Mahal: <Vornicus> I'd forgotten how befuddlingly effective newton's method is |
| 22:20 | <&[R]> | Reiver: If you want a shell on my connection, just toss me an SSH pubkey |
| 22:20 | < Mahal> | Ah I was split at that point |
| 22:20 | <~Vornicus> | each approximation is about twice as good - in number of bits correct - as the last |
| 22:21 | <~Vornicus> | it converges *so fast* |
| 22:21 | <&McMartin> | That's part of that famous fast inverse square root code :D |
| 22:26 | <~Vornicus> | last year there was a video series about "my favorite number bigger than a million" where a bunch of math youtubers put up videos about big numbers - 3blue1brown did the size of the monster group, etc - and I figured if I did one, it would be the What The Fuck? number |
| 22:27 | <&McMartin> | 1597463007! |
| 22:28 | <&Reiver> | what is the What The Fuck number |
| 22:29 | <~Vornicus> | https://en.wikipedia.org/wiki/Fast_inverse_square_root#Overview_of_the_code |
| 22:31 | <~Vornicus> | it is approximately 2^63 * sqrt(2) |
| 22:33 | <~Vornicus> | or, if you're type punning it into an integer (and the fast inverse square root does punning), the number mcm said |
| 22:33 | <&Reiver> | type punning? |
| 22:34 | <&McMartin> | A broad topic, but for the purposes of this: |
| 22:34 | <&McMartin> | You know how computers are binary, and so we represent numbers with collections of 0s and 1s |
| 22:34 | <&McMartin> | And how for positive integers that's basically "write it down in base two" |
| 22:34 | <&Reiver> | yes |
| 22:35 | <&McMartin> | IEEE standard 754 is a technique -- now generally used in all hardware -- for writing down floating point numbers to some precision |
| 22:35 | <&McMartin> | But since a single-precision floating point number takes 32 bits to do that, this means that you can also just take those 0s and 1s and pretend they are an integer written down in base two |
| 22:35 | <&McMartin> | Or vice versa |
| 22:35 | <&McMartin> | The act of shifting that interpretation is a "type pun" |
| 22:38 | <&McMartin> | A lot of the discussion in that wiki article boils down to "in the years since Quake III came out, C compilers stopped being OK with you just casually doing this, so here are some ways around that" |
| 22:41 | <&Reiver> | Ah-haaaah |
| 22:41 | <&Reiver> | Okay, thank you |
| 22:47 | <~Vornicus> | today in lines of code: if catenary_needs_rejiggered then rejigger_catenary() end |
| 23:06 | <@TheWatcher> | ... way |
| 23:07 | <@TheWatcher> | wat even |
| 23:08 | < FLHerne> | That sounds sensible to me |
| 23:09 | < FLHerne> | you wouldn't want to leave the catenary unrejiggered if it needs rejiggering |
| 23:15 | < FLHerne> | One of my ancient projects has naming like that almost without exception |
| 23:17 | < FLHerne> | Years after I'd forgotten about it, some university student emailed me to ask if "wibbledmean" was calculated wrongly |
| 23:17 | < FLHerne> | it was |
| 23:18 | <&McMartin> | Did it wobble instead of wibble? |
| 23:20 | < Yossarian> | Taking a poll, what IRC clients is everyone using? |
| 23:20 | <&McMartin> | irssi |
| 23:21 | < Mahal> | irccloud |
| 23:21 | <~Vornicus> | hexchat |
| 23:21 | <~Vornicus> | (irccloud when on my phone) |
| 23:22 | < FLHerne> | Konversation |
| 23:22 | < FLHerne> | Revolution IRC on phone |
| 23:24 | <&ToxicFrog> | weechat |
| 23:24 | <&ToxicFrog> | (inside tmux) |
| 23:25 | <&ToxicFrog> | (weechat-android via weechat's internal relay protocol when on phone) |
| 23:26 | <&ToxicFrog> | Speaking of large numbers, I saw Knuth's up-arrow notation in the wild for the first time the other day |
| 23:26 | <&ToxicFrog> | In X-Piratez, of all things |
| 23:26 | <&ToxicFrog> | For technical reasons, the in-game documentation represents exponentiation with Knuth arrows rather than superscripts |
| 23:27 | <&ToxicFrog> | So, e.g., the damage bonus on sniper rifles is rendered as "0.01 * FIRING↑2" |
| 23:27 | <~Vornicus> | the c64 "technically" did that |
| 23:28 | <&McMartin> | Yeah, ^ and _ are up and left arrow |
| 23:28 | <~Vornicus> | because it didn't have a caret symbol, just an up arrow |
| 23:28 | <&ToxicFrog> | I have yet to see anything with two or more arrows, but I'm still in the early game |
| 23:28 | <@Tamber> | oh! It's a slightly fancier (...surprise(?)) version of doing your exponents with a caret? |
| 23:28 | <~Vornicus> | okay so |
| 23:28 | <~Vornicus> | I am a mathematician |
| 23:29 | <&ToxicFrog> | Tamber: it generalizes, so e.g. 2↑4 is two to the fourth power, but 2↑↑4 is 2^2^2^2 |
| 23:29 | <@Tamber> | huh! |
| 23:29 | <~Vornicus> | I have never once seen knuth up arrow notation used except in, uh, articles about knuth up arrow notation |
| 23:29 | <&ToxicFrog> | (the wiki page on, IIRC, "knuth arrows" goes into this in some detail) |
| 23:29 | <@Tamber> | Yeah, I tried to skim the wiki page but my eyes just glazed over |
| 23:30 | <@Tamber> | (There's just something about the way that wikipedia explains things like that, I guess?) |
| 23:30 | <&ToxicFrog> | Basically, if multiplication is iterated addition, and exponentiation is iterated multiplication, knuth arrows give you a way to express iterated exponentiation, iterated (iterated exponentiation), etc |
| 23:30 | <~Vornicus> | sometimes, yes |
| 23:32 | <@Tamber> | Neat! |
| 23:35 | < Yossarian> | Okay, another poll. You guys with all your different IRC clients, does this work? test(https://termbin.com/dl9r |
| 23:35 | < Yossarian> | test(https://termbin.com/dl9r) |
| 23:35 | < Yossarian> | is your IRC client able to recognize the link and such? |
| 23:36 | <~Vornicus> | looks like the word "test" and then a termbin link in parentheses |
| 23:36 | <~Vornicus> | the contents of which is a giant base64 file |
| 23:36 | < Yossarian> | but is your client able to click on the http link or in some clients might not highlight and allow for opening at all |
| 23:37 | <@Tamber> | gnome-term recognises the link and makes it clicky, including ignoring the paren at the end. |
| 23:37 | < Yossarian> | that's what i'm testing for |
| 23:37 | <~Vornicus> | oh, yeah, that it does |
| 23:38 | <~Vornicus> | (https://example.com/) [https://example.com/] {https://example.com/} <https://example.com> |
| 23:38 | <~Vornicus> | of these, the curly brace one doesn't trim correctly |
| 23:38 | < Yossarian> | I'm worried about irssi and some other clients |
| 23:39 | < Yossarian> | i'm feeling really good, going to take a 15-30 minute nap and this weekend I actually might write some code |
| 23:40 | < Yossarian> | I'd be pleased if you were all to test it, I'll have the project on github I reckon |
| 23:41 | <@Tamber> | They all trim correctly here, irssi in gnome-terminal (3.10, I think?) |
| 23:41 | <@Tamber> | oh. 3.30.2 |
| 23:44 | | Emmy [Emmy@Nightstar-l49opt.fixed.kpn.net] has quit [Ping timeout: 121 seconds] |
| 23:57 | <&[R]> | Yossarian: Quassel. No. But the http link is clickable |
| 23:58 | <&ToxicFrog> | Yossarian: in tty clients it is generally up to the tty, not the client itself, to make the link clickable |
| 23:59 | <&ToxicFrog> | in the case of weechat itself I do run a script that lets me open links with the keyboard, and it recognizes all of them, but as with Vorn the one with the trailing } does not properly separate the } from the link. |
| 23:59 | <&[R]> | It's a ton of pointless work for a client to do so, given how most terminal emulators will make URLs clickable |
| --- Log closed Fri Aug 06 00:00:53 2021 |