00:00:01 Zarutian: indeed. by some meanings. 00:00:14 (One could argue that a circle is \lim (x -> inf) ngon(n=x, r=c) for some constant c, I suppose) 00:00:42 there were important theorems in functional analysis that used cone in a general meaning. the base would frequently be infinite-dimensional... 00:00:55 what are those functions called that produce an circle when plotted on polar cordnates where the radius is the magnitude and time is the angle? 00:01:16 -!- DHeadshot has joined. 00:01:19 oerjan: If we do this, though, a cone is a pyramid, not vice versa. 00:01:20 vigurföll they are called in Icelandic but I do not know their english name 00:02:53 hppavilion[1]: i think it's about a coin toss whether you use "cone" or "pyramid" for the general concept. 00:03:36 hppavilion[1]: be contrary and use "wedge" just to drive one between the use of cone and the use of pyramid 00:04:24 oerjan: 'pyramid' has always included things other than regular tetrahedrons- you can have square-based pyramid, a pentagon-based pyramid, a hexagon-based pyramid, etc. 00:04:56 "Cone" has always meant a roundoid base. Therefor, a cone is a pyramid with a circloidal (aka elliptic) base 00:06:35 my battery thinks it's charged at 103% <-- maybe it's in a manic phase hth 00:06:42 I am wondering where on the gradient of number of angles of the base polygon the split is between cones and pyramids 00:06:57 i'm worried that my laptop is going to explode 00:07:26 ørjan, i set up a autoreplace. <-- what? 00:07:39 izalove: that or a faulty coloumb counter in the battery 00:07:44 ørjan, dont you see? :P 00:09:30 OKAY 00:09:50 -!- DHeadshot has quit (Ping timeout: 250 seconds). 00:10:08 Zarutian: what does "vigur" mean? 00:10:29 (wait, why don't i just look it up) 00:10:47 oerjan: it is the kind of the resultant plot described but I do not recall its original meaning. 00:11:07 huh "vector" claims wiktionary 00:11:25 eh, that is an incorrect usage I think. 00:11:35 vector is just vektor in Icelandic 00:11:39 also "spear" 00:11:50 and a cow stomach 00:11:59 (a particular one) 00:12:29 one of the four if I recall correctly 00:13:25 if vigurföll means "spear fall", could be parabola? 00:13:29 *could it 00:14:06 eh, isnt parabolas usually only ploted on cartesian coordnate system instead of the polar one mentioned? 00:14:30 well sure. i cannot recall your polar ones. 00:14:40 vigurföll is compound word for vigur functions. 00:15:33 I heard they were very popular for calculating the shape of camshafts 00:15:45 what's a camshaft 00:16:10 oh hm 00:17:59 ok i'm not sure i even understand what you are asking. 00:18:28 what are the domains and ranges of these functions 00:19:24 range of the functions input is from 0 to 2π, their results are the radius at that degree 00:20:36 a function of this sort that always returns a constant produces the unit circle (if the constant is the unit that is) 00:21:16 well you said they were "circle"s. that term doesn't apply to camshafts afaics 00:21:50 one function that always returns the same constant regardless to its input to be more spefic 00:22:31 fine, now give me a function of this type that isn't a constant. 00:23:51 f(degree) := degree + 42; this should produce an spiral 00:24:00 oh. 00:24:31 ok that's not even a closed path. totally misunderstood the circle part then. 00:24:47 (a clockwise/solarwise spiral at that) 00:25:31 anyway, it doesn't sound like what you're after is a name for the _functions_ at all, but rather for this way of plotting them. 00:25:38 well, there are more complex functions that I do not recall at the moment that produce an closed loop 00:26:00 because it seems like you can use any positive real function on [0, 2pi] 00:26:12 and those functions that produce closed loops in this way are called vigurföll in Icelandic 00:26:34 ok. that'd just be "periodic function" afaict. 00:27:16 i have this hunch this might be an engineering term more than a math term 00:27:17 huh, so there isnt an particular name for them in English I see 00:27:31 (and i'm _so_ not an engineer.) 00:28:22 it is more an enginnering term yes but it is also very math related as well 00:28:50 engineering is just approximathematics applied to the real world, like. 00:29:22 -!- MDead has joined. 00:32:08 -!- MDude has quit (Ping timeout: 245 seconds). 00:32:10 these functions also come into three phase electricity production 00:35:16 -!- imode has joined. 00:36:30 `le/rn Zarutian/You can trust Zarutian. They are an engineer. 00:36:33 Learned 'zarutian': You can trust Zarutian. They are an engineer. 00:36:43 -!- MDead has quit (Ping timeout: 256 seconds). 00:37:32 boily: No, it is worse than that, I am an techincian that has to fix mistakes of engineers. 00:38:11 `le/rn Zarutian/You can trust Zarutian. They trust engineers. 00:38:14 Relearned 'zarutian': You can trust Zarutian. They trust engineers. 00:39:11 boily: ya not getting it, eh? 00:39:15 :D 00:40:13 don't worry, I studied engineering back in university. I just can't call myself an engineer because I don't pay my tithe to the mafia. 00:41:04 http://www.oiq.qc.ca/Pages/accueil.aspx ← bad people. meanies. bleh. 00:41:08 Zarutian: it must be true. you can trust wisdom, after all. 00:44:31 boily: what kind? structural, mechanical, electrical, electronic, computing? 00:49:26 computing! 00:50:02 (not software engineering, mind you. proper computing, with burning and exploding electronics.) 00:50:15 hmm... ISA, micro architecture and such? 00:52:27 boily: ^ 00:53:01 µC, analog stuff, signal processing, machine learning, robotics, computer vision... 00:54:00 -!- PinealGlandOptic has joined. 00:54:02 boily: µC standing for micro code? 00:54:15 microcontrollers. 00:55:24 oh, so you are basically in the more theoritical and mathy part of electronics why I am in more of the practical hands on (such as the manifacturing of such)? ;-Þ 00:56:30 what do you think of the FRAM based MCUs from Texas Instruments like MSP430FR and co? 00:56:40 that's about it. I suffered through many integrals and Laplace transforms to earn my degree. 00:57:36 good stuff, haven't used them. 00:57:46 * Zarutian hasnt still found an PCB layout autorouter that works reliably for his taste. 01:05:28 -!- moonheart08 has changed nick to therealmoonmoon. 01:07:39 -!- therealmoonmoon has changed nick to moonythedwarf. 01:07:43 -!- moonythedwarf has changed nick to moonheart08. 01:08:39 moonmoonmoonmoonmoonmoonmoonmoon ♪ 01:10:17 -!- computing has joined. 01:12:26 -!- moonheart08 has quit (Ping timeout: 244 seconds). 01:14:24 -!- moonheart08 has joined. 01:15:05 -!- computing has quit (Ping timeout: 265 seconds). 01:20:54 -!- moonheart08 has quit (Ping timeout: 250 seconds). 01:35:34 -!- Cale has quit (Remote host closed the connection). 01:44:00 `? estin 01:44:03 estin didn't believe in automation. 01:44:04 ↑ who's estin? 01:45:17 -!- Bowserinator has quit (Changing host). 01:45:17 -!- Bowserinator has joined. 01:46:13 `` culprits wisdom/evilipse 01:46:15 oerjän moon_̈_ moon_̈_ 01:47:05 * boily is beginning to understand the whole affair... 01:48:15 I put evilipse under "Things". if they dare manifest themselves to be rechaptered, then it shall be. 01:48:16 `culprits useless_file.txt 01:48:18 fizzïe estin 01:48:25 hth 01:48:41 ih. 01:49:00 btw, the PDF is up to E. 01:49:30 very good 01:50:55 boily: i think eir usual nick is "eclipse" or something like that, but e doesn't seem to have been staying after the event. 01:51:10 oh. 01:51:31 it was on the day when several people changed their nicks to evil.* 01:53:26 I didn't. I'm not evil. 01:54:38 `slwd boily//s/an /an, and not evil either / 01:54:40 wisdom/boily//"Only sane man" boily is monetizing a broterhood scheme with the Guardian, and not evil either of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the 01:54:44 oops 01:54:47 `revert 01:55:00 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 01:55:07 hmph there's not actually room. 01:55:33 `wisdom 01:55:35 rust//Rust is C++ as designed by the makers of Haskell. 01:56:12 `wisdom boily 01:56:13 amphiboily//Amphiboily is Franglish grammatical hambiguity, rewarded with a mapole. 01:56:16 `wisdom boily 01:56:17 things boily likes//Fire is good. I like fire. Also chicken. And phở. Moreover, cubes. 01:56:20 argh 01:56:28 `wisdom ^boily$ 01:56:29 That's not wise. 01:56:35 fff 01:56:42 `` sed -i 'sroterother' wisdom/boily 01:56:44 No output. 01:57:23 boily: i'd been assuming that was intentional 01:57:27 `wisdom boily 01:57:28 amphiboily//Amphiboily is Franglish grammatical hambiguity, rewarded with a mapole. 01:57:50 i guess there is no way to root a glob 01:57:53 `wisdom boily 01:57:54 things boily likes//Fire is good. I like fire. Also chicken. And phở. Moreover, cubes. 01:57:55 `wisdom boily 01:57:58 boily//"Only sane man" boily is monetizing a brotherhood scheme with the Guardian of Lachine, apparently involving cookie dealing. He's also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken and a METARologist. He is seriously lacking in the f-word department. He is also a renowned Capitalist who helps keep the world boring. 01:58:06 good. 01:58:37 what'd'ya mean, to root a glob? 01:58:59 boily: `wisdom takes a file glob as argument iianm 01:59:26 and i don't know any way to match boily without matching everything that contains it 01:59:52 `cat bin/wisdom 01:59:53 f=$(find wisdom -ipath "wisdom/*$1*" -type f -print0 | shuf -z -n1); if [ -n "$f" ]; then echo -n "${f#wisdom/}//"; cat "$f"; else echo "That's not wise."; fi | rnooodl 01:59:59 oh. so I match everything that match me, without matching myself... 02:00:15 * boily is having an existential crisis 02:00:26 no, you also matched yourself, it just took a while 02:00:53 why not `? twh 02:01:13 `? oerjan 02:01:14 Your renouned itymologist evil octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:02:06 `slwd oerjan//s#renouned#reverberated# 02:02:08 wisdom/oerjan//Your reverberated itymologist evil octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 02:02:09 `? Zarutian 02:02:11 You can trust Zarutian. They trust engineers. 02:04:33 the wisdoerjan reads like an ent-name. 02:04:42 why not `? twh <-- because i was testing if it was too long in that format 02:05:15 `le/rn Zarutian/You can trust Zarutian, he fixes, as a techincian, banal mistakes of engineers. Also a provider of authentic fakes. 02:05:16 Ah. 02:05:19 Relearned 'zarutian': You can trust Zarutian, he fixes, as a techincian, banal mistakes of engineers. Also a provider of authentic fakes. 02:05:40 shachaf: darn, i thought i had successfully eviscerated the grammar 02:06:09 it reverberated hth 02:06:22 * oerjan swats shachaf -----### 02:06:47 Zarutian seems to have the wisdom spirit. 02:07:13 oerjan: Really? I thought you'd be irritated that it's not in `learn style. 02:07:21 oerjan: what gave me away? 02:07:44 shachaf: it has the keyword tdh 02:08:26 Zarutian: in fact if i didn't know you'd added it, i would have guessed boily. 02:08:52 from the general styling. 02:09:08 he he he ^^ 02:10:34 "phi" is the plural of "phus" 02:10:59 OKAY 02:11:19 hppavilion[1]: what is the inspecified plurality version of it? 02:11:29 Zarutian: "pho" hth 02:11:48 `? pho 02:11:48 Phở is a Vietnamese soup invented by noooodl to stress-test implementations of Unicode combining characters. 02:12:05 (Pronounced "fuh?", while Pho as in Vietnamese food is pronounced "foh") 02:12:13 `? Phở 02:12:14 Phở là một món ăn truyền thống của Việt Nam, cũng có thể xem là một trong những món ăn đặc trưng nhất cho ẩm thực Việt Nam. 02:12:16 Zarutian: The dual, on the other hand... 02:12:35 Hm, in a conlang, is it better to consider 0 whatevers as plural or singular? 02:12:53 hppavilion[1]: hm bad choice, -o is the usual latin dual ending (in the two words that have it) 02:13:12 (duo and ambo) 02:13:15 Oh 02:13:26 oerjan: I see what you... wait, did you do something there? 02:13:32 phech, da accentials of that Phở are too uncomplex 02:13:47 (or dual or unspecified, if the language supports it?) 02:14:20 `? #esoteric 02:14:20 ​#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional hyperenchilada about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. 02:14:40 -!- augur has quit (Ping timeout: 260 seconds). 02:14:44 `` dowg '#esoteric' | grep enchilada 02:14:46 2016-08-03 slwd #esoteric//s#whatever#enchilada# 02:15:10 hppavilion[1]: you should peruse the beautifully formatted and well-typeset PDF. it is good for your health and will cure your ailments! 02:15:11 "The duality of pattern-forms is usefull in both recog and recall, though in the latter it might be shorn of most of its meta-stimuli-quila." 02:15:16 `slwd #esoteric//s#hyperenchilada#IRC channel# 02:15:18 wisdom/#esoteric//#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional IRC channel about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. 02:15:51 please refrain from modifying entries between A and G. the paint is still fresh. 02:15:56 Zarutian: that's why i made `? brilliant hth 02:16:05 `? brilliant 02:16:06 ​B҉ͭR̲̞Iͪ͞L̡͠L̝̊I̤ͣA̍҉N̏́T̈͡ ̐̇ȉ̲s̉̐ ̸̉ḷ̂i̪̱k͉ͬḛ็ ͓̪t็ͬh̺̊e͜͢ ͏͛B̈ͅE̳̘S̰ͤTͬͧ ̰̕w̺̼o̷̓ŕ͂d̹̠ ͍͑i͚̾n̺̮ ̇͑t͗̍hͧ͌ḙ͕ ̻͜ű̖ňͤi̴͠v̸̧ḛ͔ř̭s͍͠ẻ̗ ͏̲a̮̺nͣ͟d̝ͨ ̳͗i̟͘ẗ͎ ̼̲ẘ̦i̭ͮl̢̋l̨̉ ̺͌c̑͡h 02:16:13 I AIN'T LATEXING BRILLIANT! AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH! 02:16:17 me eyes! 02:16:23 `doag #esoteric 02:16:24 No output. 02:16:26 `? tanebventions 02:16:27 Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, weetoflakes, persistence, the BBC, _46bit, progress, sanity, the Oxford comma, and this sentence. See also tanebventions: math. He never invents anything involving sex. 02:17:08 `? bbc 02:17:09 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets, tiny elfs, and villages in Norway. Taneb invented it. 02:17:20 `? A 02:17:21 A is _not_ a village in Norway, unless you're the BBC and don't understand things on top of letters. 02:17:28 `slwd #esoteric//s#hyperenchilada#IRC channel# <-- you are messing up the triangle and robert reference ;_; 02:17:30 I should start walking to have dinner with my r:[Pm], r:[PmPf], r:[PmSm2], and r:[PCf*] 02:17:31 oops 02:17:35 oerjan: Oh. 02:17:38 `revert 02:17:39 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 02:17:44 wait, I have seen a commercial for weetoflakes. Pretty good brand is the Möbiusien. 02:17:47 `before 02:17:49 wisdom/#esoteric//#esoteric is the only channel that exists. After monqy left it became slightly off-centër. It's a 7-codimensional IRC channel about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. Currently located in the Atlantis Exclusion Zone. 02:17:49 I also seem to have just invented a notation for family members with arbitrary specificity 02:17:52 Although references should be discouraged. 02:18:02 shachaf: you prefer pointers? 02:18:12 hppavilion[1]: what? sibs? 02:18:16 (Can't handle people with multiple links, though (e.g. double-cousins, to give a nonsquick example)) 02:19:13 Zarutian: P means 'parent', C means 'Child', 'S' means 'Spouse', a number after S means remarriage, 'm' means 'male' applied to the previous link, 'f' means 'female' applied to the previous link 02:19:29 `learn A is a village in Norway. The BBC invented it by not understanding things on top of letters. 02:19:32 Learned 'i': A is a village in Norway. The BBC invented it by not understanding things on top of letters. 02:19:40 #scow 02:19:40 "*" means "no genetic relation" and is optional 02:19:45 `forget i 02:19:47 Forget what? 02:19:49 `dowg #esoteric 02:19:50 hppavilion[1]: what about concurrent Spouses? 02:19:50 2016-10-20 revert \ 2016-10-20 slwd #esoteric//s#hyperenchilada#IRC channel# \ 2016-10-18 slwd #esoteric//s/May contain crude drawings of nuts. // \ 2016-10-18 slwd #esoteric//s/$/ Currently located in the Atlantis Exclusion Zone./ \ 2016-09-25 revert 942e964c81c1 \ 2016-09-25 < 02:19:59 oerjan: That's what I get for trusting `learn! tdnh 02:20:02 hppavilion[1]: you know like those multi families. 02:20:06 Zarutian: Multiple concur- dammit 02:20:10 Zarutian: That's an issue too 02:20:29 I need to go now. I'll probably have a better system soon. 02:20:32 `le/rn a/A is a village in Norway. The BBC invented it by not understanding things on top of letters. 02:20:34 Relearned 'a': A is a village in Norway. The BBC invented it by not understanding things on top of letters. 02:20:43 -!- Cale has joined. 02:20:54 Cale: whoa whoa whoa, nyc? 02:21:10 oh  or was it Å? 02:21:16 yeeee 02:21:24 I'm here until next Sunday 02:21:38 I'm here until further notice. 02:21:42 Cale: that cemental, eh? 02:21:43 But "here" is California. 02:22:08 `? cemental 02:22:08 cemental? ¯\(°​_o)/¯ 02:22:10 @metar KFJK 02:22:12 No result. 02:22:15 Cale: Hm, I'm a bit surprised you're in NYC now, actually. 02:22:18 @metar KJFK 02:22:19 KJFK 200051Z 36010KT 10SM SCT065 SCT250 23/07 A3009 RMK AO2 SLP190 T02330072 02:22:25 @metar CYUL 02:22:26 CYUL 200100Z 31003KT 15SM SKC 11/06 A3013 RMK SLP206 02:22:29 shachaf: The people I work for are in NYC 02:22:34 (Obsidian Systems) 02:22:45 -!- augur has joined. 02:22:54 shachaf: So I come down from time to time 02:23:16 Oh, I mixed up the people you worked for with other people. 02:24:44 `le/rn cemental The feeling of being cemented in place and it is making you mental. Can happen in ackward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking an reluctantly ontaken social responsibility. 02:24:44 No output. 02:24:46 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 02:25:04 `le/rn cemental/ The feeling of being cemented in place and it is making you mental. Can happen in ackward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking an reluctantly ontaken social responsibility. 02:25:06 Learned 'cemental': The feeling of being cemented in place and it is making you mental. Can happen in ackward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking an reluctantly ontaken social responsibility. 02:25:11 `help 02:25:11 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 02:25:34 i'll let oerjan clean that one up 02:26:07 (whether by removing the leading space or deleting it entirely) 02:26:38 oerjan: the spirit of wisdom further manifesting, neah? 02:26:43 * boily feels like a librarian trying to build a sandcastle while the microwave's beeping 02:27:03 `? hfs 02:27:04 ​You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface. 02:27:22 ↑ are the typoes voluntary? 02:27:32 typøs 02:27:40 boily: not since the errorists won 02:27:50 `? typoerjan 02:27:51 typoerjan? ¯\(°​_o)/¯ 02:28:08 `learn typoerjan is oerjan's clumsy twin. 02:28:10 Learned 'typoerjan': typoerjan is oerjan's clumsy twin. 02:28:22 oerjan: the spirit of wisdom further manifesting, neah? <-- you're slipping on the format tdnh 02:28:31 * boily mapoles Zarutian. 0.1 Sh. 02:29:01 `slwd cemental//s/ //;s/ an / a / 02:29:03 wisdom/cemental//The feeling of being cemented in place and it is making you mental. Can happen in ackward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking a reluctantly ontaken social responsibility. 02:29:26 `slwd cemental//s/T/"Cemental" is t/ 02:29:29 wisdom/cemental//"Cemental" is the feeling of being cemented in place and it is making you mental. Can happen in ackward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking a reluctantly ontaken social responsibility. 02:30:33 `slwd cemental//s/ack/awk/ 02:30:35 wisdom/cemental//"Cemental" is the feeling of being cemented in place and it is making you mental. Can happen in awkward infrequent family gatherings such as Easter-Bum-Hunting where one cannot leave without breaking a reluctantly ontaken social responsibility. 02:31:15 what is mental? 02:31:15 öfugr 02:32:21 shachaf: a hooker upped to the gills on hateballs, lusto and Stamina™ 02:33:00 * boily feels like a librarian trying to build a sandcastle while the <-- how many metaphors were you mixing there... 02:33:03 microwave's beeping 02:33:19 `cwlprits hfs 02:33:20 fizzïe evilips̈e zzo3̈8 oerjän oerjän 02:33:54 `learn typoerjan is oerjan's clumsy twin. <-- i'm pretty sure i'm more sufficiently clumsy myself hth 02:34:49 argh that stupid irssi regression again 02:35:10 `` dowg hfs | tac 02:35:11 2016-05-08 ` le/rn "hfs//"`hfs` \ 2016-05-08 ` le/rn "hfs/"`hfs` \ 2016-05-08 ` le/rn "hfs/`hfs`" # Maybe this way better? \ 2016-09-25 ` chmod 777 / -R \ 2016-09-25 revert 942e964c81c1 02:35:32 wait wat 02:35:39 `? hfs 02:35:40 ​You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface. 02:36:01 `? hf 02:36:02 hf? ¯\(°​_o)/¯ 02:36:09 AAAAAAA 02:36:11 oh 02:36:12 Hlutafélag 02:36:22 `hfs 02:36:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: hfs: not found 02:36:25 (PartsCompany) 02:36:52 boily: i believe it was generated from a program hth 02:37:03 `hoag bin/hfs 02:37:06 rm bin/hfs \ mkx bin/hfs//erro \'You have discovered an eerie cavern. The air aboe the dark stone floor is alive ith vortices of purple light and dark, boiling clouds. Seemingly bottemless pits mark the surface.\' erro "$1" erro \'stands below\' \ mkx bin/hfs//erro \'You have discovered an eerie cavern. The air a 02:37:26 boily: a rather stupid one, hm 02:38:39 boily: oh now i remembered. i used that method just to turn it into a wisdom before deleting the bin/ 02:39:39 is there an hg access portal to HackEgo permanent state? 02:39:46 `url 02:39:47 http://codu.org/projects/hackbot/fshg/ 02:39:55 Oh, that's much shorter than the `help output. 02:40:52 Zarutian: you can also run (readonly) hg commands inside HackEgo. 02:41:20 oerjan: I am perhaps going to backup the wisdom 02:41:49 ah. 02:42:07 TIL (Today I LaTeX): apparently, nothing special has to be done for ŋ. it just works. 02:42:08 fizzie keeps backups at least. 02:42:25 there's the PDF. the magnificent PDF. the one and only. 02:42:27 (iirc) 02:42:45 `? ŋ 02:42:45 ​ŋ? ¯\(°​_o)/¯ 02:43:09 enough typesetting for the night. 02:43:16 `learn ŋ just works. 02:43:18 'night all! 02:43:24 -!- boily has quit (Quit: AMORPHOUS CHICKEN). 02:49:54 * Zarutian is off to bed as well. 02:50:10 -!- Zarutian has quit (Quit: Zarutian). 02:52:21 oerjan: So what did I want this "derivative of a sphere" to be, anyway? 02:52:32 Do people define the "derivative of a surface"? 02:52:40 -!- otherbot has quit (Remote host closed the connection). 02:52:56 heck if i remember 02:53:26 So the derivative of a sphere assigns to each point on the sphere a plane. 02:53:28 (A 2-sphere.) 02:53:47 Presumably, if you have the set of points {(x,y) | x <- R, let y = f(x)}, the derivative of that one-dimensional surface is the same thing as the derivative of the function. 02:53:51 well that's a tangent plane, i dunno if that's called the "derivative". 02:55:51 OK, well, if you have a 2-dimensional surface which is a subset of R^3 such that any dimension can be expressed as a function of the other two, you can take the derivative of that function. 02:56:07 And you end up with the same thing as the family of tangent planes. 02:56:09 Right? 02:57:11 So this generalizes derivatives : R^n -> R 02:57:13 i don't know. 02:57:58 i do not remember such a concept by the name of "derivative". 02:58:08 OK, well, call it something else. 02:58:28 Actually, does it have a name? 02:59:31 if it doesn't happen to be div then i don't remember that either. 02:59:37 Presumably something to dow ith tangent bundles? 03:00:44 i think i mentioned something asking someone who actually knows differential geometry. 03:00:49 *something about 03:01:49 Anyway, what I was wondering was about cases more general than R^n -> R 03:01:55 What if you have R^n -> R^m? 03:02:10 -!- oerjan has left. 03:02:32 hm 03:02:49 I didn't mean to ask oerjan specifically there, just the channel. 03:03:24 I guess I should have taken it elsewhere, anyway. 03:11:43 `? oerjan 03:11:44 Your reverberated itymologist evil octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:12:03 `slwd oerjan//s#evil#gracious# 03:12:05 wisdom/oerjan//Your reverberated itymologist gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:13:07 `slwd oerjan//s#5#9# 03:13:08 wisdom/oerjan//Your reverberated itymologist gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:13:17 `slwd oerjan//s45#9# 03:13:18 sed: -e expression #1, char 6: unterminated `s' command 03:13:20 ugh 03:13:40 `slwd oerjan//s#4#9# 03:13:42 wisdom/oerjan//Your reverberated itymologist gracious octoberlord oerjan is a lazy expert in suture complication. Also a Pre-recombination Glaswegian who passionfruitly dislikes Roald Dahl. Lately when he tries to remember a word, "amortized" pops up. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it. 03:19:34 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:42:19 -!- oerjan has joined. 03:44:41 oerjan: my apologies tdnh 03:45:44 APOLOGY ACCEPTED 03:46:15 * oerjan likes green, anyway 03:50:42 -!- `^_^v has joined. 04:01:14 whoa whoa whoa 04:01:16 Oh. 04:01:25 I was wondering how you could tell it was green, but you probably used /msg. 04:01:41 Even since I started using /query HackEgo as a place to take important notes, I've stopped using /msg 04:01:52 Which is probably a bad plan for many reasons, all in all. 04:01:59 CORRECT 04:02:15 which part is correct 04:02:32 using /msg. or rather my HackEgo window. 04:02:36 but will you accept the result of the election? 04:03:12 oerjan for king of norway twh 04:04:16 but harald seems like such a nice guy... 04:04:29 and he doesn't have any powers anyway. 04:04:35 well nearly any 04:04:41 exactly hth 04:04:49 octoberlord is already too much power 04:04:50 >_> <_< 04:05:15 Are you going to give up your power come November? 04:05:30 Or will your last act as Octoberlord be to declare yourself Novemberlord? 04:05:48 i will _not_ declare myself novemberlord hth 04:05:56 tdnh 04:06:09 will you relinquish your power 04:06:23 s/nqui// 04:08:19 certainly you'll relish all the power you've mustered so far 04:08:27 if you don't, you'll find yourself playing catchup 04:09:25 i was going to swat you but the second line was overdoing it. 04:10:26 I thought people got swatted *for* overdoing it. 04:17:33 Is it too much to ask what the second derivative of f(x,y) = x^2 + y^2 - 1 is? 04:17:42 AAAAAAAAAAAAAAAAAAAAAAAA 04:20:05 d/dt(2x dx/dt + 2y dy/dt) = 2 dx/dt + 2x d^2 x/dt^2 + 2 dy/dt + 2y d^2y/dt^2 04:23:03 I think the second derivative is a bilinear function at each point. 04:23:22 Df(x,y)(a,b) = 2xa + 2yb 04:23:34 DDf(x,y)(a,b)(u,v) = ? 04:24:07 /leave 04:24:42 this isn't even differential geometry 04:24:50 But OK, I'll stop asking in here. 04:38:54 <\oren\> Well that was a nice bit of television making me proud to be Canadian! 04:39:40 the debate? 04:39:45 <\oren\> yup 04:40:03 can I request citizenship. 04:40:34 <\oren\> http://www.cic.gc.ca/English/ 04:42:01 this is one of the times when I'd prefer to sit in an ivory tower. 04:46:42 <\oren\> as far as I can tell, it would be fairly easy for americans to move here for four years to wait out a trump presidency 04:47:46 <\oren\> Maybe our immigration bureau would even give americans refugee status 04:49:20 why only a trump presidency. they're both equally terrible, and clinton is an outright criminal. 04:49:27 no matter who wins, we lose. 04:49:38 I would rather vote for my dog. 04:50:09 <\oren\> well the refugee status maybe not, but we're very open to immigrants from all over 04:51:56 <\oren\> I doubt our government would consider the situation with clinton worthy of refugees right away, but depending on how she acts in the first year. 04:52:35 <\oren\> If she starts another war and drafts people, we have a long history of accepting draft dodgers 04:52:54 four years of nixon all over again. 04:53:12 only we knew she was a criminal beforehand. :P 04:54:04 good to know canada is willing to accept people. this has no chance of ending well. 04:55:18 <\oren\> I wonder, is it possible to impeach someone before they are inaugurated? 04:55:32 at this point, we have no say. 04:56:10 -!- `^_^v has quit (Quit: This computer has gone to sleep). 04:56:44 <\oren\> I miss the days when "Clinton" was "the prsident who got impeached for getting a blowjob from his intern" 04:58:12 <\oren\> that was funny, the current politics isnt even funny 04:58:41 imode: "Criminal" is a strong claim considering the FBI doesn't think they could get charges to stick. 04:58:45 -!- Cale has quit (Remote host closed the connection). 04:58:53 pikhq: the FBI isn't even trying. 04:59:09 -!- Cale has joined. 04:59:14 *cough* Riiight. Maybe you should cut down on the r/the_donald. 04:59:24 why the hell do you assume I'm for trump. 04:59:30 I'm not even voting for them. 05:00:02 she has comitted crimes against this country and should be held responsible. do you really want immunity for somebody that powerful? 05:00:05 I'm not saying you're for Trump (you clearly stated you're not, after all!), just that you're using an r/the_donald talking point when you're claiming the FBI wasn't "even trying". 05:00:15 I don't even know what r/the_donald is. 05:00:23 (when all evidence suggests that's not the case) 05:00:56 <\oren\> pikhq: well, he might instead be paying attention to the House Oversight Committee 05:01:18 Not gonna defend her whole thing with the emails (because it *is* fundamentally undefensible), but no need to add pretend nonsense to the mix. 05:01:22 there is some serious political influence occurring in the back rooms in this country. always has been. it's just shocking that clinton's crimes have been this public and I haven't seen so much as a budge from anybody related to law enforcement. 05:01:47 <\oren\> They have raised some questions about the procedures used for interrogating witnesses and gathering evidence during the investigation of the email matter 05:01:58 imode: Do remember that the FBI is headed by a hard Republican who kinda has a big deal for impartiality. 05:02:23 Given that, I'm going to have strong suspicions about claims that the FBI didn't do a reasonable job in the investigation. 05:02:36 <\oren\> pikhq: Director comey is now under massive attack by republicans now, though 05:02:46 pikhq: do remember that the parties are not seperated. the illusion of the divide between democrats and republicans is something people need to see through. 05:02:50 Yes, because he acted against their interests. 05:03:24 democrat, republican, forget it. they're an american and they have comitted a crime. 05:03:26 And the GOP lynches those who go against the party organization as a policy. 05:04:14 That said, let's say hypothetically she's a criminal. K then, so's Trump it seems, so regardless we should expect to see an impeachment pretty quick. 05:04:16 so you're... blaming the GOP for not upholding the law over a candidate you clearly support? :\ 05:04:24 what the hell kind of argument is that? 05:04:28 Um? What? 05:04:49 I'm saying the FBI investigation was done competently, and the GOP is taking Comey to task for it. 05:05:20 <\oren\> pikhq: well, in several ways it wasn't 05:05:20 define competently and "to task". 05:05:43 \oren\: News to me, but I'll be interested to hear claims on the matter. 05:06:04 if any of this is indefensible, then why do you think she should not go to jail for her crimes? 05:06:47 <\oren\> pikhq: have you reviewed the arguments made by the house republicans about how the email investigation was conducted? 05:06:49 I should stop asking that because either side is so invested in the pseudo-politics that it's turned into a prize fight. 05:07:06 Mostly because any arguments against Clinton, legitimate or otherwise, get really quickly drowned out for "Trump decided to take another step towards fascism in his rhetoric" 05:07:41 \oren\: No, because frankly they've called wolf so much my default is to ignore them. I take it you're saying there's something actually worth looking at here, though. 05:08:09 <\oren\> yes. 05:08:11 the hilarious amount of evidence is definitely worth looking at... that reddit fiasco was, too. 05:08:33 that had to be the funniest-not-funniest highlight of the whole year. 05:08:38 <\oren\> I recommend listening to the house oversight comittee hearings with director comey 05:09:01 K then, taking a note. Though I will note here that it'd take something *really* bad for me to not vote Clinton at this point (even if I did it with a great deal of depression about the matter)... 05:09:13 why? 05:09:24 Simply because you've got to be spectacularly bad to be preferable in this clusterfuck of an election cycle. 05:09:27 would it take a genocide in clinton's name? 05:09:30 Erm, to not be preferable. 05:09:46 jesus fucking christ, I'm tired of hearing "well Clinton's the least worst so I'm going to vote for her". is that what we really believe in? 05:09:48 That would definitely do it, *but* would likely be further than necessary. 05:09:49 the lesser of two evils? 05:10:09 are you really going to mark down her name on a ballot because you believe you need to vote for SOMEBODY this election cycle? 05:10:23 imode: I'm not saying it's good, because it isn't. But our election system is designed so that if you don't do that, you get the greater of two evils instead. 05:10:43 pikhq: they're both terrible! why do you think that either one is an option?! don't fucking vote! 05:10:50 And the greater of two evils appears to be cribbing from a "how to be fascist" handbook. 05:11:12 imode: Because, no matter how bad Clinton is, after 4 or 8 years of Clinton, the US will likely still exist in a recognizable form. 05:11:42 I'm shocked at how many people don't understand that we're not electing a king or queen. 05:11:43 -!- oerjan has quit (Quit: Nite). 05:11:50 <\oren\> unless she enforces a no fly zone against russian jets 05:12:01 <\oren\> in which case it won't 05:12:10 trump cannot single-handedly destroy this country. neither can clinton. this is why we have different branches. this is why we have checks and balances. 05:12:20 this is why vetos exist. this is why impeachment exists. 05:12:34 you're going to mark a ballot because you're in an us-versus-them mentality. 05:12:36 the entire. country. is. 05:12:41 Trump's first act in office would be to purge the military ranks of generals that would go against him. He said as much. 05:13:08 at a time when people have stopped voting for what we believe in and just for whoever's either more popular or the least horrible of the two, it's emberassing for me to see people enabling this. 05:13:12 you are. an enabler. 05:13:29 And you pretend that by failing to vote you have any say in the system. 05:13:31 <\oren\> pikhq: that's stalin, not fascists 05:13:34 you say you don't truly believe in clinton or trump but you're going to enable either one to win instead of backing away like a sane person. 05:14:16 One person will win regardless of whether or not I vote. 05:14:27 By voting, I make one person's victory marginally more likely than another. 05:14:35 I have a preference for on person over another. 05:14:39 Ergo, I will vote. 05:14:45 <\oren\> vote for the green party 05:14:59 you'll vote for the downfall of this country. 05:15:02 But I think Jill Stein would be worse as President than Clinton. 05:15:15 no matter who you vote for. 05:15:16 (though undeniably better than Trump) 05:15:30 (sigh, I wish we had preference voting) 05:15:36 I almost long for a dictatorship. 05:15:38 imode: That's not how it works, though. 05:15:38 <\oren\> write in biden? 05:16:03 They don't look at voter turnouts to see whether or not a Presidency is legitimate. 05:16:05 pikhq: "that's not how it works." clinton will destroy this country. trump will destroy this country. lose-lose. 05:16:15 They look at voter turnouts to see whose interests are worth playing to. 05:16:26 You can't honestly think Clinton will destroy this country. 05:16:37 I can see she is as incompetent as Trump. 05:16:44 pikhq: they are literally equal hth 05:16:48 have you ever seen them in the same room together 05:17:07 ... Have you paid even a modicum of attention to their policies, actions, or outcomes of their decisionmaking? 05:17:08 both are back-stabbing pieces of shit who have an agenda far and away from the average american's. 05:17:30 trump's been acting publically, clinton's been acting privately. 05:17:58 the fact that you can't see that makes me incredibly sad, but not surprised. 05:18:01 Is Clinton basically the Democratic Nixon? *Basically, yes*. Nixon was nowhere near as much of a trainwreck as you seem to act like, though. 05:18:31 Paranoid, corrupt bastard, but certainly nothing like "destroy this country" bad. 05:18:51 clinton is like a democratic bush. 05:18:55 Meanwhile, we have a candidate who suggests we could default on our debt to get a "better deal". 05:19:03 if you really want to go there. 05:19:05 (this is called "making the USD worthless) 05:19:19 trump is like reagan walked into a reality show circa the 90s. 05:19:21 I also think Bush is more maligned than is really justified, so. 05:19:54 I really do long for a dictatorship. that way we could dispell with the illusion of choice and stop fighting eachother in pissing-matches on the internet. 05:20:00 <\oren\> "Hola Amigo" - Bush, to the president of Italy. 05:20:04 and in real life. and act like adults, again. 05:20:19 china has this down. I guess. 05:23:11 you know, we could always vote vermin supreme. 05:23:31 or eric andre. 06:00:02 -!- `^_^v has joined. 06:11:51 -!- Cale has quit (Remote host closed the connection). 06:52:27 -!- hppavilion[1] has joined. 06:54:39 -!- `^_^v has quit (Ping timeout: 252 seconds). 07:02:07 -!- `^_^v has joined. 07:09:50 * hppavilion[1] has a kitty 07:10:42 pet it. 07:10:52 gimme 07:11:14 * hppavilion[1] pets the kitty. It deals 10 damage (to hppavilion[1], not the kitty) 07:12:19 roll for cuteness. 07:12:45 @roll d42 07:12:46 hppavilion[1]: 14 07:12:52 @roll 2d20 07:12:53 hppavilion[1]: 18+18 => 36 07:12:59 @roll 2d20 07:12:59 hppavilion[1]: 4+10 => 14 07:13:05 hhah. 07:13:08 @roll 8d5000 07:13:09 hppavilion[1]: 16994 07:13:13 -!- gniourf has quit (Ping timeout: 260 seconds). 07:13:17 @roll dpi 07:13:18 unexpected "p": expecting number 07:13:24 @roll dPi 07:13:24 unexpected "P": expecting number 07:13:27 @roll 10d5280 07:13:27 imode: 34058 07:13:29 ayy. 07:13:54 @roll 2d2 07:13:54 hppavilion[1]: 2+2 => 4 07:13:59 @roll d1 07:13:59 hppavilion[1]: 1 07:14:03 @roll d1 07:14:03 hppavilion[1]: 1 07:14:06 @roll 8d1 07:14:07 imode: 8 07:14:10 Dammit, it can't turn up 0? 07:14:15 @roll 8d2 07:14:15 imode: 10 07:14:24 huh. 07:14:34 @roll d3.14159 07:14:34 unexpected '.': expecting digit, operator or end of input 07:14:41 Operator? 07:14:45 @roll d5/7 07:14:47 hppavilion[1]: 1 / 7 => 1/7 => 0.1429 07:14:49 -!- gniourf has joined. 07:14:50 hahahahahaha. 07:14:51 oh god. 07:14:56 @roll d(5/7) 07:14:56 unexpected "(": expecting number 07:14:59 Hm... 07:15:15 What WOULD a dN for non-natural N do? 07:15:17 @roll d(1+2/3) 07:15:17 unexpected "(": expecting number 07:15:24 @roll d1+2/3 07:15:25 imode: 1 + 2 / 3 => 5/3 => 1.6667 07:15:34 we're getting this thing to calculate pi. 07:15:48 imode: The problem is that the d has highest precedence 07:16:03 So the operators are applied AFTER the roll 07:16:14 @roll d5/d12 07:16:14 hppavilion[1]: 5 / 3 => 5/3 => 1.6667 07:16:23 @roll d2^2 07:16:25 unexpected '^': expecting digit, operator or end of input 07:16:29 worth a shot. 07:16:37 @roll dexp(2, 2) 07:16:38 unexpected "e": expecting number 07:17:06 imode: I don't think lambdy can do it. So we will make a better KdN roller 07:17:07 @roll d-1 07:17:07 unexpected "-": expecting number 07:17:17 so -1 is not a number, obviously 07:17:32 @roll di 07:17:33 unexpected "i": expecting number 07:17:38 Nor is i 07:17:43 @roll d d20 07:17:44 unexpected " ": expecting number 07:17:53 -!- `^_^v has quit (Quit: This computer has gone to sleep). 07:18:02 Aww, I wanted to roll a d20 then roll a d(whatever that number was) 07:18:08 > roll 5 07:18:10 @roll d3+8/60+29/3600+44/21600 07:18:10 error: 07:18:11 Variable not in scope: roll :: Integer -> t 07:18:11 imode: 2 + 8 / 60 + 29 / 3600 + 44 / 21600 => 23149/10800 => 2.1434 07:18:28 > d 20 07:18:30 error: 07:18:30 • Couldn't match expected type ‘Integer -> t’ 07:18:30 with actual type ‘Expr’ 07:18:36 @roll d22/7 07:18:36 imode: 6 / 7 => 6/7 => 0.8571 07:19:17 @roll d22/7 07:19:17 imode: 6 / 7 => 6/7 => 0.8571 07:19:48 @roll 1d22/7 07:19:48 imode: 7 / 7 => 1 07:19:58 Imeh. 07:20:30 -!- pikhq has quit (Ping timeout: 252 seconds). 07:25:33 <\oren\> @roll 1 07:25:33 unexpected end of input: expecting digit, operator or end of input: no rolls in expression 07:29:30 GOD I want a space cadet keyboard 07:29:44 @roll 1d22/7 07:29:44 imode: 15 / 7 => 15/7 => 2.1429 07:29:57 @roll 1d44/7 07:29:58 imode: 25 / 7 => 25/7 => 3.5714 07:30:10 almost therrrre. 07:30:39 SEVEN shift keys; normal shifts , , and , ultra-mega-awesome shifts , , , and 07:31:03 jesus. 07:31:34 (I'd add in too, and maybe add , , and as potentially-different keys) 07:31:35 -!- augur has quit (Read error: Connection reset by peer). 07:31:42 -!- MoALTz has joined. 07:31:54 @roll 1d44/7 07:31:54 imode: 15 / 7 => 15/7 => 2.1429 07:31:59 imode: It also had roman numeral keys 07:32:07 yeah iirc they functioned as macro keys. 07:32:14 no wonder emacs is fucked up. 07:32:50 (and FN... and all of the f-keys) 07:32:55 @roll 1d44/7 07:32:56 imode: 44 / 7 => 44/7 => 6.2857 07:33:03 @roll 1d44/7 07:33:03 imode: 17 / 7 => 17/7 => 2.4286 07:33:10 c'mon baby, all I need is a 22. 07:33:38 hppavilion[1]: I'm content with a hexadecimal keypad. or any generic 4x4 (or maybe 6x8 keypad!) 07:34:27 imode: Shouldn't you be doing 1d22 instead? 07:35:22 yeah but I'm an idiot and figure a finnicky rng will end up more frequently on the midpoint than on the maximum. 07:35:32 -!- augur has joined. 07:36:00 @roll 1d44/7 07:36:01 imode: 26 / 7 => 26/7 => 3.7143 07:36:09 @roll 1d44/7 07:36:10 imode: 30 / 7 => 30/7 => 4.2857 07:36:12 @roll 1d44/7 07:36:12 imode: 26 / 7 => 26/7 => 3.7143 07:36:16 @roll 1d44/7 07:36:17 imode: 30 / 7 => 30/7 => 4.2857 07:37:14 imode: What makes you think the lambdabot prng is finnicky? 07:37:51 dunno. from what I saw it tended towards the middle for dice rolls. I don't know what's actually going on, so. :P 07:39:19 -!- augur has quit (Read error: Connection reset by peer). 07:39:45 (Hm, has anybody ever made a piano-type instrument with a more keyboard-like interface?) 07:40:03 https://en.wikipedia.org/wiki/FrogPad 07:40:09 https://en.wikipedia.org/wiki/Chorded_keyboard 07:40:20 (e.g. instead of having additional keys for sharp, you just hit ) 07:42:20 -!- `^_^v has joined. 07:43:24 -!- augur has joined. 07:45:43 imode: I heard there was a secret chord / that David played and it pleaERROR: INVALID_COMMAND_BYTE // ATTEMPTING TO REPAIR // REPAIR FAILED. INITIATE SYSTEM WIPE. 07:46:05 LOL. 07:49:12 -!- `^_^v has quit (Quit: This computer has gone to sleep). 07:49:47 <\oren\> Chorded keyboards were first demonstrated by douglas englebart 07:49:58 \oren\: What about stenotype machines? 07:50:05 <\oren\> who was almost certainly a time traveller 07:50:09 \oren\: Oh, but I see the joke 07:51:11 <\oren\> since he also invented a like 20 innovations decades ahead of time 07:51:54 He sang Halleluja... Halleluhja... OK, henceforth it's some combination of H, an 'a' or 'o', an 'e', 'i', or 'u', some 'l's, and ~'ja' 07:52:03 \oren\: Yes, but time travel. 07:53:25 -!- MoALTz has quit (Ping timeout: 248 seconds). 08:04:31 -!- jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit (Quit: jeffl35 has quit ...). 08:05:01 -!- jeffl35 has joined. 08:10:34 @tell oerjan Actually, I don't do HackEgo-related backups, just the wiki. Maybe I should. 08:10:34 Consider it noted. 08:14:33 -!- pikhq has joined. 08:15:35 fizzie: Is hg the future? 08:15:50 lambdabot: Is hg the future? 08:16:03 fungot: Is hg the future? 08:16:03 izalove: fnord is *new*! :) http://list.cs.brown.edu/ pipermail/ fnord/ circle_of_commas load 08:16:13 finally an answer 08:16:59 the context is https://groups.google.com/forum/#!topic/mozilla.dev.version-control/nh4fITFlEMk 08:17:13 if there weren't süaces in the url, that would have looked like a normal person 08:17:37 do you mean söaces 08:17:50 almost 08:20:13 * hppavilion[1] played https://www.youtube.com/watch?v=B4k036R3wQE with the kitty in the room 08:20:26 * hppavilion[1] confused the kitty 08:24:55 -!- MDude has joined. 08:28:15 -!- augur has quit (Remote host closed the connection). 08:28:54 -!- augur has joined. 08:29:18 -!- augur has quit (Remote host closed the connection). 08:34:25 (This kitty- named Pete- is not to be confused with the Kitteh, who is named Zeus) 08:43:08 Hm... rewrite http://xkcd.com/287/ to conform with s/restaurant/restraining/ 08:58:00 Also fun: A conlang with tenses for time travel 08:58:53 (All 54 tenses...) 08:59:50 do it exist? 09:02:26 it should be pretty easy with 54 vowels! 09:05:00 -!- imode has quit (Ping timeout: 250 seconds). 09:07:11 -!- augur has joined. 09:16:55 -!- augur has quit (Ping timeout: 256 seconds). 09:18:07 -!- augur has joined. 09:27:01 \oren\: a time traveller so ahead of his time that people don't understand when he tries to explain about future inventions, like Da Vinci, except he's also a good enough engineer to actually build working models of some of them? That's great! 09:32:34 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 09:52:18 ok, so I have a stupid question 09:55:18 In unicode, how come that the partial derivative symbol "∂" and the nabla (del) symbol "∇" are classified as not letters, despite that they behave as letters in formulas and originate from modified/reused letters in metal type, just like a lot of phonetic symbols like "ʌɜ" which are classified as letters 09:55:45 The aren't large operators like the big sigma and big pi and integral symbols. 10:07:48 -!- MoALTz has joined. 10:10:02 -!- MoALTz has quit (Read error: Connection reset by peer). 10:11:21 -!- `^_^v has joined. 10:13:23 shachaf: I've heard it is. We... might have something experimental using that narrow clone thing, already. 10:14:00 Should I use hg instead of git? 10:14:35 Personally I'm not switching quite yet. 10:14:41 But apparently it's Better for Enterprise(tm). 10:17:55 i.e. someone who really likes hg has made it to a position of power? 10:18:36 There are probably legitimate reasons to prefer it? 10:18:45 I talked about them in here a few months ago. 10:18:49 Or at least potential reasons. 10:19:37 From what I've heard, it boils down to having APIs that aren't just "on-disk repository format". 10:22:00 -!- `^_^v has quit (Quit: This computer has gone to sleep). 10:26:20 -!- `^_^v has joined. 10:27:45 -!- `^_^v has quit (Client Quit). 10:29:04 -!- augur has quit (Read error: Connection reset by peer). 10:39:10 My semigroup theory lecturer uses a postfix convention for functions and it spins my head a bit 10:40:35 And does function composition, correspondingly, backwards to what I'm used to 10:42:11 It would be pretty good. 10:42:16 sounds like an HP user 10:45:16 -!- PinealGlandOptic has quit (Quit: leaving). 11:32:48 -!- gniourf has quit (Ping timeout: 256 seconds). 11:33:57 -!- boily has joined. 11:41:12 `wisdom 11:41:18 russell's teapot//Russell's Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show? 11:43:22 near Mars? I think it's farther, in the asteroid belt. 11:43:56 b_jonas, I think that counts as thereabouts 11:44:19 ok 11:44:37 Maybe the poem rhythm works better this way or something 11:45:34 he suggested originally that it's between the earth and mars, which is similarly quite far away 11:45:57 And also counts as thereabouts 11:46:54 -!- gniourf has joined. 11:51:32 -!- AnotherTest has joined. 11:55:24 -!- `^_^v has joined. 11:58:25 -!- Phantom_Hoover has joined. 12:17:41 -!- mottled1 has joined. 12:19:31 -!- boily has quit (Quit: DORSAL CHICKEN). 12:31:17 -!- mottled1 has quit (Ping timeout: 256 seconds). 12:35:47 -!- alercah has quit (Ping timeout: 252 seconds). 12:46:28 -!- jeffl35 has quit (Ping timeout: 256 seconds). 12:48:58 -!- jeffl35 has joined. 12:51:39 [wiki] [[User:YSomebody]] N https://esolangs.org/w/index.php?oldid=50021 * YSomebody * (+103) Created page with "==Python-Befunge Polyglot== v = "Hello, world!" [] #>a"!dlrow ,olleH"v #@,<,,,,,,,,,,,,,< print(v)" 12:53:17 [wiki] [[User:YSomebody]] https://esolangs.org/w/index.php?diff=50022&oldid=50021 * YSomebody * (+1) 13:02:37 -!- `^_^v has quit (Quit: This computer has gone to sleep). 13:14:13 Hoolootwo: maybe Russell suggested that, but that's because they didn't know enough about orbital mechanics yet. A teapot in the asteroid belt is more likely. 13:15:00 (admittedly a teapot orbitting Earth would be even more likely, but much less surprising) 13:24:47 Ok wait, let me get this straight 13:29:19 So sed allows you to use (almost) any character to delimit regular expressions in a regex address or the s/// replacement command, despite that's it's clearly got the original syntax for both of those from ed. 13:29:58 you could almost think sed is the s of ed 13:31:00 And this is probably an old feature of sed, not some modern invention, because it's present in gnu sed, openbsd sed, and even in very ancient freebsd according to https://www.freebsd.org/cgi/man.cgi?query=sed&apropos=0&sektion=0&manpath=FreeBSD+1.0-RELEASE&arch=default&format=html 13:31:23 Ed doesn't have this: you can only use slashes, both in regex addresses and substitutions there 13:31:31 This part I understand 13:32:12 I found arbitrary delimiters natural, because learning perl 5.005 was among the very early things I did when I met unix, and perl has had this feature for ages, taken from sed. 13:32:56 But here's the strange part. Vim doesn't allow arbitrary delimiters for the s/// command. Not even like most other punctuations characters, or say those punctuation characters that don't conflict with other parts of its command syntax. 13:33:32 It just insists on slashes, and says fuck you leaning toothpick syndrome vim wizards can learn to write \/\/\/\/ and don't get confused of it among it, 13:33:58 because if they would, they wouldn't use vim regexen which has like so many backslash escapes they had to add second level escapse after the backslash when they ran out of letters. 13:34:40 So they now have like \a to \z, \A to \Z, \_a to \_z, \_A to \_Z, \_% for every puntuation character, then \@a to \@z, \@A to \@Z, \@% for every punctutation character instead of % 13:35:19 nah, you're stuck with slashes as delimiters. 13:35:20 crazy 13:35:48 I know ex is derived from ed, not sed, but they could still steal the good features of sed later 13:38:03 Arbitrary delimiters after s isn't even hard to implement, and I know this because I implemented it once in javascript in http://www.perlmonks.com/?node_id=700954 13:39:27 (Obviously ruby has taken the idea too from perl.) 13:45:08 -!- alercah has joined. 14:00:48 -!- `^_^v has joined. 15:48:25 aaaaaaaaaaaaaaaaaaaaaa 15:48:39 \a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\a\\\\\\\ 15:49:08 -!- `^_^v has quit (Quit: This computer has gone to sleep). 15:52:54 -!- moony has joined. 15:53:27 https://github.com/rhysd/8cc.vim https://github.com/shinh/elvm https://github.com/shinh/bflisp 16:07:08 -!- fungot has quit (Ping timeout: 245 seconds). 16:20:25 <\oren\> I prefer diff and patch 16:20:50 um... diff and patch for what? version control? 16:29:57 [wiki] [[CSL]] https://esolangs.org/w/index.php?diff=50023&oldid=49144 * Actuallyallama * (+273) 17:07:26 -!- `^_^v has joined. 17:27:55 -!- MoALTz has joined. 17:30:23 has https://pbs.twimg.com/media/CvMZ66TUsAITQ4O.jpg been brought up? 17:35:23 -!- imode has joined. 17:39:56 int-e: O_o 17:44:39 so. nintendo... switch. 17:47:18 what I got from the 'reveal': repairability is zero. suffers from "just another android tablet" syndrome. they're moving away from PPC into ARM... 17:47:44 and nintendo is still a terrible company as of 2016-10-20. 17:49:17 -!- hppavilion[1] has joined. 17:53:28 -!- `^_^v has quit (Quit: This computer has gone to sleep). 17:54:21 -!- gniourf has quit (Quit: Leaving). 18:07:53 hey 18:07:59 about that string library thing i wrote 18:08:31 i need some benchmark to show people that it's fast 18:08:58 but apparently converting 1 million integers to strings is a convoluted example 18:09:19 i mean a contrived example 18:09:23 "that's a contrived example whose result wouldn't be compelling even if it wasn't" 18:10:04 what's a better example? 18:12:16 did you implement KMP string search 18:13:24 not yet but the point of my library is to optimize small strings 18:14:10 so idk if kmp would make much sense 18:23:29 A web browser would be a non-contrived example. 18:24:52 Or more generally, any code that performs a function, and wasn't written with your library in mind. Say a XML parser. 18:27:21 -!- DHeadshot has joined. 18:58:13 -!- imode has quit (Ping timeout: 252 seconds). 19:00:56 -!- Zarutian has joined. 19:16:07 I want a chorded keyboard now... 19:23:49 Fuzzy Deontic Logic. That'd be fun 19:26:19 When you prove something in a fuzzy logic, do you end with Q.E.F.D (for "quod erat fere demonstrandum"- "Which is approximately what had to be demonstrated")? 19:26:50 -!- imode has joined. 19:30:52 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 19:39:32 -!- hppavilion[1] has joined. 19:51:51 -!- moony has changed nick to moon-moon. 19:52:24 -!- moon-moon has changed nick to moony. 19:58:11 What's the most efficient practical way to determine the index of a prime number in |P? 19:59:05 The way I'm using (check every number below it for primality, increment the count), it turns out, is a bit inefficient for numbers in the millions 20:03:25 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 20:04:18 -!- hppavilion[1] has joined. 20:11:33 -!- pikhq has quit (Ping timeout: 252 seconds). 20:17:22 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 20:18:07 -!- hppavilion[1] has joined. 20:24:12 one way to do it would be a big LUT, if that is possibly big enough 20:24:30 if not, you could do a smaller LUT that gets you roughly to the right place, then you calculate the rest 20:32:21 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 20:32:28 hppavilion[1]: Use a big prime sieve? 20:32:44 All the way up to the largest prime you care about 20:42:43 Today I made a program that uses evolutionary computation to find integrals 21:02:09 -!- imode has quit (Ping timeout: 252 seconds). 21:05:22 -!- moony has quit (Read error: Connection reset by peer). 21:18:40 -!- hppavilion[1] has joined. 21:26:07 OK, I have to check 21:26:13 `icode ː 21:26:19 Wait 21:26:24 Yeah, HackEgo's online 21:26:27 `unidecode ː 21:26:50 Well, neoletters at least renders it differently. 21:26:59 So dammit, the colon in IPA isn't actually a :colon 21:27:15 ​[U+02D0 MODIFIER LETTER TRIANGULAR COLON] 21:27:15 ​[U+02D0 MODIFIER LETTER TRIANGULAR COLON] 21:33:50 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 21:41:14 -!- heroux has quit (Remote host closed the connection). 21:44:06 -!- heroux has joined. 21:51:25 shachaf: A man was talking about TRAINS at work today. 21:51:53 it's spelled TRAAAAAINS hth 21:52:14 please see the bot in #trains 22:01:56 -!- godel has joined. 22:09:55 -!- godel has quit (Quit: Bye). 22:12:35 -!- DHeadshot has quit (Ping timeout: 244 seconds). 22:13:58 -!- Cale has joined. 22:19:59 -!- hppavilion[1] has joined. 22:37:54 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 22:39:05 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:50:08 -!- pikhq has joined. 23:03:28 -!- boily has joined. 23:07:30 @massages-loud 23:07:30 You don't have any messages 23:08:43 -!- MoALTz has quit (Quit: Leaving). 23:09:27 who's or what's a Jander? 23:23:49 -!- DHeadshot has joined. 23:32:21 i went in a pawn shop today and they have a pokemon blue 23:32:32 used, but with its original box 23:32:42 for as little as 139 eur 23:35:22 ... That feels a bit overcharging. 23:35:35 -!- imode has joined. 23:39:34 boily: been thinking about how interrupts are implemented in ISAs. I think I understand how they work in microcoded ISAs but I am a bit at loss how they would work in hardwired ISAs. (Well besides those that are basically FSAs) 23:41:13 -!- augur has joined. 23:42:20 -!- hppavilion[1] has joined. 23:53:03 -!- augur has quit (Remote host closed the connection). 23:59:27 -!- augur has joined. 23:59:40 -!- heroux has quit (Ping timeout: 256 seconds).