00:10:07 `5 w 00:10:12 1/3:zarutian//You can trust Zarutian. He fixes, as an electronics technician, banal mistakes of electronics engineers. Rather cy(ph|b)erpunkish in outlook regarding the 'Net. Knows more about ocaps than you can imagine. Possesses an Icelandic unnerver that ejects freezingly hot lava out of its business end. Bears an 'Authentic fakes provider' sea 00:10:13 -!- oerjan has joined. 00:10:13 `n 00:10:13 2/3:l from the guild of Realers. He is also known for making rather long HackEgo wisdom entries. Take for instance this entry. It has a whole subentry just on Icelandic unnerver. Even though the Icelandic unnerver has its own. \ rhetorical question//Why did Taneb invent the rhetorical question without providing an answer? \ the u//The U are a v 00:10:15 `n 00:10:16 3/3:ery mad people. \ intercal//INTERCAL has excellent features for modular program for the enterprise market. \ eridanipoid//Eridanipoids form a category of uncategorifiable stellar remnants. They form dense clusters of unmovable and unstoppable objects. 00:10:20 hellørjan! 00:12:26 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:15:06 -!- wob_jonas has joined. 00:18:28 helloily! 00:18:40 * oerjan smells a PPCG bounty coming his way 00:19:50 (maybe) 00:21:39 what does a bounty mean in this context? 00:22:03 Internet points 00:23:05 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 00:23:39 helloochaf. tdh. 00:25:03 yeah 00:25:22 (stackexchange site rep points) 00:56:19 -!- wob_jonas has joined. 01:12:28 oerjan: for which answer? 01:14:48 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 01:18:27 ais523: well it's not explicitly stated that it's for me but i have a good vibe about https://codegolf.stackexchange.com/a/138912/ 01:19:11 (i'm the only one answering in a non-esoteric language) 01:20:57 or well, TI-BASIC might not be esoteric. 01:20:59 oerjan: nice, it manages to be obfuscated and underhanded simultaneously and to useful effect 01:21:03 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 01:21:13 heh 01:21:32 although including a cyrillic and ASCII d in the same line is probably a loophole violation for underhanded code; luckily this wasn't an underhanded competition 01:26:00 the cyrillic character was not chosen for underhandedness at all, of course; it was simply the smallest unicode character that worked there (possibly the only one) 01:26:07 indeed 01:26:24 only two byte one that is 01:26:26 and the ASCII d is an essential part of the spelling of "id" 01:26:31 yeah 01:26:48 i probably didn't have to use d for the last-minute change 01:27:26 that was just the first letter that worked there, presumably. 01:31:27 hm "or" fits instead of "id" afa characters are concerned, but it gives a type ambiguity. 01:32:16 > "ԁ" 01:32:19 "\1281" 01:33:01 > (1281*)[1..5] 01:33:04 error: 01:33:04 • No instance for (Num [Integer]) arising from a use of ‘e_1128115’ 01:33:04 • In the expression: e_1128115 01:33:10 > map(1281*)[1..5] 01:33:13 [1281,2562,3843,5124,6405] 01:33:37 "\2562\3843\5124\6405" 01:33:49 > var "\2562\3843\5124\6405" 01:33:51 ਂ༃ᐄᤅ 01:34:34 > map generalCategory "\2562\3843\5124\6405" 01:34:36 [NonSpacingMark,OtherSymbol,OtherLetter,OtherLetter] 01:35:31 -!- augur has joined. 01:35:33 hm no letters until it passes into 3 bytes, i recognize the ᐄ 01:35:49 (that's the character i allude to in the explanation) 01:36:14 i originally had that before thinking of the tab trick 01:46:18 :t or 01:46:20 Foldable t => t Bool -> Bool 01:46:42 huh, what's the kind of Foldable there? 01:47:36 it's weird to see quantification over type constructors, although I guess if any non-total language can do it, it's probably Haskell 01:51:49 Do you think it's weird with Functor and Monad too? 01:51:58 I guess when Haskell was new this was looked at as a pretty unusual feature. 01:52:25 It even had some name like "constructor classes". 01:53:20 shachaf: yes, although monads are weird enough that you don't instinctively consider the monad "constructor" as being a type and so it doesn't feel as out of place 01:54:08 Rust still doesn't support this feature. :-( 01:54:40 Though C++ does, sort of. 01:55:26 -!- doesthiswork has joined. 01:55:30 that reminds me, I started trying to write a program in Rust to try it out 01:56:09 and found a problem that seems to be a) common and b) in need of a new feature to address it (although multiple possible solutions would work) 01:56:46 I had that experience multiple times when I tried writing some Rust a while ago. 01:57:13 the case where it came up for me was: suppose you want a trait that describes enums, including how many elements you have; and you want to create an array with X elements, where X is the number of possibilties of the enum, given the enum as a type parameter 01:57:46 you can't currently do this without placing a large number of type bounds on the resulting trait that leak implementation details 01:58:42 the cleanest and simplest fix, AFAICT, is to allow for "closed" traits (that can't have new types implementing them), plus a rule that if a type implements a closed trait, it (automatically / on request) implements all traits that types implementing that closed trait implement 01:59:12 (this is a tautology, but the point is that if I have x: ClosedTrait, and only types A and B implement ClosedTrait, I can then assume x implements any trait implemented by both A and B) 02:03:17 -!- jaboja has quit (Read error: Connection reset by peer). 02:11:31 -!- iovoid has quit (Excess Flood). 02:11:39 -!- iovoid has joined. 02:20:39 :k Foldable 02:20:40 (* -> *) -> Constraint 02:20:44 ais523: ^ 02:21:20 wait, I thought there was only one base kind 02:21:25 apparently not? 02:25:28 not in a while 02:26:59 :k Int# 02:27:00 error: 02:27:00 Not in scope: type constructor or class ‘Int#’ 02:27:00 Perhaps you meant one of these: 02:27:03 argh 02:27:08 -!- hppavilion[1] has quit (Quit: HRII'FHALMA MNAHN'K'YARNAK NGAH NILGH'RI'BTHNKNYTH). 02:27:29 `? oerjan 02:27:30 Your omnidryad saddle principal swatty arrant "Darth Ept" oerjan the shifty knite is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. 02:27:36 :k GHC.Exts.Int# 02:27:38 TYPE 'GHC.Types.IntRep 02:27:45 `swrjan s/arrant/kind/ 02:27:47 oerjan//Your omnidryad saddle principal swatty kind "Darth Ept" oerjan the shifty knite is a hazy expert in minor compaction. Also a Groadep who misses Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. 02:28:02 shachaf: pardon me, i'm trying to demonstrate to ais523 here 02:28:10 how kind of you 02:28:39 oerjan: hmm, so kinds in Haskell have changed from being a mathematical concept to more of a "this is how the Haskell implementation handles a type"? 02:28:41 now unboxed types have a kind showing an approximation of their runtime representation 02:28:52 We figured out some good GHC bugs back in the day using all these extra kinds. 02:29:20 (before they were all tossed into a special kind #) 02:29:28 one might even go so far as to call them "astonishingly ingenious" 02:29:34 shachaf: why on earth does HackEgo have a command specifically for editing oerjan's wisdom entry? 02:29:41 this allows more refined safe type coercions 02:29:47 `` dowg oerjan | wc -l 02:29:56 177 02:29:57 It happens often enough. 02:30:12 that is a problem in its own right, surely 02:32:55 what's a knite? 02:33:39 ais523: these days kinds are also types, as part of the (incomplete) project to make haskell dependently typed. and types whose own kinds are * are themselves kinds. 02:34:09 (* is its own kind, which makes the type logic inconsistent but goldfire swears that's fine) 02:34:14 making Haskell dependently typed sounds like a bad idea 02:34:39 even languages that are designed from the outset to be dependently typed struggle with having dependent typing 02:35:11 and Constraint has been there for a while, after ghc got support for making classes and the like into type arguments 02:36:17 (a class with parameters of kind k1, k2, etc. itself has kind k1 -> k2 -> ... -> Constraint) 02:36:59 -!- boily has quit (Quit: MARSHALL CHICKEN). 02:37:18 is it possible to make a class that takes constraints as arguments? I guess it would be? 02:37:25 although the syntax for that could be awkward 02:37:44 X y => y t => t a -> b 02:38:56 that's still mathematical, btw. the "how the Haskell implementation handles a type" you mention was added to make type coercions safe between types of equal representation 02:39:12 (it's the RuntimeRep argument to TYPE) 02:39:49 ais523: you certainly can. the second => would probably be a -> 02:40:14 or wait 02:40:35 i'm not quite getting the example you're going for 02:41:05 edwardk's constraints package surely has some examples. 02:41:48 hmm, that example's probably more complex than it should be 02:42:17 in fact, the Forall module i've contributed to has some. 02:42:51 http://hackage.haskell.org/package/constraints-0.9.1/docs/Data-Constraint-Forall.html 02:44:19 -!- augur has quit (Remote host closed the connection). 02:45:07 -!- augur has joined. 02:45:20 the main module also has some 02:45:40 of course the entire point of that package is to play around with this stuff 02:59:41 -!- puckipedia has quit (Ping timeout: 240 seconds). 03:00:07 -!- augur_ has joined. 03:01:03 -!- augur has quit (Ping timeout: 240 seconds). 03:02:03 -!- trn has quit (Ping timeout: 240 seconds). 03:02:41 -!- puckipedia has joined. 03:02:52 -!- ATMunn has quit (Quit: I am a human. Humans need to sleep. Some humans, like me, do not want to sleep. They sleep anyway. kthxbye). 03:20:53 -!- trn has joined. 03:21:48 -!- contrapumpkin has joined. 03:30:14 -!- augur_ has quit (Remote host closed the connection). 03:59:05 -!- augur has joined. 04:07:33 -!- augur has quit (Remote host closed the connection). 04:20:42 -!- augur has joined. 04:30:11 -!- augur has quit (Remote host closed the connection). 04:44:11 -!- augur has joined. 04:55:36 -!- imode has joined. 05:09:37 -!- augur has quit (Quit: Leaving...). 05:16:24 ...why is scott aaronson's blog comments suddenly full of videos 05:16:39 * oerjan hasn't decided whether he's complaining or not. 05:39:44 -!- doesthiswork has quit (Quit: Leaving.). 05:46:33 oerjan: I went to a Mill talk and the speaker was apparently in Trondheim for a while 05:48:46 shocking 05:49:01 I know, man 05:49:28 There needs to be a command to view wisdom/oerjan too 05:51:47 similar to `hwrl, i think 05:55:12 -!- Kaynato has joined. 06:00:33 -!- oerjan has quit (Quit: Nite). 06:07:13 -!- Kaynato has quit (Ping timeout: 248 seconds). 08:18:35 -!- lezsakdomi has joined. 08:31:06 -!- augur has joined. 08:50:46 -!- AnotherTest has joined. 09:02:05 -!- imode has quit (Ping timeout: 255 seconds). 09:09:00 -!- augur has quit (Remote host closed the connection). 09:09:37 -!- augur has joined. 09:13:48 -!- augur has quit (Ping timeout: 246 seconds). 09:18:04 -!- augur has joined. 09:35:00 -!- augur has quit (Remote host closed the connection). 09:35:35 -!- augur has joined. 09:39:47 -!- augur has quit (Ping timeout: 246 seconds). 10:40:02 -!- LKoen has joined. 11:35:07 -!- boily has joined. 11:45:08 -!- AnotherTest has quit (Ping timeout: 240 seconds). 12:04:04 -!- lezsakdomi has quit (Quit: Leaving). 12:04:57 -!- LKoen has quit (Remote host closed the connection). 12:07:44 -!- LKoen has joined. 12:11:44 -!- lezsakdomi has joined. 12:13:19 -!- lezsakdomi has quit (Client Quit). 12:25:41 -!- boily has quit (Quit: COMMON CHICKEN). 12:38:59 -!- AnotherTest has joined. 13:10:34 -!- jaboja has joined. 13:14:50 -!- LKoen has quit (Remote host closed the connection). 13:29:02 -!- LKoen has joined. 13:34:31 -!- doesthiswork has joined. 13:40:06 -!- Bowserinator has joined. 13:40:30 -!- Bowserinator has changed nick to Guest22967. 13:41:00 -!- AnotherTest has quit (Ping timeout: 258 seconds). 13:41:12 -!- Guest22967 has changed nick to Bowserinator. 13:41:14 -!- Bowserinator has quit (Changing host). 13:41:14 -!- Bowserinator has joined. 13:50:12 -!- jaboja has quit (Ping timeout: 260 seconds). 13:54:50 -!- AnotherTest has joined. 14:13:57 -!- ATMunn has joined. 14:18:37 oerjan: probably wordpress stuff 14:23:33 -!- ais523 has quit (Ping timeout: 240 seconds). 14:28:27 -!- AnotherTest has quit (Ping timeout: 246 seconds). 14:36:09 -!- augur has joined. 14:40:26 -!- augur has quit (Ping timeout: 246 seconds). 14:44:22 -!- AnotherTest has joined. 14:51:14 -!- LKoen has quit (Remote host closed the connection). 15:04:58 -!- doesthiswork has quit (Quit: Leaving.). 15:05:20 -!- AnotherTest has quit (Ping timeout: 258 seconds). 15:16:27 . o O ( Coming for Halloween: The Google Skin Crawler. ) 15:16:52 -!- erkin has joined. 15:38:03 -!- LKoen has joined. 16:15:03 -!- tromp has quit (Ping timeout: 240 seconds). 16:17:42 -!- LKoen has quit (Remote host closed the connection). 16:18:09 haha 16:19:02 -!- imode has joined. 16:25:09 -!- LKoen has joined. 16:31:36 hello 16:31:46 do you think Brainfuck Joust would be suited for this? http://computer-go.org/pipermail/computer-go/2017-October/010261.html 16:56:14 -!- augur has joined. 16:57:16 -!- LKoen has quit (Remote host closed the connection). 17:22:22 -!- AnotherTest has joined. 17:38:52 -!- ATMunn has quit (Remote host closed the connection). 17:39:49 -!- ATMunn has joined. 17:42:52 -!- sleffy has joined. 17:54:25 -!- sleffy has quit (Ping timeout: 248 seconds). 17:59:06 @metar lowi 17:59:07 LOWI 051650Z 27013G31KT 200V330 9999 FEW070 BKN120 22/03 Q1010 NOSIG 18:05:12 -!- augur has quit (Remote host closed the connection). 18:05:54 hmm, windy but approximately parallel to runway... boring ;-) 18:26:06 -!- tromp has joined. 18:26:26 -!- Phantom_Hoover has joined. 18:26:26 -!- Phantom_Hoover has quit (Changing host). 18:26:26 -!- Phantom_Hoover has joined. 18:37:22 -!- tromp has quit (Remote host closed the connection). 18:43:45 * Taneb hello 18:44:16 Tanelcome 18:49:02 -!- tromp has joined. 18:51:30 -!- imode has quit (Ping timeout: 258 seconds). 19:11:38 -!- SigmundYx has joined. 19:12:59 -!- tromp has quit (Remote host closed the connection). 19:48:22 -!- jaboja has joined. 19:51:58 -!- tromp has joined. 19:56:33 -!- tromp has quit (Ping timeout: 248 seconds). 20:13:30 -!- augur has joined. 20:16:42 -!- augur has quit (Remote host closed the connection). 20:19:29 -!- jaboja has quit (Ping timeout: 248 seconds). 20:26:35 -!- augur has joined. 20:59:57 -!- sebbu has quit (Read error: Connection reset by peer). 21:00:23 -!- sebbu has joined. 21:15:58 -!- jaboja has joined. 21:24:53 -!- sleffy has joined. 21:40:46 -!- ais523 has joined. 21:41:28 -!- jaboja has quit (Remote host closed the connection). 21:49:59 -!- jaboja has joined. 22:16:35 -!- AnotherTest has quit (Ping timeout: 258 seconds). 22:21:55 -!- ais523 has quit (Remote host closed the connection). 22:23:04 -!- ais523 has joined. 22:34:35 -!- augur has quit (Remote host closed the connection). 22:36:42 -!- sleffy has quit (Ping timeout: 246 seconds). 22:38:37 -!- augur has joined. 22:40:21 -!- sleffy has joined. 22:49:02 -!- jaboja has quit (Ping timeout: 240 seconds). 22:49:09 -!- ais523 has quit (Remote host closed the connection). 22:50:18 -!- ais523 has joined. 22:51:29 -!- jaboja has joined. 22:59:08 -!- tromp has joined. 23:05:09 -!- boily has joined. 23:13:21 -!- jaboja has quit (Ping timeout: 248 seconds). 23:14:52 -!- `^_^v has joined. 23:15:07 -!- `^_^v has quit (Client Quit). 23:15:16 -!- `^_^v has joined. 23:15:45 -!- `^_^v has quit (Client Quit). 23:17:41 -!- jaboja has joined. 23:21:47 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:22:54 -!- jaboja has quit (Ping timeout: 258 seconds). 23:35:12 -!- jaboja has joined. 23:45:27 @metar CYUL 23:45:27 CYUL 052200Z 24010KT 30SM BKN075 18/08 A2995 RMK AC7 SLP143 DENSITY ALT 500FT 23:45:30 @metar ENVA 23:45:30 ENVA 052150Z 25010KT 9999 FEW012 SCT020 BKN029 09/07 Q0997 RMK WIND 670FT 27018KT 23:57:46 -!- tromp has quit (Remote host closed the connection). 23:58:52 -!- augur has quit (Read error: Connection reset by peer).