←2015-11-23 2015-11-24 2015-11-25→ ↑2015 ↑all
00:08:10 -!- oerjan has joined.
00:16:12 <hppavilion[1]> It'd be funny if, in mathematics, we preceeded all exact numbers with "≁" for "not approximately"
00:17:11 <oerjan> hilarious
00:17:39 <oerjan> i think that symbol generally goes the other way, though.
00:22:37 <Taneb> Approximately not equla to
00:22:59 <Jafet> Mathematica prefixes high-precision decimal literals with `.
00:25:03 <Phantom_Hoover> mathematica does a lot of things
00:25:08 <Phantom_Hoover> occasionally they make sense
00:25:33 <Jafet> Taneb must've invented those.
00:25:48 <Jafet> CReal has an approximately-not-equal-to operator.
00:26:07 <Jafet> > 1 == (1 + 10^(-1000) :: CReal)
00:26:09 <lambdabot> *Exception: Negative exponent
00:26:16 <Jafet> > 1 == (1 + 10**(-1000) :: CReal)
00:26:18 <lambdabot> True
00:26:36 <Jafet> Er wait
00:26:44 <hppavilion[1]> Jafet: I totally wasn't planning on implementing that into Kastor
00:26:57 <hppavilion[1]> (approximately-not-equal-to, that is)
00:27:07 <hppavilion[1]> Also, I'm sorry, "exception: Negative exponent"!?
00:28:29 <Jafet> @src (^)
00:28:29 <lambdabot> x ^ 0 = 1
00:28:29 <lambdabot> x ^ n | n > 0 = f x (n-1) x
00:28:29 <lambdabot> where f _ 0 y = y
00:28:29 <lambdabot> f x n y = g x n
00:28:29 <lambdabot> where g x n | even n = g (x*x) (n `quot` 2)
00:28:31 <lambdabot> | otherwise = f x (n-1) (x*y)
00:28:33 <lambdabot> _ ^ _ = error "Prelude.^: negative exponent"
00:32:13 <oerjan> :t (^)
00:32:15 <lambdabot> (Integral b, Num a) => a -> b -> a
00:32:29 <oerjan> hppavilion[1]: that type means a doesn't need to have division
00:32:39 <hppavilion[1]> Ah
00:33:03 <Taneb> Haskell has at least three exponentiation operators
00:33:07 <Taneb> :t (^^)
00:33:08 <lambdabot> (Fractional a, Integral b) => a -> b -> a
00:33:13 <Taneb> :t (**)
00:33:15 <lambdabot> Floating a => a -> a -> a
00:33:40 <shachaf> whoa whoa whoa
00:33:59 <shachaf> <shachaf> I,I newtype Foo a = Foo { unFoo :: a }; instance Monoid a => Num (Foo a) where Foo x * Foo y = Foo (x <> y); fromInteger 1 = Foo mempty; timesN n = unFoo . (^ n) . Foo
00:34:36 <Jafet> Num from the revelation
00:35:55 * oerjan thinks base should have the Monoid equivalent of (^) :(
00:37:24 <Jafet> @typo (mconcat.).replicate
00:37:26 <lambdabot> Monoid c => Int -> c -> c
00:37:40 <oerjan> doesn't count, it doesn't do binary bisection
00:38:17 <shachaf> oerjan: it does with just a small Num instance hth
00:39:07 <oerjan> ooh you were doing it in that direction
00:40:37 <shachaf> ititdh
00:48:37 <\oren\> good eeing
00:54:30 -!- Sprocklem has quit (Quit: [).
01:00:13 -!- bb010g has quit (Quit: Connection closed for inactivity).
01:13:06 -!- augur_ has quit (Ping timeout: 240 seconds).
01:17:17 -!- augur has joined.
01:19:04 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:20:40 <hppavilion[1]> oerjan: I think I'm going to make a character encoding. A /semantic/ character encoding
01:22:10 <lifthrasiir> hppavilion[1]: https://tools.ietf.org/html/rfc5242 ?
01:22:18 <oerjan> OKAY
01:28:00 <hppavilion[1]> lifthrasiir: I know about Unicode (and I assume that that document is related)
01:28:10 <hppavilion[1]> I just feel like making my own for fun.
01:28:34 -!- andrew__ has joined.
01:28:40 <lifthrasiir> hppavilion[1]: read it first then retry.
01:29:29 <hppavilion[1]> lifthrasiir: It looks lnog
01:29:33 <hppavilion[1]> *long
01:29:59 <lifthrasiir> hppavilion[1]: probably you should look at the date first :)
01:30:17 <hppavilion[1]> Oh xD
01:30:26 <lifthrasiir> it's an "alternative" to Unicode that is exclusively described as a series of combining glyphs
01:30:46 <lifthrasiir> (similar to Unicode's real system, Ideographic Description Sequence, but extended to *every* letter)
01:31:40 <\oren\> that's not semantic though
01:32:01 <lifthrasiir> well, yeah.
01:32:13 <\oren\> semantic would encode "cat" and "猫" to the same code
01:32:34 <lifthrasiir> \oren\: but not a program "cat".
01:33:15 <\oren\> right. as well as "gato" and "chat" and "catus"
01:33:16 <shachaf> what would it encode "pooch" to?
01:33:25 <hppavilion[1]> lifthrasiir: What I'm making is a sort of hybrid of character encoding and markup language
01:33:49 <\oren\> shachaf: depends what pooch means
01:34:11 <hppavilion[1]> Basically, if there were a language that generates documents in this encoding, you could type \(COMB:SUBSET,RING) to get the "open subset" operator
01:34:26 <shachaf> What about "dog"?
01:34:36 <\oren\> that's not semantic, it's exactly opposite
01:34:45 <shachaf> "chien"? "cabot"?
01:34:45 <hppavilion[1]> \oren\: Oh.
01:34:48 <lifthrasiir> the (fictitious) modernized TeX comes to mind.
01:35:05 <\oren\> you're encoding form, not substance
01:35:08 <hppavilion[1]> \oren\: What's the word I'm looking for then?
01:35:10 <hppavilion[1]> Ah
01:35:26 <hppavilion[1]> The idea would be that character appearance is defined with a process of combining diacritics and variables, instead of just text
01:35:46 <hppavilion[1]> So you could also do things like declare that characters have arcs between each other
01:35:54 <hppavilion[1]> The crowning jewel of the idea is arrows
01:36:05 <\oren\> "morphic"
01:36:07 <hppavilion[1]> Arrow characters actually work: any arrow is possible
01:36:08 <hppavilion[1]> Ah
01:37:28 <hppavilion[1]> So you aren't just limited to, for example, dashed arrows only come in up/down/left/right
01:39:37 <hppavilion[1]> Because you just combine the dashed arrow and diagonal arrow characters in in a COMBINE block, which is delimited by control bracktets and starts with "COMB" then the control separator
01:45:11 -!- bb010g has joined.
02:14:41 <hppavilion[1]> 2/|\2
02:30:40 -!- mauris has joined.
02:44:14 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
02:45:31 <quintopia> hellauris
02:55:47 -!- MDude has joined.
02:59:31 -!- augur has quit (Ping timeout: 250 seconds).
03:06:47 -!- augur has joined.
03:10:57 -!- hppavilion[1] has joined.
03:14:10 <hppavilion[1]> I thought of a hyperoperational version of factorial
03:14:35 -!- mauris has quit (Ping timeout: 264 seconds).
03:16:04 <quintopia> functional factorial
03:16:14 <hppavilion[1]> quintopia: Dammit.
03:16:17 <quintopia> or is that just recursion
03:16:56 <hppavilion[1]> Is functional factorial you asking me to implement factorial into the Arithmetic of the Functia (which is probably actually a calculus)?
03:17:12 <quintopia> i'm asking nothing
03:17:14 <quintopia> do what you like
03:19:29 <hppavilion[1]> Basically, n⥉ (where ⥉ is the hyperoperational factorial operator) is equal to H[n](n, H[n-1](n-1, H[n-2](n-2, ...H[1](1, 0)...))
03:19:39 <hppavilion[1]> It might just be ackermann xD
03:19:42 <hppavilion[1]> I can't tell
03:19:56 <quintopia> nah not really
03:21:35 <hppavilion[1]> Great
03:21:53 <hppavilion[1]> So now I want function factorial
03:22:24 <hppavilion[1]> To do so, I would need to define a + and - operation such that, if I do f-I enough times, then eventually it is equal to I. Is that possible?
03:22:28 <hppavilion[1]> For all functions?
03:22:43 <quintopia> well
03:22:49 <hppavilion[1]> Or a large subset of functions which I could reasonably constrain myself to?
03:23:44 <hppavilion[1]> AND preferably consistent with normal addition and subtraction for the real number subset of functions
03:23:58 <lifthrasiir> FireFly: I've updated my font sample to support a realtime sample rendering of any given text
03:24:09 <lifthrasiir> (a simple JS hack)
03:25:58 <hppavilion[1]> quintopia: It might not be possible for non-well-ordered sets, such as the set 𝕗 (which is a set I'm using)
03:26:30 <hppavilion[1]> (which isn't even partially ordered except for a subset of its arguments)
03:26:37 <hppavilion[1]> (s/arguments/elements)
03:26:59 <hppavilion[1]> (ms/s)/s\/)
03:41:47 -!- Thisbe has joined.
03:58:59 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
04:16:50 -!- MDude has changed nick to MDream.
05:00:13 -!- bb010g has quit (Quit: Connection closed for inactivity).
05:03:47 -!- Thisbe has quit (Quit: Thisbe).
05:05:54 -!- bb010g has joined.
05:36:28 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45612&oldid=45579 * Quintopia * (-7) /* Python 2 */ furthergolfed
05:36:52 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45613&oldid=45612 * Quintopia * (+0) /* Python 2 */
05:43:21 <oerjan> @tell FreeFull <FreeFull> I wonder how much finangling was needed to produce this sentence <-- i guess you could do some kind of estimation, pruning and final search... i wonder if using "&" rather than "and" at the end was necessary.
05:43:22 <lambdabot> Consider it noted.
05:54:53 -!- get52 has joined.
06:07:50 <oerjan> as a first step, find some hard limit on no. of letters in english numeral / number represented, for numbers large enough
06:08:19 <oerjan> 1/27 should be enough for this
06:10:30 -!- \oren\ has quit (Ping timeout: 240 seconds).
06:10:50 <oerjan> seven hundred and seventy quadrillions
06:10:57 <oerjan> looks pretty solid :P
06:11:17 <oerjan> (777 gives the longest prefix)
06:11:27 <get52> who are you talking too
06:11:45 -!- \oren\ has joined.
06:11:57 <oerjan> myself, about FreeFull's self-describing pangram
06:12:02 <get52> lol
06:12:07 <oerjan> <FreeFull> "This pangram contains four As, one B, two Cs, one D, thirty Es, six Fs, five Gs, seven Hs, eleven Is, one J, one K, two Ls, two Ms, eighteen Ns, fifteen Os, two Ps, one Q, five Rs, twenty-seven Ss, eighteen Ts, two Us, seven Vs, eight Ws, two Xs, three Ys, & one Z."
06:12:14 <get52> oh I see
06:12:17 <get52> I wasn't there for that
06:12:25 <get52> thought I was missing out on something
06:12:26 <get52> heh
06:12:35 <oerjan> actually i was just reading it in the logs
06:13:03 <get52> o
06:13:04 <oerjan> i'm trying to convince myself you can never get numbers above hundred
06:13:12 <oerjan> with that template
06:13:27 <get52> oh ye
06:13:56 <oerjan> because the names of numbers are just not long enough.
06:14:32 <get52> ah
06:14:39 <\oren\> what if you spell out the letter names like gee bee cee
06:14:42 <oerjan> > length "sevenhundredandseventythousand"
06:14:44 <lambdabot> 30
06:14:59 <oerjan> \oren\: i do not think that matters.
06:15:05 <\oren\> you might be able to get 100 e's
06:15:13 <oerjan> oh right
06:15:16 <oerjan> yes.
06:15:18 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45614&oldid=45613 * Quintopia * (+244) Implementation: bugfix: crash on EOF
06:15:26 <oerjan> ok. but definitely not more than a thousand.
06:15:37 <oerjan> > 30/1000
06:15:39 <lambdabot> 3.0e-2
06:15:45 <oerjan> > 1000/30
06:15:47 <lambdabot> 33.333333333333336
06:16:01 <\oren\> > sqrt 1000
06:16:04 <lambdabot> 31.622776601683793
06:16:14 <oerjan> > 26*6
06:16:15 <lambdabot> 156
06:16:26 <oerjan> it's not really about sqrt
06:16:38 <oerjan> there are 26 letters, so at most 26 numerals
06:18:01 <oerjan> a numeral smaller than a million never has more than 30 letters.
06:18:45 <oerjan> and for those larger, the length still never gets above a small fraction of the number itself
06:20:48 <oerjan> oh wait
06:20:58 <oerjan> that's not quite right. forgot a part.
06:21:58 <oerjan> > length "sevenhundredandseventyseventhousandsevenhundredandseventyseven"
06:22:00 <lambdabot> 62
06:23:07 <oerjan> > length "sevenhundredandseventyseventhousand"
06:23:09 <lambdabot> 35
06:23:35 <oerjan> but multiplying by 1000 gets you only 35-40 more letters.
06:30:00 <oerjan> > length . group $ sort "sevenhundredandseventyseventhousand"
06:30:03 <lambdabot> 12
06:30:06 <oerjan> er
06:30:15 <oerjan> > map length . group $ sort "sevenhundredandseventyseventhousand"
06:30:18 <lambdabot> [2,4,7,2,6,1,1,4,2,2,3,1]
06:30:37 <oerjan> 7 es
06:33:31 <oerjan> > 1000/62
06:33:33 <lambdabot> 16.129032258064516
06:37:48 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45615&oldid=45614 * Quintopia * (+229) new features < and >
06:38:49 -!- hppavilion[1] has joined.
06:41:07 <Jafet> Unicode pangrams imo
06:41:52 <oerjan> O KAY
06:42:34 <oerjan> > 62*26
06:42:35 <lambdabot> 1612
06:42:41 <get52> 2+2
06:42:45 <get52> > 2+2
06:42:46 <lambdabot> 4
06:42:49 <get52> yay
06:43:04 <oerjan> lambdabot knows its arithmetic
06:43:08 <oerjan> @botsnack
06:43:08 <lambdabot> :)
06:43:12 <get52> > 420+69
06:43:14 <lambdabot> 489
06:43:42 <get52> > 9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999*999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
06:43:44 <lambdabot> 9999999999999999999999999999999999999999999999999999999999999999999999999999...
06:43:48 <get52> lol
06:44:09 <hppavilion[1]> get52: lambdabot is too smart for you
06:44:13 <get52> tbh yea
06:45:22 -!- Sprocklem has joined.
06:45:49 <myname> > let xs = 1:xs in xs
06:45:49 <get52> > 420+1337+69
06:45:50 <lambdabot> [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...
06:45:51 <lambdabot> 1826
06:45:57 <oerjan> > length "seventhousandsevenhundredandseventyseven"
06:45:59 <lambdabot> 40
06:46:05 <oerjan> > 26*40
06:46:07 <lambdabot> 1040
06:46:14 <get52> > length "wew lad"
06:46:16 <lambdabot> 7
06:46:33 <oerjan> hm just length is not enough to prove it doesn't exceed a thousand
06:47:17 <myname> what are you trying to do
06:48:14 <get52> > length "my penis"
06:48:16 <lambdabot> 8
06:48:20 <get52> thx fam
06:48:20 <oerjan> bounding the length of a pangram
06:48:32 <oerjan> <FreeFull> "This pangram contains four As, one B, two Cs, one D, thirty Es, six Fs, five Gs, seven Hs, eleven Is, one J, one K, two Ls, two Ms, eighteen Ns, fifteen Os, two Ps, one Q, five Rs, twenty-seven Ss, eighteen Ts, two Us, seven Vs, eight Ws, two Xs, three Ys, & one Z."
06:48:36 <get52> > length "my penis" in inches
06:48:38 <lambdabot> <hint>:1:19: parse error on input ‘in’
06:48:40 <get52> kek
06:48:55 <oerjan> get52: lambdabot is not google hth
06:49:15 <get52> lel\
06:49:21 <zzo38> get52: Try Wolfram|Alpha, it still might not know. Or better, use a ruler
06:49:33 <get52> heh
06:49:47 <zzo38> (Regardless whether you want the length of the string or of your penis)
06:49:59 <get52> lmao
06:50:01 <zzo38> (Although a length of a string of text in inches would depend on the font, isn't it?)
06:50:13 <get52> heh yeah
06:50:22 -!- aretecode has joined.
06:50:56 <shachaf> what's with all this
06:51:05 <hppavilion[1]> shachaf: get52 discovered lambdabot
06:51:29 <shachaf> and this channel
06:51:30 <get52> tbh yes
06:51:36 <get52> no bully pls
06:51:37 <zzo38> The lambdabot is run the Haskell code; you can learn Haskell programming and then you can understand its working.
06:51:59 <hppavilion[1]> > 20\\\\3
06:51:59 <get52> haskell isnt functional tbh fam
06:52:00 <lambdabot> Not in scope: ‘\\\\’
06:52:05 <hppavilion[1]> Aww :(
06:52:14 <hppavilion[1]> I thought that was added. Does it get deleted automaticalyl?
06:52:50 <zzo38> get52: Can you elaborate on that? I do not quite understand.
06:53:13 <get52> well really it's so far away from common lisp that it's basically object oreiented
06:53:19 <hppavilion[1]> get52: I assume you've seen the wiki?
06:53:22 <oerjan> hppavilion[1]: it gets deleted when someone runs the @undefine command.
06:53:24 <get52> yes
06:53:38 <oerjan> @uptime
06:53:38 <lambdabot> uptime: 10d 1h 1m 8s, longest uptime: 1m 10d 23h 44m 29s
06:53:38 <hppavilion[1]> get52: Common lisp isn't the definition of "Functional"
06:53:48 <get52> yes it is smh fam
06:53:59 <oerjan> or when it quits i assume, but it hasn't done that
06:53:59 <get52> get your head out of your ass
06:54:02 <get52> god damn
06:54:03 <hppavilion[1]> A language can be entirely unlike common lisp but still functional
06:54:06 <get52> no
06:54:14 <hppavilion[1]> e.g. unlambda iirc
06:54:19 <get52> that's not true tho
06:54:22 <oerjan> get52: please be polite
06:54:23 <hppavilion[1]> I think unlambda is functional
06:54:30 <get52> it's object oriented
06:54:30 <zzo38> Haskell is functional and pure, Lisp is functional and impure
06:54:37 <get52> ur mom is impure
06:54:38 <get52> smh
06:54:47 -!- ChanServ has set channel mode: +o oerjan.
06:54:54 <hppavilion[1]> Your mom**w is impure
06:54:54 <oerjan> get52: i said, please be polit.
06:54:57 <oerjan> *+e
06:55:14 <get52> mom**w?
06:55:27 <hppavilion[1]> get52: Surreal numbers. w is a surrogate little omega
06:55:33 <hppavilion[1]> It basically means infinity
06:55:35 <get52> oh I thought you were censoring yourself
06:55:39 <zzo38> I think it is not object oriented, although even if it is, it doesn't change it.
06:55:45 <get52> really i'm just fucking around
06:55:46 <hppavilion[1]> No xD. I don't self-censor
06:55:50 <hppavilion[1]> mom**1=mom
06:55:51 <get52> it's not object orient of course not
06:55:55 <get52> lol
06:55:57 <hppavilion[1]> mom**2=grandmom
06:56:01 <get52> heh
06:56:05 <hppavilion[1]> mom**3=great-grandmom
06:56:07 <get52> <3
06:56:13 <hppavilion[1]> mom**w=great*-grandmom
06:56:29 <get52> but yeah i was just playing around lol
06:56:30 <hppavilion[1]> (Familial arithmetic might be interesting)
06:56:58 <get52> I came from the wiki btw
06:57:01 <zzo38> It is possible to be object oriented and functional, anyways.
06:57:05 <hppavilion[1]> Of course.
06:57:26 <get52> you guys seem quite a bit more knowledgeable then me heh
06:57:30 <hppavilion[1]> > let (\\\\) a b = a + (1/b)
06:57:31 <lambdabot> <no location info>: not an expression: ‘let (\\\\) a b = a + (1/b)’
06:57:40 <hppavilion[1]> I don't know haskell xD
06:57:47 <get52> me either tbh
06:57:49 <hppavilion[1]> get52: We've been here a while xD.
06:57:57 <get52> :^)
06:58:16 -!- oerjan has set channel mode: -o oerjan.
06:58:18 <hppavilion[1]> > (\\\\) a b = a + (1/b)
06:58:20 <lambdabot> <hint>:1:12: parse error on input ‘=’
06:58:27 <hppavilion[1]> > a\\\\b = a + (1/b)
06:58:28 <get52> > fizzbuzz
06:58:29 <lambdabot> <hint>:1:8: parse error on input ‘=’
06:58:29 <lambdabot> Not in scope: ‘fizzbuzz’
06:58:30 <oerjan> hppavilion[1]: @let
06:58:40 <hppavilion[1]> Thank you!
06:58:48 <hppavilion[1]> @let a\\\\b = a + (1/b)
06:58:49 <lambdabot> Defined.
06:58:54 <hppavilion[1]> It's the backslash operator
06:59:03 <myname> haskell is so unlike java, it can't be oop
06:59:15 <get52> i know
06:59:29 <get52> java is p gross tbh
06:59:32 <hppavilion[1]> get52: He was doing what you did earlier. It was funny
06:59:36 <hppavilion[1]> It is awul
06:59:38 <hppavilion[1]> *awful
06:59:44 <get52> lol
06:59:52 <oerjan> you can do oop in haskell but you'll get looked at weirdly
07:00:01 <hppavilion[1]> ma mum**e is awful
07:00:02 <get52> that sounds hilarious
07:00:17 <hppavilion[1]> (e=1/w)
07:00:25 <hppavilion[1]> (e is epsilon here)
07:01:01 <hppavilion[1]> (so mum**e=root(mum, w) )
07:01:35 <get52> > 10**w
07:01:37 <lambdabot> 10**w
07:01:40 <get52> oh
07:01:42 <get52> ok
07:01:47 <hppavilion[1]> get52: Haskell doesn't do surreals
07:01:47 <get52> > 10 + 1
07:01:49 <lambdabot> 11
07:01:59 <get52> i dont even know what i'm doing tbh
07:02:12 <zzo38> Do you like TeX? It is also so unlike Java..............
07:02:28 <get52> ur mom is unlike java :^)
07:02:35 <get52> because she's great
07:02:38 <get52> and kind
07:02:46 <hppavilion[1]> @let a~:^b = (a+b-b**2)*7/a
07:02:47 <lambdabot> Defined.
07:02:56 <hppavilion[1]> 13~:^7
07:03:04 <get52> > 10 := 11
07:03:05 <hppavilion[1]> > 13~:^7
07:03:07 <lambdabot> Not in scope: data constructor ‘:=’
07:03:07 <lambdabot> Perhaps you meant one of these:
07:03:07 <lambdabot> ‘:+’ (imported from Data.Complex),
07:03:08 <lambdabot> -15.615384615384615
07:03:39 <oerjan> > (0 :+ 1)^2 == -1
07:03:41 <lambdabot> True
07:04:06 <hppavilion[1]> Wut
07:04:23 <hppavilion[1]> Oh
07:04:32 <hppavilion[1]> :+ is a complex number constructor
07:05:07 <oerjan> > 26*38
07:05:09 <lambdabot> 988
07:05:40 <hppavilion[1]> > 2^(0:+1)
07:05:42 <lambdabot> Could not deduce (Integral (Complex a0)) arising from a use of ‘^’
07:05:42 <lambdabot> from the context (Num a)
07:05:42 <lambdabot> bound by the inferred type of it :: Num a => a at <interactive>:1:1
07:05:48 <get52> > 10+20
07:05:50 <lambdabot> 30
07:05:52 <hppavilion[1]> > 2**(0:+1)
07:05:54 <lambdabot> 0.7692389013639721 :+ 0.6389612763136348
07:05:59 <get52> > chr(55)
07:06:01 <lambdabot> '7'
07:06:03 <hppavilion[1]> Uh...
07:06:04 <get52> oh neat
07:06:14 <get52> > chr (69)
07:06:16 <hppavilion[1]> Htf does that work?
07:06:16 <lambdabot> 'E'
07:06:34 <get52> because lambdabot is running python
07:06:34 <get52> :^)
07:06:36 <hppavilion[1]> > chr(8601)
07:06:38 <lambdabot> '\8601'
07:06:44 <hppavilion[1]> > unichr(8601)
07:06:46 <lambdabot> Not in scope: ‘unichr’
07:06:51 <get52> > ord('l')
07:06:53 <lambdabot> 108
07:06:56 <get52> holy
07:06:57 <hppavilion[1]> > uchr(8601)
07:06:58 <lambdabot> Not in scope: ‘uchr’
07:06:58 <lambdabot> Perhaps you meant ‘chr’ (imported from Data.Char)
07:07:08 <get52> > ord('p')
07:07:10 <lambdabot> 112
07:07:12 <hppavilion[1]> > ord('λ')
07:07:14 <lambdabot> 955
07:07:16 <get52> woah
07:07:22 <hppavilion[1]> > chr(955)
07:07:24 <oerjan> nah, haskell just somehow chose the same names (Pascal used those too i think)
07:07:25 <lambdabot> '\955'
07:07:50 <oerjan> i was going to say they're from Pascal but someone who knows Algol is just going to one-up me
07:07:52 <hppavilion[1]> oerjan: Aren't the python names straight outta C?
07:08:04 <oerjan> oh are they?
07:08:28 <hppavilion[1]> I assumed so, though C probably got them from somewhere else. Like Pascal.
07:08:28 * oerjan doesn't know C a third as well haskell these days.
07:08:44 <hppavilion[1]> How do I do unichr?
07:10:04 <hppavilion[1]> get52: I'm making a morphic character encoding
07:10:18 <get52> :D nice
07:10:21 <get52> what is it
07:10:32 <oerjan> hppavilion[1]: what's unichr? chr already does unicode.
07:10:41 <get52> what is morphic character encoding?
07:10:43 <hppavilion[1]> oerjan: Not in haskell, it appears
07:10:46 <get52> forgive me i'm new haha
07:10:48 <oerjan> > var $ chr 955
07:10:49 <lambdabot> Couldn't match type ‘Char’ with ‘[Char]’
07:10:50 <lambdabot> Expected type: String
07:10:50 <lambdabot> Actual type: Char
07:10:52 <oerjan> oops
07:10:58 <oerjan> > var [chr 955]
07:11:00 <lambdabot> λ
07:11:04 <oerjan> this what you wanted?
07:11:06 <hppavilion[1]> get52: It's a character enconing that's more than a lookup table
07:11:11 <hppavilion[1]> Yes.
07:11:16 <get52> OH yeah
07:11:17 <get52> nice
07:11:31 <get52> i'm making an esoteric lang atm
07:11:34 <get52> that's why i came here lol
07:11:37 <hppavilion[1]> Basically, you can do \(COM:SUBSET, RING) to get the open subset operator
07:11:41 <hppavilion[1]> Naturally xD
07:11:50 <oerjan> > [chr 955] -- this is shown as an escaped string, therefore only ASCII
07:11:52 <lambdabot> "\955"
07:11:53 <get52> it has 3 commands
07:12:02 <hppavilion[1]> (A marriage between a negative number of people is... UNNATURAL! LULZ!)
07:12:03 <get52> addition, display, input
07:12:15 <get52> you don't need subtraction because it resets at 251
07:12:17 <get52> :^)
07:12:20 <hppavilion[1]> :)
07:12:30 <hppavilion[1]> Sounds a bit like Deadfish
07:12:35 <hppavilion[1]> But not the same
07:12:52 <get52> lol good
07:13:01 <get52> was afraid I was doing exactly the same thing
07:13:03 <get52> for a second
07:13:04 <get52> haha
07:13:07 <oerjan> hppavilion[1]: http://www.mezzacotta.net/dinosaur/?comic=252
07:13:26 <oerjan> (from DMM's dinosaur comics fanfic)
07:14:50 <get52> also the commands are pretty much brainf*cks
07:15:03 <myname> get52: you'd need at least some kind of jump to be close to interesting
07:15:05 <get52> also not sure if I'm allowed to say f*ck here that's the only reason I censored myself
07:15:14 <get52> tbh I understand myname
07:15:28 <get52> sry for bothering u fam
07:15:28 <hppavilion[1]> myname: Or a clone commands thing. That works too
07:15:34 <get52> and ur patrician ways
07:15:40 <get52> ;^(
07:15:47 <oerjan> 251 is an usual place to reset
07:15:49 <get52> im not worthy of ur presence :^)
07:15:52 <oerjan> `factor 251
07:15:53 <get52> m'lad
07:15:54 <HackEgo> 251: 251
07:16:01 <oerjan> prime too
07:16:05 <hppavilion[1]> Weird
07:16:23 <myname> i guess he meant 250 -> 0
07:16:34 <myname> in which case 251 being a prime is actually good
07:16:56 <oerjan> get52: we have nothing against saying brainfuck. in fact i've been known to correct the spelling on the wiki.
07:16:56 <myname> whatever the name of this structure is in english
07:17:08 <get52> oh
07:17:10 <get52> okay
07:17:18 <get52> thx
07:17:35 <hppavilion[1]> IMHO, "Brainf*ck" is a curse word, but "Brainfuck" is not
07:17:44 <lifthrasiir> Brainfiretruck
07:17:47 <myname> what's the english name for (M,+,*) with (M,+) and (M\{0},*) being groups?
07:18:09 <hppavilion[1]> I have NO idea. Is it a ring?
07:18:33 <myname> no, rings don't need two groups
07:18:39 <hppavilion[1]> Oh
07:18:42 <hppavilion[1]> Magma?
07:18:47 <myname> in german it's körper
07:18:54 <myname> which would translate into bod
07:18:56 <myname> body
07:18:59 <oerjan> myname: a field hth
07:19:04 <myname> ah!
07:19:07 <hppavilion[1]> Ah!
07:20:04 <myname> tdh
07:21:21 <hppavilion[1]> thank da Hubble [telescope]?
07:21:32 <myname> `tdh
07:21:32 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tdh: not found
07:21:38 <myname> :(
07:21:41 <hppavilion[1]> `? tdh
07:21:44 <HackEgo> tdh is the past tense of a successful hth. hth.
07:21:57 <myname> there you go
07:21:59 <hppavilion[1]> WHAT IS HTH THOUGH
07:22:02 <hppavilion[1]> `? hth
07:22:03 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
07:22:10 <hppavilion[1]> THAT WAS NOT HELPFUL
07:22:15 <lifthrasiir> "hope that helps"
07:22:16 <myname> :D
07:22:20 <hppavilion[1]> THERE WE GO!
07:22:28 <lifthrasiir> but then what the hell is tdh
07:22:40 <myname> one of my first encounters here was me cursing about monads
07:22:46 <myname> with the following respond
07:22:48 <hppavilion[1]> THANK THE HUBBLE!
07:22:50 <myname> `? monads
07:22:51 <HackEgo> Monads are just free monad monad monad algebras.
07:22:55 <zzo38> As far as I am concerned it is irrelevant in these cases whether or not "brainfuck" is a curse word, although it seems that to Rosetta Code it is considered as a curse word.
07:22:59 <myname> HOPE THIS HELPS
07:23:00 <lifthrasiir> according to UD, "tall dark and handsome"
07:23:11 <myname> wtf
07:23:26 <get52> bye sry if i wasnt interesting enough tbh im new
07:23:28 -!- get52 has left ("Leaving").
07:23:37 <myname> `? monad
07:23:38 <HackEgo> Monads are just monoids in the category of endofunctors.
07:23:43 <myname> that one
07:23:55 <lifthrasiir> UD has a (probably correct) definition of "too damn hilarious" at the *last* position
07:23:59 <hppavilion[1]> He was a very honest ("tbh") person.
07:24:02 <myname> wtf is wrong with `? monads
07:24:09 <oerjan> hm we're below 10% bots
07:24:17 <oerjan> in fact, below 9%
07:24:29 <hppavilion[1]> Whoa
07:24:33 <myname> lifthrasiir: that's not correct
07:24:42 <myname> itks that did help
07:24:48 <lifthrasiir> myname: oh.
07:24:52 <hppavilion[1]> tdnh
07:25:12 <lifthrasiir> myname: but to me that was much more plausible than other entries like teenage dickheads
07:25:24 <myname> lol
07:26:33 <HackEgo> [wiki] [[Special:Log/newusers]] create * Get52 * New user account
07:26:42 <oerjan> myname: i suspect shachaf for `? monads
07:26:57 <shachaf> ?
07:27:05 <oerjan> `? monads
07:27:06 <HackEgo> Monads are just free monad monad monad algebras.
07:27:07 <lifthrasiir> `? ?
07:27:08 <HackEgo> ​? is wisdom
07:27:09 <oerjan> shachaf: did you make this ^
07:27:17 <shachaf> `culprits wisdom/monad
07:27:19 <HackEgo> shachaf elliott oerjan elliott Bike FreeFull ais523 ais523 oerjan Gregor shachaf oerjan FreeFull shachaf shachaf nitia
07:27:22 <lifthrasiir> (I read that as "WHAT is wisdom")
07:27:27 <oerjan> shachaf: no, not that one
07:27:29 <shachaf> oerjan: I doubt it?
07:27:33 <oerjan> `culprits wisdom/monads
07:27:35 <HackEgo> shachaf elliott oerjan elliott oerjan oerjan shachaf Phantom_Hoover Phantom_Hoover ais523 ais523 oerjan oerjan oerjan oerjan FreeFull shachaf shachaf nitia
07:27:38 <shachaf> Oh, that one.
07:27:42 <shachaf> That's possible.
07:27:57 <zzo38> Now I made up the other Magic: the Puzzling (puzzle.4) and you should test it please, because I may have done something wrong
07:28:10 <lifthrasiir> `? `
07:28:12 <HackEgo> ​` is the prefix to greatness.
07:28:19 <shachaf> zzo38: You should include a URL.
07:28:47 <zzo38> O, yes, I should include the absolute URL. It is: http://zzo38computer.org/textfile/miscellaneous/magic_card/puzzle.4
07:29:19 <zzo38> (I thought you already knew what it was relative to, but perhaps not, I am a bit crazy)
07:29:28 <myname> zzo38: also, what kind of magic is possible with your dnd latex commands?
07:29:46 <shachaf> zzo38: I didn't know but I could find out, but that would be a lot more work than copying a complete URL.
07:30:07 <zzo38> It is used only with Plain TeX, I don't know if it can be used with LaTeX at all (and isn't meant to be)
07:30:21 <shachaf> zzo38: Is that a puzzle? It doesn't ask any questions.
07:30:24 <myname> interesting
07:30:33 <myname> and what does it do?
07:30:39 <zzo38> shachaf: "Win the game" is implied if not otherwise specified.
07:31:49 <zzo38> myname: A lot, including sorting the list of skills, keep track of multiple character sheets, calculate ECL, ask the user what printing level, and more
07:32:21 <zzo38> Look at the file to see what it is doing.
07:34:56 <myname> ah
07:35:01 <zzo38> shachaf: A few other things are also implied if not otherwise specified, such as irrelevant cards in other zones, irrelevant cards in graveyard can't be cast from graveyard, you have priority at the given situation, no unlisted effects are waiting to happen, and various other stuff.
07:35:24 <myname> imho the world needs more interactive character sheets
07:36:44 -!- heroux has quit (Ping timeout: 250 seconds).
07:36:59 -!- heroux has joined.
07:37:51 <zzo38> myname: It can keep track of inventory and spell lists and money, and can do footnotes and chapter headings and session headings, and so on. You can even see level20.tex to see the use of these macros.
07:38:00 <oerjan> > 9*26
07:38:01 <lambdabot> 234
07:38:27 <zzo38> This program isn't an interactive character sheet though; it is just partially automatic.
07:38:35 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
07:39:14 <zzo38> shachaf: Do you understand this puzzle at all?
07:39:20 <zzo38> Did I do it wrong?
07:39:40 <zzo38> (And do you understand my first three puzzles?)
07:39:45 <shachaf> I looked at it and I didn't know a lot of the cards.
07:39:51 <oerjan> ok not more than 400
07:39:53 <shachaf> So I decided it would probably be too much effort to understand.
07:41:08 <zzo38> shachaf: Cards in opponent's library can damage you, so don't worry to look up all of them; after all they are in a random order so even if you know Lightning Bolt that's enough.
07:41:31 <oerjan> oh wait brain fart
07:41:34 <zzo38> Other cards can be look up and then make the printout I suppose
07:41:36 <oerjan> > 10*26
07:41:38 <lambdabot> 260
07:41:45 <oerjan> still not
07:42:18 <zzo38> It is not difficult to look up; make the program to do it automatically if you want to (possibly at some time I might do such thing too)
07:45:59 -!- heroux has quit (Ping timeout: 246 seconds).
07:46:10 -!- heroux has joined.
07:53:07 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45616&oldid=45615 * Quintopia * (+130) /* Examples */
07:55:22 -!- ^v has quit (Ping timeout: 250 seconds).
08:02:05 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45617&oldid=45616 * Quintopia * (+0) /* Python 2 */ wiki don't like ''
08:03:47 <zzo38> Do you know what kind of tricks can be done with a madness ability?
08:14:39 <oerjan> > 84+26*10
08:14:41 <lambdabot> 344
08:14:52 <oerjan> hmph
08:15:10 <oerjan> oh
08:15:17 <oerjan> > 84+18*11
08:15:19 <lambdabot> 282
08:17:17 <oerjan> so not above 300
08:43:16 <HackEgo> [wiki] [[Aubergine/aubergine.py]] http://esolangs.org/w/index.php?diff=45618&oldid=45452 * Quintopia * (+0) bugfix
08:51:06 -!- Wallacoloo has joined.
09:04:48 <HackEgo> [wiki] [[Aubergine]] http://esolangs.org/w/index.php?diff=45619&oldid=45591 * Quintopia * (+229) /* Examples */
09:09:37 * oerjan concludes no letter is above 100
09:10:30 <oerjan> which also eliminates the question of whether to use "and" after the hundreds
09:13:08 <oerjan> and would fix A and D except for whether to use "and" or "&" before the one Z
09:14:32 -!- Phantom_Hoover has joined.
09:17:58 <b_jonas> mornign
09:18:17 <oerjan> mningor
09:34:04 <olsner> oerjan: you're out of order
09:34:59 <oerjan> dnar
09:35:55 <b_jonas> fungot, good morning
09:35:55 <fungot> b_jonas: ( afaiu) course. don't know if that extends to my isdn connection)
09:36:07 <b_jonas> ISDN CONNECTION?
09:36:14 <b_jonas> that explains why fungot sometimes reacts so slowly
09:36:14 <fungot> b_jonas: on fnord? wouldn't a box, refrigerator, or at mit? we ( waterloo) beat you at the conference later....'
09:36:40 <olsner> ^style
09:36:40 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube
10:44:33 <izabera> \oren\: add these https://github.com/highvoltage/shello/blob/master/shello.sh#L57
10:55:57 -!- mauris has joined.
11:29:48 <oerjan> @tell ais523 <ais523> giving you 9**3 possibilities <-- 3**9 hth
11:29:48 <lambdabot> Consider it noted.
11:31:42 <oerjan> @check \x y -> (x > 0 && y > x) ==> (x ** y > y ** x)
11:31:44 <lambdabot> *** Failed! Falsifiable (after 5 tests and 10 shrinks):
11:31:44 <lambdabot> 143.8179375507593 7074.224045838542
11:31:48 <oerjan> hmph
11:32:23 <oerjan> @check \x y -> (x > 0 && y > x && not (isInfinity (x ** y)) ==> (x ** y > y ** x)
11:32:23 <lambdabot> <unknown>.hs: 1: 75:Parse error: EOF
11:32:28 <oerjan> @check \x y -> (x > 0 && y > x && not (isInfinity (x ** y))) ==> (x ** y > y ** x)
11:32:30 <lambdabot> Not in scope: ‘isInfinity’
11:32:30 <lambdabot> Perhaps you meant one of these: ‘isInfinite’ (imported from Prelude), ‘infin...
11:32:37 <oerjan> @check \x y -> (x > 0 && y > x && not (isInfinite (x ** y))) ==> (x ** y > y ** x)
11:32:39 <lambdabot> *** Failed! Falsifiable (after 1 test and 2149 shrinks):
11:32:39 <lambdabot> 0.4089889678803982 14.274412076418368
11:32:43 <oerjan> bah
11:33:06 <oerjan> @check \x y -> (x > 1 && y > x && not (isInfinite (x ** y))) ==> (x ** y > y ** x)
11:33:08 <lambdabot> *** Failed! Falsifiable (after 18 tests and 23 shrinks):
11:33:08 <lambdabot> 1.1743091876384109 11.511501398312754
11:33:32 <oerjan> @check \x y -> (x > 2 && y > x && not (isInfinite (x ** y))) ==> (x ** y > y ** x)
11:33:33 <lambdabot> *** Gave up! Passed only 80 tests.
11:33:42 <oerjan> ALMOST TRUE
11:34:35 -!- boily has joined.
11:34:37 <boily> SNOOOOOOOOOOOOOOOOOOW!
11:34:49 <oerjan> @metar ENVA
11:34:49 <lambdabot> ENVA 241120Z 12008KT CAVOK 02/00 Q0994 NOSIG RMK WIND 670FT 15008KT
11:34:54 <oerjan> SNOOOW MELTING
11:35:22 -!- Wallacoloo has left.
11:37:21 <Taneb> It's been years since I've seen snow
11:38:32 <boily> @metar CYUL
11:38:32 <lambdabot> CYUL 241136Z 08006KT 4SM -SN BKN016 OVC035 M05/M07 A3026 RMK SC6SC2 SLP250
11:38:43 <boily> the -SNing has begun.
11:38:53 <boily> Tanelle. Where are you now?
11:39:44 <Taneb> Old York
11:40:09 <Taneb> Apparently it snowed the other night, but I was asleep and it didn't lie
11:42:01 <b_jonas> hmm
11:42:05 <b_jonas> I need to
11:42:43 <b_jonas> do lots of stuff
11:50:19 <b_jonas> \oren\: ah, I see you added a lot of new kanji to your bitmap font while I wasn't looking
11:52:46 -!- Patashu has quit (Ping timeout: 272 seconds).
11:59:18 <b_jonas> \oren\: have you done a counting for who many of the grade 1 and 2 Kyōiku kanji you have in the font?
12:14:07 -!- oerjan has quit (Quit: Later).
12:15:47 <boily> the \oren\font has ꙮ ^^
12:16:46 <izabera> `unidecode ꙮ
12:16:46 <HackEgo> ​[U+A66E CYRILLIC LETTER MULTIOCULAR O]
12:20:19 <b_jonas> boily: yes, it does
12:20:33 <b_jonas> that was one of the earlier characters he's added, relatively speaking
12:22:20 <b_jonas> \oren\: ah, I compared, and it seems you only have two characters missing from grade 1 and 2 together: 教 数
12:23:48 <b_jonas> \oren\: in that case, I propose that you add those two, to complete the collection
12:30:00 <b_jonas> there's a sharp cut, because you have less than half of the grade 3 kanji
12:30:57 -!- boily has quit (Quit: STICKER CHICKEN).
12:33:21 <b_jonas> (you can find interesting stuff in HTML comments on public webpages)
12:38:15 <b_jonas> hehe, a CSS file that starts with '<STYLE TYPE="text/css">'
12:38:22 <b_jonas> which is probably ignored
13:00:11 -!- andrew__ has quit (Remote host closed the connection).
13:15:23 <lifthrasiir> is the name of that font the \oren\font? :p
13:21:43 <b_jonas> lifthrasiir: no
13:21:50 <b_jonas> lifthrasiir: www.orenwatson.be/fontdemo.htm
13:22:02 <b_jonas> lifthrasiir: the name of the font is apparently neoletters
13:30:43 -!- spiette has joined.
13:35:05 -!- \oren\ has quit (Ping timeout: 276 seconds).
13:35:09 -!- \oren\_ has joined.
13:46:48 -!- spiette has quit (Ping timeout: 250 seconds).
13:55:51 -!- mauris_ has joined.
13:58:30 -!- mauris has quit (Ping timeout: 250 seconds).
13:59:45 -!- spiette has joined.
14:15:37 <b_jonas> wow
14:16:32 <lifthrasiir> b_jonas: I have a tentative name for my font, Unison, but probably not a good choice :p
14:17:34 <b_jonas> lifthrasiir: right. I used a developer codename "consolegood20" when I started to make my font (you know, console font, looks good, 20 pixels high), but that is obviously a very bad name, so I later chose a real name "fecupboard20"
14:37:24 <lifthrasiir> b_jonas: probably it is more googlable, so a net gain.
14:55:44 -!- mauris has joined.
14:57:35 -!- mauris_ has quit (Ping timeout: 240 seconds).
15:19:47 -!- AnotherTest has joined.
15:21:38 <izabera> https://www.reddit.com/r/AskReddit/comments/idpfs/i_put_a_penny_in_my_butt_and_now_i_cant_get_it_out/
15:26:21 <myname> that problem will solve itself
15:31:25 <FireFly> It's hard to take someone seriously with a throwaway nick like that
15:36:06 -!- Sgeo_ has quit (Ping timeout: 255 seconds).
15:37:01 -!- Lord_of_Life has quit (Changing host).
15:37:01 -!- Lord_of_Life has joined.
15:37:01 -!- Lord_of_Life has quit (Changing host).
15:37:01 -!- Lord_of_Life has joined.
15:43:03 -!- Welo has joined.
15:44:06 -!- Welo has quit (Client Quit).
16:08:34 -!- ProofTechnique has joined.
16:28:54 -!- grotewold has joined.
16:43:17 -!- AnotherTest has quit (Ping timeout: 272 seconds).
16:47:39 -!- mroman has joined.
16:47:42 <mroman> fnerd
16:52:51 <MDream> Hi.
16:54:43 <quintopia> hi mroman. how goes the blsq golfing?
16:55:33 <MDream> I've been using making reversible logic gates in Pure Data.
16:55:43 -!- MDream has changed nick to MDude.
16:56:41 <quintopia> PD for real programming eh
16:57:14 <MDude> I figure data flow would be a good fit for reversible logic.
16:58:16 <mroman> quintopia: Not much going on
16:58:17 <MDude> Though it might also work in Javascript pretty well.
16:58:27 <quintopia> of course. it's not the first time the model has been used for that. what's that one stack-based reversible language?
16:59:07 <MDude> All of them?
16:59:32 <MDude> I'm pretty sure most or even every reversible language on the wiki is stack based.
16:59:55 <mroman> aren't pure languages reversible by definition?
17:00:08 <mroman> If you're at step 5 you can just rerun 1-4 to get back to step 4
17:00:12 <MDude> As if I knew what pure languages are.
17:00:21 <MDude> And Pure Data is just a name of a data flow klanguage.
17:00:32 <MDude> No idea if it's a "pure language".
17:00:39 <mroman> I might have a wrong definition of reversible though.
17:00:54 <MDude> http://puredata.info/
17:01:03 <MDude> Also https://en.wikipedia.org/wiki/Reversible_computing
17:02:09 <MDude> From what little I've read of asm.js, reversible logic would compile to it pretty easily, and probably optimize well.
17:02:13 <quintopia> i'm probably thinking of befreak
17:02:44 <quintopia> and no, not all the reversible languages are stack-based i think
17:04:51 <MDude> The reason I like the diea of using the language Pure Data is that it's able to run things on the audio card's DSP.
17:05:06 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
17:05:40 <MDude> And I like the idea of DSP based computation.
17:07:39 -!- Froox has quit (Read error: Connection reset by peer).
17:08:08 <MDude> Since that seems to lend itself well to cybernetics-based systems analysis.
17:08:33 -!- Frooxius has joined.
17:29:34 -!- ProofTechnique has joined.
17:30:24 -!- AnotherTest has joined.
17:34:00 -!- AnotherTest_ has joined.
17:34:00 -!- AnotherTest has quit (Read error: Connection reset by peer).
17:34:00 -!- AnotherTest_ has changed nick to AnotherTest.
17:43:47 -!- hppavilion[1] has joined.
17:54:40 -!- mroman has quit (Quit: Lost terminal).
18:00:59 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
18:04:48 -!- grotewold has joined.
18:05:33 -!- grotewold has quit (Max SendQ exceeded).
18:06:10 -!- grotewold has joined.
18:16:06 -!- oerjan has joined.
18:18:27 <shachaf> `olist 1013
18:18:28 <HackEgo> olist 1013: shachaf oerjan Sgeo FireFly boily nortti b_jonas
18:21:13 <izabera> https://www.worldcubeassociation.org/results/p.php?i=2011ETTE01
18:21:21 <izabera> new world record holder
18:21:22 <lifthrasiir> http://cosmic.mearie.org/2015/11/font/sample 745 characters so far.
18:21:24 <oerjan> ooh
18:21:44 <lifthrasiir> now completely covers ISO 8859-1 (phew)
18:21:53 <izabera> he looks so young
18:22:00 <oerjan> also new news post
18:23:01 <shachaf> the news post is talking about the positive reaction to olist book pdfs
18:23:32 <shachaf> even though people don't actually read them tdnh
18:23:36 -!- Frooxius has quit (Quit: *bubbles away*).
18:26:07 <oerjan> sad trombone
18:31:00 <oerjan> i'm still waiting for that lizard to accidentally get turned back into a theropod, now _might_ be a good time.
18:32:08 <oerjan> well, "good". there may be side effects, with belkar not nearby
18:35:06 -!- Jafet has quit (Read error: Connection reset by peer).
18:35:39 -!- jaboja has joined.
18:42:41 <oerjan> <MDude> I'm pretty sure most or even every reversible language on the wiki is stack based. <-- at least smatiny isn't.
18:43:09 <oerjan> or backflip
18:43:41 <oerjan> mind you, both of those are essentially finite automata
18:44:00 <oerjan> and no one really knows how to program backflip.
18:44:34 <oerjan> also reversible brainfuck, and thus jolverine
18:45:27 <oerjan> which are tape-based.
19:01:42 <hppavilion[1]> Surquaternion matrices!
19:15:09 <MDude> I'm fine with a language being, in isolation, finite automota.
19:16:07 <MDude> Since a Turing machine is just a r/w head controlled by a finite automota acting on an infinite tape.
19:17:00 <MDude> So a finite automata with I/O can be seen as the transition table of a Turing machine, with the external world acting as its tape.
19:22:44 <MDude> With it probably wouldn't even be hard to make a genral purpose Turing Tapehead program that gets hooked up to arbitrary finite automota via shell scripting.
19:23:52 <b_jonas> oh!
19:24:46 <oerjan> well neither backflip nor smatiny have input
19:24:53 <hppavilion[1]> GhostFunge could be an interesting language...
19:25:11 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
19:25:27 <MDude> There's a note on Smanity about input as an experimental feature.
19:25:50 <hppavilion[1]> It's a graphical fungeoid: the arrows are drawn on a canvas instead of being unicode (or in lamer implementations, ASCII) text
19:26:44 <MDude> I should make a fungeoid in Little Big Planet 2.
19:28:14 <MDude> Or the first one, since then I'd have to do it without explicit logic components.
19:28:56 -!- grotewold has joined.
19:29:58 <MDude> Where's a Ghost part of the name GhostFunge from?
19:30:47 <hppavilion[1]> MDude: It just felt right
19:30:52 <MDude> Sounds ike it'd be a ZOMBIE influenced funge variant.
19:31:07 <hppavilion[1]> Perhaps that could be included
19:32:10 <hppavilion[1]> https://docs.google.com/document/d/1ggRybliq-6IYHTbMv3mQCZOJwK_m_eYH1qXJ5HPfPgw/edit?usp=sharing
19:33:18 <hppavilion[1]> OH MY GOD ONE OF YOU IS "ANONYMOUS WALRUS"
19:33:36 <hppavilion[1]> :DDD
19:34:58 <MDude> I guess tha'ts me, though on my end I'm being called a ferret.
19:35:36 <hppavilion[1]> MDude: No, you're a ferret here too
19:35:43 <hppavilion[1]> I guess that someone else is the Walrus
19:36:21 -!- MoALTz has quit (Quit: Leaving).
19:36:22 <FireFly> I want to say "I am the walrus", but it'd be a lie
19:36:50 <hppavilion[1]> xD
19:36:55 -!- ^v has joined.
19:37:19 <shachaf> Are you the firefly?
19:38:03 <FireFly> I've never seen fireflies on gdocs, alas
19:39:14 <lifthrasiir> well, 887 characters now. (box drawing characters, thank you so much)
19:40:04 <hppavilion[1]> I started on GhostFunge due to limitations with Unicode's arrows
19:40:09 <hppavilion[1]> Namely, they're entirely stupid
19:42:01 <FireFly> They're... plentiful
19:43:48 -!- MoALTz has joined.
19:44:08 <hppavilion[1]> FireFly: Yes, but it'd be better to make them combining so that they take up less characters AND are even more plentifyl
19:44:21 <hppavilion[1]> E.g. you could make diagonal dashed arrows
19:46:50 <FireFly> Yeah, agreed
19:47:43 <HackEgo> [wiki] [[User:Hppavilion1/UniFunge]] http://esolangs.org/w/index.php?diff=45620&oldid=45578 * Hppavilion1 * (+548) /* Commands */ Drifting
19:48:00 <hppavilion[1]> FireFly: That's what I'm doing for MEML
19:48:04 <FireFly> The same goes for box-drawing characters (although I suppose they had to be kept as precomposed glyphs for compatibility with CP437)
19:48:47 <FireFly> `unidecode ═
19:48:48 <HackEgo> ​[U+2550 BOX DRAWINGS DOUBLE HORIZONTAL]
19:49:28 <FireFly> One can't combine ╗ and └ for instance, but there are characters for ╥ ╨ ┼
19:51:19 <hppavilion[1]> Yup
19:51:42 <hppavilion[1]> For english and symbols, I could probably outdo unicode
19:52:25 <hppavilion[1]> For foriegn languages, I'd fall pretty short. I'd have the greek alphabet, some diacritics, and the sharp s (along with characters that can't be diacriticized)
19:52:40 <hppavilion[1]> But I'd be wholely limited to the latin alphabet
19:53:52 -!- jaboja64 has joined.
19:54:45 <FireFly> Even for symbols, though? Unicode has a.. rather rich set of symbols
19:55:00 <hppavilion[1]> Yep
19:55:01 <HackEgo> [wiki] [[UberGenes]] http://esolangs.org/w/index.php?diff=45621&oldid=45617 * Quintopia * (-4) /* Python 2 */ moregolfier
19:55:12 <hppavilion[1]> I think Kastor probably has >100 operators. Anyone want to see?
19:55:38 <hppavilion[1]> And/or propose new ones?
19:56:06 <hppavilion[1]> And/or yell at me for stupid operators? xD
19:57:35 -!- jaboja has quit (Ping timeout: 265 seconds).
20:05:19 <hppavilion[1]> I need a log operator
20:06:39 <hppavilion[1]> Perhaps there's a "stack-o-logs" emoticon...
20:22:06 -!- oerjan has quit (Quit: leaving).
20:26:35 -!- Patashu has joined.
20:43:46 -!- Patashu has quit (Ping timeout: 240 seconds).
20:47:50 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
20:50:32 -!- grotewold has joined.
20:51:10 -!- grotewold has quit (Max SendQ exceeded).
20:51:47 -!- grotewold has joined.
20:56:12 <HackEgo> [wiki] [[Registry]] N http://esolangs.org/w/index.php?oldid=45622 * Hppavilion1 * (+1110) Created Page, to add more operations
20:58:42 -!- zzo38 has quit (Ping timeout: 272 seconds).
21:00:24 <FireFly> A log operator as in symbol? APL uses ⍟ for log (and ⋆ for power/exp)
21:01:33 <FireFly> Apart from being a circled ⋆, I've also heard it motivated as being a visual pun on a log seen from the side
21:05:44 -!- grotewold has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
21:06:06 <b_jonas> oh, that reminds me, who started the horrible convention that's still used in a few places where "literal" means character/string types or values as opposed to numerical types or values? does this come from APL only, or does it have its origins elsewhere, eg. in the FORTRAN culture?
21:09:06 -!- sebbu has quit (Ping timeout: 260 seconds).
21:10:51 -!- sebbu has joined.
21:12:03 <hppavilion[1]> FireFly: That works
21:12:40 <FireFly> b_jonas: weird, I've never seen it used like that
21:14:31 <b_jonas> FireFly: luckily it's rarely used that way outside of an APL context
21:14:52 <FireFly> And I'm thankful for that
21:15:19 -!- zzo38 has joined.
21:15:55 <b_jonas> The scary part is that if it comes from APL, then it might be older than the current usual meaning of literal, that is, an expression in the code that just encodes a constant value.
21:17:52 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds).
21:18:03 <HackEgo> [wiki] [[Introduction to esolang design/Data models]] N http://esolangs.org/w/index.php?oldid=45623 * Hppavilion1 * (+3031) Some initial data models
21:19:57 <HackEgo> [wiki] [[Introduction to esolang design/Data models]] http://esolangs.org/w/index.php?diff=45624&oldid=45623 * Hppavilion1 * (+346) Map
21:20:51 <HackEgo> [wiki] [[Introduction to esolang design/Data models]] M http://esolangs.org/w/index.php?diff=45625&oldid=45624 * Hppavilion1 * (+2) s/ tring / treeng /
21:27:58 -!- Phantom_Hoover has joined.
21:30:13 -!- bb010g has quit (Quit: Connection closed for inactivity).
21:30:53 <HackEgo> [wiki] [[Introduction to esolang design/Data models]] http://esolangs.org/w/index.php?diff=45626&oldid=45625 * Hppavilion1 * (+1394) Some new data models
21:31:22 -!- spiette has quit (Ping timeout: 260 seconds).
21:36:52 <hppavilion[1]> ‽ operator
21:39:40 <int-e> > let this ‽ that = otherwise in True ‽ False
21:39:41 <lambdabot> True
21:40:13 <hppavilion[1]> int-e: What?
21:40:15 <hppavilion[1]> Wat
21:40:33 <int-e> > otherwise
21:40:35 <lambdabot> True
21:40:39 <int-e> it's defined in the prelude.
21:40:44 <int-e> or Prelude.
21:43:31 -!- spiette has joined.
21:50:41 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:54:34 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
22:00:01 -!- hppavilion[1] has joined.
22:00:37 <hppavilion[1]> int-e: I know about otherwise; I was just trying to figure out what you made ‽ do.
22:00:59 <myname> returning true
22:01:06 <int-e> hppavilion[1]: it's a constant function with two arguments, so very boring.
22:01:35 <hppavilion[1]> int-e: I figured as such
22:02:25 <myname> so, what's unclear?
22:03:11 -!- spiette has quit (Ping timeout: 264 seconds).
22:06:49 -!- jaboja64 has quit (Read error: Connection reset by peer).
22:07:02 -!- jaboja has joined.
22:19:21 <FireFly> b_jonas: well, that meaning of 'literal' comes from its use in formal languages, doesn't it? which I /think/ predates APL, but I don't know
22:23:17 <b_jonas> FireFly: no idea
22:24:39 <FireFly> There's also the use in logic where it means a variable or negated variable.. which I always thought was funny since those aren't literals in the sense I usually think of
22:26:15 <b_jonas> heh, yeah
22:26:24 -!- boilyphone has joined.
22:27:35 <boilyphone> @metar CYUL
22:27:36 <lambdabot> CYUL 242200Z 00000KT 15SM FEW018 OVC043 M03/M07 A3039 RMK SC1SC7 SLP294
22:28:32 <int-e> myname: I think we spent all that effort on clarifying that there was nothing to clarify
22:28:59 -!- heroux has quit (Ping timeout: 264 seconds).
22:39:59 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
22:41:17 -!- hppavilion[1] has joined.
22:42:01 -!- mauris has quit (Quit: Leaving).
22:44:16 -!- Jafet has joined.
22:45:13 <boilyphone> Hppavellon[1]!
22:45:55 <hppavilion[1]> Helloilyphone!
22:46:51 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:49:51 -!- Lord_of_Life has quit (Excess Flood).
22:50:43 <izabera> ok, someone should write a name2hello thing
22:51:07 <hppavilion[1]> izabera: ?
22:52:30 -!- Lord_of_- has joined.
22:52:34 <boilyphone> Izabellora! Shouldn't be hard to add a porthello command to HackEgo, akin to `thanks. We just have to include some special cases (eg Tanelle).
22:53:00 <shachaf> `hi boilyphone
22:53:01 <HackEgo> Hi boilyphone. Hoilyphone.
22:53:19 <shachaf> "Tanelle" isn't even a good special case. It reads nothing like "hello". There's no o.
22:53:29 <shachaf> Or maybe I'm missing something. Who knows.
22:53:43 <izabera> `` type hi
22:53:43 <HackEgo> hi is /hackenv/bin/hi
22:53:52 <boilyphone> Hellochaf. Taneb is always addressed in the vocative case.
22:53:53 <izabera> `cat /hackenv/bin/hi
22:53:53 <HackEgo> ​#!/usr/bin/perl \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Hi $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/H/; } else { s/^./H/; } print "$_.";
22:53:59 <Jafet> Tano.
22:54:03 <izabera> bah
22:55:18 <shachaf> `hi FireFly
22:55:18 <HackEgo> Hi FireFly. HireFly.
22:55:34 <izabera> that's.. meh
22:55:55 <FireFly> shachif
22:56:07 <FireFly> `hi izabera
22:56:08 <HackEgo> Hi izabera. Hizabera.
22:57:13 <FireFly> `cat bin/thanks
22:57:14 <HackEgo> ​#!/usr/bin/perl -CSDA \ $_ = (join " ", @ARGV) || `words`; s/^\s+|\s+$//g; print "Thanks, $_. "; if (/[aeiouyAEIOUY]/) { s/^[^aeiouyAEIOUY]*/Th/; } else { s/^./T/; } print "$_.";
22:57:38 <shachaf> `hi monqy
22:57:38 <HackEgo> Hi monqy. Honqy.
23:02:26 -!- heroux has joined.
23:03:53 -!- idris-bot has quit (Ping timeout: 252 seconds).
23:05:02 -!- idris-bot has joined.
23:05:38 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
23:09:20 -!- staffehn_ has quit (Quit: No Ping reply in 180 seconds.).
23:09:37 -!- staffehn has joined.
23:14:43 -!- MoALTz has quit (Quit: Leaving).
23:15:45 -!- Sgeo has joined.
23:17:55 -!- MoALTz has joined.
23:27:28 -!- boilyphone has quit (Quit: MACHINE CHICKEN).
23:45:39 -!- hppavilion[1] has joined.
23:49:17 -!- ^v has quit (Remote host closed the connection).
23:52:20 <hppavilion[1]> Does anyone want to help with MEML?
23:52:38 <hppavilion[1]> Creating a character encoding seems like a lot of work and I could use some assistance xD
23:52:47 <izabera> why are you doing this
23:58:37 <MDude> What's MEML?
23:59:04 <MDude> https://www.youtube.com/watch?v=-TqfBEX6QtE
←2015-11-23 2015-11-24 2015-11-25→ ↑2015 ↑all