00:00:03 <tswett> In some grand corruption of the hash incrementation on the ESOP headless point to the fuck for extension?
00:00:14 <boily> I know a man who saw a man who saw a spot of the spot of oerjan's governor's governor's bear.
00:00:55 <HackEgo> [wiki] [[Underload]] http://esolangs.org/w/index.php?diff=43694&oldid=42978 * 123.151.153.35 * (+14) /* Quine */
00:01:05 <tswett> I think I want to use a script of same existing registers dependent on the data to the pointer, and not sentible programming.
00:01:28 <tswett> Although I also have the point in lists that I have a particular rule, and it is faster, but they have to count a thing that things that must be inverted in the picture did people using the colors meaning an expected bits. I think.
00:01:53 <tswett> And of a difference for such a real position that means to do it to the talk of places of concats of the constructor, and compile and system machine...
00:04:05 <tswett> 02:54:26: <lambdabot> Sounds like that time i lambdabot :p
00:06:36 <boily> fungot: stop leaking your sentience onto other bots twh
00:06:37 <fungot> boily: or the cdr of each lst and do the sensible thing: he hasn't got a clock that beeps until you get ' out of memory.
00:07:26 -!- MDude has joined.
00:20:07 <fizzie> It just keeps beeping.
00:20:31 <fizzie> I had this foldable alarm clock, one day it just started beeping and would. not. stop.
00:20:45 <fizzie> It didn't have an easily removable battery.
00:28:01 -!- aretecode has joined.
00:30:21 -!- oerjan has joined.
00:30:41 <oren> exactly WHO is in the middle that I need to worry about a MITM attack from?
00:32:34 <oerjan> mahmoud ahmadinejad hth
00:33:11 <oren> is he in control of a server between me and California?
00:33:51 -!- Herbalist has joined.
00:33:51 -!- Herbalist has quit (Client Quit).
00:33:59 -!- mihow has quit (Quit: mihow).
00:34:17 -!- Herbalist has joined.
00:34:17 -!- Herbalist has quit (Client Quit).
00:37:44 -!- mihow has joined.
00:37:46 -!- mihow has quit (Client Quit).
00:39:01 <oerjan> ok my type family uc in ghci still works in 7.10.2...
00:46:32 <boily> hellørjan. still coercing innocent types together?
00:48:19 <oerjan> https://ghc.haskell.org/trac/ghc/ticket/7102#comment:4
00:49:06 -!- grotewold has joined.
00:50:53 <shachaf> once you got a taste of fame, you just couldn't stop
00:52:05 <oerjan> hm actually there's no need to have separate uc and fro, after the new instance is defined fro works directly.
00:55:32 -!- GeekDude has joined.
00:58:50 <boily> `` grep -FIi 'evil overlord' wisdom/*
00:58:55 <HackEgo> grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ wisdom/oerjan:Your famous evil overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who hates Roald Dahl. He can never remember the word "amortized" so he put it here for convenience.
01:02:40 <shachaf> oerjan: oh, this is ghci-only
01:03:24 <oren> 1371 characters!
01:05:39 <oerjan> at the end, it's really unsafeCoerce
01:06:09 <oren> oh. so it's a haskell pointer cast
01:06:51 <fizzie> Is there a "safeCoerce"?
01:07:09 <lambdabot> (Functor f, Contravariant f) => f a -> f b
01:07:23 <oren> Can you define the specific coercion from ieee double to int64_t
01:07:33 <oren> in a typesafe manner?
01:08:06 <oerjan> :t GHC.Coercible.coerce
01:08:07 <lambdabot> Not in scope: ‘GHC.Coercible.coerce’
01:08:33 <oren> :t GHC.Coercable.coerce
01:08:34 <lambdabot> Not in scope: ‘GHC.Coercable.coerce’
01:08:39 <oren> :t Coercable.coerce
01:08:56 <shachaf> one of you is spamming the channel here
01:08:56 <lambdabot> Not in scope: data constructor ‘GHC’
01:09:15 <oerjan> oren: don't be silly, no one can guess GHC module names hth
01:09:16 <shachaf> not naming any names, but his name starts with o and ends with n
01:09:30 * oerjan swats shachaf -----###
01:10:14 <oerjan> i don't think lambdabot imports that one...
01:10:25 <oren> So the kind Coercible contains types that have known binary representations?
01:10:44 <oerjan> fizzie: the safeCoerce only works for wrapping and unwrapping newtype stuff
01:11:13 <oerjan> oren: *typeclass, nominally
01:11:14 <fizzie> "This class does not have regular instances; instead they are created on-the-fly during type-checking. Trying to manually declare an instance of Coercible is an error."
01:12:33 <oerjan> oren: it's not that general, coerce is a do-nothing cast
01:13:35 <oerjan> as is unsafeCoerce, the difference is coerce only works when the types are safely interchangeable
01:13:45 -!- llue has joined.
01:13:45 -!- llue has quit (Changing host).
01:13:45 -!- llue has joined.
01:14:58 <oerjan> which is partly representation, partly a semantic thing
01:15:54 -!- codergeek42 has joined.
01:17:26 <oerjan> (e.g. Map key1 v and Map key2 v are not interchangeable even if the key types are, because they might have different sort orders and Map is a binary search tree)
01:17:43 -!- lleu has quit (Ping timeout: 256 seconds).
01:18:12 -!- aretecode has quit (Read error: Connection reset by peer).
01:18:50 <oren> well yeah I would not expect complex data structures to work with a pointer cast, only things like that stupid float sqrt trick.
01:19:11 <oerjan> this is ensured by Map having a "role annotation"
01:19:26 <oerjan> oren: um complex data structures work just fine
01:19:38 <oerjan> list types can be converted this way
01:19:55 <oerjan> and float vs. int _cannot_ be
01:20:06 <oerjan> (Double vs. Int, presumably)
01:20:23 <shachaf> haskell has a Float type hth
01:20:36 <oerjan> shachaf: yeah but it is scow
01:20:46 <oerjan> and Maps can be converted on the _result_ type
01:21:08 <shachaf> What Every Computer Scientist Should Know About Floating Point Arithmetic:
01:22:02 <oerjan> > M.fromList [(0,'a'),(0/0,'b'),(1,'c')]
01:22:04 <lambdabot> fromList [(0.0,'a'),(NaN,'b'),(1.0,'c')]
01:22:27 <oerjan> > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d')]
01:22:28 <lambdabot> fromList [(0.0,'a'),(NaN,'b'),(1.0,'c'),(NaN,'d')]
01:23:32 <oerjan> > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d'),(-1,'e')]
01:23:33 <lambdabot> <no location info>: can't find file: L.hs
01:23:36 <oerjan> > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d'),(-1,'e')]
01:23:38 <lambdabot> fromList [(0.0,'a'),(NaN,'b'),(1.0,'c'),(NaN,'d'),(-1.0,'e')]
01:24:07 <shachaf> not sure what you're going for there
01:24:12 <shachaf> perhaps it's nan of my business
01:24:32 <oerjan> basically that NaN breaks as Map key
01:24:39 <oerjan> and ruins the rest of the map
01:25:21 <oerjan> but somehow they all seemed to end up in the order i inserted them
01:25:42 <shachaf> ok i'm giving up on this palindrome thing
01:26:20 -!- notfowl has changed nick to fowl.
01:26:21 <shachaf> oerjan: did you figure out the loops thing twhib
01:26:23 <oerjan> shachaf: btw i realized the [[]+] problem can be solved by abusing (), in theory
01:26:43 <oerjan> so loop (loop ()) plus
01:26:44 <shachaf> oerjan: yes, i already had an instance B () for that
01:26:48 <oren> is it clear that (n_n) is happy and (u_u) is sad
01:26:59 <shachaf> oerjan: but it's tricky to make it work
01:27:19 <oerjan> shachaf: my idea was, when in doubt CPS
01:27:41 <shachaf> or triple cps, or however many levels
01:28:43 <shachaf> This reminds me of that RPN thing I saw years ago.
01:28:58 <shachaf> Where you could write "x y add z mult" and so on.
01:30:01 <oerjan> i'm pretty sure that's not legal dc syntax hth
01:30:11 <oerjan> at least not with the intended meaning
01:31:06 <oerjan> shachaf: i had this idea that only the top function in each subexpression should be a -> type
01:31:35 <boily> `` culprits wisdom/csv
01:31:46 * boily unicodely mapoles oren
01:34:17 <oerjan> i also think i decided () should _not_ be a B type because that'd mess up inference
01:34:23 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
01:34:31 <HackEgo> CSV猫stands猫for猫Cat猫Separated猫Values
01:35:03 <oerjan> i was too tired to think then, and i'm not sure if i'm awake enough now
01:35:04 <shachaf> laughing at your own joke like that is poor form hth
01:35:25 <oren> I had my land behind my head anime style
01:35:49 <oerjan> land behind my head, MtG style
01:37:03 <shachaf> oerjan: i'm not sure you've played MtG hth
01:38:40 -!- egrep has changed nick to zgrep.
01:38:51 <oerjan> true. i had an opportunity once but didn't. i just know it has lands
01:39:37 <oren> 16i[laPlbdP1+ddsbC0>cCO!>d]sc[80sbla1+dsaln>c]sdA0sbC2saCAsnlcx
01:39:59 <shachaf> oerjan: you said "true", but then you made my statement false tdnh
01:40:24 <oerjan> you mean now you're sure i haven't?
01:40:45 <oerjan> don't worry, it was not an eternal, unchanging condition hth
01:43:29 <zzo38> But did you read the rules of MtG game?
01:43:54 -!- grotewold has quit (Quit: ZZZzzz…).
01:44:13 <oerjan> i don't find this kind of game attractive.
01:44:24 <boily> `` culprits wisdom/fnord\ am
01:44:38 <shachaf> oerjan: what kind of game do you find attractive
01:45:00 <oerjan> games where i don't have to plan too much
01:45:03 <zzo38> What I like more than the playing of Magic: the Gathering is the puzzles (Magic: the Puzzling)
01:46:50 <oerjan> i think it's not the kind of puzzle i like, either
01:46:59 <oerjan> it's that old PSPACE vs. NP thing
01:47:07 <boily> coppro: chelloppro. have you ever played Judge Tower?
01:49:18 <zzo38> How can I read Windows help files on Linux (converting to man pages, plain text, or DVI is also fine)
01:51:37 <zzo38> No, the older .HLP format
01:56:21 <oren> aha! I can watch youtube through vlc in lower resolution by adding &fmt=18 to the url
01:56:28 <boily> now that's a format I haven't heard of in a long time.
01:59:43 <oren> Should I make the braille pattern block be oxel graphics?
02:01:49 -!- boily has quit (Quit: VIBRATING CHICKEN).
02:19:26 -!- _256Q has quit (Read error: Connection reset by peer).
02:19:28 -!- Wright has quit (Read error: Connection reset by peer).
02:19:49 -!- Wright has joined.
02:23:56 -!- Phantom_Hoover has quit (Remote host closed the connection).
02:24:17 -!- codergeek42 has quit (Quit: Ex-Chat).
02:38:13 <pikhq> How is it that meeting new people is so very tiring?
02:39:46 <oren> All the braille characters are now in my font.
02:40:24 <oren> 1637 characters
02:40:35 <oren> is the new total
02:41:27 <shachaf> maybe you should make `flist and update interested parties using that
02:43:05 -!- Aearnus has joined.
02:54:03 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: flist: not found
02:54:15 <oren> shachaf: how do I do that?
02:54:45 <oren> `makelist flist
02:55:04 <shachaf> now people can subscribe using `` echo name >> bin/flist
02:56:22 <zzo38> Even the hardest mode ("V-HARD") of Pokemon de Panepon is too easy, also should add "X-HARD" level even more!!!
02:56:40 <HackEgo> [wiki] [[WARP]] http://esolangs.org/w/index.php?diff=43695&oldid=40980 * 210.86.83.200 * (+5) Conform user name to site policy
03:20:52 -!- variable has joined.
03:23:59 -!- Aearnus has quit (Ping timeout: 250 seconds).
03:36:20 -!- llue has quit (Read error: Connection reset by peer).
03:36:42 -!- llue has joined.
03:39:01 <oerjan> `learn Cubes come in all sizes, colors and materials, but only one shape.
03:39:03 <HackEgo> Learned 'cube': Cubes come in all sizes, colors and materials, but only one shape.
03:42:34 <oerjan> <boily> shachafellot of the myself? governachaf? spot shachof the still me? <-- shachaf, please stop breaking boily twh
04:10:21 -!- J_A_Work has joined.
04:16:33 <zzo38> What is your prediction what can happen next in "level20.tex" story, and how much would you bet on it?
04:16:35 -!- rodgort has quit (K-Lined).
04:17:58 -!- rodgort has joined.
04:23:04 -!- bb010g has quit (Quit: Connection closed for inactivity).
04:26:01 <Sgeo> I haven't read level20.tex
04:28:53 -!- Aearnus has joined.
04:35:22 -!- Frooxius has joined.
04:35:30 <shachaf> zzo38: I predict that the story will get longer.
04:35:53 <pikhq> I predict there may or may not be events.
04:35:58 <shachaf> and i'd probably bet a reasonable amount on it, but not with you as my counterparty hth
04:38:19 <zzo38> I mean to be more specific
04:40:10 <shachaf> zzo38: I predict that Iuckqlwviv Kjugobe will die, and I also predict that Iuckqlwviv Kjugobe will live.
04:40:23 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
04:40:38 <shachaf> I'll bet a reasonable amount at the right odds.
04:42:04 <zzo38> What kind of reasonable amount?
04:42:58 <shachaf> Whatever amounts balance the book.
04:44:56 <zzo38> Are you trying to earn comp bonuses by betting on both sides and losing?
04:47:09 -!- J_A_Work has quit (Quit: J_A_Work).
04:47:51 <zzo38> Allows you to get a discount at a hotel if you gamble there a lot.
04:51:50 <Hoolootwo> honestly most hotels where you can also gamble have very low prices afaik
04:53:25 <izabera> yay 5 people starred my micro json parser on github
04:53:40 <izabera> i'm most popular than ever
04:53:59 <izabera> is that correct english? i meant i've never been as popular
04:54:33 <Hoolootwo> I'm not sure if it's proper but I didn
04:54:50 <Hoolootwo> didn't look twice at it when I read it, so it's proper enough to be American English
04:54:50 <zzo38> What is your micro json parser on github?
04:54:58 <izabera> https://github.com/izabera/j this
04:55:21 <zzo38> I found PDJSON also in Github, and made it into a SQLite extension as well as fixed a bug that made it fail to support empty arrays.
04:55:50 <zzo38> Your program can be good if you want it in shell-scripts I suppose.
04:56:42 <izabera> https://github.com/skeeto/pdjson '[...] crappy software license (GPL or "do no evil"). [...]'
04:57:20 <zzo38> I am fine with GPL, but mostly I write program as public domain most recently.
04:57:47 <lifthrasiir> I use GPL or PD with a reason, and MIT without a reason.
04:58:01 <zzo38> I prefer public domain mostly though
05:00:54 <zzo38> I put LANG=C in my .profile as otherwise it seems to want to use en_US.UTF-8 or en_CA.UTF-8 but I would rather to set the system's default locale to C
05:07:10 <izabera> that would cause all kind of weird problems with readline
05:07:47 <izabera> you can type multibyte characters, but then you have to press backspace several times to delete them, and the cursor may be misplaced, etc...
05:08:55 <zzo38> No it doesn't because also the terminal is set without multibyte character
05:22:01 -!- variable has changed nick to constant.
05:57:18 -!- hppavilion[1] has joined.
06:03:02 <shachaf> zzo38: What do you think of cards with abilities like bloodrush or Tymaret's second ability?
06:14:44 -!- |f`-`|f has quit (Ping timeout: 272 seconds).
06:15:46 -!- |f`-`|f has joined.
06:44:57 -!- constant has quit (Quit: 1 found in /dev/zero).
06:45:22 -!- variable has joined.
06:49:52 -!- hppavilion[1] has quit (Quit: Page closed).
06:50:07 -!- variable has quit (Client Quit).
06:50:37 -!- variable has joined.
06:51:32 -!- Frooxius has quit (Quit: *bubbles away*).
06:56:17 -!- Frooxius has joined.
07:02:55 <mroman> zzo38: I like that URI scheme
07:04:55 <Sgeo> I think my language ADD has reached a point where I only look at unreleased languages
07:05:04 <Sgeo> I was fascinated by Rust right up until 1.0
07:08:30 <oerjan> soon you'll only be able to look at unimplemented ones
07:13:44 -!- J_A_Work has joined.
07:18:08 <mroman> and then uninvented ones.
07:18:30 <Jafet> Fortunately, we seem to have a good supply of those
07:19:12 -!- Froox has joined.
07:19:50 -!- Froo has joined.
07:23:14 -!- Frooxius has quit (Ping timeout: 260 seconds).
07:23:48 -!- Froox has quit (Ping timeout: 255 seconds).
07:23:58 <HackEgo> smlist: shachaf monqy elliott mnoqy
07:24:26 -!- Froo has quit (Ping timeout: 240 seconds).
07:35:15 -!- |f`-`|f has quit (Ping timeout: 265 seconds).
07:38:01 -!- variable has quit (Ping timeout: 246 seconds).
07:41:04 -!- |f`-`|f has joined.
07:56:09 <b_jonas> oh look, it's finally released!
07:56:35 <b_jonas> Apache Subversion 1.9.0 released: http://svn.haxx.se/dev/archive-2015-08/0026.shtml
08:01:19 -!- oerjan has quit (Quit: Hm).
08:16:26 <izabera> https://www.fsf.org/blogs/community/user-liberation-watch-and-share-our-new-video
08:16:54 -!- Frooxius has joined.
08:27:53 -!- Patashu has joined.
08:53:07 -!- x10A94 has joined.
09:03:17 -!- shikhin has quit (Ping timeout: 250 seconds).
09:05:07 -!- shikhin has joined.
09:10:31 -!- FireFly has quit (Ping timeout: 244 seconds).
09:13:21 <HackEgo> [wiki] [[Talk:Smallfuck]] http://esolangs.org/w/index.php?diff=43696&oldid=20026 * 123.113.49.39 * (+40) /* Binary counter */ new section
09:13:33 <izabera> http://www.virtualglitter.com/
09:13:44 <izabera> can i keep on spamming stuff here?
09:24:24 -!- llue has quit (Read error: Connection reset by peer).
09:30:00 -!- TodPunk has quit (Read error: Connection reset by peer).
09:31:46 -!- J_A_Work has quit (Quit: J_A_Work).
09:40:25 -!- J_A_Work has joined.
09:45:23 <mroman> fungot: Hit the floor!
09:45:23 <fungot> mroman: will do. thanks. :) but... it's fnord long
09:47:03 <mroman> Win a free trip with fungot to the land of the Fnords.
09:47:03 <fungot> mroman: now you know, the part after the decimal, by the way), would be to create a scheme job
09:58:25 <mroman> I need to do some testing
10:00:44 <b_jonas> argh windows is such a pain
10:00:58 <b_jonas> why can't we just use unices like I'm used to
10:11:41 <fizzie> Good old 12-bit color, I think there were a number of handheld consoles with that.
10:13:34 -!- lleu has joined.
10:13:48 <mroman> I need a test image that is public domain
10:14:25 <fizzie> `thanks list of monochrome and RGB palettes
10:14:27 <HackEgo> Thanks, list of monochrome and RGB palettes. Thist of monochrome and RGB palettes.
10:17:52 <Taneb> mroman, do you need public domain, or do you just need available to use (eg, some creative commons licenses)
10:23:15 <mroman> http://mroman.ch/colordepth.html
10:23:20 <mroman> Found one through wikimedia
10:26:08 -!- J_A_Work has quit (Quit: J_A_Work).
10:26:25 -!- boily has joined.
10:28:07 <mroman> For small images you can easily remove 3 bit of color information per color component without suffering quality
10:28:40 <mroman> which reduces the image size roughly 50%
10:30:39 <mroman> You could even write some heuristic that removes information just on r, g or b (or combinations of that)
10:33:37 <mroman> I wish I still had my color correction python script
10:49:43 <mroman> Somebody put up a bounty for a Mario 64 glitch
10:54:39 <fizzie> Quite a few el-cheapo monitors at least used to only have 6 bits of color depth, and do dithering.
10:54:49 <fizzie> Not sure how common that is these days.
10:55:18 <fizzie> [[ Also, most TN panels represent colors using only six bits per RGB color, or 18 bit in total, and are unable to display the 16.7 million color shades (24-bit truecolor) that are available from graphics cards. Instead, these panels display interpolated 24-bit color using a dithering method that combines adjacent pixels to simulate the desired shade. They can also use a form of temporal ...
10:55:24 <fizzie> ... dithering called Frame Rate Control (FRC), which cycles between different shades with each new frame to simulate an intermediate shade. Such 18 bit panels with dithering are sometimes advertised as having "16.2 million colors". ]]
10:55:24 <boily> `` culprits wisdom/konami\ code
10:55:33 <boily> `` culprits wisdom/konami
10:55:52 <boily> oren: ... Y U NICODE?
10:57:24 <HackEgo> The konami code is ㊤㊤㊦㊦㊧㊨㊧㊨Ⓑ Ⓐ [START]
10:58:01 <boily> `` sed -i 's/START/SELECT] [START/' wisdom/konami
10:58:07 <HackEgo> The konami code is ㊤㊤㊦㊦㊧㊨㊧㊨Ⓑ Ⓐ [SELECT] [START]
11:04:22 <oren> I'm going to North bay now. logging out.
11:04:24 -!- oren has quit (Quit: leaving).
11:05:22 <boily> @tell oren My mapole is waiting for you.
11:10:43 -!- Aearnus has quit (Ping timeout: 252 seconds).
11:21:37 -!- SopaXorzTaker has joined.
11:22:16 -!- Simba_ has joined.
11:22:21 -!- boily has quit (Quit: PLATINUM CHICKEN).
11:26:24 -!- Simba_ has quit (Ping timeout: 246 seconds).
11:38:48 -!- SopaXorzTaker has quit (Remote host closed the connection).
11:39:53 <HackEgo> nooooooooodl/nooodl is the correct spelling
11:40:02 <HackEgo> impomatic/impomatic never did anything weird enough to get into this database.
11:42:06 -!- SopaXorzTaker has joined.
11:50:22 <mroman> (That's right. I just recently watched Taxi Driver for the first time)
11:51:06 <HackEgo> monoidal category/Monoidal categories are just 2-categories with a single object.
11:52:56 <HackEgo> Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, and this sentence. He never invents anything involving sex.
11:53:31 <mroman> that last sentence is new?
11:54:16 <Taneb> mroman, someone added an invention (either sex or BDSM, I can't quite recall) which I was uncomfortable with the idea of having invented
11:55:03 <Taneb> I stated such and the tanebvention wisdom was edited into the form you see now
11:55:12 <HackEgo> mroman is a leading artist in password security (SFW). He also likes black madness. He can design password hashes that are worse than the identity function. He invented the identity function. He's also an artist in unconventional warfare.
11:55:44 <Taneb> Password hashes that are worse than the identity function in what sense?
11:56:09 <mroman> hash = password + date_of_birth
11:56:21 <mroman> that'd be worse than hash = password (the identity function)
11:56:27 <mroman> but I can't quite remember what it was.
11:59:37 -!- SopaXorzTaker has quit (Remote host closed the connection).
12:02:07 -!- TieSoul has joined.
12:04:13 <mroman> But in general it is recommended to do a high-pass filter and then a low-pass filter on the password before hashing.
12:04:51 -!- tswett has quit (Ping timeout: 256 seconds).
12:08:05 -!- Warrigal has joined.
12:33:51 -!- SopaXorzTaker has joined.
12:34:33 -!- zadock has joined.
12:38:13 -!- Patashu has quit (Ping timeout: 246 seconds).
12:51:12 -!- zadock has quit (Quit: Leaving).
12:59:56 -!- GeekDude has joined.
13:01:18 <fizzie> "... limit 20;" "108 rows in result set"
13:01:31 <fizzie> I guess it's an order-of-magnitude limit.
13:02:52 -!- Phantom_Hoover has joined.
13:05:52 -!- Warrigal has changed nick to tswett.
13:15:52 -!- nycs has joined.
13:22:46 <mroman> It's scientific notation
13:27:08 <fizzie> Turns out it was just a confused fizzie.
13:27:25 <fizzie> Well, or arguably confusing output formatting.
13:51:50 <HackEgo> FreeFull is either full of freedom or free of fulldom, we are not sure.
13:53:46 <quintopia> what is the gift finland gives the world?
13:56:41 <quintopia> why would i be sad if finland vanished overnight?
13:56:59 <fizzie> You'd lose the prime source of mämmi in the world.
13:57:23 <Taneb> quintopia, it'd cause pretty nasty tsunamis
13:59:44 <Taneb> Because suddenly there would be a lot of nothing where land used to be
13:59:51 <Taneb> And the sea would try to rush into that space
14:00:13 <Taneb> This could be devestating to much of North, Central, and East Europe
14:00:54 <FreeFull> Taneb: What if just all the people vanished?
14:00:59 -!- SopaXorzTaker has quit (Remote host closed the connection).
14:01:24 <Phantom_Hoover> i mean legally finland has sovereignty over all the rock underneath it, right?
14:01:32 <quintopia> it doesnt vanish into vacuum. it vanishes as a culture. the landmass exists as a part of sweden
14:01:38 <Taneb> FreeFull, then it'd most likely be colonized by Russia, which would change the geopolitics of the world
14:02:09 <quintopia> i like fizzies answer. mammi looks delicious.
14:02:39 <Phantom_Hoover> "Originally mämmi was eaten during lent. Its laxative properties were associated with purification and purging."
14:03:27 <quintopia> binge eat. mammi purge. binge eat some more. best holiday.
14:03:33 <FreeFull> Taneb: Any person who tries to enter past the borders would disappear too
14:03:52 <Phantom_Hoover> at that stage it's become a serious and troubling scientific anomaly
14:04:10 <FreeFull> Any animals, machines, etc are not affected
14:04:41 <Phantom_Hoover> so i think that's probably going to be the primary effect it has?
14:04:53 <Taneb> Does that include people flying through the airspace
14:08:23 <Phantom_Hoover> basically our thought experiment to determine the value of finland is 'if finland was annihilated and replaced with some crazy lacanian scar on the face of the world, would anyone really notice?'
14:09:26 -!- FireFly has joined.
14:13:57 -!- TodPunk has joined.
14:18:07 -!- FireFly has quit (Changing host).
14:18:07 -!- FireFly has joined.
14:19:19 -!- Wright has quit (Read error: Connection reset by peer).
14:19:29 -!- pikhq has quit (Ping timeout: 244 seconds).
14:19:33 -!- Wright has joined.
14:28:33 -!- pikhq has joined.
14:39:33 -!- aretecode has joined.
14:41:56 -!- J_A_Work has joined.
14:44:16 -!- ais523 has joined.
15:11:43 -!- zadock has joined.
15:18:51 -!- atrapado has joined.
15:44:10 -!- ais523 has quit.
15:45:29 -!- ais523 has joined.
15:50:35 -!- J_A_Work has quit (Quit: J_A_Work).
16:04:55 -!- Phantom_Hoover has quit (Ping timeout: 250 seconds).
16:08:04 -!- ais523 has quit (Ping timeout: 265 seconds).
16:14:05 -!- ais523 has joined.
16:14:42 <HackEgo> olist 996: shachaf oerjan Sgeo FireFly boily nortti
16:14:52 -!- Phantom_Hoover has joined.
16:17:59 -!- zadock has quit (Ping timeout: 252 seconds).
16:27:55 -!- J_A_Work has joined.
16:30:57 -!- zadock has joined.
16:57:55 -!- mihow has joined.
17:27:40 -!- mihow has quit (Quit: mihow).
17:30:28 -!- mihow has joined.
17:30:36 -!- J_A_Work has quit (Quit: J_A_Work).
17:32:57 -!- _256Q has joined.
17:32:57 -!- _256Q has quit (Changing host).
17:32:57 -!- _256Q has joined.
17:49:23 -!- mihow has quit (Quit: mihow).
17:57:18 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds).
17:59:44 -!- Phantom_Hoover has joined.
18:03:33 -!- J_A_Work has joined.
18:07:08 -!- hppavilion[1] has joined.
18:10:14 -!- hppavilion[1] has quit (Client Quit).
18:12:09 -!- hppavilion[1] has joined.
18:13:54 -!- mihow has joined.
18:21:52 -!- rg_ has joined.
18:22:16 <hppavilion[1]> Not necessarily one for generating parser generators for other langs
18:24:47 <Slereah__> Isn't that basically what Thue is?
18:26:12 <hppavilion[1]> Slereah__: So no, I'm pretty sure Thue isn't an ECC
18:35:05 -!- mihow has quit (Quit: mihow).
18:53:07 <HackEgo> [wiki] [[Hanoi Love]] http://esolangs.org/w/index.php?diff=43697&oldid=43559 * Rdebath * (+125) Lots of cats
19:06:33 -!- oerjan has joined.
19:10:44 <oerjan> @let type BF = String; newtype X a b = X ((BF -> a) -> b); class B f a where {fromB :: BF -> f a}; instance a ~ b => B (X a) b where {fromB bf = X ($ bf)}; instance (b ~ X (f a) c, B f a) => B ((->) b) c where {fromB bf (X f) = f (fromB . (bf ++))}; class L a where {loop :: a}; instance (B f a1, b ~ f a1, L (X b (a -> b))) => L (a -> b) where loop = fromB "" (loop :: X b (a -> b))
19:10:46 <lambdabot> It could refer to either ‘L.loop’, defined at .L.hs:158:9
19:11:10 <ais523> wait, is this an "either" over a set of one element?
19:11:36 <oerjan> @let type BF = String; newtype X a b = X ((BF -> a) -> b); class B f a where {fromB :: BF -> f a}; instance a ~ b => B (X a) b where {fromB bf = X ($ bf)}; instance (b ~ X (f a) c, B f a) => B ((->) b) c where {fromB bf (X f) = f (fromB . (bf ++))}; class L a where {lopp :: a}; instance (B f a1, b ~ f a1, L (X b (a -> b))) => L (a -> b) where lopp = fromB "" (lopp :: X b (a -> b))
19:11:46 <oerjan> @let instance a ~ b => L (X a (() -> b)) where {lopp = X $ \c () -> c "[]"}; instance f b ~ X a c => L (X a (f b -> c)) where {lopp = X $ \c (X f) -> f $ c . ('[':) . (++"]")}; plus = fromB "+"; minus = fromB "-"; run :: X BF BF -> BF; run (X f) = f id
19:12:29 <oerjan> hm this might actually be a 7.10.1 bug
19:12:40 <oerjan> and i've finally upgraded
19:13:02 <oerjan> @let instance a ~ b => L (X a (() -> b)) where {lopp = X $ \c () -> c "[]"}; instance f ~ X a, b ~ c => L (X a (f b -> c)) where {lopp = X $ \c (X f) -> f $ c . ('[':) . (++"]")}; plus = fromB "+"; minus = fromB "-"; run :: X BF BF -> BF; run (X f) = f id
19:13:02 <lambdabot> Parse failed: Illegal instance declaration
19:13:22 <oerjan> @let instance a ~ b => L (X a (() -> b)) where {lopp = X $ \c () -> c "[]"}; instance (f ~ X a, b ~ c) => L (X a (f b -> c)) where {lopp = X $ \c (X f) -> f $ c . ('[':) . (++"]")}; plus = fromB "+"; minus = fromB "-"; run :: X BF BF -> BF; run (X f) = f id
19:13:43 <lambdabot> oerjan said 1d 8h 53m 5s ago: I sense that all the suggested syntaxes have some trouble with programs like [[]+]
19:13:51 <oerjan> > run $ loop () loop (plus loop () minus) plus
19:13:52 <lambdabot> Couldn't match expected type ‘(a0 (b0, d1) (c0, d1) -> a0 b0 c0,
19:14:08 <oerjan> this works perfectly well in ghci
19:15:09 <lambdabot> arising from a use of ‘show_M76052192180943569186544’
19:15:09 <lambdabot> The type variables ‘f0’, ‘a0’ are ambiguous
19:15:23 <lambdabot> Couldn't match expected type ‘X (BF, d0) (BF, d0)’
19:15:23 <lambdabot> In the first argument of ‘loop’, namely ‘()’
19:15:51 <shachaf> spot of the not believing you, governor?
19:16:41 <shachaf> > run $ lopp () lopp (plus lopp () minux) plus
19:16:43 <lambdabot> Perhaps you meant ‘minus’ (line 169)
19:16:45 <shachaf> > run $ lopp () lopp (plus lopp () minus) plus
19:16:47 <lambdabot> No instance for (B f a) arising from a use of ‘lopp’
19:16:47 <lambdabot> The type variables ‘f’, ‘a’ are ambiguous
19:16:47 <lambdabot> Note: there are several potential instances:
19:17:05 <lambdabot> arising from a use of ‘show_M41538240618094895006637’
19:17:05 <lambdabot> The type variables ‘f0’, ‘a10’ are ambiguous
19:17:19 <lambdabot> No instance for (L (X (X BF BF) (f0 a0 -> X BF BF)))
19:17:19 <lambdabot> (maybe you haven't applied enough arguments to a function?)
19:18:19 <lambdabot> forall (k :: BOX) (k1 :: BOX) (f :: k -> *) (a :: k) (f1 :: k1 -> *) (a1 :: k1). (L (X (f1 a1) (f a -> f1 a1)), B f a, B f1 a1) => f1 a1
19:18:31 <shachaf> your version is so much more complicated
19:18:42 <oerjan> wait, did you solve it too
19:19:01 <shachaf> more complicated than the version that didn't support lopps
19:19:29 <shachaf> well, this version doesn't support lopps either as far as i can tell hth
19:19:48 <oerjan> it works in ghci 7.10.2 ;_;
19:21:02 <shachaf> spot of the unportability?
19:21:27 <oerjan> i assume it's one of the bugs that was fixed
19:22:42 <shachaf> This reminds me of https://hackage.haskell.org/package/HoleyMonoid-0.1.1/docs/Data-HoleyMonoid.html
19:22:44 <oerjan> imagine if they'd included the right release notes
19:23:05 <shachaf> Which I'm listed in the authors list of for some reason.
19:23:08 -!- mihow has joined.
19:23:59 <shachaf> That's probably because X = HoleyMonoid BF
19:28:11 <oerjan> > run $ plus loop plus
19:28:13 <lambdabot> Couldn't match type ‘a0 (b0, d0) (c0, d0) -> a0 b0 c0’
19:28:13 <lambdabot> In the second argument of ‘($)’, namely ‘plus loop plus’
19:28:25 <oerjan> > run $ plus lopp plus
19:28:27 <lambdabot> No instance for (B f a) arising from a use of ‘plus’
19:28:27 <lambdabot> The type variables ‘f’, ‘a’ are ambiguous
19:28:27 <lambdabot> Note: there are several potential instances:
19:29:00 <oerjan> maybe it's about that thing where it doesn't follow instances right
19:31:09 <oerjan> > run $ plus lopp () minus
19:31:21 <oerjan> so the empty case seems to work, hm
19:32:12 <oerjan> ok, that leaves maybe just one instance with problems
19:34:47 -!- x10A94 has quit (Read error: Connection reset by peer).
19:34:50 <oerjan> > run $ plus lopp minus
19:34:51 <lambdabot> No instance for (B f a) arising from a use of ‘plus’
19:34:52 <lambdabot> The type variables ‘f’, ‘a’ are ambiguous
19:34:52 <lambdabot> Note: there are several potential instances:
19:42:23 <oerjan> type BF = String; newtype X a b = X ((BF -> a) -> b); class B f (a :: *) where {fromB :: BF -> f a}; instance a ~ b => B (X a) b where {fromB bf = X ($ bf)}; instance (b ~ X (f a) c, B f a) => B ((->) b) c where {fromB bf (X f) = f (fromB . (bf ++))}; class L a where {lopp :: a}; instance (B f a1, b ~ f a1, L (X b (a -> b))) => L (a -> b) where lopp = fromB "" (lopp :: X b (a -> b))
19:42:31 <oerjan> @let type BF = String; newtype X a b = X ((BF -> a) -> b); class B f (a :: *) where {fromB :: BF -> f a}; instance a ~ b => B (X a) b where {fromB bf = X ($ bf)}; instance (b ~ X (f a) c, B f a) => B ((->) b) c where {fromB bf (X f) = f (fromB . (bf ++))}; class L a where {lopp :: a}; instance (B f a1, b ~ f a1, L (X b (a -> b))) => L (a -> b) where lopp = fromB "" (lopp :: X b (a -> b))
19:42:45 <oerjan> @let instance a ~ b => L (X a (() -> b)) where {lopp = X $ \c () -> c "[]"}; instance f b ~ X a c => L (X a (f b -> c)) where {lopp = X $ \c (X f) -> f $ c . ('[':) . (++"]")}; plus = fromB "+"; minus = fromB "-"; run :: X BF BF -> BF; run (X f) = f id
19:43:13 <oerjan> @let instance a ~ b => L (X a (() -> b)) where {lopp = X $ \c () -> c "[]"}; instance (f ~ X a, b ~ c) => L (X a (f b -> c)) where {lopp = X $ \c (X f) -> f $ c . ('[':) . (++"]")}; plus = fromB "+"; minus = fromB "-"; run :: X BF BF -> BF; run (X f) = f id
19:43:45 <oerjan> > run $ loop () loop (plus loop () minus) plus
19:43:46 <lambdabot> Couldn't match expected type ‘(a0 (b0, d1) (c0, d1) -> a0 b0 c0,
19:44:11 <oerjan> > run $ lopp () lopp (plus lopp () minus) plus
19:44:27 <oerjan> it was PolyKinds messing things up
19:44:32 <shachaf> now make it work with OverloadedLists twh
19:45:02 <oerjan> except for one little detail, that context i had to split
19:45:52 <shachaf> oh, and how do you represent the empty program? twh
19:47:47 <oerjan> shachaf: just make run a class method then you can use (), i think
19:49:45 -!- Phantom_Hoover has quit (Remote host closed the connection).
19:50:02 <oerjan> <ais523> wait, is this an "either" over a set of one element? <-- no it just got cut off, the other is from Control.Arrow, i think
19:50:51 <shachaf> Oh, that's what ais523 meant.
19:56:41 -!- nycs has quit (Quit: This computer has gone to sleep).
19:57:02 -!- nycs has joined.
19:57:31 <shachaf> oerjan: does "shouldn't bother funding his IRA" mean "will die and not be resurrected"?
20:04:35 -!- J_A_Work has quit (Ping timeout: 245 seconds).
20:05:19 -!- zadock has quit (Quit: Leaving).
20:08:13 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
20:08:45 -!- Froox has joined.
20:09:24 -!- MDream has joined.
20:09:38 -!- tromp___ has joined.
20:10:15 <MDream> Also, [16:08] <MDude> What's IRA?
20:11:41 -!- MDude has quit (Ping timeout: 245 seconds).
20:12:02 <Taneb> MDream, somehow I don't think it's the terrorist group
20:12:05 -!- Frooxius has quit (Ping timeout: 245 seconds).
20:12:05 -!- tromp has quit (Ping timeout: 245 seconds).
20:12:50 <MDream> But is it what Pixiv tags that translate to "thanks for your IRA" are reffering to?
20:13:44 -!- MDream has changed nick to MDude.
20:15:01 <HackEgo> [wiki] [[Talk:Smallfuck]] http://esolangs.org/w/index.php?diff=43698&oldid=43696 * Rdebath * (+267) /* Binary counter */
20:15:31 -!- J_A_Work has joined.
20:17:29 -!- Frooxius has joined.
20:17:55 -!- Froox has quit (Ping timeout: 260 seconds).
20:28:20 -!- J_A_Work has quit (Quit: J_A_Work).
20:35:18 <HackEgo> [wiki] [[Special:Log/newusers]] create * Brandt * New user account
20:36:06 <oerjan> shachaf: i don't remember the IRA part, but i remember the oracle's worthing as "last breath _ever_".
20:38:42 <oerjan> also, this was supposed to be just a short break because i couldn't sleep once i had the haskell idea ->
20:38:52 -!- oerjan has quit (Quit: Night).
20:40:02 <HackEgo> [wiki] [[Hello world program in esoteric languages]] http://esolangs.org/w/index.php?diff=43699&oldid=43472 * Brandt * (+282) Add Hodor per example at http://www.hodor-lang.org
20:41:00 -!- impomatic_ has joined.
20:48:51 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
20:58:49 <HackEgo> [wiki] [[Special:Log/newusers]] create * Krobb * New user account
21:04:34 -!- tromp___ has quit (Ping timeout: 272 seconds).
21:05:57 -!- Phantom_Hoover has joined.
21:06:50 <shachaf> oerjan: i suppose that could mean being a vampire and so on
21:07:47 -!- Patashu has joined.
21:10:14 -!- impomatic_ has left.
21:13:54 -!- nycs has quit (Quit: This computer has gone to sleep).
21:16:10 -!- TieSoul has quit (Remote host closed the connection).
21:17:35 <HackEgo> [wiki] [[List of ideas]] http://esolangs.org/w/index.php?diff=43700&oldid=43595 * Krobb * (+446) /* Joke/Silly Ideas */ Added an idea for an esolang based on "the penis game" (Bottom of page)
21:18:24 <ais523> do I even want to look at this edit?
21:18:52 <ais523> OK, it's terrible in a different way to the way I expected
21:24:59 -!- variable has joined.
21:30:19 -!- ais523 has quit.
21:36:22 <Sgeo> Every piece of Perl 6 code I've seen so far has been mostly readable, but that could be because only sane people currently care about Perl 6, if it gets popular will it get unreadable?
21:37:17 -!- rg_ has joined.
21:37:24 <b_jonas> apparently robot heads in Questionable Content can work separate from the robot body, just like in Star Wars, and they can be reattached to the body easily
21:42:39 -!- lleu has quit (Read error: Connection reset by peer).
21:44:10 -!- Patashu has quit (Ping timeout: 245 seconds).
21:44:31 -!- lleu has joined.
21:44:31 -!- lleu has quit (Changing host).
21:44:31 -!- lleu has joined.
21:46:34 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
21:49:33 -!- rg_ has joined.
21:58:19 -!- oren has joined.
21:59:27 <lambdabot> CYYB 062100Z 34006KT 30SM SCT065 BKN200 21/10 A2998 RMK CU3CI3 SLP157 DENSITY ALT 2100FT
22:00:00 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
22:11:16 -!- rg_ has joined.
22:22:43 -!- Frooxius has quit (Quit: *bubbles away*).
22:23:21 -!- atrapado has quit (Quit: Leaving).
22:28:53 <lambdabot> KATL 062152Z 30010KT 10SM FEW030TCU SCT120 BKN150 OVC200 28/21 A2990 RMK AO2 RAB39E48 SLP114 CB DSNT S-SW TCU VC SW SHRA SE-SW P0000 T02780211
22:34:28 -!- tromp has joined.
23:18:15 -!- Slereah has joined.
23:18:53 -!- Slereah__ has quit (Ping timeout: 244 seconds).
23:24:50 -!- fowl has quit (Excess Flood).
23:27:14 -!- fowl has joined.
23:45:16 -!- variable has changed nick to trout.
23:47:03 -!- grotewold has joined.
23:47:15 -!- rg_ has quit (Quit: My Mac has gone to sleep. ZZZzzz…).
23:49:51 <oren> ╀╁╂╃╄╅╆╇╈╉╊╋┼┽┾┿
23:57:57 <oren> ⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩⅪⅫⅬⅭⅮⅯ
23:58:05 <oren> ⅐⅑⅒⅓⅔⅕⅖⅗⅘⅙⅚⅛⅜⅝⅞⅟