00:07:32 >_> 00:07:37 <_< 00:07:42 where is everyone? 00:08:40 Hello 00:09:35 what is your favorite game zzo38 00:10:54 It depend on what kinds of games it can be and so on I think, and even then I think I do not quite have the favourites 00:13:18 [wiki] [[Talk:HI9+]] N https://esolangs.org/w/index.php?oldid=51381 * Quintopia * (+249) /* Quines in HI9+ */ new section 00:13:50 -!- oerjan has joined. 00:13:58 is there no game you spend more time with than others? 00:14:02 helloerjan 00:14:41 I think there isn't a game I spend much more time with than others, and I do not keep track of such thing much 00:15:04 evenitopia 00:15:37 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 00:17:28 `icode : 00:17:29 ​[U+003A COLON] 00:17:39 hm 00:17:42 `? number 00:17:44 The number of the hour is 14. 00:17:59 `grwp number 00:18:00 ​𝕈:𝕈 would be the set of rational numbers, if the Unicode Consortium weren't idiots who put it as ℚ. \ algebraic number theory:The theory of algebraic numbers was invented by Fermat to prove his theorem, but he didn't have room to write it down. \ bezout's theorem:Bézout's theorem says that if a system of polynomial equations over the co 00:18:34 `` icode "`grwp number | head -1`" 00:18:41 U+1D548 - No such unicode character name in database \ UTF-8: f0 9d 95 88 UTF-16BE: d835dd48 Decimal: 𝕈 \ 𝕈 (𝕈) \ Uppercase: U+1D548 \ Category: Cn (Other, Not Assigned) \ \ U+003A COLON \ UTF-8: 3a UTF-16BE: 003a Decimal: : \ : \ Category: Po (Punctuation, Other) \ Bidi: CS (Common Number Separator) \ \ U+1D548 - No such 00:18:50 hm 00:26:02 what are you looking for 00:27:59 the strange character at the start of `grwp number 00:28:31 i suspect whoever added that was just complaining that ℚ had the wrong codepoint. 00:28:59 `icode ℚ 00:29:00 ​[U+211A DOUBLE-STRUCK CAPITAL Q] 00:29:59 `unicode U+1D549 00:29:59 ​𝕉 00:30:15 `multicode U+1D549 00:30:16 U+1D549 - No such unicode character name in database \ UTF-8: f0 9d 95 89 UTF-16BE: d835dd49 Decimal: 𝕉 \ 𝕉 (𝕉) \ Uppercase: U+1D549 \ Category: Cn (Other, Not Assigned) 00:30:30 `multicode U+1D54A 00:30:31 U+1D54A MATHEMATICAL DOUBLE-STRUCK CAPITAL S \ UTF-8: f0 9d 95 8a UTF-16BE: d835dd4a Decimal: 𝕊 \ 𝕊 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ Decomposition: 0053 00:30:38 ah as i suspected 00:31:09 `multicode U+1D54B 00:31:11 U+1D54B MATHEMATICAL DOUBLE-STRUCK CAPITAL T \ UTF-8: f0 9d 95 8b UTF-16BE: d835dd4b Decimal: 𝕋 \ 𝕋 \ Category: Lu (Letter, Uppercase) \ Bidi: L (Left-to-Right) \ Decomposition: 0054 00:31:21 yaya. 00:31:26 i wonder if that wisdom was off by 1. 00:31:54 as in, U+1D549 would seem to be where R would fit, not U+1D548. 00:32:13 wait 00:32:16 silly me. 00:32:38 well, the same complaint goes for R as well. 00:41:12 -!- Akaibu has quit. 00:41:20 -!- tromp has joined. 00:57:01 oic 00:57:08 i'm the consortium had good reason 00:57:11 *sure 00:57:51 `unicode U+211B 00:57:52 ​ℛ 00:58:07 `unicode U+2119 00:58:08 ​ℙ 00:58:22 ...er 00:58:32 well, reasons that aren't that good maybe 01:02:22 `multicode U+25FB 01:02:23 U+25FB WHITE MEDIUM SQUARE \ UTF-8: e2 97 bb UTF-16BE: 25fb Decimal: ◻ \ ◻ \ Category: Sm (Symbol, Math) \ Bidi: ON (Other Neutrals) 01:02:27 `multicode U+1F78F 01:02:28 U+1F78F MEDIUM WHITE SQUARE \ UTF-8: f0 9f 9e 8f UTF-16BE: d83ddf8f Decimal: 🞏 \ 🞏 \ Category: So (Symbol, Other) \ Bidi: ON (Other Neutrals) 01:12:24 -!- Sprocklem has quit (Quit: Lost terminal). 01:22:36 -!- oerjan has quit (Quit: Nite). 01:31:05 -!- xkapastel has joined. 01:44:29 -!- hppavilion[1] has joined. 01:49:21 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 01:53:00 -!- tromp has quit (Remote host closed the connection). 02:05:20 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:38:13 -!- tromp has joined. 02:41:12 -!- augur_ has quit (Remote host closed the connection). 02:41:37 -!- augur has joined. 02:50:28 -!- tromp has quit (Remote host closed the connection). 02:51:23 -!- Zarutian has quit (Quit: Zarutian). 03:51:08 -!- tromp has joined. 03:55:14 -!- hppavilion[1] has joined. 04:34:42 -!- hppavilion[0] has joined. 04:35:14 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 04:37:47 -!- hppavilion[0] has changed nick to hppavilion[1]. 04:38:29 NEW WORD: When referring to the equivalent of Google-Fu for a DuckDuckGo user, it may be referred to as "Duckwongo" 04:39:36 -!- MDude has quit (Ping timeout: 240 seconds). 04:41:52 -!- MDude has joined. 04:53:18 -!- tromp has quit (Remote host closed the connection). 05:05:18 -!- hppavilion[0] has joined. 05:06:32 -!- hppavilion[1] has quit (Ping timeout: 258 seconds). 05:06:42 -!- hppavilion[0] has changed nick to hppavilion[1]. 05:27:36 I wonder if putting X5O!P%@AP[4\PZX54(P^)7CC)7}$EICAR-STANDARD-ANTIVIRUS-TEST-FILE!$H+H* will poison peoples' logs 05:51:42 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 05:53:46 -!- tromp has joined. 05:58:35 -!- tromp has quit (Ping timeout: 256 seconds). 06:17:52 I'm surprised that the eicar test file appears only twice in my logs 06:23:51 -!- xkapastel has quit (Quit: Connection closed for inactivity). 07:54:19 -!- tromp has joined. 07:58:36 -!- tromp has quit (Ping timeout: 240 seconds). 08:08:21 -!- S1 has joined. 08:24:27 -!- hppavilion[1] has joined. 08:45:21 -!- S1 has quit (Read error: Connection reset by peer). 09:06:45 -!- erkin has joined. 09:17:14 -!- AnotherTest has joined. 09:50:21 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 10:07:01 -!- erkin has quit (Remote host closed the connection). 10:20:14 -!- hppavilion[1] has joined. 10:27:32 -!- augur has quit (Remote host closed the connection). 10:34:00 Good-bye CaC. We had a great time together, but it just won't work out. 10:37:06 -!- LKoen has joined. 10:38:47 `? CaC 10:38:49 CaC? ¯\(°​_o)/¯ 10:39:23 see also CaaC: http://www.cloudatacost.com/ 10:40:59 basically CaC has just redefined "one-time payment" to include an extra annual $9 fee. 10:41:02 -!- MoALTz has joined. 10:41:54 Which would be reasonable really... but rather than telling the customers that there's a new fee, they buried the fact at 1/3 of 8k terms of service. 10:42:01 8k *words* 10:44:59 Gregor might want to know that? It's point 9.18 of their ToS, it may or may not apply, depends on whether you have a monthly paid product. 10:45:34 int-e: I have had great experience with linode. Way more expensive than 9 per year of course 10:45:49 but the support has been good the one time I needed it. 10:46:18 Vorpal: I'm currently with Ramnode... no bad experiences there either though I haven't really needed support. 10:46:22 -!- sebbu2 has quit (Quit: reboot). 10:46:26 And while not needing support at all would have been better, it is good to know that if you need it, they are happy to help within a couple of hours. 10:46:55 int-e: yeah I had a strange issue with the kvm host, they quickly migrated my VPS to another node 10:47:08 No issues since then 10:47:48 I've been happy with prgmr, the biggest issue of which seems to be that their data centre is in the US and not Europe 10:48:24 FireFly: which is the reason I went with linode. Way less lag when using ssh to london than to us 10:48:45 * FireFly nods 10:49:06 with mosh I don't really mind IRCing on a VPS in the US 10:49:19 but it's a good point 10:49:27 FireFly: I love prgmr's web site though 10:50:03 I don't like mosh because I never been a fan of screen or tmux and mosh destroys the normal scrollback of the terminal 10:50:10 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 10:51:02 Also while mosh helps on a bad connection, it isn't perfect sadly. Especially in ncurses programs 10:51:05 (okay, one ticket, because I had a screen session completely disappear without trace and I asked them whether they had any logs... they replied promptly, though (unsurprisingly they didn't have any information). They did tell me that they didn't migrate the VPS which was more information than I expected.) 10:51:38 (no segfault, no OOM kill... just strange) 10:51:42 int-e: wouldn't they tell you in advance if they migrated? 10:52:01 that's what they told me :P 10:52:04 With linode I always got advance warning for any outage (critical host security upgrades and so on) 10:52:21 "We don't do migrations without notice" 10:52:44 int-e: I would say that any hosting company that did migrations without notice would be a bad one 10:54:27 Basically I'm a bit clueless about how transparent that can be made these days. If one could migrate a VPS while preserving network connections with handover in less than, say, 10 seconds, that's something people might do without notice. 10:54:56 Since we're all listing these, I've gone through prgmr, Tilaa and DigitalOcean. 10:55:07 If it disrupts network connections it's a no-go for any hoster worth its salt. 10:55:38 -!- tromp has joined. 10:56:07 int-e: I don't think that is doable in general given how most VPS are set up. You would need to use network-backed disk images. iSCSI or something like that. Which from what I heard from someone who works in the business, is not worth the overhead. It is much cheaper to have local disk images on RAID with backups 10:56:39 Then migration needs to shut down the VM, copy the images across and start the VM on the new host 10:56:47 network is probably the easy part 10:59:31 Oh, that CaC. 11:00:21 -!- tromp has quit (Ping timeout: 260 seconds). 11:01:47 Those rascals. 11:02:39 I use Linode but I keep hearing it's terrible. 11:02:45 With regard to security and other things? 11:03:11 Maybe I should switch to Google Cloud now that their free trial expires in 12 months rather than 60 days. 11:04:00 I'd still need to figure out a way to use it that wouldn't be a squander. 11:04:01 Google Cloud here in Europe is only for "commercial" use. 11:04:15 I think we've talked about that. 11:04:19 Move to MTV? 11:04:19 fizzie: an english speaking source picked up on the new fee... https://blog.matthewkilpatrick.uk/cloudatcost-review/ ... hmm. 11:05:07 ("hmm" is me wondering whether there's any connection to #esoteric or whether somebody else actually read the ToS ;-) ) 11:05:39 I pay $20/month for my Linode VM. 11:05:41 shachaf: One scow thing is that Google Domains in UK has the same restriction. 11:06:01 I recommend moving to sunny Mountain View, California. 11:07:17 I don't want to get shot, and I understand that's what happens to everyone in the US. 11:07:21 When I worked at Google I got a free (I think?) domain through Google Domains. 11:07:34 Now I don't work there anymore but I still use it for that one domain. 11:07:38 That's how they get you. 11:08:06 I migrated my two .org's to Hover, but they don't do .fi. 11:08:22 I use Gandi for .fi and another domain. 11:08:25 https://help.hover.com/hc/en-us/community/posts/210362567-Support-for-fi-domains plz upvote 11:09:11 I'm not going to make a Hover account just to click on an arrow. 11:09:32 Well, I guess I can click the arrow even without an account, it just redirects me to a login page. 11:09:37 I did that much. 11:09:38 hth 11:09:40 -!- sebbu has joined. 11:09:56 Thank you, I appreciate the effort. 11:10:12 What does it mean that .fi switched to a registrar model? 11:10:29 I remember that there were changes but not the details. Except that registration would be open to everyone or something like that. 11:10:41 But I already had a domain registered through Gandi before. 11:10:53 It used to be so that you bought your domain directly from the registry. 11:10:55 They sent me a letter about it all the way to the US. But the letter was in Finnish. 11:11:10 Which in this case was the Finnish Communications Regulatory Authority. 11:12:07 The model they switched to is the more standard one where an end user never deals directly with the registry, but instead goes through a registrar. 11:12:32 But I already used a registrar once. 11:12:40 I guess it was an exceptional case or something? 11:13:00 . o O ( There's an arrow?! ) 11:13:05 I don't think they were technically registrars, they were just unrelated companies that bought and managed a domain for you. 11:13:18 int-e: Wherever voting happens, there's always an Arrow. 11:13:36 -> 11:13:51 shachaf: Right, I actually know about that theorem :) 11:14:05 shachaf: it doesn't apply to pure binary choices though 11:14:14 I see. Well, nice of them to do it in exchange for $20 or however much I paid them. 11:14:29 int-e: I was wondering whether someone would nitpick my pun. 11:14:57 If you want: Voting on feature requests is a question of prioritizing the next request. 11:15:03 but what I meant is this, http://int-e.eu/~bf3/tmp/novelicons.png 11:15:08 Each person can vote each feature up or down. 11:15:37 (noscript is blocking the font. but why must it be a font...) 11:15:39 The old model also had some eligibility requirements that were deprecated, so it is also more open to everyone now. 11:16:10 It's a font with private use code points? How odd. 11:16:24 fizzie: Yes, that part is unfortunate. 11:16:24 it has become fairly common 11:16:39 At least I got a two-character .fi domain. 11:17:01 Unfortunately it's difficult to pronounce. 11:17:17 It sounds like I'm talking about a county in England. 11:17:21 I was this close |-| to getting zzie.fi instead of zem.fi. 11:17:34 zzie38.fi 11:17:49 What's the etymology of zem.fi anyway? 11:20:13 oh, github switched to inline SVGs instead, sweet. 11:20:18 "No one really knows what mattresses are meant to gain from their lives either. They are large, friendly, pocket-sprung creatures which live quiet private lives in the marshes of Squornshellous Zeta. Many of them get caught, slaughtered, dried out, shipped out and slept on. None of them seem to mind and all of them are called Zem." 11:20:23 FireFly: ^ 11:20:34 Ooh, those 11:21:03 ... 11:21:44 I had a Douglas Adams hostname naming scheme at the time. 11:22:13 (Though a big part was to find a free three-letter name.) 11:22:49 yay. time to make up another crappy language thing. 11:23:45 hm. many years on the internet and I'm just now getting around to looking at semper.fi 11:24:07 interestingly, it has nothing to do with the US Marine Corp 11:24:08 s 11:27:51 fizzie: So many good .fi names were created 12.9.2016 :'( 11:28:17 I should've taken the opportunity to preëmpt them. 11:28:58 Maybe the whois "created" date isn't accurate, anyway. 11:31:16 -!- LKoen has quit (Remote host closed the connection). 11:34:07 always fun to setup a new VM... I never recall how to get rid of systemd. 11:35:36 freebsd hth 11:35:42 good one 11:36:05 systemdum and systemd / agreed to have a battle 11:36:35 aaaaaaaaaaaaaaaaargh 11:37:06 Dodgson is probably spinning in his grave. 11:37:43 Well, the poem is much older than that. 11:37:57 * rdococ spins 11:43:47 -!- S1 has joined. 11:49:53 -!- S1 has quit (Quit: Leaving). 11:50:11 -!- s1feha has joined. 11:56:55 esoteria 11:57:07 esoterraria? 11:57:44 -!- LKoen has joined. 12:00:11 I do want to try and set up a Linux distro with no GNU Software components. Possibly I should try to make it not have systemd either 12:13:47 -!- Phantom_Hoover has joined. 12:20:46 -!- boily has joined. 12:29:10 `wisdom 12:29:12 sanity//Sanity is the defining property of boily. Taneb invented it. 12:29:18 :D 12:30:46 (does that mean that Taneb didn't have it when they invented it...) 12:33:48 `? insanity 12:33:49 insanity? ¯\(°​_o)/¯ 12:34:18 ... 12:34:19 -!- LKoen has quit (Remote host closed the connection). 12:34:27 where's my defining characteristic then? 12:34:28 @time 12:34:32 Local time for int-e is Sat Mar 18 13:34:27 2017 12:34:35 -!- LKoen has joined. 12:34:46 @time lambdabot 12:34:46 I live on the internet, do you expect me to have a local time? 12:34:55 good, good, just checking. 12:37:06 @time HackEgo 12:40:53 int-ello, rdochelloc, lambdabellot, Tanelle. 12:41:05 `? rdococ 12:41:06 rdococ is apparently from Budapest, but probably not. Thanks to boily he is approaching permanent boredom. 12:41:27 rdococ: ↑ your characteristic. 12:42:38 that's not my defining characteristic. that's my alleged place of residence and note that I am approaching permanent boredom. 12:55:22 yup, it's very defining ^^ 12:56:10 you're apparently, but not seemingly. possibly, but probably not. extremely precise! 12:56:22 wut 12:56:34 the only remaining detail is if you're approaching boredom from the left or the right. 12:57:02 -!- tromp has joined. 12:57:52 tru 12:58:26 I'm a limit 12:58:34 approaching infinite boredom 12:58:57 limit x->boredom e^x 12:59:41 -!- boily has quit (Quit: PERPENDICULAR CHICKEN). 13:02:08 -!- tromp has quit (Ping timeout: 268 seconds). 13:02:26 -!- Lord_of_Life has quit (Excess Flood). 13:02:59 -!- Lord_of_Life has joined. 13:12:13 -!- xkapastel has joined. 13:18:39 -!- augur has joined. 13:22:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 13:22:47 -!- augur has quit (Ping timeout: 246 seconds). 13:23:00 -!- tromp has joined. 13:25:06 -!- Phantom_Hoover has joined. 13:29:49 -!- erkin has joined. 13:33:19 -!- s1feha has quit (Ping timeout: 240 seconds). 13:33:29 -!- Zarutian has joined. 13:35:15 -!- tromp has quit (Remote host closed the connection). 13:38:15 -!- tromp has joined. 13:44:46 -!- oerjan has joined. 14:08:53 * Robdgreat imposes sanctions on rdococ 14:09:22 I'm like the UN: my sanctions don't mean anything 14:09:34 they just make me feel better 14:25:50 Thanks to rdococ I found out about the NO_ACT ignore level in irssi. It's perfect! 14:26:33 ??? 14:28:54 Hm, I'm trying to like (or at least get accustomed to) git, but I can't help thinking that for the most part I prefer hg. 14:29:33 For me it's the same, except with "git" and "hg" swapped. 14:30:17 fair enough 14:30:48 (Though I would have objective reasons in favor of hg. It's easier to *teach*, for example, because the separate staging area in git tends to confuse people.) 14:31:18 the staging thing in git is just, like, you have to tell it which files you're going to commit, right? 14:31:41 int-e: the main point I think for me is that for many VCS tasks I prefer a gui, and TortoiseHg for Linux is exceptionally excellent. The Git GUIs for Linux I have tried so far aren't nearly as good. Or have much less functionality. Or are fully featured but uses 500 MB RAM because of java. 14:31:51 it's definitely one of those things which just causes friction when you're getting started, because you have no feel for why you'd want it 14:32:10 Phantom_Hoover: the thing that confuses people is that there are two uncommitted diffs, so to speak: git diff --cached (changes to be committed) and git diff (further changes). 14:32:36 ah yes, the godawful git UI strikes again 14:32:54 in particular git diff may produce unexpected output ("I had changes, where did they go?") 14:33:13 Phantom_Hoover: indeed, git UI is the main sticking point, or GUI in my case. If there was a good GUI to hide the UI I would be fine with it, 14:33:36 but then I like the in-repo branches and mercurial just doesn't work nicely that way... 14:34:01 int-e: it does have named branches, a bit more heavyweight than how git treats that concept 14:34:35 in git, isn't a branch basically just a movable label? 14:34:54 basically 14:35:09 while in hg it is an attribute of a commit that is by default (unless you create a new branch) inherited to child commits. 14:36:29 int-e: there is a bookmark extension that works more like git branches I think 14:36:35 haven't used it much 14:36:38 The most fundamental UI mistake in hg I've uncovered so far is the revision identified by "tip", which should have a name like "the-revision-that-somehow-currently-is-at-the-top-of-the-stored-file-history-unrelated-to-whatever-you-have-checked-out-and-are-working-on" or something to that effect. 14:36:39 (or at all really) 14:37:07 yes agreed, that tip doesn't mean much 14:37:18 I had initially mapped "tip" to git's "HEAD", and that caused *a lot* of issues. 14:37:43 int-e: for me, using tortoisehg for most of the stuff I do with hg, it is just a label in the GUI I don't really care about. I think you can hide it even. 14:37:44 (git's HEAD is "revision currently checked out") 14:38:02 well I'm addicted to command lines *shrugs* 14:38:20 I usually am too. Not for version control for some reason though 14:38:46 i mean version histories are a pretty textbook example of "something better presented graphically" 14:39:31 Phantom_Hoover: which is why I have a hard time getting to like git I think. None of the GUIs are great. They all have one fatal flaw or another so far. 14:39:32 I use a gui for browsing history. But not for creating commits... 14:41:02 it's the classic thing where command lines work great for input but are lousy at output 14:41:05 int-e: you get something like a staging area if you want in tortoisehg even, a list of files with checkboxes (or even diff chunks with the right hg extension loaded) that are to be included in the commit. It remembers what you checked too (until you close that repository). 14:41:33 and guis can display information really effectively but can be clumsy and bloated when you try to manipulate it 14:41:44 int-e: by default everything is checked, but I saw a setting somewhere for setting an expression for "auto uncheck". Presumably you could set that to "*" if you want or such 14:44:05 there's a "hg record" extension (stolen from darcs) which, like git commit --interactive, is based on darcs' "record" command... so doing partial commits is quite possible in all these tools 14:44:21 hmm, redundancy, how I love thee, how I love thee. 14:45:47 int-e: yeah enabling the record extension lets you select specific file chunks in tortoisehg if you want 14:46:36 int-e: also I love the MQ extension, patch queues. It is very well integrated into tortoisehg, letting you split and fold patches very easily. Reorder your commits prior to pushing. 14:47:09 I use branches and git rebase -i for that in git 14:47:46 yeah that would likely work too, as long as you remember what you want to push and what you don't want to push. 14:48:23 both are powerful enough and they are very similar, but just different enough to trip anybody who tries to use on of them like the other. Switching between them is really painful. 14:49:03 indeed 14:49:42 I use hg at work, so there is going to be that for the forseeable future. I just wonder to which version control system I should migrate my old bzr projects 14:49:43 brb 14:49:55 (and they have clashing vocabulary... like "pull" vs. "fetch" or "pull -u") 14:55:01 int-e: git doesn't check out sub-repos by default it appears 14:55:06 that annoys me compared to hg 14:57:32 -!- s1feha has joined. 15:10:41 in fact it seems by default git doesn't treat sub modules as they exist when doing operations on the main repository, letting you do stupid stuff by mistake. 15:15:55 `pastequotes 15:15:56 https://hackego.esolangs.org/fshg/index.cgi/file/tip/quotes 15:16:32 -!- Zarutian has quit (Ping timeout: 246 seconds). 15:16:36 `? insanity 15:16:37 insanity? ¯\(°​_o)/¯ 15:16:48 `le/rn insanity//You are just imagining this wisdom entity. 15:16:50 Learned 'insanity': You are just imagining this wisdom entity. 15:17:06 `grwp imagin 15:17:07 dark water:Dark water is an instadeath terrain type in Game Boy games that would represent lava if you had lots of imagination. \ hackego:HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. Ha 15:17:16 `2 grwp imagin 15:17:18 2/5:sandboxing. HackEgo is the slowest bot in all Mexico! \ hallucination:You are just imagining this wisdom entry. \ imaginary unit:The imaginary unit is what you get when you take the square root of love \ insanity:You are just imagining this wisdom entity. \ Binary file reflection matches \ soviet russia:Soviet Russia used to be a syno 15:17:26 `n 15:17:27 3/5:nym for the Soviet Union. In reality, the Soviet Union dissolved. Meanwhile, Soviet Russia dissolved reality, and you are a figment of its imagination. \ zarutian:You can trust Zarutian. He fixes, as an electronics technician, banal mistakes of electronics engineers. Rather cy(ph|b)erpunkish in outlook regarding the 'Net. Knows more a 15:17:35 argh 15:17:42 `n 5 15:17:43 5/5:Even though the Icelandic unnerver has its own. 15:18:23 Zarutian's verbosity is no match for my intelligence 15:18:42 -!- PinealGlandOptic has joined. 15:20:16 `grwp Imagin 15:20:18 imagine:Imagine was the only song not interrupted after two stanzas on the opening ceremony of the 2012 London Olympic Games, a calm moment in an otherwise chaotic rush through fifty pop songs. \ Binary file reflection matches 15:22:19 `slwd insanity//s/Y/Unless you are boily, y/ 15:22:21 insanity//Unless you are boily, you are just imagining this wisdom entity. 15:23:38 oerjan: what does grwp stand for? 15:23:39 Also hi! 15:24:04 Vorpal: grep wisdom 15:24:46 ah 15:24:51 also good afternoon 15:25:25 `cat bin/grwp 15:25:26 ​#! /bin/bash \ cd wisdom; shopt -s dotglob; grep -R "$@" -- * 15:25:27 indeed 15:26:18 I've been working on a Euclidean Geometry renderer 15:26:34 But I think it has a few flaws 15:26:46 It can't work out where two circles intersect 15:27:32 you need algebraic numbers 15:27:53 I think I can make do with constructible numbers 15:28:02 OKAY. 15:28:12 But I don't know how to implement either in C :( 15:28:22 which is just the subset reachable with square roots. 15:28:23 Taneb: can't you just approximate it with floats? 15:28:32 -!- augur has joined. 15:28:45 Taneb: so use a different programming language ;) 15:29:26 Vorpal, currently I am approximating it with longs 15:29:27 (smiley because I rather suspect that this isn't the real problem... though C is bound to make this stuff quite verbose) 15:29:40 int-e, ah, but you see, my long term goal is to enter the IOCCC 15:29:59 Taneb: well, at least prototype in a different programming language 15:30:28 in order to avoid bridging too many levels of abstraction at once 15:32:40 if the circles have radii r, R and distance D, then you get some pythagoras r^2 = h^2 + x^2; R^2 = h^2 + X^2, x+X = D 15:33:11 -!- augur has quit (Ping timeout: 256 seconds). 15:34:11 with the intersections being h away on the normal between them at distance x and X from either. 15:34:44 or if the centres are at (-x,0), (X,0), the intersections are at (0, +-h) 15:35:39 no solutions if r+R < D. 15:36:23 or r+D < R or R+D < r, i guess. 15:37:50 r^2 - R^2 = x^2 - X^2 = D*(x - X) 15:39:03 = D*(D - 2*X), so X = D - (r^2 - R^2)/D 15:39:23 er *X = (D - (r^2 - R^2)/D)/2 15:39:48 hm not a square root in sight, can that be right 15:40:01 (you'll get one in h, of course) 15:41:25 x = (D + (r^2 - R^2)/D)/2 15:41:37 -!- MDead has joined. 15:42:10 h^2 = x^2 - r^2 = urm 15:43:58 -!- MDude has quit (Ping timeout: 240 seconds). 15:44:01 -!- MDead has changed nick to MDude. 15:45:04 I should think about some IOCCC submission ideas too… 15:46:02 = D^2/4 + (r^2 - R^2)/2 + (r^2 - R^2)/(4*D^2) - r^2 15:47:14 bah never mind, you should already have x and r. 15:48:10 Taneb: ^ 15:49:20 as usual, my attempt to think math attracts noise from the neighbors. 16:25:48 -!- int-e has set topic: Wanted: long-lived topic | The exact geometry channel | http://esolangs.org/ | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | For extensive phở testing, use #esoteric-blah. 16:38:28 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 17:01:08 -!- oerjan has quit (Quit: Later). 17:01:37 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...). 17:06:11 -!- Zarutian has joined. 17:12:59 -!- kiki` has joined. 17:21:04 -!- Phantom_Hoover has joined. 17:45:32 -!- AnotherTest has quit (Ping timeout: 258 seconds). 17:57:54 @tell oerjan Many thanks 17:57:54 Consider it noted. 18:23:49 -!- augur has joined. 18:23:58 -!- augur has quit (Remote host closed the connection). 18:34:33 -!- augur has joined. 18:58:27 -!- Zarutian has quit (Quit: Zarutian). 19:11:00 -!- augur has quit (Remote host closed the connection). 19:35:42 -!- tromp has quit (Remote host closed the connection). 19:39:09 -!- s1feha has quit (Quit: Leaving). 19:53:26 -!- yabi has joined. 19:58:15 -!- yabi has quit (Client Quit). 19:59:46 -!- hakatashi has quit (Remote host closed the connection). 20:00:05 -!- hakatashi has joined. 20:00:34 -!- DHeadshot has joined. 20:13:43 -!- lambdabot has quit (Quit: hmm). 20:16:34 -!- DHeadshot has quit (Ping timeout: 258 seconds). 20:20:09 -!- lambdabot has joined. 20:20:32 This document is draft of picture format of TAVERN http://zzo38computer.org/fossil/tavern.ui/wiki?name=Pictures You can write comment/suggestion/question/complaint of it please. 20:28:46 > 1 20:28:48 1 20:28:54 @botsnack 20:28:54 :) 20:28:56 @version 20:28:56 lambdabot 5.1.0.1 20:28:56 git clone https://github.com/lambdabot/lambdabot 20:30:22 -!- Zarutian has joined. 20:30:28 -!- lambdabot has quit (Remote host closed the connection). 20:35:18 -!- lambdabot has joined. 20:36:33 -!- tromp has joined. 20:41:21 -!- tromp has quit (Ping timeout: 260 seconds). 20:47:13 -!- augur has joined. 21:19:28 -!- Lord_of_Life has quit (Excess Flood). 21:23:29 -!- Lord_of_Life has joined. 21:26:16 -!- PinealGlandOptic has quit (Quit: leaving). 21:51:20 -!- Lord_of_Life has quit (Excess Flood). 21:51:54 . o O ( lambdabot: so how do you like NYC? ) 21:52:29 -!- Lord_of_Life has joined. 21:53:18 -!- Lord_of_Life has quit (Excess Flood). 21:53:58 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 21:54:29 -!- Lord_of_Life has joined. 23:02:42 -!- Phantom_Hoover has joined. 23:37:32 -!- tromp has joined. 23:38:03 -!- boily has joined. 23:40:42 `wisdom 23:40:43 foe//the foe is the Field-On Enemy 23:40:54 F O E! F O E! ♪ 23:42:02 who's writing a foeilleton? 23:42:23 -!- tromp has quit (Ping timeout: 264 seconds). 23:42:26 though perhaps that's not musical. 23:43:06 . o O ( a floete is an unfriendly instrument ) 23:45:46 * boily thwacks int-e. 0.20 FP. 23:46:17 https://www.youtube.com/watch?v=dB_PVPyn6n8 23:47:15 -!- oerjan has joined. 23:48:05 hellørjan. 23:48:22 helloily. 23:48:34 @messages-gold 23:48:34 Taneb said 5h 50m 39s ago: Many thanks 23:49:19 -!- zgrepc has quit (Excess Flood). 23:50:02 -!- zgrepc has joined. 23:50:53 is lambdabot in new york now? 23:51:30 . o O ( surely you weren't keeping it on CaC... ) 23:52:00 CaC? 23:52:14 @ask lambdabot hellombdabot. where are you? 23:52:14 Nice try ;) 23:52:28 cloud at cost 23:52:41 where HackEgo still is 23:52:59 oh, that Wretched Thing. 23:53:37 HackEgo: So how do you like Canada? 23:54:53 fizziello. Canada isn't wretched hth 23:55:10 No, but that's where CaC lives. 23:55:33 http://www.kwdatacentre.com/ <- there 23:55:46 *gasp* 23:56:09 ("Kitchener" is a funny name.) 23:56:28 (So's "Kirkland".) 23:57:57 I like Kirkland. it's Costco's inhouse brand. it's made of good. 23:58:09 It's also a city, I think. 23:58:21 I think we've got an office there. 23:59:00 https://careers.google.com/locations/seattle-kirkland/ apparently so 23:59:24 it's a suburb in the West Island: https://en.wikipedia.org/wiki/Kirkland,_Quebec 23:59:41 fizzie: Are you moving to Kirkland?