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: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: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:16 <Jafet> > 1 == (1 + 10**(-1000) :: CReal)
00:26:44 <hppavilion[1]> Jafet: I totally wasn't planning on implementing that into Kastor
00:28:29 <lambdabot> where g x n | even n = g (x*x) (n `quot` 2)
00:28:33 <lambdabot> _ ^ _ = error "Prelude.^: negative exponent"
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:33:03 <Taneb> Haskell has at least three exponentiation operators
00:33:08 <lambdabot> (Fractional a, Integral b) => a -> b -> a
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: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: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:28:00 <hppavilion[1]> lifthrasiir: I know about Unicode (and I assume that that document is related)
01:28:34 -!- andrew__ has joined.
01:29:59 <lifthrasiir> hppavilion[1]: probably you should look at the date first :)
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:13 <\oren\> semantic would encode "cat" and "猫" to the same code
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:36 <\oren\> that's not semantic, it's exactly opposite
01:34:48 <lifthrasiir> the (fictitious) modernized TeX comes to mind.
01:35:05 <\oren\> you're encoding form, not substance
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:36:07 <hppavilion[1]> Arrow characters actually work: any arrow is possible
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:30:40 -!- mauris has joined.
02:44:14 -!- hppavilion[1] has quit (Ping timeout: 250 seconds).
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: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: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: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: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: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: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: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: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: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:17 <get52> I wasn't there for that
06:12:25 <get52> thought I was missing out on something
06:12:35 <oerjan> actually i was just reading it in the logs
06:13:04 <oerjan> i'm trying to convince myself you can never get numbers above hundred
06:13:56 <oerjan> because the names of numbers are just not long enough.
06:14:39 <\oren\> what if you spell out the letter names like gee bee cee
06:14:42 <oerjan> > length "sevenhundredandseventythousand"
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: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: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:58 <oerjan> that's not quite right. forgot a part.
06:21:58 <oerjan> > length "sevenhundredandseventyseventhousandsevenhundredandseventyseven"
06:23:07 <oerjan> > length "sevenhundredandseventyseventhousand"
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:15 <oerjan> > map length . group $ sort "sevenhundredandseventyseventhousand"
06:30:18 <lambdabot> [2,4,7,2,6,1,1,4,2,2,3,1]
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:43:04 <oerjan> lambdabot knows its arithmetic
06:43:42 <get52> > 9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999*999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
06:43:44 <lambdabot> 9999999999999999999999999999999999999999999999999999999999999999999999999999...
06:45:22 -!- Sprocklem has joined.
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:57 <oerjan> > length "seventhousandsevenhundredandseventyseven"
06:46:14 <get52> > length "wew lad"
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: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:55 <oerjan> get52: lambdabot is not google hth
06:49:21 <zzo38> get52: Try Wolfram|Alpha, it still might not know. Or better, use a ruler
06:49:47 <zzo38> (Regardless whether you want the length of the string or of your penis)
06:50:01 <zzo38> (Although a length of a string of text in inches would depend on the font, isn't it?)
06:50:22 -!- aretecode has joined.
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 <get52> haskell isnt functional tbh fam
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:22 <oerjan> hppavilion[1]: it gets deleted when someone runs the @undefine command.
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: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:03 <hppavilion[1]> A language can be entirely unlike common lisp but still functional
06:54:19 <get52> that's not true tho
06:54:22 <oerjan> get52: please be polite
06:54:30 <get52> it's object oriented
06:54:30 <zzo38> Haskell is functional and pure, Lisp is functional and impure
06:54:47 -!- ChanServ has set channel mode: +o oerjan.
06:54:54 <oerjan> get52: i said, please be polit.
06:55:27 <hppavilion[1]> get52: Surreal numbers. w is a surrogate little omega
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:51 <get52> it's not object orient of course not
06:56:29 <get52> but yeah i was just playing around lol
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:26 <get52> you guys seem quite a bit more knowledgeable then me heh
06:57:31 <lambdabot> <no location info>: not an expression: ‘let (\\\\) a b = a + (1/b)’
06:58:16 -!- oerjan has set channel mode: -o oerjan.
06:58:20 <lambdabot> <hint>:1:12: parse error on input ‘=’
06:58:29 <lambdabot> <hint>:1:8: parse error on input ‘=’
06:59:03 <myname> haskell is so unlike java, it can't be oop
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:52 <oerjan> you can do oop in haskell but you'll get looked at weirdly
07:00:02 <get52> that sounds hilarious
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:03:07 <lambdabot> Not in scope: data constructor ‘:=’
07:03:07 <lambdabot> ‘:+’ (imported from Data.Complex),
07:05:42 <lambdabot> Could not deduce (Integral (Complex a0)) arising from a use of ‘^’
07:05:42 <lambdabot> bound by the inferred type of it :: Num a => a at <interactive>:1:1
07:05:54 <lambdabot> 0.7692389013639721 :+ 0.6389612763136348
07:06:34 <get52> because lambdabot is running python
07:06:58 <lambdabot> Perhaps you meant ‘chr’ (imported from Data.Char)
07:07:24 <oerjan> nah, haskell just somehow chose the same names (Pascal used those too i think)
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: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:10:32 <oerjan> hppavilion[1]: what's unichr? chr already does unicode.
07:10:41 <get52> what is morphic character encoding?
07:10:46 <get52> forgive me i'm new haha
07:10:49 <lambdabot> Couldn't match type ‘Char’ with ‘[Char]’
07:11:06 <hppavilion[1]> get52: It's a character enconing that's more than a lookup table
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:50 <oerjan> > [chr 955] -- this is shown as an escaped string, therefore only ASCII
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:13:01 <get52> was afraid I was doing exactly the same thing
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:34 <get52> and ur patrician ways
07:15:47 <oerjan> 251 is an usual place to reset
07:15:49 <get52> im not worthy of ur presence :^)
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:35 <hppavilion[1]> IMHO, "Brainf*ck" is a curse word, but "Brainfuck" is not
07:17:47 <myname> what's the english name for (M,+,*) with (M,+) and (M\{0},*) being groups?
07:18:33 <myname> no, rings don't need two groups
07:18:54 <myname> which would translate into bod
07:21:32 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: tdh: not found
07:21:44 <HackEgo> tdh is the past tense of a successful hth. hth.
07:22:03 <HackEgo> hth is help received from a hairy toe. It is not at all hambiguitous.
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: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:23:26 <get52> bye sry if i wasnt interesting enough tbh im new
07:23:28 -!- get52 has left ("Leaving").
07:23:38 <HackEgo> Monads are just monoids in the category of endofunctors.
07:23:55 <lifthrasiir> UD has a (probably correct) definition of "too damn hilarious" at the *last* position
07:24:02 <myname> wtf is wrong with `? monads
07:24:09 <oerjan> hm we're below 10% bots
07:24:33 <myname> lifthrasiir: that's not correct
07:25:12 <lifthrasiir> myname: but to me that was much more plausible than other entries like teenage dickheads
07:26:33 <HackEgo> [wiki] [[Special:Log/newusers]] create * Get52 * New user account
07:26:42 <oerjan> myname: i suspect shachaf for `? monads
07:27:06 <HackEgo> Monads are just free monad monad monad algebras.
07:27:09 <oerjan> shachaf: did you make this ^
07:27:19 <HackEgo> shachaf elliott oerjan elliott Bike FreeFull ais523 ais523 oerjan Gregor shachaf oerjan FreeFull shachaf shachaf nitia
07:27:27 <oerjan> shachaf: no, not that one
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: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: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: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: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: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: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:34 <zzo38> Other cards can be look up and then make the printout I suppose
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: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:34:04 <olsner> oerjan: you're out of order
09:35:55 <fungot> b_jonas: ( afaiu) course. don't know if that extends to my 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 <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: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: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> 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: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:34:35 -!- boily has joined.
11:34:37 <boily> SNOOOOOOOOOOOOOOOOOOW!
11:34:49 <lambdabot> ENVA 241120Z 12008KT CAVOK 02/00 Q0994 NOSIG RMK WIND 670FT 15008KT
11:35:22 -!- Wallacoloo has left.
11:37:21 <Taneb> It's been years since I've seen snow
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:40:09 <Taneb> Apparently it snowed the other night, but I was asleep and it didn't lie
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 <HackEgo> [U+A66E CYRILLIC LETTER MULTIOCULAR O]
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">'
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: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: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: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: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: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: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: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:22 <lifthrasiir> http://cosmic.mearie.org/2015/11/font/sample 745 characters so far.
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: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: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
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:24:46 <oerjan> well neither backflip nor smatiny have input
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:52 <MDude> Sounds ike it'd be a ZOMBIE influenced funge variant.
19:32:10 <hppavilion[1]> https://docs.google.com/document/d/1ggRybliq-6IYHTbMv3mQCZOJwK_m_eYH1qXJ5HPfPgw/edit?usp=sharing
19:34:58 <MDude> I guess tha'ts me, though on my end I'm being called a ferret.
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:55 -!- ^v has joined.
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: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:47:43 <HackEgo> [wiki] [[User:Hppavilion1/UniFunge]] http://esolangs.org/w/index.php?diff=45620&oldid=45578 * Hppavilion1 * (+548) /* Commands */ Drifting
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: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: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:53:52 -!- jaboja64 has joined.
19:54:45 <FireFly> Even for symbols, though? Unicode has a.. rather rich set of symbols
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:57:35 -!- jaboja has quit (Ping timeout: 265 seconds).
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: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: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:39:40 <int-e> > let this ‽ that = otherwise in True ‽ False
21:40:39 <int-e> it's defined in the 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:01:06 <int-e> hppavilion[1]: it's a constant function with two arguments, so very boring.
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: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:24 -!- boilyphone has joined.
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: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: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: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:52 <boilyphone> Hellochaf. Taneb is always addressed in the vocative case.
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: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 "$_.";
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:38 <hppavilion[1]> Creating a character encoding seems like a lot of work and I could use some assistance xD
23:59:04 <MDude> https://www.youtube.com/watch?v=-TqfBEX6QtE