00:00:45 -!- augur has quit (Quit: Leaving...). 00:03:58 does anyone here use/have used apache lucene? 00:06:00 fungot? 00:06:00 boily_: first made it fnord, and do it 00:13:10 I need a unicode symbol to represent the "DNA" of an instruction poiner 00:13:12 *pointer 00:14:02 -!- augur has joined. 00:15:35 <\oren\_> hi 00:15:40 he\\oren\_ 00:15:47 <\oren\_> I'm considering changing my s 00:16:14 You probably should 00:16:22 It's cool, but doesn't look very sy 00:17:56 https://www.amnesty.org/en/what-we-do/torture/ is a strange URL 00:21:09 <\oren\_> http://www.orenwatson.be/esses.png <-- which one is best? 00:21:36 3 I think 00:22:04 3 probably 00:22:14 3 00:22:34 <\oren\_> Ok, I'll adopt 3 in the next release 00:42:13 <\oren\_> Hmm, that didn't take as long as I thought. I guess there aren't many esses with accents. 00:42:34 <\oren\_> http://www.orenwatson.be/fontdemo.htm 00:48:54 -!- mauris has quit (Ping timeout: 250 seconds). 00:49:10 he\\oren\_. is it possible to "squish" the s even more? like an hypothetical version 4? 00:52:51 （「爆」の字を加えてお願いします） 00:55:06 <\oren\_> That would be identical to the small caps I think. 00:56:04 \oren\_: You're not supposed to spell letter names hth. 00:56:21 (notice me fumblingly inserting "hth" into a post) 00:56:22 <\oren\_> also it wouldn't flow into preceding and following ess. 00:56:36 <\oren\_> also it wouldn't flow into letters preceding and following ess 00:56:44 point. 00:57:09 <\oren\_> see clusters like ls st ts sz etc 00:57:15 hppavilion[1]: we all went through our first hth hth 00:57:25 tdh 00:58:18 If I were to make Strongly-Typed Setter, would someone who's even remotely good at font design (unlike me) be willing to design ASCII and a ~few choice characters for the font using some form of vector font design program I'd hack together? 00:58:32 I would need to make custom fonts for some of the higher-level features, such as cursive 00:59:05 I couldn't just use builtin fonts for everything, though I probably could include them in limited capacity 01:03:03 I know how to use METAFONT at least 01:04:48 zzo38: I'll attempt to base the font renderer on METAFONT because METAFONT seems popular 01:05:21 In other news, we should make a programming language based on symbols in hte I Ching 01:05:35 i.e. binary 01:05:51 bijective one, though 01:07:02 -!- mihow has quit (Quit: mihow). 01:08:30 You could also just support the same TFM/PK formats (even if other formats as well), therefore you could combine your program with existing program in either way; so there is other possibility 01:10:07 Speaking of Chinese and computers, I've been wanting to make a font for a hex editor that represents hexadecimal with suanpan. 01:10:44 You could add a renderless mode though, in which case only metrics are needed and the glyphs aren't needed (and will be added by another program) 01:17:02 I have thought of a problem I'm going to have with MEML and such 01:17:13 Namely, rotation of arcs and ellarcs 01:17:26 Or maybe not, now that I think about it 01:19:38 I think I probably need help with making MEML 01:21:13 MEML fonts made for use in STS will likely need to have special parameterized character rendering, e.g. to tell character renderers how the special characters (e.g. integral) behave such that they can return a useful result 01:24:50 So I'm thinking that the I Ching language would probably need to support symbols as the mongrams, the digrams, the trigrams, and the hexagrams, as well as perhaps the Tai Xuan Jing symbols (though that might not be such a great idea, given that they're a completely different system AFAICT AND that might offend a buddhist). Also, the Wheel of Dharma might be a symbol. 01:27:49 So I need to define ⚊ and ⚋ to start 01:31:17 I intend to soon add a feature to DVIPBM to support an external coprocessor, so we could try to write such an external program that would enable MEML fonts to be used with it; with such a thing it may be able to render documents created with STS in DVI mode when MEML fonts are used (although if MEML metrics are used with PK glyphs then it isn't needed), perhaps. 01:32:16 That would be cool. 01:32:52 MEML is actually an encoding, though, a more morphic unicode that doesn't do all characters as precomposed (which is useful for arrows and box-drawing characters) 01:33:02 (And, perhaps, operators) 01:35:08 If the glyphs can be prerendered then you could even just preprocess them and emit the combination of glyph codes that is needed to create the composed character and therefore work with any program. 01:35:14 -!- andrew_ has joined. 01:35:59 OK, I have ⚌: Add; ⚍: Multiply; ⚎: Divide; ⚏: Subtract 01:40:11 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 01:49:52 -!- jaboja has quit (Remote host closed the connection). 01:56:33 I still need a unicode character to represent IP "DNA" in UniFunge 02:00:29 [wiki] [[User:Hppavilion1/UniFunge]] http://esolangs.org/w/index.php?diff=45650&oldid=45620 * Hppavilion1 * (-314) Changed syntax again 02:04:12 I don't know. 02:04:29 Use something in the private use range if you really need to, I suppose 02:20:08 hmm 02:20:18 where is ais 02:20:30 helloily 02:20:46 happy smallpox-blankets-day-eve 02:21:31 QUINTHELLOPIA. happy slaughter of large dinosaur descendants! 02:23:30 oh indeed 02:23:52 we love our bloated ground raptors 02:24:08 i need ais to tell me how the heck one does ANYTHING in 3sp 02:25:14 what's a 3sp? 02:25:51 /https://esolangs.org/wiki/Three_Star_Programmer 02:28:05 it's not clear how one would go about producing even a basic conditional 02:28:40 I guess I can sort of vaguely see it as through a glass darkly 02:30:04 -!- andrew_ has quit (Remote host closed the connection). 02:30:09 -!- mauris has joined. 02:30:47 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 02:32:55 * boily_ thoughts suddenly derailed 02:33:03 wait. 02:33:13 why am I boily_. something's wrong. 02:33:16 -!- boily_ has changed nick to boily. 02:33:23 aaaah, much better. 02:34:27 -!- \oren\_ has changed nick to \oren\. 02:35:49 my cola is drinked, ais523 indirectedly made me dizzy, and the siren call of my mattress is becoming urgent. 02:35:53 dranked. 02:36:05 argh. la bouteille est finie, bon. 02:36:10 bonne nuitopia! 02:36:22 -!- mauris has quit (Ping timeout: 250 seconds). 02:36:25 -!- boily has quit (Quit: VISCERAL CHICKEN). 02:40:34 `danddreclist 72 02:40:35 danddreclist 72: shachaf nooodl boily \ http://zzo38computer.org/dnd/recording/level20.tex 02:47:14 -!- andrew_ has joined. 02:49:16 -!- lleu has quit (Quit: That's what she said). 03:04:17 -!- Wallacoloo has joined. 03:19:23 -!- adu has joined. 03:38:10 -!- hppavilion[1] has joined. 03:43:20 -!- TellsToGo has joined. 03:52:09 I can't think of anything good yet for the Buddhist language 03:52:14 Something'll come to me 03:52:23 -!- oerjan has joined. 04:01:04 -!- MDude has changed nick to MDream. 04:03:12 I think the haiku language migth be somewhat Buddism-inspired. 04:03:55 Oh, there isn't one on the wiki? 04:04:08 I thought there was, maybe I was thinking fo something else. 04:04:17 MDream: No, my language uses exclusively buddhist symbols (The 80 ones in unicode: The two mongrams, 4 digrams, 8 trigrams, 64 hexagrams, the Wheel of Dharma, and the Yin/Yang symbol) 04:04:26 Koans are fun too. And have their own brand of Zen buddistic logic. 04:04:42 MDream: You're thinking of Haifu, which is indeed inspired by eastern philosophy, but not necessarily Buddhist 04:05:59 Right 04:06:30 So the language operates on a deque of digrams, Greater Yang, Lesser Yang, Greater Yin, Lesser Yin 04:06:38 And now I need to make operations 04:06:42 Is this related the I CHing system you want? 04:07:49 It interest me that the four types of greater/lesser yin-yang can be related to the four western elements. 04:08:24 MDream: I Ching is the symbols I'm using 04:08:54 And Earth, the only Wu Xing element not cooresponging to one of those, is balance and thus can be related to Ether. 04:08:56 I'm trying to decide to do with the Trigrams and Hexagrams, not to mention the Yin/Yang and Wheel of Dharma 04:09:33 -!- doesthiswork has joined. 04:09:47 Well I guess one thing things do is tend to age. 04:10:17 And at different rates, given the uneven ditribution of results for proper I Ching divination. 04:10:28 hppavilion[1]! 04:10:34 Hi adu! 04:11:07 hppavilion[1]: I think I might be going into a math binge this winter 04:11:17 Yay? 04:11:24 math is a good winter sport 04:11:28 It is 04:11:38 It'd be good for the Olympics 04:11:45 you get to stay inside and write equations on paper, or type stuff into Sage or Mathematica 04:11:52 Hm... 04:12:09 I want a good mathematical object to use for a language 04:12:16 Hmmm. I like that the four coin method produces results identical tot he yarrow stalk method. 04:12:28 hppavilion[1]: best to start with the "Group" 04:12:33 Since four bits = 1 results = suanpan rod. 04:12:45 adu: Would that be good for a language? 04:12:52 no 04:13:06 Er, 16 results. 04:13:18 I now go to bed. 04:13:23 hppavilion[1]: according to Haskell, the "Monad" is good for building a language 04:13:31 Nuuuuuuuuuuuu 04:13:34 And will ahve to reccomend mathematical objects another time. 04:13:51 I'm looking for a model to base my I Ching language around 04:14:16 oh, hyperoperators 04:14:20 Ooooh 04:14:31 Perhaps 04:14:40 hyperoperators for arith 04:14:45 But that's not much of a datamodel, AFAICT 04:14:48 and truth tables for logic operators 04:14:53 I still want to see real and complex hyperoperators 04:15:04 hppavilion[1]: do you know who I am? 04:15:12 adu: No 04:15:15 hppavilion[1]: ah 04:15:27 Who are you? xD 04:15:46 Unless you're refering to whether or not I remember you from past conversations, in which case yes I do 04:15:54 * adu has been researching extending tetration to real and complex numbers for almost 15 years now 04:16:00 Oh 04:16:01 Great 04:16:10 I know a little bit 04:16:33 I did define earlier today a function h(n) such that H[h(n)](0, 0)=sgn(n) 04:16:47 what's sgn? 04:16:52 <\oren\> sign 04:16:54 Of course, I just used definitions, so that's kind of cheating 04:16:55 oh 04:17:16 -!- Wallacoloo has left. 04:17:25 sgn(-5000) returns -1, sgn(1000) returns 1, sgn(2123-12i) returns 1-i, et cetera 04:17:29 I would write that as n/abs(n) for universal unambiguity 04:17:46 There's an example constant defined as λ=h(i) 04:18:03 adu: But that doesn't work for complexes 04:18:15 <\oren\> zzzzzzz 04:18:17 hppavilion[1]: by h(x) do you mean x^x^x^x^... 04:18:28 <\oren\> hmmm my z doesn;t work with my s 04:18:34 adu: No, h is that function I defined above 04:18:37 <\oren\> I'mma change it 04:18:51 adu: h(n) such that H[h(n)](0, 0)=sgn(n) 04:18:59 <\oren\> Oh shit, it's also identical the small cap z 04:19:03 hppavilion[1]: what's H? 04:19:09 adu: Hyperoperations 04:19:14 <\oren\> I definitely need to fix that 04:19:42 hppavilion[1]: hmm, that is interesting 04:19:51 So we can't do complex hyperoperations with it, but we can do hyperoperations that /return/ complexes 04:20:25 λ=h(i), therefor H[λ](0, 0)=i 04:20:53 <\oren\> wtf?!!?! my e doesn't macth my èéêë I thought I fixed that a million years ago! 04:21:05 \oren\: It does for me 04:21:12 Unless it's very subtly different 04:21:15 Oh wait I see 04:21:28 <\oren\> the middle stroke of e should be shorter 04:21:38 The middle stroke- ah, you beat me. 04:22:16 <\oren\> I guess I haven't paid much attention to the Latin alphabet fpr a while 04:22:34 adu: To define the real hyperoperations, we should probably figure out H[-1](m, n) and H[0.5](m, n) 04:22:57 I suspect H[-1](m, n) is equal to m-n 04:23:05 H[0.5] I have nfc 04:23:17 hppavilion[1]: are you interesting in extending (x ↑ⁿ y) to complex x, y, n? 04:23:30 Yes 04:23:50 Though I wouldn't use up arrow notation because it starts at tetration, so I prefer H notation 04:24:21 <\oren\> Ok, I fixed it! 04:25:41 So we need to define halfation. AND we need to find the relationship between H[n], H[m], and H[n+m] 04:26:06 Either that or H[nm] 04:26:10 Or h[n**m] 04:26:16 s/h/H/ 04:26:18 Or whatever 04:26:24 <\oren\> @tell b_jonas I changed my glyph for s a lot, and my glyphs for z and e more subtley 04:26:24 Consider it noted. 04:26:58 hppavilion[1]: http://math.eretrandre.org/tetrationforum/showthread.php?tid=97 04:27:19 adu: I've tried that page before, I think. What's your point? 04:27:57 hppavilion[1]: my point is that I'm "andydude" 04:28:16 Ah! 04:30:03 I did think of the hyperoperational factorial. n?=H[n](0, H[n-1](0, H[n-2](0, ...H[1](0, H[0](0, 0))...))) 04:30:12 If that's even remotely legible 04:30:33 Though now that I think about it, that probably just equals 0 04:30:34 hppavilion[1]: I've never heard of that, I've heard of "exponential factorial" 04:31:25 hppavilion[1]: the official notation for hyperoperations is Knuth up-arrow 04:31:53 adu: There's no official notation. It's math. 04:32:02 true 04:32:16 I could use SO Triangle Notation for all hyperoperations if I wanted 04:32:17 but Knuth probably has the most mind-share 04:32:21 Trye 04:32:23 *True 04:32:29 But I prefer H[n](a, b) 04:32:47 I prefer not using TeX when I don't have to :) 04:32:50 I also defined something called the Arithmetic of the Functia, where I invented function division, if you'd like to see 04:32:59 ? 04:33:40 x ^(n) y just doesn't look very good in ascii 04:34:27 which is why ppl on the tetrationforum just use x[n]y 04:34:37 True 04:35:24 I think the true breakthrough is going to be for H[4](1.6353, x) 04:36:47 hppavilion[1]: there was this dude, once, named Cliff Nelson 04:37:16 he defined a recursive function that defined HL[n](x, y) for all real numbers 04:37:42 HL[n](x, y) == z iff H[n](x, z) = y 04:38:50 but I remember researching it for simple bases, like 2 and e and 10, and it wasn't even continuous 04:39:19 hppavilion[1]: I'm interested 04:40:15 hppavilion[1]: do you mean (f/g)(x) = f(g^-1(x))? 04:43:41 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 04:50:35 <\oren\> szszszszszszszsz 05:01:45 -!- TellsToGo has quit (Ping timeout: 246 seconds). 05:11:04 Use METAFONT to make your own math symbols if the existing ones are not sufficient! 05:15:54 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45651&oldid=45320 * Nikoraito * (+256) /* Extensions */ 05:17:32 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45652&oldid=45651 * Nikoraito * (+3) /* Bitwise functions */ 05:26:43 [wiki] [[Talk:3var]] http://esolangs.org/w/index.php?diff=45653&oldid=45652 * Nikoraito * (-6) /* File I/O functions */ 05:31:45 http://cosmic.mearie.org/2015/11/font/sample 1027 characters so far, thanks to highly regular Yi-jing symbols 05:34:59 I have once made a font for typesetting chess diagrams 05:42:45 -!- adu has quit (Quit: adu). 05:45:34 The standard FIDE icons are based on SVG files from Wikipedia, although I have added my own pieces which I have designed the shapes of by myself. 05:46:48 -!- hppavilion[1] has joined. 05:48:10 What weird mathematical objects could we base a language around? 05:48:20 Matrix has been done in normal languages 05:48:25 Sets aren't very interesting 05:48:40 Categories are too complicated 05:49:36 Categories are pretty simple. 05:49:38 Here's a catalogue of STS commands, BTW: https://docs.google.com/document/d/1gpIA6h0H9GGw-92DNwoZgfkTABiNnddisxHyBKJ4acE/edit?usp=sharing 05:50:02 shachaf: I have a hard time understanding them. My brain doesn't abstract that far yet 05:50:33 You don't need to abstract any more than you do for algebra. 05:52:41 Are there any other "Big" mathematical symbols other than Summation, Product, Coproduct, BigUnion, BigIntersection, and [multiple] [contour] integral? 05:52:59 Oh, and fractions, if you want to include those 05:53:11 <\oren\> square root 05:53:16 Right, right, root 05:53:41 Maybe I should just add a $big command for summation/product/coproduct/bigunion/bigintersection 05:54:43 <\oren\> also the [x]_0^\infty syntax for uh... "partially evaluated integrals?" 05:55:19 No clue waht that is 05:55:38 <\oren\> you put the antiderivative in square brackets with a subscript and a superscript indicating where to evaluate it at 05:56:16 <\oren\> like [x^2]_1^2 -> 4 - 1 05:57:08 <\oren\> hppavilion[1]: have you taken analysis yet? 05:57:31 [wiki] [[Three Star Programmer]] http://esolangs.org/w/index.php?diff=45654&oldid=45321 * Quintopia * (+344) added python implementation with extendable storage 05:57:32 Nope 05:58:18 [wiki] [[Three Star Programmer]] http://esolangs.org/w/index.php?diff=45655&oldid=45654 * Quintopia * (+0) /* Python */ wiki don't like '' 05:58:18 <\oren\> how about calculus? 05:59:28 [wiki] [[Three Star Programmer]] http://esolangs.org/w/index.php?diff=45656&oldid=45655 * Quintopia * (-2) /* Python */ wasted space! 06:01:18 [wiki] [[Three Star Programmer]] http://esolangs.org/w/index.php?diff=45657&oldid=45656 * Quintopia * (+17) /* Python */ 06:06:55 <\oren\> http://www.sciweavers.org/upload/Tex2Img_1448518143/render.png <--like this 06:07:37 <\oren\> oops that's actually wrong 06:07:54 <\oren\> well the point is the syntax of []^_ 06:09:25 -!- mauris has joined. 06:10:37 <\oren\> http://www.sciweavers.org/upload/Tex2Img_1448518418/render.png 06:24:11 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 06:29:09 -!- Atomic_1u46R has joined. 06:29:19 -!- Atomic_1u46R has left. 06:34:56 * oerjan wonders if anyone but him likes type family superclasses 06:35:29 i report a bug, and spj's response is to suggest disallowing them altogether. 06:36:34 i,i bug: you accidentally implemented type family superclasses 06:36:54 while i don't see how they're more dangerous than undecidableinstances in general 06:37:19 shachaf: i'm sure i've seen at least one other person use them, some time 06:38:05 and they're not even the core reason of the bug, ConstraintKinds is 06:38:43 once you have ConstraintKinds, you can no longer consider superclass hierarchies to be static. 06:39:33 i suppose to be consistent, he'd also disallow superclasses where the head is a type variable. 06:45:22 * oerjan thinks edwardk must be very busy lately 06:45:55 i'd like to ask him if he's ever used superclass type families 06:46:12 hm maybe i should check the other bug report spj linked 06:49:12 nope, edwardk is just using a type equality + ordinary classes 06:54:57 oh hm, i didn't even finish yesterday's webcomics 07:04:20 -!- lleu has joined. 07:04:20 -!- lleu has quit (Changing host). 07:04:20 -!- lleu has joined. 07:07:49 Did anyone do the olist for the recent olist? 07:11:41 yes. 07:12:50 -!- mauris has quit (Ping timeout: 250 seconds). 07:15:29 https://mail.mozilla.org/pipermail/firefox-dev/2015-November/003554.html 07:15:50 do you know that? 07:22:52 -!- hppavilion[1] has joined. 07:24:52 -!- llue has joined. 07:27:09 -!- haavardp has joined. 07:27:39 -!- newsham has quit (Ping timeout: 265 seconds). 07:28:09 -!- J_Arcane_ has joined. 07:28:11 -!- doesthiswork1 has joined. 07:28:36 -!- lleu has quit (Ping timeout: 265 seconds). 07:28:37 -!- ^v has quit (Ping timeout: 265 seconds). 07:28:38 -!- Xe has quit (Ping timeout: 265 seconds). 07:29:34 -!- puck1pedia has joined. 07:29:57 -!- Froox has joined. 07:30:01 -!- \oren\_ has joined. 07:30:06 -!- Warrigal has joined. 07:30:40 -!- clog_ has joined. 07:30:44 -!- zgrep_ has joined. 07:31:22 -!- MDude has joined. 07:31:25 -!- nortti_ has joined. 07:32:34 -!- staffehn_ has joined. 07:32:45 -!- Sgeo_ has joined. 07:34:59 -!- doesthiswork has quit (*.net *.split). 07:35:01 -!- kline has quit (*.net *.split). 07:35:02 -!- gniourf has quit (*.net *.split). 07:35:03 -!- lifthrasiir has quit (*.net *.split). 07:35:04 -!- nortti has quit (*.net *.split). 07:35:06 -!- Melvar` has joined. 07:35:23 -!- atriq has joined. 07:35:31 -!- b_jonas_ has joined. 07:36:02 -!- myname has quit (*.net *.split). 07:36:02 -!- tswett has quit (*.net *.split). 07:36:03 -!- j-bot has quit (*.net *.split). 07:36:03 -!- puckipedia has quit (*.net *.split). 07:36:04 -!- puck1pedia has changed nick to puckipedia. 07:36:28 -!- zzo38 has quit (*.net *.split). 07:36:28 -!- MDream has quit (*.net *.split). 07:36:29 -!- Melvar has quit (*.net *.split). 07:36:30 -!- perrier_ has quit (*.net *.split). 07:36:30 -!- clog has quit (*.net *.split). 07:36:48 -!- myname has joined. 07:36:56 -!- J_Arcane has quit (*.net *.split). 07:36:57 -!- staffehn has quit (*.net *.split). 07:36:57 -!- \oren\ has quit (*.net *.split). 07:37:13 -!- myndzl has joined. 07:37:45 -!- Xe` has joined. 07:38:56 -!- deltab_ has joined. 07:40:21 -!- FreeFull has quit (*.net *.split). 07:40:21 -!- singingb1yo has quit (*.net *.split). 07:40:22 -!- myndzi has quit (*.net *.split). 07:40:23 -!- zgrep has quit (*.net *.split). 07:40:26 -!- Hooloo42 has joined. 07:40:48 -!- Hoolootwo has quit (*.net *.split). 07:40:49 -!- haavard has quit (*.net *.split). 07:40:50 -!- b_jonas has quit (*.net *.split). 07:40:50 -!- deltab has quit (*.net *.split). 07:40:54 -!- rodgort has quit (*.net *.split). 07:40:55 -!- skarn has quit (*.net *.split). 07:40:57 -!- dtscode has quit (*.net *.split). 07:40:57 -!- fractal has quit (*.net *.split). 07:40:59 -!- Lymia has quit (*.net *.split). 07:40:59 -!- Taneb has quit (*.net *.split). 07:41:01 -!- sewilton has quit (*.net *.split). 07:41:03 -!- gniourf has joined. 07:41:04 -!- nchambers has joined. 07:41:35 -!- rodgort has joined. 07:41:40 -!- Welo has joined. 07:42:25 -!- Frooxius has quit (*.net *.split). 07:42:26 -!- Sgeo has quit (*.net *.split). 07:43:09 -!- ^v has joined. 07:43:23 -!- haavardp has changed nick to haavard. 07:43:43 -!- Lymia has joined. 07:45:57 -!- fractal has joined. 07:46:42 -!- hppavilion[2] has joined. 07:46:51 -!- kline has joined. 07:46:52 -!- gonad has joined. 07:46:52 -!- mauris has joined. 07:46:52 -!- gonad has quit (Changing host). 07:46:52 -!- gonad has joined. 07:47:24 -!- Xe` has changed nick to Xe. 07:48:02 -!- perrier_ has joined. 07:48:29 splat 07:48:34 [wiki] [[Spiral]] http://esolangs.org/w/index.php?diff=45658&oldid=40219 * Quintopia * (+335) proglang 07:50:20 -!- lifthrasiir has joined. 07:51:05 -!- Lymee has joined. 07:52:32 -!- Patashu has joined. 07:52:58 -!- Wallacoloo has joined. 07:53:48 -!- SirCmpwn_ has joined. 07:55:55 -!- Wallacoloo has left. 07:55:58 [wiki] [[1mpr0mp2]] http://esolangs.org/w/index.php?diff=45659&oldid=43636 * Quintopia * (+300) 07:56:03 -!- Lymia has quit (*.net *.split). 07:56:04 -!- Hooloo42 has quit (*.net *.split). 07:56:04 -!- gniourf has quit (*.net *.split). 07:56:09 -!- llue has quit (*.net *.split). 07:56:09 -!- hppavilion[1] has quit (*.net *.split). 07:56:10 -!- Jafet has quit (*.net *.split). 07:56:14 -!- aloril has quit (*.net *.split). 07:56:15 -!- SirCmpwn has quit (*.net *.split). 07:56:16 -!- FireFly has quit (*.net *.split). 07:56:18 -!- Lymee has changed nick to Lymia. 07:56:32 -!- Welo has quit (Quit: Leaving). 07:56:32 -!- Jafet has joined. 07:56:57 -!- Hoolootwo has joined. 07:57:09 [wiki] [[1mpr0mp2]] http://esolangs.org/w/index.php?diff=45660&oldid=45659 * Quintopia * (-21) 07:57:23 -!- Jafet has left. 07:57:44 [wiki] [[1mpr0mp2]] http://esolangs.org/w/index.php?diff=45661&oldid=45660 * Quintopia * (+0) 07:58:18 [wiki] [[1mpr0mp2]] http://esolangs.org/w/index.php?diff=45662&oldid=45661 * Quintopia * (+19) 07:59:11 -!- gniourf has joined. 07:59:14 -!- aloril has joined. 07:59:25 -!- sewilton has joined. 08:01:21 I want to invent a weird logic, entirely foeign to all existing logic 08:01:41 good luck with that 08:01:55 there are pretty weird ones out there 08:02:20 -!- zzo38 has joined. 08:02:30 there is SIXTEEN, it has 16 different atomic values 08:02:52 I was having trouble to connect, but it seem working now, at tepper.freenode.net:6665 08:03:21 Or perhaps I should implement a functional programming language 08:03:43 Or a logic programming language 08:04:36 O, I wasn't the only one; I can see the log now 08:07:12 Someone should make a programming language based on Algebra 08:07:18 Perhaps I'll work on that at some point 08:09:06 Is there any online introduction to implementing CASes? 08:09:43 zzo38: Would you happen to know of any? 08:10:33 hppavilion[2]: check out curry for the first two 08:10:35 Sorry, I don't know. 08:10:51 myname: Perhaps I will 08:12:35 -!- mauris has quit (Ping timeout: 272 seconds). 08:12:59 -!- skarn has joined. 08:13:04 -!- j-bot has joined. 08:13:04 -!- FireFly has joined. 08:13:05 -!- FireFly has quit (Changing host). 08:13:05 -!- FireFly has joined. 08:17:16 [wiki] [[ETAS]] http://esolangs.org/w/index.php?diff=45663&oldid=20905 * Quintopia * (+240) 08:24:10 oh, it's that day again 08:24:21 -!- sewilton has quit (Changing host). 08:24:21 -!- sewilton has joined. 08:24:51 happy turkey! 08:28:23 -!- newsham has joined. 08:30:19 [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=45664&oldid=44369 * Quintopia * (+254) 08:33:03 HackEgo: it looks like someone could write an implementation. you'll have 3. write down solution <-- huh 08:33:03 oerjan: i guess you guys have a lot of drugs _and_ presents for me for some reasion fnord breaks things. 08:33:07 `? fungot 08:33:07 oerjan: i'm beggining to hate python's scoping. an eval inside a let 08:33:08 fungot is our beloved channel mascot and voice of reason. 08:33:08 HackEgo: i'm thinking teaching lisp programming to a child with down syndrome could understand. 08:33:27 fungot's ^ignore list must have been broken 08:33:28 oerjan: visited ash some weeks ago. 08:33:40 > "fungot" 08:33:40 oerjan: i've done it already.) 08:33:41 "fungot" 08:33:42 lambdabot: the gdb macro? i tried keeping a alist of pairs i had seen invalid variable reference 08:33:48 totally 08:33:54 !sh echo fungot 08:33:54 oerjan: over several hours 08:33:54 fungot 08:33:55 EgoBot: should we call it string-ref then? 08:34:23 -!- hppavilion[2] has quit (Ping timeout: 264 seconds). 08:34:52 [ "fungot" 08:34:53 oerjan: five in the afternoon, offby1. it's shorter, it doesn't segfault. i might even be useable to the scheme48 structure named srfi-1. thanks. 08:34:53 oerjan: |syntax error 08:34:53 oerjan: | "fungot" 08:34:53 j-bot: why don't ya secretly ignore the assembly completely) 08:34:54 fungot: |open quote 08:34:54 fungot: | why don't ya secretly ignore the assembly completely) 08:34:54 fungot: | ^ 08:34:54 j-bot: ( scheme48 is just not 08:34:54 j-bot: forth is not gonna release for next 10 years? 08:34:54 j-bot: what does that means? afaik there are no syntactic restrictions against this. i'm off to nature ( read: ' it stands for? i got to 08:34:55 fungot: |syntax error 08:34:55 fungot: | (scheme48 is just not 08:34:55 fungot: forth (is not gonna release for next 10 years ?) 08:34:55 fungot: |spelling error 08:34:55 fungot: | what does that means? afaik there are no syntactic restrictions against this. i'm off to nature ( read: ' it stands for? i got to 08:34:55 fungot: | ^ 08:34:57 oops 08:36:21 ^show 08:36:22 echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 8ball rreree rerere botsnack bf 08:38:58 -!- ^v has quit (Ping timeout: 260 seconds). 08:39:13 `? alg ii 08:39:14 alg ii? ¯\(°​_o)/¯ 08:39:19 `? alg. ii 08:39:20 Algae II, the successor class to Algae. I. Discusses hydroponics and such 08:39:32 [wiki] [[Cellbrain]] http://esolangs.org/w/index.php?diff=45665&oldid=43583 * Quintopia * (+404) 08:40:15 `` sed -i 's/. I[.]/ I./;s/$/./' wisdom/alg'. ii' 08:40:18 No output. 08:40:21 `? alg. ii 08:40:22 Algae II, the successor class to Algae I. Discusses hydroponics and such. 08:41:12 -!- skarn has quit (*.net *.split). 08:43:52 [wiki] [[Cellbrain]] http://esolangs.org/w/index.php?diff=45666&oldid=45665 * Quintopia * (+0) 08:45:59 -!- J_Arcane_ has quit (Ping timeout: 276 seconds). 08:48:55 -!- jaboja has joined. 08:51:09 -!- J_Arcane has joined. 08:53:56 [wiki] [[Not The Main Worb]] http://esolangs.org/w/index.php?diff=45667&oldid=44768 * Quintopia * (+274) 08:54:56 [wiki] [[Not The Main Worb]] http://esolangs.org/w/index.php?diff=45668&oldid=45667 * Quintopia * (+23) 08:56:11 \oren\_: what will you do to the cyrillic letters "ЈІЅ" which look too similar to the latin letters? 08:56:15 -!- b_jonas_ has changed nick to b_jonas. 09:03:32 [wiki] [[ResPlicate]] http://esolangs.org/w/index.php?diff=45669&oldid=45372 * Quintopia * (+290) 09:06:24 -!- skarn has joined. 09:06:38 `unicode DOUBLE HELIX 09:06:39 No output. 09:06:42 darn 09:09:13 [wiki] [[CASTLE]] http://esolangs.org/w/index.php?diff=45670&oldid=45165 * Quintopia * (+354) 09:29:45 -!- MDream has joined. 09:33:49 -!- SirCmpwn_ has quit (Ping timeout: 264 seconds). 09:33:51 -!- Melvar` has quit (Ping timeout: 264 seconds). 09:33:52 -!- MDude has quit (Ping timeout: 264 seconds). 09:33:52 -!- \oren\_ has quit (Ping timeout: 264 seconds). 09:33:53 -!- oerjan has quit (Ping timeout: 264 seconds). 09:34:52 -!- FreeFull has joined. 09:35:04 -!- oerjan has joined. 09:35:14 -!- newsham has quit (Ping timeout: 265 seconds). 09:35:15 -!- \oren\ has joined. 09:38:15 -!- SirCmpwn has joined. 09:44:21 -!- singingboyo has joined. 09:46:39 -!- Melvar` has joined. 09:51:34 -!- Xe has changed nick to Guest95688. 09:51:34 -!- Guest95688 has quit (Killed (tepper.freenode.net (Nickname regained by services))). 09:54:44 -!- Xe has joined. 09:57:11 -!- MoALTz has joined. 10:22:22 http://i.imgur.com/RQUP49v.gif ha ha ha 10:33:43 -!- newsham has joined. 10:33:47 -!- mroman has joined. 10:33:49 fnurd 10:42:18 -!- mroman has quit (Quit: Lost terminal). 10:55:28 -!- AnotherTest has joined. 10:55:52 -!- ais523 has joined. 11:02:35 -!- AnotherTest has quit (Ping timeout: 264 seconds). 11:06:58 -!- FreeFull has quit (Quit: BBL). 11:25:13 -!- ais523 has quit. 11:26:07 -!- oerjan has quit (Quit: Later). 11:28:04 [wiki] [[Whyfuck]] N http://esolangs.org/w/index.php?oldid=45671 * Jabutosama * (+2379) Created page with "Whyfuck is confusing derivate of well-known esoteric programming language [[Brainfuck]]. It shares brainfuck's possibilities and adds some new ones, but makes programming anno..." 11:28:15 -!- ais523 has joined. 11:28:30 [wiki] [[Whyfuck]] http://esolangs.org/w/index.php?diff=45672&oldid=45671 * Jabutosama * (+6) 11:28:42 [wiki] [[Whyfuck]] http://esolangs.org/w/index.php?diff=45673&oldid=45672 * Jabutosama * (+2) /* Hello World */ 11:30:21 [wiki] [[Whyfuck]] http://esolangs.org/w/index.php?diff=45674&oldid=45673 * Jabutosama * (-10) /* Working Mechanism */ 11:33:06 -!- ais523 has quit (Ping timeout: 240 seconds). 11:37:45 -!- boily has joined. 11:40:26 -!- ais523 has joined. 11:45:31 argh, I have to either change the value of the existing flags or have a non-continuous field in this flags argument because I have a four bit wide field that now has to contain too many values. either sucks. 11:47:29 -!- doesthiswork1 has quit (Quit: Leaving.). 11:47:53 I've done non-continuous fields once: the log file for cbstream has one, because there was a 1 bit field showing which server is accessed, but now there are three servers 11:55:31 -!- doesthiswork has joined. 12:06:27 -!- nortti_ has changed nick to nortti. 12:12:35 -!- Jafet has joined. 12:12:42 -!- Jafet has left. 12:15:45 -!- ais523 has quit. 12:17:59 -!- jaboja has quit (Remote host closed the connection). 12:20:59 -!- ais523 has joined. 12:30:09 -!- boily has quit (Quit: CONDENSED CHICKEN). 12:32:30 -!- Patashu has quit (Ping timeout: 240 seconds). 12:33:13 -!- doesthiswork has quit (Quit: Leaving.). 12:34:35 -!- andrew_ has quit (Remote host closed the connection). 12:35:44 -!- atriq has changed nick to Taneb. 12:37:36 -!- Jafet has joined. 12:37:58 `multicode ウフフ 12:38:00 U+30A6 KATAKANA LETTER U \ UTF-8: e3 82 a6 UTF-16BE: 30a6 Decimal: ウ \ ウ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+30D5 KATAKANA LETTER HU \ UTF-8: e3 83 95 UTF-16BE: 30d5 Decimal: フ \ フ \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) \ \ U+30D5 KATAKANA LETTER HU \ UTF-8: e3 83 95 UTF-16BE: 30 12:55:43 -!- ais523 has quit (Ping timeout: 250 seconds). 13:04:13 -!- AnotherTest has joined. 13:06:42 -!- MDream has changed nick to MDude. 14:05:22 <\oren\> `unidecode ЈІЅ 14:05:23 ​[U+0408 CYRILLIC CAPITAL LETTER JE] [U+0406 CYRILLIC CAPITAL LETTER BYELORUSSIAN-UKRAINIAN I] [U+0405 CYRILLIC CAPITAL LETTER DZE] 14:05:40 <\oren\> huh 14:11:38 -!- clog_ has quit (Quit: ^C). 14:11:53 -!- clog has joined. 14:20:57 BYELORen 14:23:20 <\oren\> `unidecode ⏨ 14:23:20 ​[U+23E8 DECIMAL EXPONENT SYMBOL] 14:23:40 -!- doesthiswork has joined. 14:23:40 -!- doesthiswork has quit (Client Quit). 14:23:46 <\oren\> ah it's that thing we alyas use 'e' for 14:26:32 I guess that's "always" 14:28:39 -!- Melvar` has changed nick to Melvar. 14:32:21 -!- spiette has joined. 14:45:51 <\oren\> int-e yah, always 15:01:38 argh, where am I corrupting memory how? this is impossible 15:08:23 ARGH! it's one of those crazy heisenbugs 15:08:28 impossible to localize 15:14:52 -!- doesthiswork has joined. 15:18:53 oh! the star destroyer in xkcd contains a room with level 1 of Prince of Persia except for the doors 15:19:47 i never did finish exploring the star destroyer. it was too much 15:19:53 -!- doesthiswork has quit (Ping timeout: 276 seconds). 15:20:14 quintopia: there's always spoilers in http://www.explainxkcd.com/wiki/index.php/1608 15:20:45 see http://www.explainxkcd.com/wiki/index.php/1608#Imperial_Star_Destroyer 15:20:46 yes 15:20:52 but 15:21:01 it feels like cheating 15:21:12 of course it is 15:21:17 I am cheating in multiple ways 15:21:24 using the cheat codes? 15:21:51 yes 15:21:59 and I've downloaded a map 15:22:02 and I'm looking at that 15:30:08 -!- TieSoul has joined. 15:31:14 -!- spiette has quit (Excess Flood). 15:31:48 -!- spiette has joined. 15:34:38 -!- TieSoul has quit (Ping timeout: 260 seconds). 15:44:53 -!- TieSoul has joined. 15:52:13 -!- Welo has joined. 15:59:51 if P = NP then P is 0 or N is 1 15:59:57 where is my nobel prize 16:03:17 izabera: that assumes that P and N are both finite 16:03:32 shush 16:03:49 -!- doesthiswork has joined. 16:04:04 If, say, P is positive infinity, that's another case 16:11:14 -!- J_Arcane has quit (Ping timeout: 276 seconds). 16:11:22 or negative infinity 16:11:42 That's another another case 16:11:54 (in either case, I believe N must be positive) 16:12:58 so we can at least prove P=0 or N>0 16:13:37 looks too trivial to be abel prize worthy. makes you wonder what all those mathematicians are wasting their time on 16:14:46 quintopia: N can also equal zero in some situations 16:18:24 Taneb: when can P1=0 and N=0? 16:18:56 quintopia: if P = infinity and N = 0, NP is undefined, but infinity is in the range of values it can take 16:19:04 HEY WHO CHANGED My nick 16:19:06 -!- Warrigal has changed nick to tswett. 16:20:04 i'm not sure the concept "is among the potential values of the indeterminate form" is fully captured by the = relation 16:35:37 -!- Xe has quit (Ping timeout: 240 seconds). 16:35:40 -!- gniourf has quit (Ping timeout: 240 seconds). 16:35:41 -!- Melvar has quit (Ping timeout: 240 seconds). 16:36:57 -!- gniourf has joined. 16:37:03 -!- Melvar has joined. 16:41:02 -!- Xe has joined. 16:41:48 I'm going to stop populating the "evil" command before I get banned from freenode or something. 16:42:21 `evil 16:42:22 SEIZE IT AND THRUST IT TO THE GROUND. 16:42:29 `evil 16:42:30 YOU CAN BECOME STRONGER. YOU WILL BECOME STRONGER. 16:42:38 Those aren't really evil. 16:43:36 The first one sounds violent, but it's pretty vague. The second one isn't really evil at all. 16:43:43 `run evil | loudly 16:43:44 ​THEY HAVE WRONGED YOU. THEY MUST BE DESTROYED. 16:44:05 Now that's evil. 16:44:18 `run ls evil | wc 16:44:19 ​ 10 10 40 17:10:05 -!- Welo has quit (Ping timeout: 250 seconds). 17:11:35 -!- AnotherTest has quit (Ping timeout: 264 seconds). 17:16:48 I think when I need to draw https://runciman.hacksoc.org/~taneb/tof.pdf I am either writing fizzbuzz programs very right or very wrong 17:18:10 (if the node labelled OO is treated as both an initial and final state, that is a FSA recognizing multiples of 15) 17:18:24 (well, non-negative multiples of 15, in base 10) 17:19:22 ah 17:20:00 i was expecting it to have states for "fizz" and "buzz" too 17:20:15 Those can be added! 17:20:41 The states with an O in the first position of their name are buzz, with an O in the second position are fizz 17:20:48 but i guess you could just have multiple dfas running simultaneously 17:20:58 ah 17:21:01 neat 17:24:11 -!- Welo has joined. 17:25:18 -!- Welo has quit (Remote host closed the connection). 17:34:10 Taneb: can you provide a regex for that DFA? 17:39:30 -!- AnotherTest has joined. 17:43:17 ^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$ 17:43:24 -!- gniourf has quit (Read error: Connection reset by peer). 17:43:38 ah nice 17:44:27 `` seq 1000 | egrep '^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$' 17:44:28 15 \ 30 \ 45 \ 60 \ 75 \ 90 \ 105 \ 120 \ 135 \ 150 \ 165 \ 180 \ 195 \ 210 \ 225 \ 240 \ 255 \ 270 \ 285 \ 300 \ 315 \ 330 \ 345 \ 360 \ 375 \ 390 \ 405 \ 420 \ 435 \ 450 \ 465 \ 480 \ 495 \ 510 \ 525 \ 540 \ 555 \ 570 \ 585 \ 600 \ 615 \ 630 \ 645 \ 660 \ 675 \ 690 \ 705 \ 720 \ 735 \ 750 \ 765 \ 780 \ 795 \ 810 \ 825 \ 840 \ 855 \ 870 \ 885 \ 90 17:44:39 `perl -e for (0..3999) { /^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$/ and print"$_,"; } 17:44:40 0,15,30,45,60,75,90,105,120,135,150,165,180,195,210,225,240,255,270,285,300,315,330,345,360,375,390,405,420,435,450,465,480,495,510,525,540,555,570,585,600,615,630,645,660,675,690,705,720,735,750,765,780,795,810,825,840,855,870,885,900,915,930,945,960,975,990,1005,1020,1035,1050,1065,1080,1095,1110,1125,1140,1155,1170,1185,1200,1215,1230,1245,1260, 17:44:43 you're faster 17:45:46 quintopia, no, is the issue 17:45:46 `perl -e for (0..39999) { !/^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$/ == !($_%15) and print"$_,"; } 17:45:48 No output. 17:45:58 `perl -e for (0..39999) { !/^(([0369]|[25][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$/ == !($_%15) and print"$_,"; } 17:45:59 810,840,870,3810,3840,3870,6810,6840,6870,8010,8040,8070,8100,8130,8160,8190,8310,8340,8370,8400,8430,8460,8490,8610,8640,8670,8700,8730,8760,8790,8910,8940,8970,9810,9840,9870,12810,12840,12870,15810,15840,15870,18810,18840,18870,21810,21840,21870,24810,24840,24870,27810,27840,27870,30810,30840,30870,33810,33840,33870,36810,36840,36870,38010,38040 17:46:03 `perl -e for (0..39999) { !/^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$/ == !($_%15) and print"$_,"; } 17:46:04 -!- gniourf has joined. 17:46:04 No output. 17:46:07 looks fine 17:46:17 `perl -e for (0..399999) { !/^(([0369]|[258][0369]*[147])*(([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))?)*(0|([0369]|[258][0369]*[147])*([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$/ == !($_%15) and print"$_,"; } print"ok" 17:46:23 ok 17:48:55 Oh wow 17:52:14 I didn't start from scratch; a few days ago I came up with ((ab)*(b|aa)(ba)*(a|bb)|ba)* which accepts words with equal numbers of as and bs, modulo 3. 17:54:24 -!- sebbu3 has joined. 17:54:42 uhm, I got that wrong. ((ab)*(b|aa)(ba)*(a|bb)|ab)* is right, and it can be simplified to ((b|aa)(ba)*(a|bb)|ab)* ... fun. 17:57:26 -!- sebbu has quit (Ping timeout: 260 seconds). 17:57:33 -!- sebbu3 has changed nick to sebbu. 18:00:07 int-e: can you use groups and replacement to replace a number with the appropriate fizzbuzz? 18:01:11 so this slightly shorter regex also works... ^([0369]|[258][0369]*[147]|([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*([147][0369]*[147]|[258]))*(0|([147]|[258][0369]*[258])([0369]|[147][0369]*[258])*5)$ 18:02:07 funny how it resembles a telephone keypad 18:02:35 i guess its all groups of mod 3 equivalence 18:02:59 -!- kragniz has joined. 18:03:37 quintopia: I don't know; I rather suspect that you one needs 3 replacements to make it work. 18:04:28 maybe it makes more sense to recognize the output language: Fizz, Buzz, FizzBuzz, and decimal numbers coprime to 15. 18:04:49 maybe 18:05:02 but that dfa does that 18:05:39 oi is fizz, io is buzz, oo is fizzbuzz, and the others are the others 18:06:10 -!- Welo has joined. 18:06:29 -!- MC8 has joined. 18:06:41 sure, I could have something /(coprime to 15)|(divisible by 15)|(divisible by 5 but not 3)|(divisible by 3 but not 5)/ ...I just don't see the point. 18:07:46 (the expressions would have a common prefix that can be factored out, but that's where the sharing stops) 18:09:47 you could also not include the 15 one 18:11:15 eh maybe not 18:11:56 -!- oerjan has joined. 18:21:49 impossible to localize <-- only if you insist on having the momentum too, hth 18:22:23 what 18:22:29 hm 18:22:31 oerjelloan 18:22:54 hellint-e 18:22:57 hm hth 18:23:24 i got a weird irssi script error, but only the first time 18:24:38 bonjoerjan 18:25:00 impossible to localize <-- only if you insist on having the momentum too, hth 18:25:01 -!- Phantom_Hoover has joined. 18:25:45 halloneb 18:26:04 oerjan: did you know that you can join a random channel and test things all for yourself? 18:26:41 madness 18:27:29 -!- singingb1yo has joined. 18:27:41 oh dear 18:28:10 question: proof by induction that every set with n elements has 2^n subsets 18:28:17 answer i got: https://www.dropbox.com/s/iqo3ttmp8cxync9/IMG_20151125_160627.jpg?dl=0 18:28:18 -!- Welo has quit (Quit: Leaving). 18:28:27 well the exact line i said to b_jonas didn't trigger it again 18:28:46 oh dropbox, why won't you work without javascript 18:28:58 it doesn't? 18:30:34 ugh, I hate such solutions 18:30:40 it's pretty lousy even with javascript, on this computer 18:30:51 "what was the student thinking? is there a glimmer of a right idea in there that might be worth a point?" 18:31:04 -!- Welo has joined. 18:31:05 it was one of the better ones from him. 18:31:23 myname: it just shows a blank page. *with* javascript it displays an annoying dialog asking me to register... 18:31:23 but i mean, there's not even a 2^n in there 18:32:02 myname: i am guessing he doesn't know the difference between 2n and 2^n 18:32:07 "induction" --> something with sum from index 0 to n+1 <-- only pattern I see, and of course it's wrong. 18:32:29 [wiki] [[Small]] N http://esolangs.org/w/index.php?oldid=45675 * 73.234.127.46 * (+2095) Adding small language 18:32:30 the steps are ridiculous by itself 18:32:42 first step: replace = with + 18:32:55 second step: remove sum sign 18:32:58 I said to trigger what? 18:33:02 -!- adu has joined. 18:33:02 third step: calculate 18:34:40 i'll grant that it's a small language. 18:34:44 -!- singingboyo has quit (*.net *.split). 18:35:15 b_jonas: no, that i said to you 18:35:26 on another question he does something like 18:35:29 x = y 18:35:38 0 = x + y 18:35:52 * int-e loves fields of characteristic 2. 18:35:55 b_jonas: it gave a weird error from elliott's irssi script. my guess is some other script hadn't loaded yet, because it disappeared. 18:36:31 int-e: they're pretty cool 18:36:59 myname: what is this, bachelor first semester computer science (I sincerely hope it's not math...)? 18:37:30 although there should be an efficient deterministic way to generate them... 18:37:47 it's either maths, physics or bioinformatics in at least the third semester 18:39:21 myname: this sounds like the kind of guy that should really be told to give up on this level of math, if anyone would dare to... 18:40:50 http://dangerousminds.net/comments/bank_of_canada_urges_star_trek_fans_to_stop_spocking_their_fivers 18:42:15 hm nimoy wasn't canadian at all, afaict 18:42:21 int-e: right. and the general way to solve linear equation systems on arbitrary finite fields (or over an extension of rationals too if you wish) is to use GAP. I've solved equations that way multiple times, incuding over GF(2), GF(127), and GF(128). 18:42:22 myname: well I think they won't be happy in any of those three fields. 18:42:35 most likely 18:42:49 http://cosmic.mearie.org/2015/11/font/sample#ua66e 18:42:55 everyone seems to like this glyph, so I've added it 18:43:27 b_jonas: But GF(127) doesn't have characteristic 2! 18:43:52 int-e: yes, I know, but I solved equations over GF(127) over that field still 18:44:14 * int-e should perhaps learn to use gap... so far pari/gp has been sufficient for just doing calculations though 18:44:32 * oerjan thinks it must be rather heartbreaking to love science and want it as a career if you cannot do math at all 18:45:07 (but I'm not sure whether it can handle non-prime-order finite fields; I believe so but I'd have to figure that out when I need it) 18:45:35 oerjan: it would be 18:45:44 GF(127) => http://www.perlmonks.com/?node_id=581159 ; GF(128) => http://www.perlmonks.com/?node_id=862789 (in reply) and http://www.perlmonks.com/?node_id=863110 18:45:50 it's easier to assume that they just want a degree or pass some time while looking for a job 18:46:24 GF(3) => http://www.perlmonks.com/?node_id=940327 (in reply) 18:47:29 `factor 127 18:47:29 127: 127 18:47:58 one of those nodes actually show the GAP code by the way 18:48:14 oerjan: the really sad part is this... it's very much possible that the same student got excellent grades in mathematics in (~high)school. 18:48:19 well prime fields are easy, just modulo arithmetic 18:48:26 and fermats little theorem 18:48:29 *+' 18:48:39 int-e: ouch 18:48:51 oerjan: non-prime fields are easy too 18:49:32 oerjan: http://www.perlmonks.com/?node_id=863110 is all about how easy it is to compute in a non-prime field, though it only evaluates a polynomial, it doesn't solve a linear equation 18:50:13 -!- adu has quit (Ping timeout: 265 seconds). 18:54:03 -!- glogbot has quit (Ping timeout: 260 seconds). 18:54:09 -!- esowiki has joined. 18:54:13 -!- esowiki has joined. 18:54:14 -!- esowiki has joined. 18:54:56 -!- esowiki has joined. 18:55:00 -!- esowiki has joined. 18:55:01 -!- esowiki has joined. 18:55:47 -!- esowiki has joined. 18:55:51 -!- esowiki has joined. 18:55:52 -!- esowiki has joined. 18:56:29 -!- esowiki has joined. 18:56:33 -!- esowiki has joined. 18:56:34 -!- esowiki has joined. 18:57:16 -!- esowiki has joined. 18:57:20 -!- esowiki has joined. 18:57:21 -!- esowiki has joined. 18:58:12 -!- esowiki has joined. 18:58:16 -!- esowiki has joined. 18:58:17 -!- esowiki has joined. 18:59:08 -!- esowiki has joined. 18:59:13 -!- esowiki has joined. 18:59:13 -!- esowiki has joined. 19:00:04 -!- esowiki has joined. 19:00:08 -!- esowiki has joined. 19:00:09 -!- esowiki has joined. 19:00:52 -!- esowiki has joined. 19:00:56 -!- esowiki has joined. 19:00:56 -!- esowiki has joined. 19:01:25 -!- esowiki has joined. 19:01:29 -!- esowiki has joined. 19:01:29 -!- esowiki has joined. 19:02:19 -!- esowiki has joined. 19:02:21 -!- glogbot has joined. 19:02:21 -!- EgoBot has joined. 19:02:24 -!- esowiki has joined. 19:02:24 -!- esowiki has joined. 19:02:34 quintopia: there's always spoilers in http://www.explainxkcd.com/wiki/index.php/1608 <-- hmph i seem to have missed 8 coins... 19:02:37 -!- fizzie has joined. 19:02:37 -!- jameseb has joined. 19:02:37 -!- zemhill has joined. 19:03:01 -!- spiette has joined. 19:04:21 oerjan: did you find the underground cave in the western mountain (volcano)? 19:04:52 -!- lifthrasiir has joined. 19:04:58 -!- gniourf has joined. 19:06:05 oh there's a floating island as well... tricky 19:06:16 i don't remember. 19:07:18 floating in the air? 19:08:03 -!- quintopi1 has joined. 19:08:03 -!- deltab has joined. 19:08:03 -!- Welo has joined. 19:08:03 -!- doesthiswork has joined. 19:08:03 -!- b_jonas has joined. 19:08:03 -!- coppro has joined. 19:08:03 -!- fungot has joined. 19:08:03 -!- ski has joined. 19:08:03 -!- tromp__ has joined. 19:08:03 -!- PinealGlandOptic has joined. 19:08:03 -!- diginet has joined. 19:08:03 -!- nitrix has joined. 19:08:03 -!- relrod has joined. 19:08:03 -!- pdxleif has joined. 19:08:17 I'm looking at the "png-map" https://i.imgur.com/uYryxss.png 19:09:58 -!- aloril has joined. 19:10:02 -!- kragniz_ has joined. 19:10:03 -!- vifino has joined. 19:10:30 -!- kragniz_ has changed nick to kragniz. 19:10:31 int-e: yes, I made something similar, except I started from the big map, recolored it so that full black (wall) is distinguishable from any gray (decoration), then shrunk it 19:11:07 -!- Tefaj has joined. 19:11:07 -!- \oren\_ has joined. 19:11:07 -!- AnotherTest has joined. 19:11:07 -!- MoALTz has joined. 19:11:07 -!- SirCmpwn has joined. 19:11:07 -!- MDude has joined. 19:11:07 -!- perrier_ has joined. 19:11:07 -!- Taneb has joined. 19:11:07 -!- heroux has joined. 19:11:07 -!- mtve has joined. 19:11:07 -!- Gregor` has joined. 19:11:07 -!- nisstyre has joined. 19:11:07 -!- APic has joined. 19:11:07 -!- ineiros has joined. 19:11:07 -!- shachaf has joined. 19:12:13 I didn't make that picture; the link is from explain xkcd. 19:12:42 int-e: sure, and a png picture of the full map can be found there too 19:12:55 -!- nisstyre has quit (Max SendQ exceeded). 19:14:48 -!- MC8 has joined. 19:14:48 -!- TieSoul has joined. 19:14:48 -!- kline has joined. 19:14:48 -!- ocharles__ has joined. 19:14:48 -!- glowcoil has joined. 19:14:48 -!- cnr has joined. 19:16:10 -!- Sgeo_ has joined. 19:16:22 -!- nisstyre has joined. 19:23:20 -!- esowiki has joined. 19:23:24 -!- esowiki has joined. 19:23:25 -!- esowiki has joined. 19:23:56 -!- glogbot has joined. 19:25:01 -!- ?unknown? has set channel mode: +ns. 19:27:15 -!- EgoBot has joined. 19:27:15 -!- atehwa has joined. 19:27:15 -!- Deewiant has joined. 19:32:46 -!- glogbot has quit (Ping timeout: 260 seconds). 19:32:52 -!- esowiki has joined. 19:32:56 -!- esowiki has joined. 19:32:57 -!- esowiki has joined. 19:34:06 -!- glogbot has joined. 19:38:03 -!- atehwa has quit (Ping timeout: 260 seconds). 19:39:46 -!- EgoBot has quit (Ping timeout: 260 seconds). 19:42:34 -!- glogbot has quit (Ping timeout: 260 seconds). 19:42:40 -!- esowiki has joined. 19:42:44 -!- esowiki has joined. 19:42:45 -!- esowiki has joined. 19:43:43 -!- esowiki has joined. 19:43:47 -!- glogbot has joined. 19:43:47 -!- esowiki has joined. 19:43:48 -!- esowiki has joined. 19:48:39 -!- EgoBot has joined. 19:50:58 -!- EgoBot has quit (Ping timeout: 260 seconds). 19:51:24 -!- spiette has joined. 19:58:04 -!- mauris has joined. 20:00:31 *** Notice -- TS for #esoteric changed from 1448565836 to 1164523370 20:00:31 -!- ?unknown? has set channel mode: +C-s. 20:00:31 -!- digitalcold has joined. 20:00:31 -!- nisstyre has joined. 20:00:31 -!- Sgeo_ has joined. 20:00:31 -!- cnr has joined. 20:00:31 -!- glowcoil has joined. 20:00:31 -!- ocharles__ has joined. 20:00:31 -!- kline has joined. 20:00:31 -!- TieSoul has joined. 20:00:31 -!- MC8 has joined. 20:00:31 -!- shachaf has joined. 20:00:31 -!- ineiros has joined. 20:00:31 -!- APic has joined. 20:00:31 -!- Gregor` has joined. 20:00:31 -!- mtve has joined. 20:00:31 -!- heroux has joined. 20:00:31 -!- Taneb has joined. 20:00:31 -!- perrier_ has joined. 20:00:31 -!- MDude has joined. 20:00:31 -!- SirCmpwn has joined. 20:00:31 -!- MoALTz has joined. 20:00:31 -!- AnotherTest has joined. 20:00:31 -!- \oren\_ has joined. 20:00:31 -!- Tefaj has joined. 20:00:31 -!- vifino has joined. 20:00:31 -!- kragniz has joined. 20:00:31 -!- aloril has joined. 20:00:31 -!- pdxleif has joined. 20:00:31 -!- relrod has joined. 20:00:31 -!- nitrix has joined. 20:00:31 -!- diginet has joined. 20:00:31 -!- PinealGlandOptic has joined. 20:00:31 -!- tromp__ has joined. 20:00:31 -!- ski has joined. 20:00:31 -!- fungot has joined. 20:00:31 -!- coppro has joined. 20:00:31 -!- b_jonas has joined. 20:00:31 -!- doesthiswork has joined. 20:00:31 -!- Welo has joined. 20:00:31 -!- deltab has joined. 20:00:31 -!- quintopi1 has joined. 20:00:31 -!- gniourf has joined. 20:00:31 -!- lifthrasiir has joined. 20:00:31 -!- 16WAASGQ9 has joined. 20:00:31 -!- zemhill has joined. 20:00:31 -!- jameseb has joined. 20:00:31 -!- fizzie has joined. 20:00:31 -!- 18WAA8QGC has joined. 20:00:31 -!- EgoBot has joined. 20:00:31 -!- HackEgo has joined. 20:00:31 -!- zgrep has joined. 20:00:31 -!- digitalc1ld has joined. 20:00:31 -!- atehwa_ has joined. 20:00:31 -!- Xe has joined. 20:00:31 -!- Sgeo__ has joined. 20:00:31 -!- gamemanj has joined. 20:00:31 -!- adu has joined. 20:00:31 -!- singingb1yo has joined. 20:00:31 -!- Phantom_Hoover has joined. 20:00:31 -!- oerjan has joined. 20:00:31 -!- sebbu has joined. 20:00:31 -!- Melvar has joined. 20:00:31 -!- clog has joined. 20:00:31 -!- skarn has joined. 20:00:31 -!- FireFly has joined. 20:00:31 -!- j-bot has joined. 20:00:31 -!- zzo38 has joined. 20:00:31 -!- sewilton has joined. 20:00:31 -!- Hoolootwo has joined. 20:00:31 -!- Lymia has joined. 20:00:31 -!- gonad has joined. 20:00:31 -!- fractal has joined. 20:00:31 -!- rodgort has joined. 20:00:31 -!- nchambers has joined. 20:00:31 -!- myndzl has joined. 20:00:31 -!- myname has joined. 20:00:31 -!- staffehn_ has joined. 20:00:31 -!- nortti has joined. 20:00:31 -!- tswett has joined. 20:00:31 -!- Froox has joined. 20:00:31 -!- puckipedia has joined. 20:00:31 -!- haavard has joined. 20:00:31 -!- augur has joined. 20:00:31 -!- Lord_of_Life has joined. 20:00:31 -!- mbrcknl has joined. 20:00:31 -!- idris-bot has joined. 20:00:31 -!- olsner has joined. 20:00:31 -!- jix has joined. 20:00:31 -!- gde33 has joined. 20:00:31 -!- izabera has joined. 20:00:31 -!- rntz has joined. 20:00:31 -!- yorick has joined. 20:00:31 -!- int-e has joined. 20:00:31 -!- scoofy has joined. 20:00:31 -!- erdic has joined. 20:00:31 -!- trn has joined. 20:00:31 -!- Nithogg has joined. 20:00:31 -!- tromp_ has joined. 20:00:31 -!- edwardk has joined. 20:00:31 -!- shikhin has joined. 20:00:31 -!- pikhq_ has joined. 20:00:31 -!- paul2520 has joined. 20:00:31 -!- lambdabot has joined. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!~grotewold@c-68-50-42-113.hsd1.in.comcast.net *!*5f760a3b@*.com/ip.95.118.10.59 edtoast_46!*@* *!*Fat@*.neo.res.rr.com. 20:00:31 -!- ?unknown? has set channel mode: +bbbb FrogLeg!*@* *!*@84.78.* *!*guawguaw@84.78.23.* *!*@84.78.18.51. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*@213.143.* *!*curtiii@* *!*crinzesi@* corsee!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*corsee@84.78.20.* $a:silverstream *!*jslave@* *!*hagb4rd*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*exile-bot@* *!*@li604-225.members.linode.com *!*nodebot@*.members.linode.com *!*redryder@*.nwrknj.east.verizon.net. 20:00:31 -!- ?unknown? has set channel mode: +bb *!*@*.aq *!*4d0b5b3d@*.77.11.91.61. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*@c-24-16-35-49.hsd1.wa.comcast.net hagb4rd!*@* *!*@117.206.25.86 *!*@5ED28E0D.cm-7-3c.dynamic.ziggo.nl. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*@62.233.41.* *!~COS@* ThePoster*!*@* *!*@212.150.184.*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb cheater*!*@*.adsl.alicedsl.de *!*@g230223105.adsl.alicedsl.de $a:cheater barts*!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*yevunye@*.csclub.uwaterloo.ca *!*@189.34.44.144 *!*bade2fc0@*.186.222.47.192 GOMADWarrior*!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb asdfasd!*@* asdfasd_!*@* Regis*!*@* *!*7c96346a@*.124.150.52.106. 20:00:31 -!- ?unknown? has set channel mode: +bb *!*@ec2-107-22-99-160.compute-1.amazonaws.com MBEFDC!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!x@0x00.me *!*null@unaffiliated/0x00/x-2550036 $a:`0x00 `0x00*!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*null@*.violates.us nan[0]*!*@* $a:perdent Yogi_Bear*!*@*. 20:00:31 -!- ?unknown? has set channel mode: +bbbb *!*bossbear@*.dllstx.fios.verizon.net *!~stuntaneo@122.150.166.161 *!*@*.dynamic.jazztel.es *!~loveirc-b@c-24-0-107-80.hsd1.nj.comcast.net. 20:00:31 -!- ?unknown? has set channel mode: +bbbb haggy!*@* *!*perdito@* $a:perdito *!*sn0wboard@*. 20:00:31 -!- ?unknown? has set channel mode: +bb *!*AuePrum@46.115.88.* *!*@denuncia.anonima.empleosonora.gob.mx. 20:00:31 -!- ?unknown? has set channel mode: +qq clog!~nef@bespin.org *!*@gateway/web/freenode/ip.69.228.43.90. 20:00:31 -!- ?unknown? has set topic: The ウフフ channel. | /ɛ̃ˈglɪʃ spɛˈliŋ ʀɘfɔʀm/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | https://esolangs.org/. 20:01:51 -!- EgoBot has changed nick to 16WAASGMV. 20:01:54 -!- 18WAA8QGC has quit (Ping timeout: 240 seconds). 20:01:54 -!- HackEgo has quit (Ping timeout: 240 seconds). 20:01:54 -!- aloril has quit (Ping timeout: 240 seconds). 20:01:54 -!- HackEgo has joined. 20:01:54 -!- atehwa_ has quit (*.net *.split). 20:01:54 -!- Xe has quit (*.net *.split). 20:01:54 -!- Sgeo__ has quit (*.net *.split). 20:01:54 -!- zgrep has quit (Ping timeout: 264 seconds). 20:01:54 -!- lifthrasiir has quit (Ping timeout: 264 seconds). 20:01:54 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 20:01:54 -!- oerjan has quit (Ping timeout: 264 seconds). 20:01:55 -!- sebbu has quit (Ping timeout: 264 seconds). 20:01:55 -!- aloril has joined. 20:01:55 -!- gniourf has quit (Ping timeout: 264 seconds). 20:01:55 -!- gamemanj has quit (Ping timeout: 264 seconds). 20:01:56 -!- oerjan has joined. 20:01:56 -!- Xe has joined. 20:01:58 -!- zgrep has joined. 20:01:58 -!- atehwa_ has joined. 20:01:58 -!- Sgeo_ has quit (*.net *.split). 20:01:58 -!- 16WAASGQ9 has quit (*.net *.split). 20:01:58 -!- 16WAASGMV has quit (*.net *.split). 20:01:59 -!- digitalc1ld has quit (*.net *.split). 20:01:59 -!- adu has quit (*.net *.split). 20:01:59 -!- paul2520 has quit (*.net *.split). 20:02:00 -!- Phantom_Hoover has joined. 20:02:00 -!- gamemanj has joined. 20:02:00 -!- Phantom_Hoover has quit (Remote host closed the connection). 20:02:01 -!- gniourf has joined. 20:02:01 -!- Phantom_Hoover has joined. 20:02:03 -!- Xe has quit (Ping timeout: 240 seconds). 20:02:03 -!- HackEgo has quit (Ping timeout: 240 seconds). 20:02:03 -!- aloril has quit (Ping timeout: 240 seconds). 20:02:03 -!- HackEgo has joined. 20:02:04 -!- aloril has joined. 20:02:04 -!- fizzie` has joined. 20:02:04 -!- jameseb- has joined. 20:02:05 -!- paul2520 has joined. 20:02:05 -!- fizzie has quit (*.net *.split). 20:02:05 -!- jameseb has quit (*.net *.split). 20:02:05 -!- zemhill has quit (*.net *.split). 20:02:05 -!- EgoBot has joined. 20:03:36 -!- Xe has joined. 20:07:05 -!- Patashu has joined. 20:08:32 How do I add my own packages to the package manager so that it will handle all of the installing and dependencies and so on properly? I want to add the newest version of SQLite to the package manager and I want to add Swiss Ephemeris and make the package manager to understand it 20:09:15 zzo38: what package manager? I don't get the context 20:09:22 * b_jonas looks at the channel name 20:09:34 .oO(not #debian or something) 20:12:18 -!- lifthrasiir has joined. 20:20:13 -!- jaboja has joined. 20:21:20 DAMN! the old url of OEIS is no longer valid, so links everywhere on a millyon webpages are broken 20:21:20 "the package manager" probably comes with a set of development tools for creating packages, which have documentation that one can read and follow. 20:23:34 b_jonas: hm? the usual URL format for OEIS seqs still seems to work 20:24:33 @google inurl:njas oeis 20:24:35 http://www.research.att.com/~njas/sequences/A095268 20:24:41 [wiki] [[Special:Log/newusers]] create * Tatjam * New user account 20:24:47 FireFly: http://www.research.att.com/~njas/sequences/A072405 gives me an error 20:25:05 503 error 20:25:06 Ah, I didn't know about that URL 20:25:09 Must be quite old 20:25:18 yes, but it used to redirect for a while 20:25:22 I see 20:25:26 OEIS is old too 20:25:32 Yes 20:25:34 and was popular back then when that was the URL 20:25:42 and lots of people link to it because it's a useful reference 20:26:11 well there's still hope that it's a temporary hickup 20:27:04 yes... 20:27:12 let's check archive.org 20:28:07 http://web.archive.org/web/*/http://www.research.att.com/~njas/sequences says it's been down for a while 20:31:21 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=45676&oldid=44530 * Tatjam * (+813) /* 8bit Assembly BF interpreter */ new section 20:31:26 so they stopped redirecting to oeis.org some time in 2012... 20:32:34 I mean in Ubuntu. I have downloaded packages from elsewhere to add into the package manager but I don't know how to make up my own versions of packages 20:33:12 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=45677&oldid=45676 * Tatjam * (+46) /* 8bit Assembly BF interpreter */ 20:33:29 [wiki] [[Talk:Brainfuck]] http://esolangs.org/w/index.php?diff=45678&oldid=45677 * Tatjam * (-1) /* 8bit Assembly BF interpreter */ 20:35:00 zzo38: I'd start with http://packaging.ubuntu.com/html/packaging-new-software.html and for a template, e.g., http://packages.ubuntu.com/precise/sqlite3 20:35:35 [wiki] [[Talk:Brainfuck]] M http://esolangs.org/w/index.php?diff=45679&oldid=45678 * Tatjam * (+0) Ooops, wrote the debug program wrong... 20:40:35 I want to make it compatible with the existing SQLite packages so that all program can use the same SQLite 20:41:02 -!- Sgeo|web has joined. 20:41:18 So, if Freenode isn't completely dead, why am I having trouble? 20:41:28 But if there exist already the package of the newest version that is already compatible with my computer then I can use that instead. 20:42:27 -!- Sgeo|web has quit (Client Quit). 20:42:32 -!- Sgeo has joined. 20:43:30 -!- Patashu has quit (Ping timeout: 240 seconds). 20:48:02 -!- digitalc1ld has joined. 20:48:12 Sgeo: you were on the wrong side of a netsplit, I'd say 20:48:41 I did find the package on there for Swiss Ephemeris although I do not have it on my own computer (therefore I would need to add that package to the package manager, but I would need to ensure that doing so is not causing problems with other packages) 20:49:33 -!- Tefaj has left. 20:49:59 -!- fizzie has joined. 20:53:07 -!- zgrep_ has joined. 20:57:14 -!- jaboja has quit (Ping timeout: 246 seconds). 20:57:15 -!- gniourf has quit (Ping timeout: 246 seconds). 20:57:15 -!- fizzie` has quit (Ping timeout: 246 seconds). 20:57:16 -!- kragniz has quit (Ping timeout: 246 seconds). 20:57:16 -!- zgrep has quit (Ping timeout: 246 seconds). 20:57:16 -!- digitalcold has quit (Ping timeout: 246 seconds). 20:57:17 -!- vifino has quit (Ping timeout: 246 seconds). 20:57:18 -!- vifino has joined. 20:57:32 -!- gniourf has joined. 20:59:27 -!- kragniz has joined. 21:04:19 -!- mauris_ has joined. 21:06:01 -!- hppavilion[2] has joined. 21:06:50 Can someone help me with the design of an Algebraic programming language? 21:06:53 -!- hppavilion[2] has changed nick to hppavilion[1]. 21:07:02 -!- mauris has quit (Ping timeout: 260 seconds). 21:12:55 I was writing a calendar program in TeX but I intend I may now instead write in C because this way I can link to both SQLite and Swiss Ephemeris (both of which support Julian day numbers, even). It can receive a list of SQL statements on stdin and send a DVI to stdout, with an optional database name and other options as command-line arguments. 21:13:46 -!- oerjan has quit (Quit: Nite). 21:14:30 -!- hppavilion[1] has quit (Ping timeout: 260 seconds). 21:20:24 -!- hppavilion[1] has joined. 21:20:28 OK, I'm back 21:25:51 -!- sebbu has joined. 21:30:50 -!- Welo has quit (Quit: Leaving). 21:31:31 -!- hppavilion[1] has quit (Read error: Connection timed out). 21:32:01 -!- hppavilion[1] has joined. 21:32:54 I got 145 coins, and I did find the Steven Universe characters. 21:33:01 hppavilion[1]: may I ask, out of curiosity, how old you are? 21:33:25 tswett: ... 21:33:52 Not sure if I want to answer that, but that's an answer in itself xD 21:34:34 I'm guessing late 20's-mid 30's 21:34:36 So you're older than 40. Got it. :D 21:34:39 tswett: on xkcd? 21:34:44 (Or younger than 18 or even 13.) 21:34:47 nchambers: yup. 21:34:51 nice 21:35:03 14. 15, if you're rounding. Birthday's in 3 days. 21:35:15 Happy pre-birthday. 21:35:17 oh shit I was way off 21:35:30 You remind me of me at around your age. 21:36:06 nchambers: Yes. Yes you were. I'm taking your guess as a compliment. 21:36:08 Which wasn't *all* that long ago. You're about eight years younger than me. 21:36:08 :) 21:36:34 hppavilion[1]: yeah I'm a terrible guesser :D 21:36:42 nchambers: Oh. 21:37:40 `` echo wisdom/hppa* 21:37:41 wisdom/hppavilion1 wisdom/hppavilion[1] 21:37:46 I'm not sure if I was going somewhere with this... 21:37:50 `? hppavilion1 21:37:51 higgledy piggledy / hp pavilion / doesn't like jokes that are / written in text; // uncontroversially, / one in a million is / roughly the chance they won't / be left perplexed 21:37:57 I'm trying to figure out how to make a usable declarative programming language based on CASes 21:38:02 I love that rhyme :) 21:38:04 `? hppavilion[1] 21:38:05 hppavilion[1] se describe en las notas al pie. ¿Porqué no los dos? Nadie lo sabe. 21:38:20 I have no clue what that means. 21:38:28 I think I know what it means. 21:38:52 "hppavilion[1] is described in the footnotes. Why not both? Nobody knows." 21:39:09 Ah 21:39:31 I have no idea what "why not both?" is referring to. 21:39:36 Apart from that taco commercial. 21:39:40 Yeah 21:39:45 Probably the Taco commercial 21:39:59 * int-e was tempted to add "hppavilion[1] is a y2k bug" but it's probably a bad idea anyway... 21:40:10 heh 21:40:30 I wouldn't get it anyway xD 21:40:35 i like that one 21:40:40 hppavilion[1]: let me know if you ever want me to deliver you a monologue about mathematics or life wisdom or something. 21:40:48 Not that I know much about this life wisdom stuff. 21:41:03 (I use "xD" a lot because I feel like no one can tell I'm kidding. For the record.) 21:41:06 I will xD 21:41:50 hppavilion[1]: in 1999 there was a bit of a scare because a lot of software would treat year numbers as two-digit quantities, leading to silly effects like displaying the year 2000 as 1900 or 19100... in the end, nothing bad happened. 21:41:54 Can CASs usually do Algebra at the level a human can, or are they just primitive algebras? 21:42:00 Well yes, I know that. 21:42:17 that was the Y2K bug, the year 2000 bug. The reas is just backward extrapolation from your age. 21:42:24 the reas? the rest. 21:42:41 Ah. 21:42:46 Well, when it comes to solving equations and integrals and whatnot, I think CASes are generally much better than people. 21:43:25 tswett: Ah. That might make it a *bit* difficult to engineer an Algebraic lang 21:43:31 A geometric one on the other hand... 21:45:01 Tri[a,b,c] creates a triangle object with vertices a, b, and c 21:46:05 (lol, I had that idea too, describing geometry by defining constraints) 21:46:35 puckipedia: Yep. I want to make an actually-usable language out of it. 21:46:51 Perhaps I could base it on Algebraic Geometry or Geometric Algebra? 21:47:44 stuff like (Triangle ABC; AB = 5; BC = 7; Circle AB;) would define a triangle, and a circle with center A, and B on the circle or something 21:47:46 I read a little bit about algebraic geometry. 21:48:25 Or perhaps a language based on neither Algebraic Geometry nor Geometric Algebra, but based on both Algebra and Geometry independently 21:48:27 I guess I'd appreciate an algebraic geometry textbook that's at a lower level than the one I looked at. 21:48:38 The textbook I read assumed you were familiar with rings. 21:49:11 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 21:50:30 well, if you don't need to proof things, you can handle them like fields most of the time 21:50:51 in thst case i am pretty sure you ARE familiar with rings 21:52:16 -!- TieSoul has quit (Read error: Connection reset by peer). 21:55:12 I suppose so. 21:55:22 Besides, we only ever use, like, four rings anyway. 21:55:29 -!- FreeFull has joined. 21:55:31 Reals, complexes, real polynomials, complex polynomials. 21:56:22 Maybe subrings and quotients of those. 22:01:30 -!- gamemanj has quit (Ping timeout: 260 seconds). 22:02:20 Should I use unicode in my geometric language, or should I confine it to ASCII for typability purposes? 22:05:35 I think I'll confine it to ascii, perhaps with optional unicode 22:07:46 What should I call R-like vectors in this language? I can't call them vectors, because those are vectors in the mathematical sense, and 22:11:05 -!- mauris_ has changed nick to mauris. 22:11:13 -!- mauris has quit (Changing host). 22:11:13 -!- mauris has joined. 22:13:04 And nothing, I suppose 22:27:36 -!- J_Arcane has joined. 22:29:23 Confine to ASCII, with optional Unicode support if you wish. 22:31:24 zzo38: Yeah, that's what I was going to do 22:50:10 -!- spiette has quit (Ping timeout: 260 seconds). 22:52:27 -!- newsham has joined. 22:54:05 Should I use \ as line intersection, or /\, or something else? 23:05:18 Or I guess I could use +, but that's used for addition and might get a tiny bit confusing 23:05:25 And ^ is used for set theory 23:18:36 (I would recommend that invalid UTF-8 should be allowed in comments though, even if nowhere else in the program) 23:20:56 Hmm. For my programming languages, I was thinking I'd define a program as being a sequence of Unicode characters. Theoretically, this means that it's impossible for a UTF-8-encoded program to contain invalid UTF-8. 23:21:05 If something contains invalid UTF-8, that means it's not UTF-8-encoded. 23:28:14 Here's what I have so far: https://docs.google.com/document/d/1sEyRHE3CLyVNwrkh-jsL32MIhtrdUjZ7WMVV8MAd2Kw/edit?usp=sharing 23:28:29 No actual docs, just information on operations and how you create objects in the form of big tables 23:31:51 (the final version will either be HTML or a PDF, depending on how I'm feeling that day. Or maybe just plain TeX under the principal of "if you can't either use TeX to compile to docs or read plain TeX yourself, you shouldn't be using my programming language") 23:37:36 -!- mauris_ has joined. 23:39:26 tswett: If you want to read it, I guess. 23:39:37 Just want to make sure people are aware it exists. 23:39:37 Sure. 23:39:58 Do you know any Haskell, by the way? 23:40:34 -!- mauris has quit (Ping timeout: 260 seconds). 23:42:03 TeX should be fine since it would not be too difficult to read, and can be compiled using TeX into DVI and any other formats needed (PCL, PBM, PostScript, PDF, etc); if no macros and fonts are used other than the "plain" macros, the standard Computer Modern fonts, and any others that are provided with the document, then it can be worked very easily. 23:42:38 You know what would be interesting? Creating an ellipse with a specific circumference. 23:43:14 tswett: A tiny bit 23:44:32 zzo38: My point was that I should use TeX so that people who don't know how to TeX can't learn the language and give up before starting, such that the community for the language consists only of people smart enough to at /least/ compile TeX. 23:44:41 tswett: I'm not falling for that trap xD 23:45:39 tswett: Oh, and you can just use Google Docs' "suggest" feature if you weren't aware, though it is perfectly acceptable just to inform me here 23:48:06 tswett: Oh, that was a double trap: Not only is /finding/ the circumference of an ellipse hard (in this case, "hard" is formally defined as "involving an infinite series"); there are an infinite number of ellipses with a given circumference AFAIMO 23:49:19 Yeah, you'd have to specify the eccentricity and... angle, I guess, somehow. 23:49:33 hppavilion[1]: now, are you familiar with how conic sections are defined by polynomials of a certain form? 23:50:01 tswett: I suspect that that's second-semester Algebra II, so no 23:50:18 Unless you mean like r**2=x**2+y**2, in which case yes 23:50:51 I learned it in Pre-Calculus, actually. 23:50:52 ax^2 + bxy + cy^2 + dx + ey + f = 0 23:50:55 tswett: I think the only way to create an angled shape in Euclid thus far is to use the theta transformation function 23:51:06 Never seen that formula 23:51:47 Is that the /general/ form of an ellipse? 23:52:27 The general form of a conic section. 23:52:31 Ah 23:53:05 All ellipses can be specified that way, and all parabolas and hyperbolas. 23:53:10 If I remember right. 23:53:11 Conic section including just Circles and Ellipses (obviously, circles are a subset of ellipses), or including also hyperbolas and parabolas 23:53:12 Oh 23:53:17 Looks right, actually 23:53:28 And also a couple of things that aren't conic sections, too. 23:53:46 Namely: nothing; a single point; a line; the union of two lines. I think that's it. 23:53:47 like pairs of parallel lines 23:54:15 -!- aloril has quit (*.net *.split). 23:54:15 -!- HackEgo has quit (*.net *.split). 23:54:15 ax**2+bx+c is ax**2+bxy+cy**2+dx+ey+f=0 with some of the variables renamed and moved around, and some of the coefficients equal to zero it looks like 23:54:23 AFAICT 23:54:33 Yeah, yeah. 23:54:40 Quadratic equations are a special case of that. 23:54:48 These two equations are equivalent: 23:54:55 tswett: Isn't the union of two lines either identical to (both) of those lines or equal to a single point? 23:55:08 y = ax^2 + bx = c 23:55:12 hppavilion[1]: no, that would be their intersection 23:55:16 Also, wouldn't nothing, a point, and a line be conic sections more-or-less 23:55:17 Oh right 23:55:22 Erm. 23:55:26 y = ax^2 + bx + c 23:55:47 And: ax^2 + 0xy + 0y^2 + bx + (-1)y + c 23:55:50 = 0 23:56:05 Because a point is just the tip of the cone, and a line is just a plane right along the edge of the cone, and nothing is a plane that doesn't intersect the cone at all 23:56:16 hppavilion[1]: exactly! 23:56:34 Yay! 23:56:35 I did math! 23:57:01 right, I believe the case of two parallel lines is the most degenerated one when you want to interpret it as a conic section. 23:57:11 Perhaps I should generalize Euclid to 3 dimensions, but still allow it to be interacted with in 2 23:57:38 Namely, with a "plane ;" keyword/marker that changes the plane that equations define in 23:57:45 oh and we better don't talk about the case a=b=c=d=e=f=0 at all 23:57:52 Though it's actually impossible, I think, to have a plane and a couple cone that don't intersect. 23:57:55 Not technically imperative, though, because it's just syntactic sugar that happens to be the only way to do something 23:58:11 Oh right, one more "degenerate" form of the equation: a = b = c = d = e = f = 0, which has the entire plane as a solution. 23:58:16 s/couple cone/double cone/ 23:58:28 (Though "couple cone" would also make sense, as it happens...) 23:58:31 Well of course it's impossible 23:58:42 Assuming the cones extend infinitely 23:58:46 Right. 23:58:49 -!- ^v has joined. 23:59:02 hppavilion[1]: are you familiar with the adjective "degenerate" in math? 23:59:03 Which I suppose is probably the mathematical definition of a cone that no one ever bothered to inform me about 23:59:14 tswett: Not particularly, but I've heard it before. 23:59:31 I believe it's when some variable approaches infinity or zero? 23:59:48 And everything just stops being useful?