00:01:23 -!- moonheart08 has joined. 00:04:58 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 00:09:19 -!- DHeadshot has quit (Ping timeout: 265 seconds). 00:10:37 -!- hppavilion[1] has joined. 00:10:41 -!- DHeadshot has joined. 00:15:33 -!- DHeadshot has quit (Ping timeout: 268 seconds). 00:18:01 -!- moonheart08 has quit (Ping timeout: 265 seconds). 00:26:05 Um... 00:26:16 My client has labeled #esoteric as the network... 00:26:25 -!- hppavilion[1] has quit (Quit: PH'NGLUI MGLW'NAFH HPPAVILION[1] LA'SKA WGAH'NAGL FHTAGN). 00:26:44 -!- hppavilion[1] has joined. 00:27:39 -!- hppavilion[1] has quit (Client Quit). 00:27:54 -!- hppavilion[1] has joined. 00:28:14 Fix'd 00:37:44 -!- DHeadshot has joined. 00:38:01 -!- benderB747 has joined. 00:56:29 copumpkin: yopumpkin 00:56:37 how's your pooch 00:57:33 -!- DHeadshot has quit (Ping timeout: 252 seconds). 01:30:48 Cale: As the first player, with Thorium Dynamo: DD-D1-DD, or DD-D1-1? 01:34:28 Do you understand how this program is working? http://git.imagemagick.org/repos/ImageMagick/blob/master/MagickCore/fx.c#L3708 Is there an explanation anywhere? 01:35:17 magick hth 01:52:05 -!- Sprocklem has quit (Ping timeout: 248 seconds). 01:52:19 sin-leimeri.xm hth 01:54:56 (It's a famous song, I can't not see the substring "plasma" and not think of it.) 02:01:27 fizziello. it doesn't appear to be on youtube. 02:03:18 Okay, so it's not *that* famous. 02:03:40 <\oren\> https://www.youtube.com/watch?v=jCLZ7P0Kw0U 02:04:06 It's from the byterapers collection of Finnish demoscene music, http://www.byterapers.scene.org/scene-music.htm 02:04:17 Is there a direct link to that file? 02:04:45 <\oren\> https://www.youtube.com/watch?v=n1nMhWc1Kok 02:05:04 That would be ftp://ftp.byterapers.com/pub/extra/modules-humorouscollection/sin-leimeri.xm but it's not really relevant to your original question, and also the singing, it's in Finnish. 02:05:19 Actually, those links seem to have rotted away. :/ 02:05:44 I have my mirror at https://zem.fi/tmp/byterapers-modules-humorouscollection/sin-leimeri.xm anyway. 02:05:44 Ah, OK. I am not so good at Finnish anyways. I am not Finished. 02:08:55 The lyrics go approximately: "[expletive] I'm not a lamer / I can make a plasma effect / [expletive] I'm not a lamer / I'm just like Jmagic". (That would be Jmagic of Complex.) 02:10:49 `quote non-Microsoft-specific 02:10:58 115) Why shouldn't I just do everything in non-Microsoft-specific C#? it's like trying to write non-IE-specific JavaScript with only Microsoft documentation and only IE to test on 02:11:25 That quote may be old 02:11:45 I'm implementing my database query language in C#. I'm doing all the development under Linux, with only FOSS tools. 02:11:57 Honestly, I'd much rather be using Visual Studio! 02:12:36 If you have Visual Studio, use it then, but then don't use Microsoft-specific stuff, and then it will work on Linux too and other people can also to do the development under Linux with only FOSS tools. 02:12:48 <\oren\> my favorite database is the good old directory full of csv files 02:13:05 Yeah... I don't think I have any actual reason not to use Visual Studio. 02:14:07 Clearly you should use Tcl. Because something recently reminded me of Tcl despite its terribleness for anything practical and/or security sensitive 02:19:40 Now, I've thought a lot about doing mathematics without any ambient theory. 02:21:41 Nothing but sequences of symbols, and rules that you come up with. 02:22:17 Is that like typographical mathematics? 02:22:32 Want to talk about the integers? Haha, there's no such thing as "the integers". You need to come up with a sequence of symbols that you feel *represents* the integers, and then you can study those symbols. 02:22:45 ("Typographical" in the way that was meant in Godel Escher Bach) 02:23:17 zzo38: yeah, a lot like that. 02:23:18 one chicken, two chickens, three chickens... 02:23:43 What I've found is that it seems to be a pretty miserable experience. 02:24:19 shachaf: How many Dynamos do you want? How aggressive is the set? The only real downside to Thorium is that it cripples your ability to rush and defend against really early rushes somewhat. 02:24:31 shachaf: Otherwise, I'd say just get as many as you can fit. 02:24:48 Well, it squanders one energy to build the dynamo at that point. 02:25:09 Is it worth it in the case that there's no immediate attack coming? 02:25:30 That's fair, though I would suspect you make the value back in most cases, just because Thorium is a better unit than drone. 02:26:16 Depends on things like how much green you need and whether you expect to get breached, I guess. 02:26:22 Though with the dynamo green is always good. 02:27:15 So now I want to find a really conservative mathematical framework to work inside of. 02:27:58 ZFC? Puh-lease! You can't even convince me that that's consistent. 02:28:18 (Or maybe you can, I dunno.) 02:29:00 If you can define the Ackermann function in it, it's too strong for me. 02:38:48 boom. killed Antaeus. 02:39:25 up to 14! woohoo! 02:41:52 Yeah, the green can always be converted to gold at some point, but unless you have just the right amount of green production, it might be locked away for a turn or so. It's still very efficient in the long run, and even if you're defending, it's always handy to be able to make a forcefield here and there. 02:42:33 Of course if you're heavy on the dynamos you might not be able to make many forcefields. 02:42:42 I assume this is Prismata discussion but I don't recognize dynamos 02:42:58 Wake me up to prismata when there's a good single-player runthrough to make me not terrible 02:43:09 http://cale.hn.org/reflex/PrismataUnits/PrismataUnits.jsexe/ 02:45:20 tswett_: Not accepting the Ackermann function is pretty extreme :) 02:45:27 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:59:41 Cale: nah, that's not extreme. 03:00:00 Extreme would be only admitting functions that are constant except on finitely many inputs. 03:01:17 f(x) = 2x? Nope, infinite image. 03:01:20 f(x) = x? Nope. 03:02:34 fifteen. 03:02:53 f(x) = 15? Yep, that's permitted. 03:03:21 tswett_: This reminds me of something I think about every once in a while: Finite-domain functions. Is there some branch of math dedicated to them? 03:04:10 hppavilion[1]: hmm, dunno. 03:04:27 In general playing with domain and codomain is interesting 03:05:54 So, we all know what a primitive-recursive function is. 03:06:03 It's a function defined by such-and-such blah blah blah rules. 03:06:43 ¦ is an operation f ¦ S (function f, set S) which yields a function f' 03:07:22 I wonder if there's some "well-known" concept of a "primitive-recursive proof of equality of two primitive-recursive functions". 03:07:45 f' is defined for all values which are in dom(f) ∩ S as the same as f; f' is undefined for any values not in dom(f) ∩ S 03:08:06 Why restrict it to finite domains? 03:08:15 https://plus.google.com/117663015413546257905/posts/X11re8mVHBR 03:09:05 shachaf: That one isn't restricted to finite domains 03:10:05 shachaf: Looks like bullshit 03:14:00 -!- Sprocklem has joined. 03:17:06 AAAAAAAAAAAAAAAL RUUUUUUUUUUUUUUUUUNEEEEEEEEEEEER! :D :D :D 03:17:33 WOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOHOOOOOOOOOOOOOOOOOOOO! 03:22:14 Al runer, woho? 03:22:23 No, let's see. 03:22:26 Aal ruuneer, woohoo? 03:22:32 Yeah, that's probably it. 03:24:01 All. can't type. 03:24:20 playing crawl. won. fifteen. 03:24:29 * boily 's brains are on the fritz 03:26:30 Yul Brynner. 03:28:32 morgue now online → http://crawl.akrasiac.org/rawdata/pfcuttle/morgue-pfcuttle-20161220-031651.txt 03:36:18 I found that the source code for ImageMagick does actually include a coder for sixel graphics, although it seem not compiled in, and is not listed on the webpage or on the "convert -list format". Sixel format is also one of the format I intend to support in Farbfeld Utilities. You can also contribute formats and/or effects if you want to do so. 03:36:39 (either suggestions or codes (or both) can be contributed, according to your choice) 03:36:53 (you may also contribute examples/documentation if you want to) 03:42:12 -!- woozygoose has changed nick to boozymoose. 04:05:33 -!- Sprocklem has quit (Ping timeout: 260 seconds). 04:16:06 -!- boily has quit (Quit: JUMPING CHICKEN). 04:22:21 `? curring 04:22:24 `? currying 04:22:39 currying? ¯\(°​_o)/¯ 04:22:39 curring? ¯\(°​_o)/¯ 04:23:48 `le/rn currying//Functions are curried by taking curry(f) 04:23:56 Learned 'currying': Functions are curried by taking curry(f) 04:24:01 (the joke would work better if it required multiple arguments...) 04:24:44 `slwd currying//s/$/./ 04:24:50 currying//Functions are curried by taking curry(f). 04:30:37 (15? that's too many runes!) 04:33:35 -!- function has joined. 04:47:12 `unidecode ͜ 04:47:26 [wiki] [[Talk:Smurf]] https://esolangs.org/w/index.php?diff=50544&oldid=36127 * Challenger5 * (+136) 04:47:27 ​[U+035C COMBINING DOUBLE BREVE BELOW] 05:00:09 [wiki] [[Talk:Sclipting]] https://esolangs.org/w/index.php?diff=50545&oldid=44707 * Challenger5 * (+371) 05:10:03 -!- doesthiswork has quit (Quit: Leaving.). 05:10:12 soooooooooo 05:10:23 how long does it take to learn how to solder? 05:10:53 there's a company that's hiring and on that page they mention that people must "Be OK wielding the occasional soldering iron." 05:11:06 among a bunch of other stuff 05:11:22 Get a soldering iron, a PCB you don't mind fucking up, and an afternoon. 05:12:07 You won't be doing SMD stuff after that, but you'll be alright after a couple hours practicing. 05:13:44 -!- Sprocklem has joined. 05:23:33 -!- function has quit (Quit: found 1 in /dev/zero). 05:26:25 -!- augur has quit (Remote host closed the connection). 05:49:40 I made a plasma drawing program that work similar to the one in ImageMagick, although my program is much shorter and also a bit more versatile. 05:50:31 (The part of the program of ImageMagick to implement such thing is approx 4 times bigger than mine, to my estimation.) 05:51:00 -!- doesthiswork has joined. 05:51:58 -!- Sgeo_ has joined. 05:53:29 -!- Sgeo has quit (Ping timeout: 268 seconds). 06:13:55 -!- augur has joined. 06:41:04 -!- doesthiswork has quit (Quit: Leaving.). 06:55:48 -!- Sprocklem has quit (Ping timeout: 252 seconds). 07:01:48 -!- Sprocklem has joined. 07:05:57 -!- Sprocklem has quit (Ping timeout: 240 seconds). 07:36:25 -!- hydraz has quit (Read error: Connection reset by peer). 07:36:33 -!- hydraz has joined. 07:36:34 -!- hydraz has quit (Changing host). 07:36:34 -!- hydraz has joined. 07:36:54 -!- MoALTz has joined. 08:09:03 -!- augur has quit (Remote host closed the connection). 08:19:48 <\oren\> https://www.youtube.com/watch?v=bImJMH9FXPA 08:27:38 -!- MDude has quit (Read error: Connection reset by peer). 08:28:00 -!- MDude has joined. 08:39:01 -!- augur has joined. 09:05:57 -!- benderB747 has quit (Ping timeout: 240 seconds). 09:37:37 -!- oerjan has joined. 09:40:56 jouluspämmi 09:42:42 -!- augur has quit (Remote host closed the connection). 09:45:17 Ei vielä ole joulu. 09:46:00 the spammers seem not to have noticed. 09:49:38 I think I get most of my non-English spam in Swedish. 09:50:16 i think i got a norwegian one as well 09:50:51 (i'm not entirely sure it wasn't english) 09:50:51 "Hej! Vi söker personal för distansarbete." 09:51:20 does the work involve sending email to people 09:52:04 They don't actually say. They just say it's for "ett stort, internationellt företag", and that it pays 3000-6000 EUR/month, but not at all what the company does or I would do. 09:52:48 it's ok i'm sure they'll tell you for a small fee 09:54:39 you'll have to write spambots 09:54:57 The message body is always the same, except that the name of the sender is random (I've got "Harriett", "Crystal", "Meghan", "Avis" and "Archie") and the subject line alternates between "deltidstjänst", "Samarbete med stor firma" and "Det underbara arbetet i kris!". 09:55:08 (Those names sound a little non-Swedish.) 09:55:18 -!- doesthiswork has joined. 09:55:46 -!- doesthiswork has quit (Client Quit). 09:55:48 maybe. i could imagine a swede named Crystal. 10:08:06 @metar PAMR 10:08:07 PAMR 200953Z 00000KT 1/4SM FZFG VV003 M08/M09 A2898 RMK AO2 SLP815 I1000 T10781094 $ 10:08:15 @metar ENVA 10:08:15 ENVA 200950Z 11008KT CAVOK 01/00 Q1015 NOSIG RMK WIND 670FT 15012KT 10:08:39 hppavilion[1]: _two_ slashes? what is this heresy 10:10:22 oerjan: Where? 10:10:43 * oerjan hands hppavilion[1] some glasses 10:11:03 I genuinely can't see anything... 10:11:17 I had a migraine earlier today; maybe it's coming back 10:11:19 1/4SM and M08/M09 hth 10:11:22 Oh 10:11:30 @metar EGLL 10:11:31 EGLL 200950Z 11008KT CAVOK 05/03 Q1022 10:11:34 I saw that, but I figured you meant either consecutive or grouped slashes 10:11:46 (so either a/b/c or a // somewhere) 10:49:41 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 10:51:53 @tell shachaf hilsner <-- did you know that's a common misspelling of the norwegian word for "greetings" hth 10:51:53 Consider it noted. 11:22:42 @metar lowi 11:22:43 LOWI 201050Z 26013KT 220V280 9999 FEW080 04/M05 Q1023 WS R26 NOSIG 11:22:52 warm? very dry. 11:23:13 well, 50%, apparently 11:34:26 how do i bypass mod_security? 11:37:12 -!- oerjan has quit (Quit: Later). 11:37:37 several sites are rejecting my bot that posts the title of a page and posts it on irc 11:37:47 with user agent Mozilla/4.0 11:41:45 same for Mozilla/5.0 11:56:49 hmm. in an apache configuration context, "SecRuleEngine Off"? 12:05:06 izabera: anyway, perhaps the user-agent isn't real enough. User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:50.0) Gecko/20100101 Firefox/50.0 12:05:20 they usually come with a ton of additional information 12:05:38 other ideas include cookies; I imagine one could even look at the Accept-* headers. 12:06:43 int-e: i tried exactly that a few minutes ago 12:06:49 and i still get rejected 12:07:02 maybe your IP got flagged 12:07:11 * int-e shrugs 12:07:15 tried from multiple ips 12:07:25 I actually have no clue what mod_security really does. 12:11:27 Have you considered not posting titles of pages? 12:12:22 have you considered minding your own business? 12:12:29 Once or twice. 12:12:39 I don't mind posting titles, but I don't think I'd go out of my way to try to circumvent things like that honestly 12:12:46 well, maybe spoofing user-agent since that is common enough 12:12:53 it's not posting them in this channel 12:12:57 what the fuck you want 12:12:59 sure 12:13:48 It was what's called an opinion. 12:14:19 unasked for 12:16:11 That's the beauty of IRC, you don't even have to ask. 12:16:25 How about capturing a request from a real browser and replaying it as-is? 12:21:33 -!- alercah has quit (Ping timeout: 244 seconds). 12:23:06 -!- alercah has joined. 12:32:59 -!- LKoen has joined. 12:33:26 curl -A "Mozilla/5.0 (X11; Linux x86_64; rv:50.0) Gecko/20100101 Firefox/50.0" -H "Accept: text/html,application/xhtml+xml,application/xml;q=0.9,*/*;q=0.8" 12:33:29 this seems to work 12:35:55 -!- alercah has quit (Ping timeout: 258 seconds). 12:37:30 -!- alercah has joined. 12:45:46 -!- Phantom_Hoover has joined. 12:50:08 -!- LKoen has quit (Remote host closed the connection). 13:06:25 -!- benderB747 has joined. 13:55:42 -!- tswett_ has quit (Ping timeout: 250 seconds). 14:13:42 -!- boily has joined. 14:19:18 -!- super_bender has joined. 14:20:20 -!- super_bender has quit (Client Quit). 14:59:17 -!- `^_^v has joined. 15:10:38 -!- `^_^v has quit (Quit: Leaving). 15:11:26 -!- `^_^v has joined. 15:33:24 -!- Zarutian has joined. 15:33:42 -!- Zarutian has quit (Read error: Connection reset by peer). 15:33:47 -!- Zarutian_ has joined. 15:41:56 `wisdom 15:42:17 fternoon//Fternoon is the time of day when the Danes usually eat their fternooners. 15:42:46 -!- TieSoul has joined. 15:44:17 -!- benderB747 has quit (Ping timeout: 240 seconds). 15:50:53 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 16:12:20 -!- Sprocklem has joined. 16:29:44 -!- nycs has joined. 16:31:04 -!- `^_^v has quit (Ping timeout: 256 seconds). 16:34:43 -!- Phantom_Hoover has joined. 16:45:33 -!- Zarutian_ has changed nick to Zarutian. 17:55:24 <\oren\> Ugh, another blody test failure 18:04:22 he\\oren\. what fails? 18:09:27 <\oren\> the continuous testing failed and my commit was reverted 18:10:42 <\oren\> now I have to figure out what went wrong, fix it, run the pre-checkin tests for 4 hours, and then commit and hope that during that 4 hours noone comitted anything that conflicts 18:11:00 four hours??? 18:11:07 <\oren\> yes. 18:11:19 <\oren\> they take 4 hours 18:11:32 * boily swears in French 18:11:41 that's fscking stupid. 18:12:18 <\oren\> and most of that is compiling 18:12:58 <\oren\> which for some reason is always compiling the same code over and over because of templates 18:13:12 <\oren\> stupid c++ templates. not even once. 18:13:58 reminds me of an univeristy shared shell host policy "No long running processes! They will be killed and the infraction noted". So many CompSci students in tears because their compilations were killed. 18:15:07 <\oren\> wait wouldn't an interactive bash shell or editor be long-running? 18:15:07 <\oren\> or does it only count cpu time 18:16:25 <\oren\> c++ templates really invalidate the whole separate compilation idea 18:17:00 <\oren\> it would be faster to concatenate all the files in the whole project and comoile that 18:17:08 cpu time was first measure (to factilate load shedding and keep the host responsive) then if a process had been resident for more than four hours in memory it got more agressively swapped out. 18:17:34 \oren\: that is what c++ templates compilation DOES, iirc 18:18:50 <\oren\> well we don't... we have thousands of .o files containing identical instantiations of templates and then we link them and somehow the linker knows to throw away all but one. or maybe it doesn't. i dunno 18:20:34 <\oren\> in other words we're using separate compilation, but compiling everything all in one go would almost certainly be faster. 18:20:50 <\oren\> because of all the wasted work 18:27:09 re that university policy: the fun thing was that anyone could invoke hogkick command that looked at the longest running or most consumptive process, if went over a certain precentage killed that and kicked the user that instanciated it off the system with a stern message on not hogging shell host resources. 18:30:05 -!- boily has quit (Quit: CONFIGURED CHICKEN). 18:44:04 <\oren\> `? template 18:44:07 template? ¯\(°​_o)/¯ 18:44:16 <\oren\> `? c++ 18:44:21 Along with C, C++ is a language for smart people. 18:44:30 <\oren\> `? c# 18:44:32 C Pound is Java's good twin. 18:45:28 `? forth 18:45:29 Since Biblical times, Forth has been the go-to language for multiplication. 18:46:52 <\oren\> `? `? 18:46:54 ​`? ¯\(°​_o)/¯ 18:47:46 <\oren\> `unicode °​ 18:47:54 U+00B0 DEGREE SIGN \ UTF-8: c2 b0 UTF-16BE: 00b0 Decimal: ° \ ° \ Category: So (Symbol, Other) \ Bidi: ET (European Number Terminator) \ \ U+200B ZERO WIDTH SPACE \ UTF-8: e2 80 8b UTF-16BE: 200b Decimal: ​ \ ​ \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) 18:48:17 <\oren\> `unicode ​ 18:48:20 U+200B ZERO WIDTH SPACE \ UTF-8: e2 80 8b UTF-16BE: 200b Decimal: ​ \ ​ \ Category: Cf (Other, Format) \ Bidi: BN (Boundary Neutral) 18:48:43 * \oren\ grumbles about it not looking zero width to him. 18:55:32 <\oren\> `c printf("\x40\xe2\x80\x8b\x40"); 18:55:34 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: c: not found 18:55:43 <\oren\> `cc printf("\x40\xe2\x80\x8b\x40"); 18:55:49 :1:1: error: missing terminating " character \ compilation terminated due to -Wfatal-errors. 18:56:07 <\oren\> `cc 'printf("\x40\xe2\x80\x8b\x40");' 18:56:10 :1:1: error: missing terminating ' character \ compilation terminated due to -Wfatal-errors. 18:56:47 <\oren\> `` cc printf("\x40\xe2\x80\x8b\x40"); 18:56:50 ​/hackenv/bin/`: eval: line 4: syntax error near unexpected token `(' \ /hackenv/bin/`: eval: line 4: `cc printf("\x40\xe2\x80\x8b\x40");' 18:57:25 <\oren\> `` echo -e '\x40\xe2\x80\x8b\x40' 18:57:26 ​@​@ 18:59:11 <\oren\> https://snag.gy/0ObAYc.jpg 18:59:27 <\oren\> stupid mac terminal 19:00:26 Ew. An image sharing website which requires JS to view images 19:14:51 <\oren\> oh apparently iterm2 dispalys it properly 19:15:44 The image sharing service should not even require HTML; just JPEG or PNG 19:16:38 <\oren\> https://i.snag.gy/0ObAYc.jpg 19:18:20 OK, that works fine ImageMagick will display it 19:35:36 zzo38: *nods* 19:36:00 -!- heroux has quit (Ping timeout: 246 seconds). 19:37:23 -!- heroux has joined. 19:46:34 -!- hppavilion[1] has joined. 19:57:46 <\oren\> https://www.youtube.com/watch?v=D2IbobdwL3w 20:07:33 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 20:14:33 -!- hppavilion[1] has joined. 20:26:13 -!- NumberStation08 has joined. 20:26:31 -!- NumberStation08 has left. 20:31:50 -!- boily has joined. 20:33:47 -!- TieSoul has quit (Quit: Leaving). 20:51:17 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 20:51:53 -!- hppavilion[1] has joined. 20:54:52 [wiki] [[Talk:Underload]] https://esolangs.org/w/index.php?diff=50546&oldid=49042 * Challenger5 * (+457) 20:57:24 -!- Sprocklem has quit (Ping timeout: 256 seconds). 21:12:05 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 21:19:23 -!- moonheart08 has joined. 21:25:57 @messages-scow 21:25:57 Unknown command, try @list 21:27:36 scow 21:27:39 @messages-loud 21:27:39 oerjan said 10h 35m 46s ago: hilsner <-- did you know that's a common misspelling of the norwegian word for "greetings" hth 21:27:57 oerjan: idnk hth 21:34:29 -!- MoALTz has quit (Quit: Leaving). 21:40:50 -!- hppavilion[1] has joined. 21:43:13 poochello. 21:45:04 -!- Sprocklem has joined. 22:03:59 -!- moonheart08 has quit (Ping timeout: 265 seconds). 22:08:10 -!- Lord_of_Life has quit (Excess Flood). 22:08:19 -!- Lord_of_Life has joined. 22:16:37 -!- moonheart08 has joined. 22:20:14 -!- moonheart08 has changed nick to oYo-sclone. 22:20:21 -!- oYo-sclone has changed nick to moonheart08. 22:34:12 Ham... 22:34:56 Is it possible to express all positive algebraic as a unique product of primes, each raised to a rational power? 22:39:19 can you do it with sqrt(2)+sqrt(3)? 22:40:52 -!- pelegreno___ has quit (Remote host closed the connection). 22:42:07 -!- pelegreno has joined. 22:50:28 izabera: I asked on ##math and apparently not 22:55:14 -!- DHeadshot has joined. 23:01:25 -!- hppavilion[1] has quit (Ping timeout: 248 seconds). 23:03:01 -!- rdococ has joined. 23:03:17 -!- rdococ has quit (Remote host closed the connection). 23:03:46 -!- rdococ has joined. 23:03:48 -!- rdococ has quit (Remote host closed the connection). 23:05:24 -!- rdococ has joined. 23:07:02 <\oren\> hmm... what if you ranked all algebraic numbers by how simple it is to express them in reverse polish notation with the symbols 1-+*/^ 23:08:34 how do you count -1? 23:08:51 <\oren\> izabera: '11-1-'? 23:09:07 <\oren\> or perhaps just '1-' 23:09:19 <\oren\> that way 0 can be '' 23:09:31 isn't that polish and not reverse polish? 23:09:37 could be wrong on this 23:10:00 i'm wrong on this 23:10:02 <\oren\> i think polish notation is where you treat everyhting as a function 23:10:15 if 0 was just '' I think we'd run into the same problems polish/reverse polish were trying to fix... 23:10:50 polish is prefix and reverse polish is postfix, yeah 23:11:04 <\oren\> 4:'11+11++' 6:'111++11+*' 23:11:22 pick a name for this thing 23:11:25 <\oren\> or perhaps just '1-' ← the befunge approach, I like it 23:11:42 `` type dc 23:11:55 dc is /usr/bin/dc 23:11:59 I love abusing the zero-on-stack-underflow behaviour in codegolf 23:12:20 <\oren\> I'll call it "unary rpn numerals" 23:12:53 <\oren\> 0.5 : '111+/' 23:13:59 <\oren\> and basically, a number's unary rpn rank is the number of symbols in the minimum string that places that nubmer on top of the stack 23:17:37 `` echo 'sed "s/./& /g;s/.*/20k&p/" <<< "$*" | dc' > bin/unaryrpn; chmod +x bin/unaryrpm; unaryrpm 111+/ 23:17:43 chmod: cannot access `bin/unaryrpm': No such file or directory \ /hackenv/bin/`: line 4: unaryrpm: command not found 23:17:58 `` echo 'sed "s/./& /g;s/.*/20k&p/" <<< "$*" | dc' > bin/unaryrpn; chmod +x bin/unaryrpn; unaryrpn 111+/ 23:18:05 ​.50000000000000000000 23:18:24 <\oren\> horay 23:18:46 <\oren\> `` unaryrpn 111++11+/ 23:18:48 1.50000000000000000000 23:19:19 `unaryrpn 111++11+/ 23:19:20 1.50000000000000000000 23:20:58 <\oren\> `unaryrpn 11111+++/ 23:20:59 ​.25000000000000000000 23:21:31 -!- emg has joined. 23:21:44 ooh you implemented it 23:21:59 so what will 111-/ equal in your specification? 23:22:45 `unaryrpn 111-/ 23:22:47 dc: divide by zero \ 0 23:22:55 `unaryrpn 1- 23:22:56 dc: stack empty \ 1 23:23:06 aw 23:23:23 what befunge-98 impls do we have? 23:23:26 <\oren\> oh i guess in this implementation 11- is needed for 0 23:23:28 well I guess unefunge 23:23:30 -!- phy1729 has joined. 23:23:35 `` echo 'sed "s/./ &/g;s/.*/20k0&p/" <<< "$*" | dc' > bin/unaryrpn; unaryrpn 1- 23:23:39 ​-1 23:23:51 fixed it 23:24:03 `cfunge 1. 23:24:04 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cfunge: not found 23:24:08 hm 23:24:12 `` ls **/*fung* 23:24:15 `unaryrpn 11-+ 23:24:26 ibin/befunge \ ibin/befunge98 \ interps/cfunge/build/cfunge \ interps/cfunge/build/CMakeFiles/cfunge.dir/lib/libghthash/cfunge_mempool.c.o \ interps/cfunge/build/CMakeFiles/cfunge.dir/src/funge-space/funge-space.c.o \ interps/cfunge/cfunge \ interps/cfunge/cfunge-src/cmake/modules/CfungeCheckCflag.cmake \ interps/cfunge/cfunge-src/cmake/modules/Cfu 23:24:26 0 23:24:37 `! befunge98 1. 23:24:49 huh, 11-+ worked? 23:25:09 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 23:25:15 oh right whoops 23:25:26 `! befunge 1- .@ 23:25:29 ​-1 23:25:38 `! befunge 111++11+/ .@ 23:25:39 1 23:25:47 oh right, only integers though 23:26:42 -!- nycs has quit (Quit: This computer has gone to sleep). 23:35:29 -!- Sprocklem has quit (Ping timeout: 260 seconds). 23:36:18 I need inspiration 23:38:53 Inspiration of what? 23:39:03 idk... 23:39:20 help me import inspiration; 23:43:14 I don't know 23:43:54 hm 23:44:51 imagine a fuzzy 50% value - and two variables, x and y, which have this value... now, x & !x should be intuitively 0, but x & y isn't necessarily 0 23:45:56 -!- hppavilion[1] has joined. 23:46:09 heya hppa... long time no see... I am exhausted 23:48:01 I just brought up the topic of fuzzy logic... 23:57:34 hellooo? 23:59:13 -!- hppavilion[1] has quit (Ping timeout: 245 seconds).