00:20:08 the problem with porting is that you don't do any design 00:22:33 the word design here is really terrible, but i mean it as, for instance, cat is a design 00:23:27 and then someone can be asked to port cat 00:27:31 ang.wikipedia.org = Ænglisc :-s 00:45:48 * Phantom_Hoover -> sleep 00:45:49 -!- Phantom_Hoover has left ("Leaving"). 00:45:51 -!- Phantom_Hoover has quit (Quit: Leaving). 01:02:57 hi 01:04:29 ho 01:04:31 hmm 01:04:55 it's dubious how many blizzard games have anglo-saxon wikipedia pages 01:12:30 ah.. the one guy created 9 pages about blizzard, and also created the category 01:18:38 humm.. ok he created the video games category too, so it's all very boring 01:25:11 -!- Slereah has joined. 01:30:17 Slereah! 01:34:45 Me! 01:35:55 Slereah! 01:46:54 elliott: what kind of food. dont have money. 01:46:59 what 01:47:07 halp 01:47:17 what 01:47:44 what food to buy 01:47:52 cheap good food 01:48:00 edible 01:48:01 fod 01:48:02 food 01:48:10 yes 01:48:13 good criterion 01:48:18 i'll make list: 01:48:22 -cheap 01:48:24 -good 01:48:26 -edible 01:48:38 pick two! 01:48:50 oerjan: halp 01:49:22 * oerjan hands quintopia some delicious poison for free 01:50:09 poison? i have decided that edible is more important than good 01:50:21 ah. 02:14:14 -!- david_werecat has quit (Ping timeout: 248 seconds). 02:35:36 -!- zzo38 has joined. 02:59:55 bread and milk 03:01:10 hi 03:02:52 and you are to drink the milk from a ceramic mug, and rip off pieces of the bread with your bare hands 03:03:15 * oerjan recalls when he used to browse the reddit frontpage and r/all, there were sometimes posts about how to get enough food with very little money 03:03:45 quintopia's critereon are pretty lousy 03:04:14 itidus20: criteria 03:04:20 is the plural 03:04:23 oh 03:04:47 oerjan: /r/frugal? 03:04:53 they're a bit nutty, I think :P 03:05:05 was about to link it :P 03:05:11 focus on optimizing sources of nutrients such as protein and carbohydrates, as well as vitamins and minerals 03:05:32 edible and good is for the rich 03:05:42 http://www.reddit.com/r/Frugal/comments/u13qa/we_rfrugal_week_1_frugal_food/ was linked in the sidebar 03:07:28 "Some people value time over money, and others money over time" hmm thats one way of putting it, another way of putting it is that employed people have less time and more money, and vice versa 03:07:44 from there you can find http://www.reddit.com/r/budgetfood 03:08:02 except some people on welfare have a good life and some people on welfare do not 03:08:56 and, the reason for _that_ is that some people on welfare have parasites around them 03:09:07 hi 03:09:08 elliott: although i wasn't originally thinking so much about r/frugal as about "help i only have $NN for the next 3 weeks how can i survive?" 03:09:18 (approximate title there) 03:10:34 in other words, valuing time over money is more of a function of circumstances than an exercize in free will 03:12:07 what i really mean is that, some poeple have more time than money, and others have more money than time 03:12:27 -!- azaq23 has joined. 03:12:35 and they "value" that which they have less of 03:16:42 o'reilly have published a book on dwarf fortress 03:16:45 ???????????????????????????????????????????????????????????????????????????????????????????????? 03:16:50 monqy: help 03:17:07 w 03:17:08 what 03:17:12 http://shop.oreilly.com/product/0636920022565.do 03:17:13 orly? 03:17:18 whhhhhhhaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaat 03:17:20 i don't 03:17:20 understand 03:17:49 but i think i'm going to have to buy it so i can point to the turning point in civilisation in the future when we all live in houses made out of cellophane and breathe glass and mate with antennae 03:18:09 @ask Phantom_Hoover http://shop.oreilly.com/product/0636920022565.do ??????????????? 03:18:09 Consider it noted. 03:22:56 -!- pikhq has joined. 03:26:11 -!- pikhq_ has quit (Ping timeout: 244 seconds). 03:26:14 i found this while looking up that http://i37.fastpic.ru/big/2012/0530/c2/04e811128cee4d89747f9621a5756fc2.jpeg 03:41:14 -!- oerjan has quit (Quit: Good night). 03:44:24 elliott: your name is now Robert J! Lake. As such, you are no longer my baby nephew. 03:44:32 ok 03:45:19 Okay, so. This language in which all computation is carried out via rounding errors. 03:46:08 I think a program should consists of a list of instructions that are looped through forever. The program will have access to an arbitrary but finite number of variables each capable of holding an arbitrary non-negative integer. 03:46:29 Every variable is initialized to 1. 03:47:38 There are three instructions: "add Y to X", "multiply X by 2^(Y/3) and round", and "divide X by 2^(Y/3) and round". 03:47:50 That's the language. 03:49:25 It might be Turing-complete. I have no idea how one would go about proving it either way. 03:50:03 Also, the name of a variable must consist entirely of numerals, and the first of these cannot be 0. 03:53:21 I guess we'll make that "round down", to avoid ambiguity. 03:56:23 Here's a program, I guess: http://pastie.org/4005760 03:56:56 After n > 0 iterations, 1 has the value 1, 2 has the value 3, 3 has the value 2^n, and 4 has the value 2^(n+1) - 1. I think. 03:59:08 For the benefit of future generations: 03:59:08 [[ 03:59:09 2 >> 2 03:59:10 2 += 1 03:59:12 2 += 1 03:59:14 2 += 1 03:59:16 3 << 2 03:59:18 4 += 3 03:59:20 ]] 04:10:14 Okay, I don't think multiplication by 2^(1/3) is actually a useful operation. 04:10:37 So, let's do the same, except these are the operations: 04:10:58 "subtract Y from X", "calculate the number of groups of order X". 04:32:44 -!- pikhq_ has joined. 04:33:21 -!- Lumpio- has quit (Ping timeout: 265 seconds). 04:34:42 -!- calamari has joined. 04:36:49 -!- pikhq has quit (Ping timeout: 245 seconds). 04:41:29 -!- sebbu2 has joined. 04:41:29 -!- sebbu2 has quit (Changing host). 04:41:29 -!- sebbu2 has joined. 04:42:14 -!- sebbu has quit (Ping timeout: 245 seconds). 05:00:01 -!- Brian-M has joined. 05:00:51 -!- Brian-M has quit. 05:05:50 -!- Lumpio- has joined. 05:11:07 -!- azaq23 has quit (Quit: Leaving.). 05:22:45 ?messages 05:22:46 shachaf asked 2d 1h 9m 16s ago: hi 05:22:46 Taneb asked 10h 53m 45s ago: What does fair do? 05:26:06 Taneb: Read the document for MonadLogic for some information about >>- it is a fair junction or something like that; fair ["Hello", "World"] = "HWeolrllod"; fair ["Hello", "World", "12345"] = "HWe1lol2or3l4d5" 05:26:22 So it is something like join but using a different order 05:33:04 -!- cswords__ has quit (Read error: Connection reset by peer). 05:33:27 -!- cswords__ has joined. 06:09:08 FORTRAN's tragic fate has been its wide acceptance. APL is a mistake. students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration. 06:09:23 hi 06:09:29 LISP has assisted a number of our most gifted fellow humans in thinking previously impossible thoughts. 06:12:37 The use of COBOL cripples the mind 06:13:07 hi 06:13:36 elliott: You know Control.Concurrent.Spawn? 06:13:41 yes 06:13:58 What's the way you're supposed to use "pool"? 06:14:17 I was thinking of do { runOne <- pool limit; parMapIO_ (runOne . foo) [1..n] }, but that still spawns n threads most of which do nothing at any point in time, which seems like it might not be strictly necessary. 06:14:27 you realise kmc is in here right 06:14:38 Yes, but he's not responding. 06:14:43 (In the other channel, at least.) 06:14:44 shachaf: anyway that sounds correct to me 06:15:03 But spawning a million threads is annoying when most of them are just waiting on the QSem. 06:15:08 full PL/1, with its growth characteristics of a dangerous tumor, could turn out to be a fatal disease. 06:15:10 In particular it means that my program is slow and takes 100% CPU 06:15:42 shachaf: does runOne do that? 06:17:18 parMapIO_ does 06:24:30 [no comment] 06:24:39 im slep 06:25:04 O, now I see. 06:25:05 zzo38? 06:25:30 shachaf: OK? 06:25:38 catch some z's? 06:25:47 zzo38: Any ideas? 06:25:54 oh 06:25:57 Idea of...? 06:26:09 How pool is supposed to be used. 06:26:15 I don't know. 06:27:22 -!- elliott has quit (Remote host closed the connection). 06:43:48 -!- calamari has quit (Quit: Leaving). 07:18:48 -!- zzo38 has quit (Remote host closed the connection). 08:17:42 -!- Phantom_Hoover has joined. 08:19:10 `quote monqy.*hit 08:19:18 815) hack and back? works on anything much slower than you at the cost of: guilt, hating yourself, me sending you the message "hi" am I also forbidden to cast mephitic cloud and cblink i will also send you "hi" if you: kite excessively, use mephitic cloud, -yes \ 829) imagine hitting a brick wall really really hard but you don't do anything to it. instead you explode. 08:19:28 `quote monqy.*brick.wall 08:19:32 829) imagine hitting a brick wall really really hard but you don't do anything to it. instead you explode. that's what it's like for people who hit you 08:29:45 monqy: "i quoted you in another channel" 08:29:53 oh no what happened 08:30:01 not hing 08:30:50 do you have logs of what happened it's my quote I want to know!! 08:31:32 01:19 imagine hitting a brick wall really really hard but you don't do anything to it. instead you explode. that's what it's like for people who hit you 08:31:36 01:19 I want something like that, except for sending SIGHUP instead of hitting 08:31:47 Because my process is getting a SIGHUP and I don't know why. :-( 08:32:01 :( 08:32:08 so there was some ants today 08:32:21 but, they .. apparently lost interest 08:33:03 should i feel rejected or relieved 08:33:30 unless THEY were the scouts 08:39:04 -!- sebbu3 has joined. 08:42:09 -!- sebbu2 has quit (Ping timeout: 246 seconds). 09:01:35 -!- pikhq has joined. 09:01:54 -!- pikhq_ has quit (Ping timeout: 252 seconds). 09:43:15 Oh for... 09:43:15 Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. 09:43:30 I get Bastion from the HiB and the checksum's wrong. 09:44:18 -!- monqy has quit (Quit: hello). 09:52:29 Wasn't it some sort of ridiculous size. 09:52:32 I think many of them were. 09:52:35 Like, gigabytes. 09:52:55 what!? gigabytes? 09:53:31 I only got HD that has over 512MB 6 years ago 09:59:20 For the Linux versions, Amnesia: The Dark Descent is "1.1 GB", Bastion "1019 MB", and Psychonauts "4.1 GB". 09:59:40 LIMBO and that Sword & Sorcery thing are rather smaller. 10:01:07 -!- labbekak has joined. 10:02:26 > 1 + 1 10:02:27 2 10:02:31 phew 10:04:10 What a relief. 10:04:37 hallelujah praise the lord 10:04:38 > let 1 + 1 = 3 in 1 + 1 10:04:39 3 10:04:44 > let 1 = 2 10:04:45 not an expression: `let 1 = 2' 10:05:03 0.o 10:05:15 what did you do 10:05:18 you broke it 10:05:28 No, you didn't give it a complete expression. 10:05:38 ah 10:05:38 > let 1 = 2 in 1 -- sadly, it is still just 1 10:05:40 1 10:05:48 :( 10:06:01 i cant express myself completely if i cant set 1 to 2 10:09:38 > foldl + [1..10] 10:09:39 Couldn't match expected type `(a -> b -> a) -> a -> [b] -> a' 10:09:39 again... 10:09:53 there are 2+2 lights! 10:10:11 let 2+2=5 in 2+2 10:10:20 > let 2+2=5 in 2+2 10:10:21 5 10:10:29 no.. lambdabot is wrong 10:10:40 there are 4 lights 10:10:42 hes a robot 10:10:44 he cant be wrong 10:10:50 your human 10:10:52 your wrong 10:11:31 humm 10:11:39 > let 2+2=5 in 2+3 10:11:40 *Exception: :3:4-8: Non-exhaustive patterns in function + 10:11:52 -!- cswords__ has quit (Read error: Connection reset by peer). 10:12:12 i agree lambdabot 10:12:21 > let 2+2=5 in 1+3 10:12:21 itidus is wrong 10:12:22 *Exception: :3:4-8: Non-exhaustive patterns in function + 10:12:35 > 'a' 10:12:36 'a' 10:12:42 > 'a' + 1 10:12:43 No instance for (GHC.Num.Num GHC.Types.Char) 10:12:43 arising from the literal `1... 10:13:04 > let 2+2=5 in 4 10:13:06 4 10:13:25 > chr $ ord 'a' + 1 10:13:26 'b' 10:13:48 > let 2+2=5 in 5-1 10:13:49 4 10:14:19 > (chr . (+1) . ord) 'a' 10:14:21 'b' 10:14:27 don't mind me. i don't know haskell and i'm extremely bored 10:14:42 -!- cswords__ has joined. 10:14:42 thats oke 10:14:44 same here 10:14:47 yay 10:15:03 -!- derdon has joined. 10:15:06 > map (chr.(+1).ord) "Same here" 10:15:06 > succ 'a' 10:15:08 can't find file: L.hs 10:15:09 "Tbnf!ifsf" 10:15:22 That was a confusion. 10:15:25 > succ 'a' 10:15:26 'b' 10:15:31 ooh nice 10:15:40 map succ "Same here" 10:15:45 > map succ "Same here" 10:15:46 "Tbnf!ifsf" 10:15:48 Works for any Enum. 10:15:53 :t succ 10:15:53 > succ succ 'a' 10:15:54 forall a. (Enum a) => a -> a 10:15:54 No instance for (GHC.Enum.Enum (GHC.Types.Char -> GHC.Types.Char)) 10:15:54 arisi... 10:16:18 > succ succ succ 'a' 10:16:19 No instance for (GHC.Enum.Enum (GHC.Types.Char -> GHC.Types.Char)) 10:16:19 arisi... 10:16:28 > succ . succ . succ $ 'a' -- keep on sucking. 10:16:29 'd' 10:16:41 ah 10:16:50 > iterate succ 'a' !! 10 10:16:51 'k' 10:17:01 Deewiant: So efficient. 10:17:19 > let twice f = f . f in twice succ 'a' 10:17:21 'c' 10:17:26 > ['a'..] !! 10 10:17:27 'k' 10:17:52 > 'k' 10:17:53 'k' 10:18:30 > k 10:18:31 k 10:18:40 > let power f n = f . f . f .. n in power succ 10 'a' 10:18:41 : parse error on input `..' 10:18:44 how to do this? 10:18:45 >'k' 10:19:56 > [1..] 10:19:57 [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28... 10:20:14 > succ (maxBound :: Char) -- TO OUTER LIMITS ... AND BEYOND 10:20:15 *Exception: Prelude.Enum.Char.succ: bad argument 10:20:17 Aw. 10:20:25 > Haskell Curry 10:20:26 Not in scope: data constructor `Haskell'Not in scope: data constructor `Cur... 10:20:27 :( 10:20:39 > i am awesome 10:20:40 > chr . (+1) . ord $ '\x10ffff' 10:20:41 Not in scope: `am'Not in scope: `awesome' 10:20:43 *Exception: Prelude.chr: bad argument: 1114112 10:21:55 Deewiant: \x110000 is the name of the $deity. 10:22:30 > '\x110000' 10:22:31 : 10:22:31 lexical error in string/character literal at chara... 10:22:51 > let power f n r = if n == 1 then r else power f (n-1) (f . r) 10:22:52 not an expression: `let power f n r = if n == 1 then r else power f (n-1) (... 10:23:18 > let power f n r = if n == 1 then r else power f (n-1) (f . r) in power succ 10 () 'a' 10:23:19 Couldn't match expected type `f a' against inferred type `()' 10:23:30 > let power f n r = if n == 1 then r else power f (n-1) (f . r) in power succ 10 succ 'a' 10:23:32 'k' 10:23:35 > unsafeCoerce 0x110000 :: Char 10:23:35 Not in scope: `unsafeCoerce' 10:23:45 '\1114112' 10:24:55 > map (chr . (ord 'A' + ) . ord) "Albert" 10:24:56 "\130\173\163\166\179\181" 10:25:24 Deewiant: Haskell is just not good enough to express it. 10:25:52 > map (1+) [1..] 10:25:53 [2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,2... 10:26:13 this lambdabot is a clever fella 10:26:33 What language is that 10:26:36 Haskell 10:26:39 I'm just kidding 10:26:46 ITS NOT FUNNY 10:27:27 > let "hes just kidding" = "ok" in "hes just kidding" 10:27:28 "hes just kidding" 10:28:12 > i = 5 10:28:13 : parse error on input `=' 10:28:23 > let i = 5 10:28:24 not an expression: `let i = 5' 10:28:31 > global i = 5 10:28:32 : parse error on input `=' 10:28:34 pff 10:29:45 > "I" > "You" 10:29:46 False 10:29:49 0.o 10:29:51 damn 10:30:35 > "Albert" `max` "lambdabot" 10:30:36 "lambdabot" 10:30:42 lambdabot: hey 10:31:06 @vixen hey 10:31:06 This is a great day for France! 10:31:06 A proud bot. 10:31:48 I wish I had a lambdabot, I would take her to the park. 10:32:01 fungot: What do you think of your fellow bot? 10:32:01 fizzie: dd does binary doesn't it? :) fnord je? :) taken me all night to watch this show!" 10:32:15 Uh... 10:33:48 -!- labbekak has left. 11:08:34 -!- Frooxius|TabletP has joined. 11:20:29 -!- labbekak has joined. 11:20:37 -!- _niels has joined. 11:20:45 _niels: hey! 11:20:49 > 1+ 1 11:20:50 2 11:21:22 _niels: try it out 11:22:13 <_niels> > reverse "trebla olleh" 11:22:14 "hello albert" 11:22:19 :D 11:22:55 > (succ . reverse) "slein olleh" 11:22:55 -!- DHeadshot has quit (Read error: Connection reset by peer). 11:22:56 No instance for (GHC.Enum.Enum [GHC.Types.Char]) 11:22:56 arising from a use of `... 11:22:59 -!- DH____ has joined. 11:24:06 > let 1+1=2 in 1+1 11:24:07 2 11:24:41 > let 1+1=3 in 1+1 11:24:42 3 11:24:55 -!- labbekak has left. 11:25:20 -!- Taneb has joined. 11:26:17 Taneb: You've been talked to. 11:26:22 Hello! 11:26:23 Aaah! 11:26:27 @messags? 11:26:27 Sorry, no messages today. 11:26:34 That typo works!? 11:26:38 08:26 Taneb: Read the document for MonadLogic for some information about >>- it is a fair junction or something like that; fair ["Hello", "World"] = "HWeolrllod"; fair ["Hello", "World", "12345"] = "HWe1lol2or3l4d5" 11:26:41 -!- _niels has quit (Ping timeout: 245 seconds). 11:26:43 08:26 So it is something like join but using a different order 11:27:01 The regular sort of talked to, not via the bot. 11:27:19 FSVO of talked to 11:28:16 Also regular 11:37:42 -!- Frooxius|TabletP has quit (Read error: Connection reset by peer). 11:38:43 Thanks, past zzo38! 11:38:54 -!- Frooxius|TabletP has joined. 11:44:11 The once and future zzo38. (I don't recall what that references.) 11:44:30 Arthurian mythology 11:44:37 King Arthur, the once and future king 11:44:39 I think 11:44:55 Yes, I think so too, though I believe via something else. 11:48:49 -!- boily has joined. 11:59:40 -!- Frooxius|TabletP has quit (Read error: Connection reset by peer). 12:00:14 -!- Frooxius|TabletP has joined. 12:04:59 It was a short story by someone, I think 12:07:53 -!- david_werecat has joined. 12:15:22 -!- Taneb has quit (Quit: TANEB AWAY!). 12:18:48 -!- Frooxius|TabletP has quit (Read error: Connection reset by peer). 12:29:09 -!- sebbu3 has changed nick to sebbu. 12:30:08 -!- TeruFSX has quit (Read error: Connection reset by peer). 12:54:13 -!- DH____ has quit (Read error: Connection reset by peer). 12:54:17 -!- DHeadshot has joined. 13:04:11 -!- oerjan has joined. 13:06:09 -!- Taneb has joined. 13:06:10 Hello! 13:06:21 hi 13:06:28 -!- Patashu has quit (Ping timeout: 252 seconds). 13:07:25 hi! 13:07:25 boily: You have 1 new message. '/msg lambdabot @messages' to read it. 13:17:22 -!- oerjan has quit (Quit: leaving). 13:35:29 -!- DHeadshot has quit (Read error: Connection reset by peer). 13:35:46 -!- DHeadshot has joined. 13:47:49 -!- DHeadshot has quit (Read error: Connection reset by peer). 14:23:44 -!- sebbu2 has joined. 14:23:45 -!- sebbu2 has quit (Changing host). 14:23:45 -!- sebbu2 has joined. 14:26:49 -!- sebbu has quit (Ping timeout: 245 seconds). 14:30:24 -!- sebbu2 has changed nick to sebbu. 14:45:27 -!- Frooxius|TabletP has joined. 14:45:37 -!- Frooxius|TabletP has quit (Read error: Connection reset by peer). 15:21:16 -!- elliott has joined. 15:31:14 -!- nooga has quit (Quit: Lost terminal). 15:58:14 hi 15:58:15 elliott: You have 7 new messages. '/msg lambdabot @messages' to read them. 16:02:03 @tell elliott And now you have 8. 16:02:03 Consider it noted. 16:02:38 hi 16:02:39 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 16:02:41 wrong!!!! 16:06:15 :'( 16:18:04 -!- Taneb has quit (Ping timeout: 245 seconds). 16:29:55 -!- Phantom__Hoover has joined. 16:31:55 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 16:43:16 -!- derdon has quit (Remote host closed the connection). 17:17:51 -!- DHeadshot has joined. 17:19:41 -!- Taneb has joined. 17:49:35 -!- ais523 has joined. 18:28:32 Hello 18:28:40 I've just realised I am unable to program in C 18:29:44 -!- DHeadshot has quit (Ping timeout: 245 seconds). 18:30:01 -!- DHeadshot has joined. 18:30:09 -!- sebbu2 has joined. 18:30:09 -!- sebbu2 has quit (Changing host). 18:30:09 -!- sebbu2 has joined. 18:30:14 -!- nortti_ has joined. 18:33:22 -!- sebbu has quit (Ping timeout: 260 seconds). 18:38:39 Taneb: do you see this as a problem? 18:38:54 I see it as a mild annoyance 18:39:17 It means I'm not going to win the IOCCC any time soon 18:40:35 #1 reason to program in C, obviously. 18:40:41 Definitely 18:45:43 I kind of hate VXJunkies, because it traps people who think it's real 18:46:06 what is it 18:46:22 http://www.reddit.com/r/VXJunkies 18:46:26 does not help 18:47:10 http://www.reddit.com/r/VXJunkies/comments/rt7pa/new_to_vx_help/ 18:47:26 this just in: Sgeo__ "hates jokes; they're misleading" 18:47:52 so this is just 18:47:54 fake science? 18:48:02 I more hate not actually explaining the joke to people who don't get it and think it's real 18:48:20 kmc, fake ... some sort of principle machines 18:48:39 The FAQ http://www.reddit.com/r/VXJunkies/comments/ewihz/ 18:50:17 hmm, time for an "am I crazy or not" question: reducing the number of bugs Splint finds in my code by finding false positives and patching Splint to detect them correctly 18:50:20 Sent two messages to people in that subreddit who may have thought it was real 18:50:59 ais523, would these be general use patches or would their general use result in false negatives? 18:51:22 they're meant to be general use, although (obviously) might be buggy 18:51:44 amazingly, I managed to get two false positives in the same line 18:52:04 yay. got staticaly linked sash to work. 18:53:16 /* at file scope */ typedef /*@dependent@*/ int* dependentint_p; static dependent_int global_array_of_dependent_ints[10]; /*@dependent@*/ int *foo(void) {return global_array_of_dependent_ints[5];} 18:53:46 the bugs were a) it was checking to see if the global was owned, rather than owned /or/ dependent; b) it was checking the annotation on the array itself, rather than the array's elements 18:54:09 meanwhile, I have replaced a bunch of for loops with do-while loops because Splint is a little braindead with respect to loops 18:54:38 -!- Wallabee has joined. 18:55:09 `?welcome Wallabee 18:55:12 â€‹/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?welcome: not found 18:55:20 `welcome Wallabee 18:55:23 Wallabee: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 18:55:56 hmm, dreadnaught is now beating everything but counterpoke? ouch 18:56:02 looks like I made counterpoke just in time 18:58:55 -!- Wallabee has left. 19:10:10