00:00:03 In some grand corruption of the hash incrementation on the ESOP headless point to the fuck for extension? 00:00:14 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:29 tsellott. fnord? 00:00:50 I found the parum. 00:00:55 [wiki] [[Underload]] http://esolangs.org/w/index.php?diff=43694&oldid=42978 * 123.151.153.35 * (+14) /* Quine */ 00:01:05 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:15 No one works. 00:01:28 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 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 02:54:26: Sounds like that time i lambdabot :p 00:06:36 fungot: stop leaking your sentience onto other bots twh 00:06:37 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:03 Best clock. 00:20:07 It just keeps beeping. 00:20:31 I had this foldable alarm clock, one day it just started beeping and would. not. stop. 00:20:45 It didn't have an easily removable battery. 00:28:01 -!- aretecode has joined. 00:30:21 -!- oerjan has joined. 00:30:41 exactly WHO is in the middle that I need to worry about a MITM attack from? 00:32:34 mahmoud ahmadinejad hth 00:33:11 is he in control of a server between me and California? 00:33:34 you'd be surprised. 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 ok my type family uc in ghci still works in 7.10.2... 00:39:08 *unsafeCoerce 00:46:32 hellørjan. still coercing innocent types together? 00:48:02 yep 00:48:19 https://ghc.haskell.org/trac/ghc/ticket/7102#comment:4 00:49:06 -!- grotewold has joined. 00:49:10 shachaf: ^ 00:49:49 oerjan: fancy 00:50:53 once you got a taste of fame, you just couldn't stop 00:52:05 hm actually there's no need to have separate uc and fro, after the new instance is defined fro works directly. 00:52:17 shachaf: mwahahaha? 00:55:32 -!- GeekDude has joined. 00:58:50 `` grep -FIi 'evil overlord' wisdom/* 00:58:55 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. 00:58:55 | 00:58:56 o/`¯º 01:02:40 oerjan: oh, this is ghci-only 01:03:24 1371 characters! 01:03:43 shachaf: yeah 01:04:52 what is fro? 01:05:20 oren: um, see link? 01:05:39 at the end, it's really unsafeCoerce 01:06:09 oh. so it's a haskell pointer cast 01:06:17 yeah 01:06:51 Is there a "safeCoerce"? 01:06:58 fizzie: yes! 01:07:04 it's called coerce 01:07:08 :t coerce 01:07:09 (Functor f, Contravariant f) => f a -> f b 01:07:13 wrong one 01:07:23 Can you define the specific coercion from ieee double to int64_t 01:07:28 :t GHC.Coerce.coerce 01:07:29 Not in scope: ‘GHC.Coerce.coerce’ 01:07:33 in a typesafe manner? 01:08:06 :t GHC.Coercible.coerce 01:08:07 Not in scope: ‘GHC.Coercible.coerce’ 01:08:10 wtf 01:08:33 :t GHC.Coercable.coerce 01:08:34 Not in scope: ‘GHC.Coercable.coerce’ 01:08:39 :t Coercable.coerce 01:08:40 Not in scope: ‘Coercable.coerce’ 01:08:49 :t GHC.coerce 01:08:50 Not in scope: ‘GHC.coerce’ 01:08:55 :t GHC 01:08:56 one of you is spamming the channel here 01:08:56 Not in scope: data constructor ‘GHC’ 01:08:57 :t GHC.Exts.coerce 01:08:58 GHC.Types.Coercible a b => a -> b 01:09:15 oren: don't be silly, no one can guess GHC module names hth 01:09:16 not naming any names, but his name starts with o and ends with n 01:09:30 * oerjan swats shachaf -----### 01:10:14 i don't think lambdabot imports that one... 01:10:25 So the kind Coercible contains types that have known binary representations? 01:10:44 fizzie: the safeCoerce only works for wrapping and unwrapping newtype stuff 01:10:52 *safe coerce 01:11:13 oren: *typeclass, nominally 01:11:14 "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 oren: it's not that general, coerce is a do-nothing cast 01:13:35 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 which is partly representation, partly a semantic thing 01:15:54 -!- codergeek42 has joined. 01:17:26 (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 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 this is ensured by Map having a "role annotation" 01:19:26 oren: um complex data structures work just fine 01:19:38 list types can be converted this way 01:19:55 and float vs. int _cannot_ be 01:20:06 (Double vs. Int, presumably) 01:20:23 haskell has a Float type hth 01:20:36 shachaf: yeah but it is scow 01:20:43 but so is Double 01:20:46 and Maps can be converted on the _result_ type 01:20:51 ...granted. 01:21:08 What Every Computer Scientist Should Know About Floating Point Arithmetic: 01:21:11 It's scow. 01:22:02 > M.fromList [(0,'a'),(0/0,'b'),(1,'c')] 01:22:04 fromList [(0.0,'a'),(NaN,'b'),(1.0,'c')] 01:22:14 hmph 01:22:27 > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d')] 01:22:28 fromList [(0.0,'a'),(NaN,'b'),(1.0,'c'),(NaN,'d')] 01:22:33 there you go 01:23:32 > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d'),(-1,'e')] 01:23:33 : can't find file: L.hs 01:23:36 > M.fromList [(0,'a'),(0/0,'b'),(1,'c'),(0/0,'d'),(-1,'e')] 01:23:38 fromList [(0.0,'a'),(NaN,'b'),(1.0,'c'),(NaN,'d'),(-1.0,'e')] 01:23:47 bah 01:24:07 not sure what you're going for there 01:24:12 perhaps it's nan of my business 01:24:32 basically that NaN breaks as Map key 01:24:38 0/0 01:24:39 and ruins the rest of the map 01:24:44 yes, i got that bit 01:25:05 (0v0) Hoot 01:25:21 but somehow they all seemed to end up in the order i inserted them 01:25:37 (u_u)p 01:25:42 ok i'm giving up on this palindrome thing 01:25:54 oh right logs 01:26:20 -!- notfowl has changed nick to fowl. 01:26:21 oerjan: did you figure out the loops thing twhib 01:26:23 shachaf: btw i realized the [[]+] problem can be solved by abusing (), in theory 01:26:43 so loop (loop ()) plus 01:26:44 oerjan: yes, i already had an instance B () for that 01:26:47 oh 01:26:48 is it clear that (n_n) is happy and (u_u) is sad 01:26:59 oerjan: but it's tricky to make it work 01:27:19 shachaf: my idea was, when in doubt CPS 01:27:26 i already cpsed hth 01:27:28 oh 01:27:33 or did i? 01:27:36 maybe you mean double cps 01:27:41 possibly 01:27:41 or triple cps, or however many levels 01:27:50 CPS ALL THE THINGS 01:28:43 This reminds me of that RPN thing I saw years ago. 01:28:58 Where you could write "x y add z mult" and so on. 01:29:33 dc you mean? 01:30:01 i'm pretty sure that's not legal dc syntax hth 01:30:02 i mean haskell hthib 01:30:11 at least not with the intended meaning 01:31:06 shachaf: i had this idea that only the top function in each subexpression should be a -> type 01:31:35 `` culprits wisdom/csv 01:31:37 orenn orenn 01:31:46 * boily unicodely mapoles oren 01:34:17 i also think i decided () should _not_ be a B type because that'd mess up inference 01:34:22 ` 01:34:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 01:34:30 `? csv 01:34:31 CSV猫stands猫for猫Cat猫Separated猫Values 01:34:37 ehehe 01:35:03 i was too tired to think then, and i'm not sure if i'm awake enough now 01:35:04 laughing at your own joke like that is poor form hth 01:35:25 I had my land behind my head anime style 01:35:30 *hand 01:35:49 land behind my head, MtG style 01:37:03 oerjan: i'm not sure you've played MtG hth 01:37:40 oren: あほ 01:38:40 -!- egrep has changed nick to zgrep. 01:38:51 true. i had an opportunity once but didn't. i just know it has lands 01:39:37 16i[laPlbdP1+ddsbC0>cCO!>d]sc[80sbla1+dsaln>c]sdA0sbC2saCAsnlcx 01:39:59 oerjan: you said "true", but then you made my statement false tdnh 01:40:24 you mean now you're sure i haven't? 01:40:45 don't worry, it was not an eternal, unchanging condition hth 01:40:49 ok you only implied it 01:43:29 But did you read the rules of MtG game? 01:43:35 no. 01:43:54 -!- grotewold has quit (Quit: ZZZzzz…). 01:44:13 i don't find this kind of game attractive. 01:44:24 `` culprits wisdom/fnord\ am 01:44:26 boily 01:44:34 oh. hm. euh. 01:44:38 oerjan: what kind of game do you find attractive 01:45:00 games where i don't have to plan too much 01:45:03 What I like more than the playing of Magic: the Gathering is the puzzles (Magic: the Puzzling) 01:46:50 i think it's not the kind of puzzle i like, either 01:46:59 it's that old PSPACE vs. NP thing 01:47:07 coppro: chelloppro. have you ever played Judge Tower? 01:49:18 How can I read Windows help files on Linux (converting to man pages, plain text, or DVI is also fine) 01:50:17 hezzo38. CHM? 01:51:37 No, the older .HLP format 01:56:21 aha! I can watch youtube through vlc in lower resolution by adding &fmt=18 to the url 01:56:28 now that's a format I haven't heard of in a long time. 01:59:43 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 How is it that meeting new people is so very tiring? 02:39:46 All the braille characters are now in my font. 02:40:24 1637 characters 02:40:35 is the new total 02:41:27 maybe you should make `flist and update interested parties using that 02:43:05 -!- Aearnus has joined. 02:54:02 `flist 02:54:03 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: flist: not found 02:54:15 shachaf: how do I do that? 02:54:37 makelist 02:54:45 `makelist flist 02:54:47 No output. 02:55:00 `flist 02:55:01 flist: 02:55:04 now people can subscribe using `` echo name >> bin/flist 02:55:13 ffancy 02:56:22 Even the hardest mode ("V-HARD") of Pokemon de Panepon is too easy, also should add "X-HARD" level even more!!! 02:56:40 [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:38:38 `? cube 03:38:39 cube? ¯\(°​_o)/¯ 03:39:01 `learn Cubes come in all sizes, colors and materials, but only one shape. 03:39:03 Learned 'cube': Cubes come in all sizes, colors and materials, but only one shape. 03:42:34 shachafellot of the myself? governachaf? spot shachof the still me? <-- shachaf, please stop breaking boily twh 03:52:52 wihib 04:02:36 * oerjan rambles uncontrbaily 04:10:21 -!- J_A_Work has joined. 04:16:33 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 I haven't read level20.tex 04:28:53 -!- Aearnus has joined. 04:35:22 -!- Frooxius has joined. 04:35:30 zzo38: I predict that the story will get longer. 04:35:53 I predict there may or may not be events. 04:35:58 and i'd probably bet a reasonable amount on it, but not with you as my counterparty hth 04:38:19 I mean to be more specific 04:40:10 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 I'll bet a reasonable amount at the right odds. 04:42:04 What kind of reasonable amount? 04:42:58 Whatever amounts balance the book. 04:44:56 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:16 What are comp bonuses? 04:47:51 Allows you to get a discount at a hotel if you gamble there a lot. 04:51:50 honestly most hotels where you can also gamble have very low prices afaik 04:53:25 yay 5 people starred my micro json parser on github 04:53:40 i'm most popular than ever 04:53:58 izabera: ★ 04:53:59 is that correct english? i meant i've never been as popular 04:54:06 yayy a star on irc 04:54:20 ✨ 04:54:33 I'm not sure if it's proper but I didn 04:54:36 ✶ 04:54:50 didn't look twice at it when I read it, so it's proper enough to be American English 04:54:50 What is your micro json parser on github? 04:54:58 https://github.com/izabera/j this 04:55:21 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 Your program can be good if you want it in shell-scripts I suppose. 04:56:42 https://github.com/skeeto/pdjson '[...] crappy software license (GPL or "do no evil"). [...]' 04:56:52 i hate the gpl haters -_- 04:57:20 I am fine with GPL, but mostly I write program as public domain most recently. 04:57:47 I use GPL or PD with a reason, and MIT without a reason. 04:58:01 I prefer public domain mostly though 05:00:54 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 that would cause all kind of weird problems with readline 05:07:47 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 No it doesn't because also the terminal is set without multibyte character 05:09:23 fine then 05:22:01 -!- variable has changed nick to constant. 05:57:18 -!- hppavilion[1] has joined. 05:59:01 Hellu' 06:01:05 hei på du 06:03:02 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:01:02 fnörd. 07:02:55 zzo38: I like that URI scheme 07:04:55 I think my language ADD has reached a point where I only look at unreleased languages 07:05:04 I was fascinated by Rust right up until 1.0 07:08:30 soon you'll only be able to look at unimplemented ones 07:13:44 -!- J_A_Work has joined. 07:18:08 and then uninvented ones. 07:18:30 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:51 `smlist 07:23:58 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:46:51 `? windows 07:46:52 windows? ¯\(°​_o)/¯ 07:46:55 `? win32 07:46:56 win32? ¯\(°​_o)/¯ 07:56:09 oh look, it's finally released! 07:56:35 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 https://www.fsf.org/blogs/community/user-liberation-watch-and-share-our-new-video 08:16:54 -!- Frooxius has joined. 08:16:57 inspiring video 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 [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 http://www.virtualglitter.com/ 09:13:44 can i keep on spamming stuff here? 09:13:48 it's cool stuff 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 fungot: Hit the floor! 09:45:23 mroman: will do. thanks. :) but... it's fnord long 09:45:36 :D 09:47:03 Win a free trip with fungot to the land of the Fnords. 09:47:03 mroman: now you know, the part after the decimal, by the way), would be to create a scheme job 09:53:49 > 2**8 09:53:51 256.0 09:53:53 > 2**16 09:53:54 65536.0 09:53:56 > 2**24 09:53:58 1.6777216e7 09:54:04 > 2^24 09:54:06 16777216 09:54:28 wait 09:54:39 #AAA is 12 bits 09:54:51 > 2^12 09:54:52 4096 09:54:55 so 4k colors 09:58:25 I need to do some testing 10:00:44 argh windows is such a pain 10:00:58 why can't we just use unices like I'm used to 10:11:41 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 I need a test image that is public domain 10:14:25 `thanks list of monochrome and RGB palettes 10:14:27 Thanks, list of monochrome and RGB palettes. Thist of monochrome and RGB palettes. 10:16:53 `thanks whistle 10:16:54 Thanks, whistle. Thistle. 10:17:52 mroman, do you need public domain, or do you just need available to use (eg, some creative commons licenses) 10:23:15 http://mroman.ch/colordepth.html 10:23:20 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 For small images you can easily remove 3 bit of color information per color component without suffering quality 10:28:40 which reduces the image size roughly 50% 10:30:39 You could even write some heuristic that removes information just on r, g or b (or combinations of that) 10:31:01 probably 10:33:37 I wish I still had my color correction python script 10:49:43 Somebody put up a bounty for a Mario 64 glitch 10:54:39 Quite a few el-cheapo monitors at least used to only have 6 bits of color depth, and do dithering. 10:54:49 Not sure how common that is these days. 10:55:18 [[ 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 ... 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 `` culprits wisdom/konami\ code 10:55:26 No output. 10:55:33 `` culprits wisdom/konami 10:55:34 oren_ 10:55:52 oren: ... Y U NICODE? 10:57:23 `? konami 10:57:24 The konami code is ㊤㊤㊦㊦㊧㊨㊧㊨Ⓑ Ⓐ [START] 10:58:01 `` sed -i 's/START/SELECT] [START/' wisdom/konami 10:58:03 No output. 10:58:06 `? konami 10:58:07 The konami code is ㊤㊤㊦㊦㊧㊨㊧㊨Ⓑ Ⓐ [SELECT] [START] 11:04:22 I'm going to North bay now. logging out. 11:04:24 -!- oren has quit (Quit: leaving). 11:05:22 @tell oren My mapole is waiting for you. 11:05:22 Consider it noted. 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:42 `wisdom 11:39:53 nooooooooodl/nooodl is the correct spelling 11:40:00 `wisdom 11:40:02 impomatic/impomatic never did anything weird enough to get into this database. 11:40:24 hm 11:40:26 really 11:42:06 -!- SopaXorzTaker has joined. 11:43:26 `wisdom 11:43:27 tdt/That doesn't tdt. 11:48:21 You talking to me? 11:50:22 (That's right. I just recently watched Taxi Driver for the first time) 11:51:04 `wisdom 11:51:06 monoidal category/Monoidal categories are just 2-categories with a single object. 11:52:55 `? tanebvention 11:52:56 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:28 hu 11:53:31 that last sentence is new? 11:54:16 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 I stated such and the tanebvention wisdom was edited into the form you see now 11:55:03 I see. 11:55:10 `? mroman 11:55:12 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 Password hashes that are worse than the identity function in what sense? 11:56:09 hash = password + date_of_birth 11:56:21 that'd be worse than hash = password (the identity function) 11:56:27 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 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 "... limit 20;" "108 rows in result set" 13:01:31 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 It's scientific notation 13:27:08 Turns out it was just a confused fizzie. 13:27:25 Well, or arguably confusing output formatting. 13:51:49 `? FreeFull 13:51:50 FreeFull is either full of freedom or free of fulldom, we are not sure. 13:53:46 what is the gift finland gives the world? 13:54:48 quintopia: Free perkeles 13:56:41 why would i be sad if finland vanished overnight? 13:56:59 You'd lose the prime source of mämmi in the world. 13:57:23 quintopia, it'd cause pretty nasty tsunamis 13:59:44 Because suddenly there would be a lot of nothing where land used to be 13:59:51 And the sea would try to rush into that space 14:00:06 and how deep would it vanish to 14:00:13 This could be devestating to much of North, Central, and East Europe 14:00:54 Taneb: What if just all the people vanished? 14:00:59 -!- SopaXorzTaker has quit (Remote host closed the connection). 14:01:24 i mean legally finland has sovereignty over all the rock underneath it, right? 14:01:32 it doesnt vanish into vacuum. it vanishes as a culture. the landmass exists as a part of sweden 14:01:38 FreeFull, then it'd most likely be colonized by Russia, which would change the geopolitics of the world 14:02:09 i like fizzies answer. mammi looks delicious. 14:02:39 "Originally mämmi was eaten during lent. Its laxative properties were associated with purification and purging." 14:02:48 wow great dessert 14:03:27 binge eat. mammi purge. binge eat some more. best holiday. 14:03:33 Taneb: Any person who tries to enter past the borders would disappear too 14:03:52 at that stage it's become a serious and troubling scientific anomaly 14:04:02 Yes 14:04:10 Any animals, machines, etc are not affected 14:04:12 Only humans 14:04:41 so i think that's probably going to be the primary effect it has? 14:04:53 Does that include people flying through the airspace 14:08:23 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:09:30 `? lacanian 14:09:31 lacanian? ¯\(°​_o)/¯ 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:40 `olist 996 16:14:42 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:08:06 Test 18:10:14 -!- hppavilion[1] has quit (Client Quit). 18:12:09 -!- hppavilion[1] has joined. 18:13:54 -!- mihow has joined. 18:20:51 I want to design an Esoteric Compiler Compiler 18:21:02 Anyone want to help? 18:21:06 what do you mean 18:21:52 -!- rg_ has joined. 18:21:52 Slereah__: Well it'd be an Esoteric language 18:21:55 For parser generation 18:22:16 Not necessarily one for generating parser generators for other langs 18:23:32 Slereah__: Get it? 18:24:47 Isn't that basically what Thue is? 18:24:57 I don't think so 18:25:11 Thue is a String Rewriting Language 18:25:18 It doesn't generate parsers 18:26:12 Slereah__: So no, I'm pretty sure Thue isn't an ECC 18:35:05 -!- mihow has quit (Quit: mihow). 18:53:07 [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 @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:45 .L.hs:161:26: 19:10:46 Ambiguous occurrence ‘loop’ 19:10:46 It could refer to either ‘L.loop’, defined at .L.hs:158:9 19:10:50 bah 19:11:10 wait, is this an "either" over a set of one element? 19:11:36 @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:37 Defined. 19:11:46 @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:11:47 .L.hs:166:10: 19:11:47 Could not deduce (c ~ b) 19:11:47 from the context (f b ~ X a c) 19:11:56 now wtf 19:12:29 hm this might actually be a 7.10.1 bug 19:12:40 and i've finally upgraded 19:13:02 @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 Parse failed: Illegal instance declaration 19:13:08 oops 19:13:22 @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:23 Defined. 19:13:26 there. 19:13:43 @messages- 19:13:43 oerjan said 1d 8h 53m 5s ago: I sense that all the suggested syntaxes have some trouble with programs like [[]+] 19:13:51 > run $ loop () loop (plus loop () minus) plus 19:13:52 Couldn't match expected type ‘(a0 (b0, d1) (c0, d1) -> a0 b0 c0, 19:13:52 d0) 19:13:52 -> (t0 -> f1 a3 -> X BF BF, d0)’ 19:13:57 goddammit 19:14:08 this works perfectly well in ghci 19:15:07 > plus minus 19:15:09 No instance for (Show (f0 a0)) 19:15:09 arising from a use of ‘show_M76052192180943569186544’ 19:15:09 The type variables ‘f0’, ‘a0’ are ambiguous 19:15:13 > run $ plus minus 19:15:16 "+-" 19:15:22 > run $ loop () 19:15:23 Couldn't match expected type ‘X (BF, d0) (BF, d0)’ 19:15:23 with actual type ‘()’ 19:15:23 In the first argument of ‘loop’, namely ‘()’ 19:15:51 wtf goes wrong 19:15:51 spot of the not believing you, governor? 19:16:13 Oh. 19:16:16 s/loop/lopp/g hth 19:16:41 > run $ lopp () lopp (plus lopp () minux) plus 19:16:43 Not in scope: ‘minux’ 19:16:43 Perhaps you meant ‘minus’ (line 169) 19:16:45 > run $ lopp () lopp (plus lopp () minus) plus 19:16:47 No instance for (B f a) arising from a use of ‘lopp’ 19:16:47 The type variables ‘f’, ‘a’ are ambiguous 19:16:47 Note: there are several potential instances: 19:16:48 fff 19:16:55 ok, well, back to you 19:17:04 > lopp () 19:17:05 No instance for (Show (f0 a10)) 19:17:05 arising from a use of ‘show_M41538240618094895006637’ 19:17:05 The type variables ‘f0’, ‘a10’ are ambiguous 19:17:06 argh 19:17:12 > run $ lopp () 19:17:13 "[]" 19:17:18 > run $ lopp plus 19:17:19 No instance for (L (X (X BF BF) (f0 a0 -> X BF BF))) 19:17:19 (maybe you haven't applied enough arguments to a function?) 19:17:19 arising from a use of ‘lopp’ 19:18:18 :t lopp plus 19:18:19 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:23 this is wonderful 19:18:31 your version is so much more complicated 19:18:42 wait, did you solve it too 19:18:54 no 19:19:01 more complicated than the version that didn't support lopps 19:19:29 well, this version doesn't support lopps either as far as i can tell hth 19:19:48 it works in ghci 7.10.2 ;_; 19:21:02 spot of the unportability? 19:21:27 i assume it's one of the bugs that was fixed 19:22:42 This reminds me of https://hackage.haskell.org/package/HoleyMonoid-0.1.1/docs/Data-HoleyMonoid.html 19:22:44 imagine if they'd included the right release notes 19:23:05 Which I'm listed in the authors list of for some reason. 19:23:08 -!- mihow has joined. 19:23:59 That's probably because X = HoleyMonoid BF 19:27:43 OKAY 19:28:11 > run $ plus loop plus 19:28:13 Couldn't match type ‘a0 (b0, d0) (c0, d0) -> a0 b0 c0’ 19:28:13 with ‘X (f a) (f0 a1 -> X BF BF)’ 19:28:13 In the second argument of ‘($)’, namely ‘plus loop plus’ 19:28:22 oops 19:28:25 > run $ plus lopp plus 19:28:27 No instance for (B f a) arising from a use of ‘plus’ 19:28:27 The type variables ‘f’, ‘a’ are ambiguous 19:28:27 Note: there are several potential instances: 19:28:41 oh hm 19:29:00 maybe it's about that thing where it doesn't follow instances right 19:30:08 run $ plus minus 19:30:14 oops 19:30:17 > run $ plus minus 19:30:19 "+-" 19:30:59 > run $ plus lopp () 19:31:01 "+[]" 19:31:09 > run $ plus lopp () minus 19:31:10 "+[]-" 19:31:21 so the empty case seems to work, hm 19:31:54 > run $ lopp () minus 19:31:57 "[]-" 19:32:01 also that one 19:32:12 ok, that leaves maybe just one instance with problems 19:34:07 or wait hm 19:34:47 -!- x10A94 has quit (Read error: Connection reset by peer). 19:34:50 > run $ plus lopp minus 19:34:51 No instance for (B f a) arising from a use of ‘plus’ 19:34:52 The type variables ‘f’, ‘a’ are ambiguous 19:34:52 Note: there are several potential instances: 19:40:30 hm wait what... 19:42:19 @undef 19:42:19 Undefined. 19:42:23 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:29 oops 19:42:31 @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:33 Defined. 19:42:45 @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:42:46 .L.hs:166:10: 19:42:46 Could not deduce (c ~ b) 19:42:46 from the context (f b ~ X a c) 19:42:49 darn 19:43:13 @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:14 Defined. 19:43:45 > run $ loop () loop (plus loop () minus) plus 19:43:46 Couldn't match expected type ‘(a0 (b0, d1) (c0, d1) -> a0 b0 c0, 19:43:46 d0) 19:43:46 -> (t0 -> f1 a3 -> X BF BF, d0)’ 19:43:49 damn 19:43:57 oh wait 19:44:11 > run $ lopp () lopp (plus lopp () minus) plus 19:44:13 "[][+[]-]+" 19:44:15 whew! 19:44:18 shachaf: ^ 19:44:22 fancy 19:44:26 oerjan++ 19:44:27 it was PolyKinds messing things up 19:44:32 now make it work with OverloadedLists twh 19:44:38 AAAAAAA 19:44:39 PolyKinds does that. 19:45:02 except for one little detail, that context i had to split 19:45:52 oh, and how do you represent the empty program? twh 19:46:55 ARGH 19:47:18 :D 19:47:47 shachaf: just make run a class method then you can use (), i think 19:48:19 sgtm 19:48:44 now do befunge twhib 19:49:45 -!- Phantom_Hoover has quit (Remote host closed the connection). 19:50:02 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 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 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:12 Oh, I got netsplit? 20:10:15 Also, [16:08] What's IRA? 20:11:41 -!- MDude has quit (Ping timeout: 245 seconds). 20:12:02 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 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 [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 [wiki] [[Special:Log/newusers]] create * Brandt * New user account 20:36:06 shachaf: i don't remember the IRA part, but i remember the oracle's worthing as "last breath _ever_". 20:38:42 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 [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 [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 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 [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 do I even want to look at this edit? 21:18:52 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 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 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:58:23 ls 21:58:28 shit 21:58:37 Hello 21:59:26 @metar CYYB 21:59:27 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:52 @metar KATL 22:28:53 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. 22:48:28 ls -lr 22:48:36 crap 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 ╀╁╂╃╄╅╆╇╈╉╊╋┼┽┾┿ 23:57:57 ⅠⅡⅢⅣⅤⅥⅦⅧⅨⅩⅪⅫⅬⅭⅮⅯ 23:58:05 ⅐⅑⅒⅓⅔⅕⅖⅗⅘⅙⅚⅛⅜⅝⅞⅟