00:01:43 -!- hppavilion1 has joined.
00:02:06 -!- DHeadshot has quit (Ping timeout: 260 seconds).
00:11:59 <hppavilion1> \oren\: I did figure that 101.59366... would be formally consistent (well, I didn't find the number since I ran out of time, BUT I WOULD HAVE)
00:12:30 <hppavilion1> \oren\: But OTOH, we want nice power-of-2y numbers, so 256 (or if you /insist/, 128) also works
00:13:44 <hppavilion1> And if you go with 256, you can make a decabyte 16 bytes, and that makes a hectobyte (decabyte/byte)^2, which is internally consistent.
00:14:28 <hppavilion1> (since a hectometer is (decametre/meter)^2 and so forth)
00:21:51 <shachaf> Though I haven't read all of it yet.
00:22:13 <lambdabot> Local time for Jafet is Fri, 10 Mar 2017 11:22:11 +1100
00:22:51 -!- augur has quit (Remote host closed the connection).
00:45:22 <lambdabot> Local time for shachaf is Thu Mar 9 16:45:20 2017
00:48:08 <oerjan> wob_jonas: i think you got that backwards, it's l / 10 km
00:49:05 -!- augur has joined.
01:01:40 -!- boily has joined.
01:06:35 -!- Sprocklem has quit (Quit: Lost terminal).
01:24:30 <HackEgo> unicode//Unicode is a mess invented in 1988 by Xerox, Microsoft, the Spanish Inquisition, and the evil Human Supremacy Corporation, in order to make it easier for the government to spy on Chinese people.
01:26:19 <HackEgo> essay//To essay is to try, and while doing that showing your work in writing.
01:28:41 <erkin> Someone should compile a fortune file out of those.
01:29:29 <boily> hellorkin! there's a shiny PDF! available in the topic! very gorgeous and well-typeset!
01:29:41 <boily> (not quite exactly up to date, but a good approximation!)
01:31:32 <oerjan> . o O ( hm... royalties... )
01:32:04 <wob_jonas> do we have an official charity #esoteric supports?
01:32:17 <boily> if you want to send me something, I never say no to a cheezy postcard.
01:32:26 <boily> or plain cheese, if you manage to get it through customs.
01:32:44 <erkin> I don't think they'd allow me to send cheese. They barely let me ship tea to United States.
01:32:45 <oerjan> . o O ( or anything edible, really )
01:32:59 <erkin> And it cost me a fortune.
01:33:09 <boily> if you can smuggle a can of strömming >:D
01:33:28 <HackEgo> Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean.
01:33:30 <wob_jonas> there's a good reason they don't allow that
01:34:03 <erkin> ‾\_(o_o)_/‾ who knows
01:34:19 <wob_jonas> swedish? do we even have swedish people on this channel? I don't think we do
01:34:39 * oerjan bumps wob_jonas on the head to realign his memory
01:34:50 <HackEgo> The `words dictionary framework was designed by Klens Hålgar Oslekk, Upert T. Noffrey, Guiston Degraîme, Myyntti Raatalla, Gölrika Rosenskild, Zwübert von Pfölliger, Waslomir Stronderowich, Győrvan Sárbik, Gareen Shergyle, Fnörður Hljófsson, and Pastronella Gattrovezzi.
01:35:07 <erkin> Those names sound Japanese.
01:35:08 <boily> erkin: I dont have you in the File. what are your approximative geographic coördinates, and body weigh?
01:35:21 <erkin> Somewhere around these parts.
01:36:06 <wob_jonas> Japanese? Seriously? that sounds like fail, because I don't think any of them wre supposed to be japanese.
01:36:09 -!- ^v has quit (Ping timeout: 240 seconds).
01:36:22 <boily> erkin: *ding* filed ♪
01:36:44 <erkin> And my body weight is about 166,7777777777777 okkas.
01:36:55 <erkin> It is mostly beard hair.
01:37:29 <oerjan> wob_jonas: there are at least two swedes here and i suspect a third.
01:39:08 <oerjan> <boily> erkin: *ding* filed ♪ <-- helloily. you sound desperate.
01:40:14 -!- ^v has joined.
01:40:50 <boily> hellørjan. beuh...
01:43:15 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:45:18 <HackEgo> soap//Soap is the main ingredient for the iridescent visions that internet startups sell to investors.
01:56:28 <erkin> hapax esoteromenon
01:57:59 -!- ^v has quit (Ping timeout: 264 seconds).
02:00:04 -!- ^v has joined.
02:00:31 <boily> . o O ( strange... I could've sworn there'd be one... )
02:00:44 <HackEgo> 260) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something \ 305) <cpressey> `quote django <HackEgo> 352) <olsner> django is named after a person? <olsner> thought it would be a giraffe or something <cpressey> thankfully only one \ 306) <monqy> `quote django <HackEgo> 352) <olsner> django is named a
02:00:56 <boily> okay, quote still works.
02:01:22 <HackEgo> Binary file reflection matches
02:02:47 <hppavilion1> I'm thinking about conic sections, as always
02:03:21 <oerjan> hppavilion1: i'm sure that's hyperbole
02:03:46 <hppavilion1> Specifically, since orbits in 2-body systems are always conic sections (iirc, or is that just when one has negligible mass?), I wonder if using variants on a cone, you can get solutions for n-body systems
02:04:15 <hppavilion1> And also, what do these conic sections even look like? They sound fun
02:04:25 <hppavilion1> Like, if I use an ellipticone, do I get anything new?
02:05:53 <hppavilion1> Is there some software I can use to find the intersections of arbitrary 3D shapes?
02:07:43 <hppavilion1> boily: ...or maybe Octave. Octave is FOSSier
02:09:09 <boily> yes, but I couldn't've respected vowel alliteration hth
02:10:07 <Jafet> unlikely, because the 4-body problem contains singularities: http://www.math.cornell.edu/~templier/junior/final_paper/Danny_Tu.pdf
02:10:38 <Jafet> (someone should make that into an esolang)
02:12:18 <hppavilion1> Jafet: ...wait, how does it contain singularities?
02:13:00 <hppavilion1> Jafet: Are we talking the mathematical sort or the black holey sort?
02:13:02 <Jafet> particles can reach infinite velocity and distance in finite time
02:13:37 <hppavilion1> I seem to remember there being a rule about that somewhere
02:13:41 -!- ^v has quit (Ping timeout: 246 seconds).
02:13:46 <Jafet> the classical n-body equations do
02:13:48 <hppavilion1> Written by this unknown guy named Einstein
02:14:17 <Jafet> now, if you have the relativistic n-body problem, I think it's still unsolved for n=2
02:20:56 <oerjan> relativistically, it seems unclear what n=2 even means, because spacetime as a whole is curved and that's not simply defined by the position of the two bodies.
02:21:14 <oerjan> e.g. gravitational waves
02:34:26 -!- ^v has joined.
02:35:50 -!- boily has quit (Quit: POPULAR CHICKEN).
02:46:48 <hppavilion1> oerjan: I feel like the universe was meant to make perfect sense, then God accidentally added a '...' after π = 3.14
02:47:10 <hppavilion1> (which, in God's programming language, means "make this some crazy bizarre number that goes on forever")
02:49:07 <hppavilion1> https://en.wikipedia.org/wiki/Superformula
02:49:18 <hppavilion1> "Gielis holds a patent related to the synthesis of patterns generated by the superformula."
02:56:23 -!- ^v has quit (Ping timeout: 246 seconds).
03:04:15 <oerjan> @check \(a,b,c) (d,e,f) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2)) <= sum (zipWith(*) l1 l2)
03:04:16 <lambdabot> <unknown>.hs: 1: 149:Parse error: EOF
03:04:51 <oerjan> @check \(a,b,c) (d,e,f) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2)
03:04:54 <lambdabot> • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o...
03:05:19 <oerjan> @check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2)
03:05:23 <lambdabot> • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o...
03:05:30 <HackEgo> U+2022 BULLET \ UTF-8: e2 80 a2 UTF-16BE: 2022 Decimal: • \ • \ Category: Po (Punctuation, Other) \ Bidi: ON (Other Neutrals)
03:05:48 -!- ^v has joined.
03:06:06 <Jafet> I see lambdabot has reached a new caliber
03:06:25 <oerjan> oh wait, it's obvious from the case with two
03:08:09 <oerjan> (basically, that if have two lists of positive numbers, then you get the smalles sum of products if you pair them up in reverse order)
03:08:47 <oerjan> (and largest if you use the same order)
03:11:53 <Jafet> @check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> sum (zipWith (*) (sort l1) (reverse (sort l2))) <= sum (zipWith (*) l1 l2)
03:12:00 <lambdabot> • No instance for (Show Test.QuickCheck.Safe.SProperty) arising from a use o...
03:12:44 <oerjan> it's possible ==> never actually worked in lambdabot, i don't quite remember
03:13:19 <oerjan> @check \x -> x > 0 ==> x^3 > 0
03:13:19 <lambdabot> : -1: -1:Ambiguous infix expression
03:13:37 <oerjan> @check \x -> (x > 0) ==> (x^3 > 0)
03:14:11 <oerjan> @check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1 ++ reverse (sort l2))) <= sum (zipWith(*) l1 l2))
03:14:14 <lambdabot> • Occurs check: cannot construct the infinite type: a0 ~ [a0] Expected type:...
03:14:24 <oerjan> ok that was not simply precedence
03:14:43 <Jafet> @check \(a,(b,c)) (d,(e,f)) -> let l1 = [a,b,c]; l2 = [d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1) (reverse (sort l2))) <= sum (zipWith(*) l1 l2))
03:14:46 <lambdabot> *** Gave up! Passed only 15 tests.
03:16:15 * oerjan doesn't slap self because he remembers that gives him tinnitus
03:18:04 <oerjan> @check \(a,(b,c)) (d,(e,f)) -> let l1 = abs<$>[a,b,c]; l2 = abs<$>[d,e,f] in all (>0) (l1++l2) ==> (sum (zipWith(*) (sort l1) (reverse (sort l2))) <= sum (zipWith(*) l1 l2))
03:18:13 -!- ^v has quit (Ping timeout: 260 seconds).
03:18:34 <oerjan> i think there was a better way to select positive numbers
03:18:50 <lambdabot> error: Data constructor not in scope: Natural
03:20:10 <oerjan> anyway, you can essentially prove it from the case with 2 by emulating bubble sort with one list as the indices
03:20:26 <oerjan> and the case for two follows from
03:21:16 -!- ^v has joined.
03:22:18 <oerjan> a*d + b*c = a*c + b*d - (a-b)*(c-d)
03:22:53 <HackEgo> Your evil overlord oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
03:23:08 <shachaf> `swrjan sevil overlordbuddy
03:23:11 <HackEgo> oerjan//Your buddy oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
03:23:36 <shachaf> Remind me why it starts with the word "Your"?
03:23:55 <HackEgo> Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it.
03:24:21 <shachaf> No, I mean that "pal" is too similar to "buddy"
03:24:27 <lambdabot> *** "pal" wn "WordNet (r) 3.0 (2006)"
03:24:27 <lambdabot> n 1: a close friend who accompanies his buddies in their
03:24:27 <lambdabot> activities [syn: {buddy}, {brother}, {chum}, {crony},
03:24:28 <HackEgo> 0:2012-02-16 Initïal import. \ 673:2012-08-27 <shachäf> run echo "Your evil overlord oerjan is a lazy expert in future computation. Also a lying Norwegian." >wisdom/oerjan \ 2649:2013-04-13 <shachäf> sed -i \'s/$/ And hates Roald Dahl./\' wisdom/oerjan \ 2650:2013-04-13 <shachäf> sed -i \'s/\\. And/ who/\' wisdom/oerjan \ 4652:2014-06-06 <s
03:24:29 <lambdabot> v 1: become friends; act friendly towards [syn: {pal}, {pal up},
03:24:53 <shachaf> Didn't wn use to have antonyms?
03:25:01 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: slwrjan: not found
03:25:12 <HackEgo> oerjan//Your buddha oerjan is a lazy expert in mercury computation. Also a Glaswede who dislikes Roald Dahl. He could never remember the word "amortized" so he put it here for convenience; but lately it's the only word he can ever remember. His arch-nemesis is Betty Crocker. He sometimes puns without noticing it.
03:25:30 <shachaf> I think slwrjan is a much more natural name, even though it makes less sense.
03:26:10 <shachaf> Oh, and "pal" was referring to your LSD pal.
03:26:31 <oerjan> good, someone needs a good memory around here
03:26:56 <shachaf> https://www.nytimes.com/2015/05/05/world/europe/an-uphill-campaign-in-norway-to-promote-lsd-as-a-human-right.html
03:28:55 <oerjan> hm vim thinks .unl files are conf format, whatever that is.
03:29:07 <oerjan> and manages to syntax color comments correctly
03:32:47 -!- ^v has quit (Ping timeout: 246 seconds).
03:35:12 -!- ^v has joined.
03:38:57 <HackEgo> NP is the complexity class of decisions that are No Problem.
03:39:42 <shachaf> `slwd np//s.ns.n problems.
03:39:44 <HackEgo> np//NP is the complexity class of decision problems that are No Problem.
03:40:12 <Jafet> `learn PCP refers to probably cyclidine proofs. It is precipitously illegal in many places, but research has shown that PCP is, surprisingly, No Problem.
03:40:14 <HackEgo> Learned 'pcp': PCP refers to probably cyclidine proofs. It is precipitously illegal in many places, but research has shown that PCP is, surprisingly, No Problem.
03:43:28 <oerjan> shachaf: that's illogical
03:44:16 <shachaf> If Jafet hadn't made PCP, I would edit it to something logical.
03:45:08 <shachaf> oerjan: feel free to undo it hth
03:47:25 <HackEgo> pcp//PCP refers to probably cyclidine proofs. It is precipitously illogical in many places, but research has shown that PCP is, surprisingly, No Problem.
03:47:37 -!- ^v has quit (Ping timeout: 260 seconds).
03:47:42 -!- oerjan has quit (Quit: Nite).
03:54:10 -!- ^v has joined.
03:59:05 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
04:08:19 -!- ^v has quit (Ping timeout: 256 seconds).
04:10:48 -!- ^v has joined.
04:47:09 -!- ^v has quit (Ping timeout: 240 seconds).
04:58:16 -!- ^v has joined.
05:10:23 -!- hppavilion1 has quit (Remote host closed the connection).
05:15:02 -!- ^v has quit (Ping timeout: 258 seconds).
05:17:56 -!- ^v has joined.
05:18:45 -!- ^v has quit (Excess Flood).
05:18:52 -!- ^v has joined.
05:54:11 -!- ^v has quit (Ping timeout: 246 seconds).
05:59:00 -!- ^v has joined.
06:24:25 -!- ^v has quit (Ping timeout: 260 seconds).
06:33:25 -!- ^v has joined.
06:43:35 -!- ^v has quit (Ping timeout: 258 seconds).
06:44:36 -!- ^v has joined.
06:51:56 -!- ^v has quit (Ping timeout: 246 seconds).
06:55:12 -!- ^v has joined.
07:02:29 -!- ^v has quit (Ping timeout: 240 seconds).
07:05:59 -!- ^v has joined.
07:11:04 <Jafet> I should declare that I have never made any PCP; for one thing, it would be highly illogical
07:28:38 <\oren\> Donald Tusk is the president of the EU
07:28:41 <\oren\> https://en.wikipedia.org/wiki/Donald_Tusk
07:28:49 <\oren\> WHY IS IT ALSO A DONALD
07:29:05 <\oren\> WILL THE NEXT PRESIDENT OF RUSSIA ALSO BE NAMED DONALD
07:29:11 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAA
07:29:34 <shachaf> what about the next president of canada
07:30:55 <\oren\> OH GOD WAHT IF THERE IS A MCDONALD
07:34:40 <rdococ> AAAAAAAAAAAAAAAAAAAAAAA
07:35:26 <\oren\> AAAAAAAAAAAAAAAAAAAAAAAAAAA
07:36:25 <\oren\> soon everyone will be ruled by a donald
07:37:13 <\oren\> donald mcdonald, emperor of makind
07:42:37 -!- ^v has quit (Ping timeout: 259 seconds).
07:44:01 -!- ^v has joined.
07:49:31 -!- ^v has quit (Ping timeout: 258 seconds).
07:51:37 -!- ^v has joined.
08:01:44 <zzo38> I thought of idea, to make a chess variant where the number of different kind of pieces is exactly equal to googolplex, with no duplicates. I have yet not quite figure out, but I have had some ideas about how to do such thing
08:01:56 -!- ^v has quit (Ping timeout: 246 seconds).
08:07:28 <shachaf> zzo38: Maybe you can take inspiration from Gess.
08:07:32 -!- ^v has joined.
08:23:17 -!- ^v has quit (Ping timeout: 246 seconds).
08:24:17 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
08:24:41 -!- ^v has joined.
08:37:13 <\oren\> Gabriel Drop-Out is a good anime
08:39:53 <zzo38> If you have a 10x10 grid where each cell has a number 0 to 9, and then for each such possible way to fill the numbers in the grid is also assigned a number 0 to 9.
08:41:37 -!- ^v has quit (Ping timeout: 260 seconds).
08:43:43 -!- ^v has joined.
09:01:30 -!- hakatashi has quit (Remote host closed the connection).
09:01:48 -!- hakatashi has joined.
09:27:29 -!- ^v has quit (Ping timeout: 240 seconds).
09:28:18 -!- ^v has joined.
09:28:46 <zzo38> Oops, I think there is a misspelling in the error message of Gforth
09:41:01 -!- AnotherTest has joined.
09:54:38 -!- ^v has quit (Ping timeout: 246 seconds).
09:56:01 -!- ^v has joined.
10:07:35 -!- ^v has quit (Ping timeout: 246 seconds).
10:15:13 -!- ^v has joined.
10:26:18 -!- ^v has quit (Ping timeout: 258 seconds).
10:33:05 -!- ^v has joined.
10:34:45 -!- augur has quit (Remote host closed the connection).
10:53:49 -!- ^v has quit (Ping timeout: 240 seconds).
10:58:29 -!- augur has joined.
10:58:42 -!- ^v has joined.
11:07:00 -!- wob_jonas has joined.
11:07:12 <HackEgo> xkcdwhatiflist 156: oerjan b_jonas Taneb
11:12:06 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
11:15:23 -!- ^v has quit (Ping timeout: 264 seconds).
11:19:38 -!- ffj-bot has quit (Remote host closed the connection).
11:29:19 -!- ^v has joined.
11:41:45 -!- ^v has quit (Ping timeout: 260 seconds).
11:50:18 -!- ^v has joined.
11:54:59 -!- ^v has quit (Ping timeout: 264 seconds).
11:58:06 -!- ^v has joined.
12:07:29 -!- AnotherTest has quit (Ping timeout: 240 seconds).
12:26:04 -!- AnotherTest has joined.
12:30:10 -!- augur has quit (Remote host closed the connection).
12:54:05 -!- AnotherTest has quit (Ping timeout: 260 seconds).
13:13:49 -!- ^v has quit (Ping timeout: 240 seconds).
13:18:19 -!- ^v has joined.
13:18:19 -!- DHeadshot has joined.
13:27:14 -!- Zarutian has joined.
13:33:59 -!- ^v has quit (Ping timeout: 264 seconds).
13:38:10 -!- ^v has joined.
13:44:11 -!- Trpger has joined.
13:45:41 -!- Trpger has quit (Remote host closed the connection).
13:45:53 -!- ^v has quit (Ping timeout: 260 seconds).
13:48:22 -!- ^v has joined.
14:18:02 -!- teuchter has joined.
14:18:36 -!- choochter has quit (Ping timeout: 258 seconds).
14:21:17 -!- ^v has quit (Ping timeout: 258 seconds).
14:23:50 -!- ^v has joined.
14:51:40 -!- `^_^v has joined.
15:12:14 -!- merig has joined.
15:13:16 -!- merig has quit (Killed (Sigyn (Spam is off topic on freenode.))).
15:33:00 -!- Zarutian has quit (Quit: Zarutian).
15:49:20 -!- Zarutian has joined.
15:49:43 -!- Zarutian has quit (Read error: Connection reset by peer).
15:49:59 -!- Zarutian has joined.
15:54:46 <Taneb> I'm having a frustratingly unproductive day at work
16:10:25 -!- Lord_of_Life has quit (Excess Flood).
16:12:27 <rdococ> clearly, you must produce a new esolang to make it productive
16:12:59 <Taneb> I'm working with ColdFusion, it's pretty esoteric already
16:13:29 -!- Lord_of_Life has joined.
16:14:54 <rdococ> I want to create an esoteric assembly language...
16:16:30 <rdococ> that's even lower than machine code...
16:22:57 <Zarutian> rdococ: make an litographic mask generator that only takes in imput in the form of SK calculus functions.
16:23:51 <rdococ> I don't like SK calculus
16:24:06 <Taneb> What about BCKW calculus
16:24:35 <tromp_> nothing beats plain lambda calculus
16:24:51 <Taneb> B = \x y z.x(y z), C = \x y z.x z y, K = \x y.x, W = \x y.x y y
16:25:34 -!- Zarutian has quit (Read error: Connection reset by peer).
16:25:48 <Taneb> (this is imo a more accessible alternative to SK)
16:25:50 <tromp_> combinatorial logic is wonderfully elegant, but just not as efficient as lambda calculus
16:26:33 <rdococ> I'd rather just have lambda calculus...
16:26:42 <rdococ> tried designing some kind of lambdafuck before
16:27:02 <tromp_> but it's called binary lambda calculus:-)
16:27:03 <rdococ> yeah but probably in a way I find really crappy
16:27:37 <tromp_> see if you find http://www.ioccc.org/2012/tromp/hint.html crappy
16:27:51 <Taneb> Real Fast Nora's Hair Salon 3: Shear Disaster Download is one I am proud of
16:28:40 <rdococ> \ \ 2 in the De Brujin index could be represented as 2 : 2
16:29:14 <Taneb> Why not LAMBDA LAMBDA ONE MORE THAN ONE MORE THAN ZERO
16:29:53 <rdococ> LAMBDA LAMBDA SUCC SUCC ZERO
16:29:59 -!- Zarutian has joined.
16:30:03 <Taneb> LAMBDA LAMBDA LAMBDA APPLY APPLY ONE MORE THAN ONE MORE THAN ZERO ZERO APPLY ONE MORE THAN ZERO ZERO
16:30:08 <Taneb> rdococ, that's a syntax error
16:30:08 -!- Phantom_Hoover has joined.
16:30:16 <rdococ> LAMBDA LAMBDA ZERO SUCC SUCC?
16:30:26 <Taneb> What are you even doing
16:30:59 <Taneb> `wiki Real Fast Nora's Hair Salon 3: Shear Disaster Download
16:30:59 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiki: not found
16:31:05 <Taneb> Oh, I thought we had that one
16:36:54 <Taneb> rdococ, here's an idea: antilog, an illogical programming language
16:39:17 <rdococ> isn't that called ColdFusion?
16:40:15 <Zarutian> Taneb: I thought that was VHDL/Verilog
16:41:58 <rdococ> I argued with an illogical MS fanboy actually yesterday I think... or the day before
16:44:35 <rdococ> he even admitted that any software that isn't MS is a crappy alternative in his books
16:48:15 <Taneb> People like that exist, sadly
16:48:47 -!- ^v has quit (Ping timeout: 256 seconds).
16:48:52 -!- pdxleif has quit (Ping timeout: 258 seconds).
16:50:36 -!- ^v has joined.
16:51:15 -!- pdxleif has joined.
16:57:51 <rdococ> is it apply f to x or apply x to f
16:58:18 <Taneb> ...I'd say the former, but I am not sure
16:58:28 <Taneb> You apply a function to its argument
16:58:46 <rdococ> Actually, I'm creating a language called Disassembly :P
17:03:35 <Phantom_Hoover> i really wish we'd settled on writing function application as x f
17:04:04 -!- Zarutian has quit (Quit: Zarutian).
17:08:15 <rdococ> everyone knows function application should be:
17:09:59 -!- AnotherTest has joined.
17:26:08 -!- prooftechnique has joined.
17:40:06 -!- Zarutian has joined.
17:42:52 <HackEgo> [wiki] [[Disassembly]] N https://esolangs.org/w/index.php?oldid=51326 * Rdococ * (+750) Created page with "'''Disassembly''' is an esoteric programming language by [[User:Rdococ]]. It's an assembly language. No, sorry, I spelled that wrong - it's a disassembly language. Its only da..."
17:43:00 <rdococ> I accidentally published it
17:44:19 <HackEgo> [wiki] [[Disassembly]] https://esolangs.org/w/index.php?diff=51327&oldid=51326 * Rdococ * (+142)
17:47:14 <HackEgo> [wiki] [[Disassembly]] M https://esolangs.org/w/index.php?diff=51328&oldid=51327 * Rdococ * (+119)
17:50:57 <HackEgo> [wiki] [[Disassembly]] https://esolangs.org/w/index.php?diff=51329&oldid=51328 * Rdococ * (+7)
17:56:38 <HackEgo> [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=51330&oldid=51323 * Rdococ * (+145) /* My hopefully better esoteric languages (2017 CE - infinity CE) */ tarapt
17:58:24 <Zarutian> humm.. what about an esolang where the only thing you give the runtme is an cryptographic hash say MD5 and it tries to find a preimage of brainfuck instructions for it and runs that?
17:58:56 <rdococ> you mean an esolang whose interpreter is required to calculate reverse MD5 hashes?
17:59:35 <rdococ> I can't imagine anyone building a fast interpreter at least with classical computing...
18:01:50 <Zarutian> well, if you have an Teplerian Oracle then it runs quite quickly in our reference of time.
18:03:15 <Zarutian> think of an pocket universe which is accessible from ours through a wormhole
18:03:55 <rdococ> flowing at a different speed?
18:05:33 <rdococ> what's the next level of hell from Malebolge?
18:06:08 <fizzie> There's one where you have to find a hash preimage -- https://esolangs.org/wiki/ShaFuck -- so why not the other way around too. Although it's a lot more ambiguous. (Maybe "first preimage in shortlex order"?)
18:06:27 <rdococ> what about a language which does both?
18:06:37 <rdococ> an MD5 hash then a SHA-256 reverse hash
18:06:53 <rdococ> or, heck, I have a new idea for a language but I need to know the next level of hell
18:11:22 <fizzie> "At the base of the well, Dante finds himself within a large frozen lake: Cocytus, the Ninth Circle of Hell."
18:11:37 <fizzie> Malebolge being the eighth.
18:13:22 -!- augur has joined.
18:16:58 <Zarutian> rdococ: Freezing slush basically
18:19:43 <rdococ> what about an esolang which takes the instructions, performs both an MD5 hash and a SHA-256 hash but in an unpredictable order, so you are forced to program code that results in the same instructions whether the interpreter MD5s before SHA-256ing or SHA-256s before MD5ing?
18:20:08 <rdococ> then it strips unnecessary/invalid characters and interprets the result as Malbolge?
18:29:50 <HackEgo> [wiki] [[Transistor]] M https://esolangs.org/w/index.php?diff=51331&oldid=50957 * Rdococ * (+19) [[Category:2017]]
18:30:17 <HackEgo> [wiki] [[Oracle]] https://esolangs.org/w/index.php?diff=51332&oldid=51268 * Rdococ * (+17) [[Category:2017]]
18:30:20 -!- uczy has joined.
18:30:48 <HackEgo> [wiki] [[QWOP]] https://esolangs.org/w/index.php?diff=51333&oldid=51283 * Rdococ * (+19) [[Category:2017]]
18:31:17 <HackEgo> [wiki] [[Zeno]] https://esolangs.org/w/index.php?diff=51334&oldid=51319 * Rdococ * (+17)
18:31:49 <HackEgo> [wiki] [[Image]] https://esolangs.org/w/index.php?diff=51335&oldid=51320 * Rdococ * (+19)
18:31:53 <uczy> How would someone even start to write a transpiler targeting Zot: https://en.wikipedia.org/wiki/Iota_and_Jot#Zot ?
18:32:10 <HackEgo> [wiki] [[Disassembly]] https://esolangs.org/w/index.php?diff=51336&oldid=51329 * Rdococ * (+19)
18:34:36 <uczy> Say I want to translate lisp-style arithmetic expressions into that format
18:43:08 <\oren\> http://www.cnn.com/2017/03/09/politics/samantha-bee-cancer-controversy-trnd/index.html
18:43:39 <\oren\> I swear to god, we need a wall to keep these idiot american television people out
18:48:42 <rdococ> we need a wall to keep idiot americans away from mexico
18:49:21 <rdococ> and they will want to pay for it :P
18:49:26 <\oren\> i'm a russian, you're a nazi, he's got nazi hair, and she's a commie haxxor!
18:49:49 <rdococ> can I swap my character for a russian?
18:49:52 <\oren\> russians and nazis are everywhere now
18:50:07 <int-e> wtf are you people talking about
18:50:08 -!- int-e has left.
18:50:14 <rdococ> why does everyone think all russians are evil
18:50:26 <\oren\> it's like the democrats are LARPing red orchestra
18:53:34 <\oren\> I gave up on normal reasoning and started just pointing out to people that I'm half russian
18:53:51 <\oren\> and yelling russophobe
18:54:07 <\oren\> it's quite effective on facebook
18:54:46 <\oren\> my great grandmother was a russian from east ukraine no less
18:55:01 <rdococ> idk why people keep thinking all russians are evil
18:55:56 <\oren\> I think it's basically trump wants to ally russia therefore we must take the opposite position
18:56:25 <rdococ> I think americans hated russia before then
18:56:32 <rdococ> and that's why trump wants to do the opposite of that
19:04:44 -!- uczy has quit (Remote host closed the connection).
19:04:49 <rdococ> is it possible to write every lambda expression without... er... uh
19:07:15 <rdococ> Is it possible to write a lambda expression w/o nesting lambda functions?
19:19:23 <tromp_> you need at most 2 nestings
19:19:39 <tromp_> as in S = \x\y\z xz(yz)
19:19:51 <rdococ> that's not what I meant
19:20:05 <rdococ> I meant something like \x\y.x(\h.\g.x) or something
19:20:39 <tromp_> that can be rewritten with less nesting
19:21:19 <tromp_> just express in basis S,K
19:22:03 <rdococ> can http://esolangs.org/wiki/Disassembly express all lambda expressions?
19:23:18 <rdococ> is \x.\y.x(\h.\g.x) equivalent to \x.\y.\h.\g.x?
19:24:30 -!- augur has quit (Remote host closed the connection).
19:26:02 <rdococ> do you require abstraction to express certain lambda expressions?
19:29:50 <rdococ> so I need abstraction in my language?
19:32:04 <tromp_> how else would you create functions?
19:32:21 <rdococ> this is impossible to explain, isn't it
19:33:04 <tromp_> i advise you add an example program to your language; e.g. computing the factorial function
19:33:15 <rdococ> look at the church encoding for the predecessor function. could you rewrite it with... out... ugh nevermind
19:33:56 <tromp_> that will force you to make the language well-specified
19:34:14 <tromp_> right now it's completely ill defined:(
19:35:56 <rdococ> they are parameters, like a + b
19:36:49 -!- DHeadshot has quit (Ping timeout: 260 seconds).
19:37:19 <HackEgo> [wiki] [[Disassembly]] https://esolangs.org/w/index.php?diff=51337&oldid=51336 * Rdococ * (+396)
19:42:11 <rdococ> I could just have one register for input and remove INP...
19:42:28 <tromp_> how to do hello world?
19:43:14 <tromp_> with ABS being arbitrary size, this is not really assembly like
19:44:45 <tromp_> it looks like you use INP to bind function arguments, OUT to return function values
19:45:06 <tromp_> so this is just some cumbersome notation for lambda calculus?
19:46:15 <tromp_> maybe it served its purpose of making you better understrand lambda calculus
19:46:33 <rdococ> nah, I understood it, I just wasn't sure
19:46:49 <rdococ> so how would I delete it?
19:47:17 <HackEgo> [wiki] [[Disassembly]] https://esolangs.org/w/index.php?diff=51338&oldid=51337 * Rdococ * (-1433) Blanked the page
19:47:42 <HackEgo> [wiki] [[User:Rdococ]] https://esolangs.org/w/index.php?diff=51339&oldid=51330 * Rdococ * (-145) /* My hopefully better esoteric languages (2017 CE - infinity CE) */
19:58:54 -!- int-e has joined.
20:17:24 -!- FreeFull has quit (Ping timeout: 258 seconds).
20:22:17 -!- DHeadshot has joined.
20:32:17 -!- augur has joined.
21:29:14 -!- FreeFull has joined.
21:30:01 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wisodm: not found
21:30:06 <HackEgo> wiki//The wiki is at <http://esolangs.org/>.
21:30:11 <HackEgo> quadrilateral//Don't you mean "tetrapleur"?
21:30:15 <HackEgo> itidus19//itidus19 disappeared into a space-time anomaly
21:30:18 <HackEgo> btw//btw is short for "bury the weasel"
21:30:22 <HackEgo> usa//USA apparently doesn't stand for United State Automaton.
21:32:31 -!- FreeFull_ has joined.
21:32:45 <rdococ> united state automaton
21:33:03 -!- FreeFull has quit (Read error: Connection reset by peer).
21:34:19 <\oren\> rdococ: you have some set of N FSA's and you merge them into one to run them in "parallel"
21:35:39 <\oren\> say that one FSA says in state 1 with input A goto state 2 and anothe says goto state 3. the USA would say in state 11 with input A goto state 23
21:36:37 <\oren\> you merge their behaviours to form a FSA on the cartesion product of their states
21:38:48 -!- `^_^v has quit (Quit: Leaving).
21:39:05 -!- `^_^v has joined.
21:39:20 <\oren\> er, first you form an FSA on the cartesian product of their state spaces. then you trim states that are unreachable from the initial state
21:41:57 <\oren\> https://www.youtube.com/watch?v=ZH_hHmRAU7Q
21:44:43 -!- Lord_of_Life has quit (Excess Flood).
21:46:33 -!- DHeadshot has quit (Ping timeout: 260 seconds).
21:47:59 -!- Lord_of_Life has joined.
21:58:38 -!- FreeFull_ has quit (Read error: Connection reset by peer).
22:07:58 -!- FreeFull has joined.
22:26:00 <zzo38> I thought of that a spell in a Dungeons&Dragons game or GURPS game that could be made up, it is targets two mirrors and then until the spell expires, what is visible in each mirror is what the other mirror reflects instead of what this one does.
22:27:03 <shachaf> I like the spell, but not in Dungeons & Dragons or GURPS.
22:27:24 <zzo38> shachaf: You can use other game systems too if you prefer
22:28:29 <zzo38> If you then put both mirror next to each other so that the reflective sides are exposed (to make a double mirror), then it will be like seeing through, but, anyone that is invisible but still has a visible reflection (this is a possible modifier in GURPS) will now be visible through this window, and anyone with the power to not cast a reflection (also a trait in GURPS, e.g. a vampire) cannot be seen (but it may be helpful if you want to see through
22:28:44 <shachaf> I mean I like it in real life.
22:29:15 <zzo38> Another thing to do is move mirrors into different locations once cast in order to make surveillance, until the spell expires.
22:29:31 <zzo38> And then to do another different thing if these two mirrors can see each other.
22:33:32 -!- hppavilion1 has joined.
22:33:46 <hppavilion1> I seem to be designing the ultimate nerdy computer interface
22:33:55 <hppavilion1> A keyboard with more deadkeys than I have fingers
22:34:04 <hppavilion1> A mouse which can use polar or hyperbolic coordinates
22:35:06 <rdococ> polar or hyperbolic coordinates?
22:36:02 <hppavilion1> rdococ: It could be switched between cartesian, polar, and hyperbolic coordinates at will
22:36:21 <rdococ> (yes but how would it work?)
22:36:56 <hppavilion1> rdococ: You press a button to change the mouse movement mode.
22:37:33 <rdococ> say I changed the mouse movement mode right now, and tried to move my mouse to the right. what would happen?
22:38:54 <shachaf> zzo38: You should tell vaporware that it is scow.
22:40:19 <zzo38> shachaf: Why? Shouldn't you tell vaporware that it is scow?
22:40:28 <rdococ> vaporware: you're scow
22:40:30 <shachaf> zzo38: Why would I tell vaporware that?
22:41:47 <zzo38> Because for two reason: [1] I don't know which one is scow [2] Hopefully you understand better what you are meaning if you tell them directly
22:41:49 <hppavilion1> rdococ: If you switched to polar and moved to the right, your mouse would move counterclockwise along the screen following a circular arc centered at the designated centerpoint
22:41:57 <hppavilion1> rdococ: Which is by default the center of your screen
22:42:11 <rdococ> but how would that be useful in any way?
22:42:16 <hppavilion1> rdococ: Assuming you didn't move your mouse vertically, the radius would remain constant
22:42:36 <rdococ> can you give me an interactive demo or something?
22:42:40 <zzo38> Perhaps add many switches: coordinate mode, horizontal lock, vertical lock
22:42:44 <hppavilion1> (And give you intuition for different geometries, and probably be nice for drawing arcs and so forth)
22:42:46 <rdococ> also, what about hyperbolic?
22:42:52 <shachaf> zzo38: But one time you told me that vaporware says that it is scow.
22:43:26 <hppavilion1> rdococ: Hyperbolic would be the same, but the origin would be the bottom left corner and movement would be based on hyperbolic geometry, as it should be.
22:43:49 <rdococ> hyperbolic coordinates?
22:43:53 <hppavilion1> (wait, already said something to that effect)
22:44:05 <Phantom_Hoover> <hppavilion1> rdococ: Hyperbolic would be the same, but the origin would be the bottom left corner and movement would be based on hyperbolic geometry, as it should be.
22:44:10 <hppavilion1> rdococ: Hyperbolic angle plus radius. https://en.wikipedia.org/wiki/Hyperbolic_coordinates
22:44:49 <rdococ> I'd like an interactive demo of them
22:45:02 <Phantom_Hoover> like you'd just locally map the mouse velocity onto the hyperbolic plane
22:48:53 <hppavilion1> Phantom_Hoover: At first. It'd become intuitive surprisingly fast.
22:49:22 <Phantom_Hoover> hyperbolic geometry has this property where it blows up exponentially
22:50:13 <hppavilion1> Phantom_Hoover: I once set my font to this and was able to kind of keep up a conversation: https://fontstruct.com/fontstructions/show/1348757/cryptonomicon-basis
22:50:27 <hppavilion1> Phantom_Hoover: Neuroplasticity is a powerful tool.
22:50:43 <Phantom_Hoover> that's-- good for you, when i was 14 i learned tengwar from the lotr appendices
22:50:45 <hppavilion1> Phantom_Hoover: Then you'd add a logarithm to velocity so that you don't get lost too quickly.
22:50:56 <Phantom_Hoover> which was actually less useless because it introduced me to phonetics
22:51:14 <hppavilion1> Phantom_Hoover: The use of Cryptonomicon is that it prevents people from reading over my shoulder.
22:51:43 <Phantom_Hoover> anyway it's not about that it's about how much space there is in hyperbolic space
22:52:27 <hppavilion1> rdococ: [on the topic of a demo] Yeah, that's where I'm stuck. I can't think of a way to efficiently implement it via the actual mouse without learning to write a whole mouse driver; I might be able to make the numpad do it for simplicity, though.
22:52:43 <Phantom_Hoover> there is a room with walls 28 grid tiles out from the centre
22:53:16 <Phantom_Hoover> that's it and it's incredibly hard because the room has 31659398 tiles in it
22:55:17 <\oren\> I prefer vaporwave to vaporware
22:56:53 <hppavilion1> Phantom_Hoover: OK, to be clear, hyperbolic geometry and hyperbolic coordinates are pretty much unrelated, yes?
22:58:26 <hppavilion1> The idea is just that moving your mouse left increases u, moving it right decreases u, moving it up increases v, and moving it down decreases v, as given in https://en.wikipedia.org/wiki/Hyperbolic_coordinates
22:59:02 -!- `^_^v has quit (Quit: This computer has gone to sleep).
22:59:41 -!- ^v has quit (Ping timeout: 246 seconds).
23:00:27 <Phantom_Hoover> 'Since HP carries the metric space structure of the Poincaré half-plane model of hyperbolic geometry' well ok it's hyperbolic space
23:00:54 <Phantom_Hoover> but we're describing different mappings of mouse movement to movement in space, yes
23:02:16 -!- ^v has joined.
23:02:36 <Phantom_Hoover> yours is coordinate-based and has the property that if you move the mouse around a big loop on your desk it'll end up in the same place in hyperbolic space that it started
23:02:53 <Phantom_Hoover> mine is based on integrating the path of the mouse into hyperbolic space and does not map loops to loops
23:04:16 <rdococ> what about a polar coordinate terminal?
23:04:32 -!- Marcela_Gandara1 has joined.
23:05:01 -!- hppavilion2 has joined.
23:08:22 -!- hppavilion1 has quit (Ping timeout: 268 seconds).
23:12:55 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
23:20:26 <HackEgo> [wiki] [[Special:Log/newusers]] create * Mindygalveston * New user account
23:25:09 -!- boily has joined.
23:25:13 <HackEgo> adjective//Adjectives are words frequently found attached to chickens.
23:25:35 <boily> chickens are good ^^
23:27:15 -!- DHeadshot has joined.
23:27:44 <HackEgo> submarine jousting//Submarine jousting is unexplainable.
23:30:08 -!- tromp has quit (Read error: Connection reset by peer).
23:30:59 -!- tromp has joined.
23:41:34 <boily> rdochelloc. pork is better, but chicken is good.
23:44:16 -!- oerjan has joined.
23:44:46 <boily> hellørjan! best meat?
23:45:58 <oerjan> helloily! mink whale hth
23:47:13 * oerjan cashes his norwegian government propaganda fee
23:48:35 <oerjan> shachaf: i've forgotten
23:49:46 <oerjan> boily: it was either that or a long pig joke hth
23:49:47 <rdococ> does wisdom support entries with + in their name?
23:50:18 <rdococ> `le//rn 1+1//1+1 is window.
23:50:20 <HackEgo> Learned '1+1': 1+1 is window.
23:50:25 <HackEgo> αλτγρ+γ//αλτγρ+γ is the national dead pastry of Greece. Goes great with a glass of ouzo!
23:50:53 <boily> oerjan: fr:rorqual! never tasted it.
23:51:43 <rdococ> `le//rn 1+1//1+1 is window as rdocscovered by rdococ in the late 202nd decade.
23:51:45 <HackEgo> Relearned '1+1': 1+1 is window as rdocscovered by rdococ in the late 202nd decade.
23:51:54 <oerjan> boily: well much of the world has forbidden it hth
23:52:56 <boily> The best way to make a species disappear is to eat it into delicious oblivion... :/
23:52:57 <HackEgo> cat \ :-D \ drowning \ flipbird \ gaaan \ gaan \ kyaa \ shrug \ shrug2 \ swatter \ useless
23:53:29 <oerjan> `mk emoticons/window//1+1
23:54:34 <oerjan> i feel that has already crept away from emotions
23:54:56 <oerjan> hm and emoji is also wrong, those should be characters
23:56:16 <oerjan> rdococ: i think "rdocscovered by rdococ" is overdoing it regardless of the value of the wisdom by itself.
23:56:41 <oerjan> unless you're rdocscovering redundancy or something. (but we already have that.)
23:56:59 <rdococ> `le//rn 1+1//1+1 is window as rdocscovered by rdococ, brought to you from the department of rdocdundency department by rdococ, in the late 202nd decade.
23:57:01 <HackEgo> Learned '1+1': 1+1 is window as rdocscovered by rdococ, brought to you from the department of rdocdundency department by rdococ, in the late 202nd decade.
23:57:51 <oerjan> i said _regardless of the value_.
23:58:03 <oerjan> i wasn't implying that it was good except for that.
23:58:04 <rdococ> I was gonna put 1201_12
23:58:20 * boily gives rdococ a miniature tuna. a miniatuna.
23:58:34 * oerjan gives boily a swat -----###
23:58:53 * rdococ sprays fly spray over oerjan