00:06:09 -!- Lyka|Away has changed nick to Lyka. 00:10:22 so, magic 8-ball program came out to 2131 commands. 00:11:23 each command being exactly 4 characters 00:12:05 and i don't understand a word of it 00:13:53 sounds like magic 00:15:18 the three-command structure A1??C210M+00 is very common 00:15:43 the ?? being a byte in hex 00:16:05 knowing that, take a guess what it does... 00:16:37 i mean, what it is for 00:17:58 yeah, it has to do with memory. 00:19:22 store ?? in var 1, copy var 1 to t-memory location contained in var 0, increment var 0 by one 00:19:48 i used a shell script i made to generate most of this 00:21:34 at most 24 of the 2131 commands used involve things other than storing 8-ball answers to memory 00:22:45 21*32*3 is the amount of pure "if command is run, copy something into memory" 00:23:29 2016 of 2131 00:23:33 is that 00:24:29 it only uses 32 bytes of t-memory 00:25:06 (20 answers, one info screen, 16x2 lcd) 00:27:35 question: as i need an assignment, give me a complex program idea to make that can use only a 16x2 character-only lcd and 5 buttons that are multiplexed so that only one can be pressed at any time 00:28:42 that's not a very large screen 00:29:41 these are arduino unos with lcd keypad shields and with programs being run directly from sd 00:30:38 4 bytes of command buffering in the programming language i designed to be interpreted 00:30:54 A side-scroller where you move in four directions and shoot a gun 00:31:45 side scroller with a 2-line-high display, no custom chars? 00:32:34 32 1-byte vars/active function, 256-byte global array 00:32:36 dammit google why are you showing only the norwegian wikipedia result 00:34:33 i am wondering if that screen would be just large enough for backgammon 00:34:48 hmm...i can modify the interpreter to allow for a 3x1 grid as an alternate mode for each character point on the screen 00:35:02 so 16x6 00:35:26 if all points are in graphis mode 00:35:45 i've done thins like this before 00:37:20 8 max custom chars on the device, but the interpeter i wrote doesn't yet have the commands to configure them 00:38:53 20x14 graphics display and 12x8 text display side by side is the best i can do 00:40:37 5x7 chars with a single pixel width between each pixel 00:42:16 (i mean backgammon with numbers showing field contents) 00:42:24 might actually be able to do a rogue-like game 00:43:44 the system can run up to five different games on a card (five buttons) so i will try for both backgammon and rogue-ike 00:43:47 ais523: I bet the people in #esoteric would love BF Joust. 00:44:05 tswett: I was hoping so, but they aren't interested in it today 00:44:08 at least some of them aren't 00:44:10 are you? 00:44:26 brb 00:44:27 Sorta. I want to write a Haskell EDSL for creating BF Joust programs. 00:44:32 ah right 00:44:42 I'm in a NetHack tournament right now 00:44:54 but when I'm less busy I'll be happy to give anyone who cares strategy advice 01:00:40 there is going to be so little memory left for non-global variables on my arduino uno that i hope the new version of the interpreter will actually start 01:00:57 let alone run 01:12:13 So Norwegian has two written forms, aye? Bokmal and Nynorsk. 01:12:37 Are they different orthographies, with different spelling and pronunciation rules? 01:13:29 Presumably the syntax and vocabulary are pretty much identical. I think I saw on Wikipedia that there are a few suffixes where the Bokmal and Nynorsk equivalents look completely different. 01:14:02 And those, I assume, would just be considered different spellings and pronunciations of the same affixes. 01:16:35 If you're writing down actual speech, do you use the forms typical of the written form you're using, or the forms that the person actually said? 01:16:43 given the 'bok' meaning book, I assume it is similar to the way the KJV of the bible has thou and thee and didst etc. 01:18:11 except that people don't write new books in 16c english 01:18:35 but they could, if they wanted to 01:19:53 or are you saying that people also speak bokmål? 01:23:29 hmm... according to wikipedia, nynorsk is the minority lect 01:24:25 http://en.wikipedia.org/wiki/Norwegian_language_conflict 01:29:51 -!- ZombieAlive has quit (Remote host closed the connection). 01:31:39 -!- ZombieAlive has joined. 01:45:28 tswett: no, it's not just orthography. and technically pronunciation is not defined by the standards. 01:45:32 Ooh! where=hvor why=hvorfor -> like shakespearian english 'wherefore' 01:46:34 there is plenty of vocabulary that would only be used in one of the forms, although some of it may gradually be becoming archaic. 01:48:06 If you're writing down actual speech, do you use the forms typical of the written form you're using, or the forms that the person actually said? <-- usually but not always the former. 01:48:44 e.g. humor books might frequently try and write dialect. 01:49:05 *to 01:49:36 'try and write' is perfectly grammatical in english 01:49:53 And those, I assume, would just be considered different spellings and pronunciations of the same affixes. <-- i doubt that, if they really look completely different rather than being obvious cognates 01:52:19 or are you saying that people also speak bokmål? <-- you could say some people are closer to it, like western parts of oslo and some other cities. 01:54:33 there are some differences in grammar, some differences in usage (e.g. -s possessive suffix is deprecated in nynorsk) 01:55:32 oren: to vs. and is a sore point in norwegian, because they are å vs. og, identically pronounced. 02:00:56 Ooh, I just thought of an extremely small unit of money. 02:01:31 Namely: the cost of an amount of computing power equal to that performed by one transistor in one clock cycle. 02:01:53 um. so the g is silent? 02:02:50 oren: yeah, final g often is. 02:03:03 -!- MDude has changed nick to MDream. 02:03:58 tswett: it's so small that it costs more than it to account for it... 02:04:16 Yes, certainly. 02:05:00 sounds good. let's use it to break capitalism. 02:05:34 Maybe this unit is about one zeptocent. 02:06:27 so it's essentially the cost of one nand operation from two bits to one 02:06:34 When is the phrase "astronomically large" going to be replaced with "computer scientifically large"? 02:07:32 tswett: the latter sounds _very_ vague in comparison. 02:07:33 when we break down the earth to build a computer out of it 02:08:05 "astronomically large" has a much lower upper bound. 02:08:16 True. 02:08:35 Although, I think a computer made mostly of iron like the earth would have to be a mechanical one 02:08:37 In a certain way, a microsecond is "computer scientifically large". 02:09:08 Are we going to keep the earth as one big ball or are we going to break it up into lots of tiny pieces? 02:09:17 If we keep it as a ball, cooling could be a major problem. 02:09:41 Hmm maybe a large disc? 02:09:57 the ultimate hard disk 02:11:30 -!- GeekDude has changed nick to }{FISH}. 02:12:10 hm engineering problem 02:12:44 oh hm 02:13:01 probably want it distributed around the sun any way, to catch all the energy. 02:15:22 *- 02:28:03 so, in order to make sure that the arduino sketch would run, i almost made the interpreter incompatible with one of my demo programs 02:52:01 -!- copumpkin has joined. 03:04:59 -!- nys has quit (Quit: quit). 03:15:45 How to play poker with self-modifying rules? 04:00:19 re-added calling funtions from inside functions. 04:01:09 but, for stability's sake, you only have a depth of 3 (not inclding the main) 04:02:09 cause this arduino uno is dangerously low on ram 04:07:57 anyone want me to upload the Octopus 0005b language reference to my server? 04:13:58 -!- password2 has joined. 04:17:35 -!- }{FISH} has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:19:06 -!- tromp has quit. 04:24:38 Yes 04:24:47 I want to see the instructions 04:31:03 -!- tromp has joined. 04:35:15 I added support for vector synthesis into AmigaMML (with two or four sounds, but only supports using an envelope; it doesn't support a joystick) but I do not have any instrument of vector synthesis do you have some? 04:48:32 no 04:48:44 i don't thin i do 04:50:35 zzo38: https://dl.dropboxusercontent.com/u/98841263/octopus%20language/octopus_0005b_lcd1602_keypad_sd%20commands.pdf 04:51:10 zzo38: it's on my dropbox instead of my server because it's gonna be obsolete by the afternoon 04:53:20 Do you have a .txt or only .pdf? 04:53:53 -!- Elronnd|deminewt has changed nick to root. 04:54:02 -!- root has changed nick to Elronnd|deminewt. 04:55:42 text isn't formatted as well, but i'll get it in a second 04:56:48 I don't need it now since I already looked 04:57:00 But, later on when you post final documentation, maybe you should make .txt 04:57:19 this ain't anywhere close to final 04:58:12 i go ocd on both command listings and command fixings 04:59:42 does it look any good to you so far? 05:00:16 I think so 05:00:49 i have to put bitwise operations in 05:02:05 Yes 05:02:15 i'm working on graphics at the moment 05:02:56 i mean, the graphics capbility of a 16x2 "text-only" display 05:06:39 8 custom characters gives me a little room to draw 05:09:57 How big are the tiles? 05:10:08 -!- zadock has joined. 05:10:08 5x8 05:10:37 tiles are seperated by a space 1 pixel wide 05:12:21 -!- oerjan has quit (Quit: bebepating). 05:15:28 i have to wake myself up enough to gt up and turn the light off 05:17:20 brb 05:23:35 back 05:24:40 * Lyka coughs up all over the channel 05:25:09 24 hour nasacort only lasts for 16 05:27:14 -!- hilquias has quit (Remote host closed the connection). 05:32:30 -!- tromp has quit (Remote host closed the connection). 05:35:30 -!- clog has quit (Ping timeout: 258 seconds). 05:45:04 -!- oren has quit (Remote host closed the connection). 05:49:10 -!- password2 has quit (Ping timeout: 265 seconds). 05:53:39 -!- constant has quit (Ping timeout: 264 seconds). 05:54:12 -!- APic has changed nick to APic\splat. 06:02:43 -!- variable has joined. 06:06:32 -!- zadock has quit (Quit: Leaving). 06:09:04 -!- J_A_Work has joined. 06:14:37 -!- rdococ has joined. 06:14:44 hai 06:19:59 -!- ZombieAlive has quit (Remote host closed the connection). 06:20:53 -!- J_A_Work has quit (Quit: J_A_Work). 06:22:31 -!- J_A_Work has joined. 06:25:22 * Sgeo is again nostalgic about himself 06:30:17 * Lyka is too tired to close her eyes 06:30:29 *his eyes 06:32:44 -!- Lyka has changed nick to Lyka|Away. 06:39:18 -!- oren has joined. 06:41:51 -!- variable has changed nick to constant. 06:43:07 -!- J_A_Work has left. 06:55:37 -!- constant has quit (Ping timeout: 276 seconds). 06:56:57 -!- rdococ has left. 07:00:44 -!- Herbalist has quit (Read error: Connection reset by peer). 07:03:35 -!- Herbalist has joined. 07:07:55 fungot: morning 07:07:56 mroman_: and it was 07:08:28 fungot: was...? 07:08:28 mroman_: the text color is ..well... touching. it has to do with the semantics i have now has an elisp module system really needs better documentation and probably an easier way to convert 2d objects into 3d objects. 07:20:52 -!- tromp has joined. 07:20:53 Good afternoon, fungot 07:20:54 Jafet: although i've always used ghost for kicking my own fnord code golf. more formal. challenges organized, hidden input/ output 07:26:07 -!- tromp has quit (Ping timeout: 246 seconds). 07:28:02 I had idea to make up the "travel computer", with a monochrome display of 80x25 tiles, with 8x8 pixels per tile, and with simple tone generator, radio receiver, alarm, CF card, wired and wireless internet, infrared, and Forth. Smaller than a laptop computer, such as perhaps 8x11 inches when closed? I don't quite know, but I have some ideas 07:28:45 Kudos. 07:28:59 (The other program to built-in, other than Forth, is a VT100 terminal emulator, and perhaps network connection setup and a telnet and/or SSH client.) 07:32:16 -!- clog has joined. 07:32:21 I thought of to have a character generator ROM with 127 tiles where 0-30 are VT100 character graphics, and that 31 and 32 are arrows. The character cell can have bit7 indicate reverse video and bit6-bit0 indicate which tile. Each row can also have perhaps 4-bits tell you the mode, such as double height, double width, underline/reverse/blink, pixels mode (therefore you can make 2x4 graphics per cell in that row) 07:32:35 What is your opinions/ideas too? 07:35:35 Good morning 07:51:49 -!- zadock has joined. 07:53:36 -!- zadock has quit (Remote host closed the connection). 07:56:46 -!- f|`-`|f_ has quit (Ping timeout: 265 seconds). 08:15:50 -!- f|`-`|f has joined. 08:17:48 -!- f|`-`|f has quit (Client Quit). 08:28:29 ok 08:37:46 -!- Patashu has joined. 08:47:22 -!- spiette has quit (Ping timeout: 264 seconds). 08:55:22 -!- zadock has joined. 09:34:14 -!- tromp has joined. 09:38:47 -!- tromp has quit (Ping timeout: 255 seconds). 10:12:46 -!- J_A_Work has joined. 10:18:26 -!- heroux has quit (Ping timeout: 245 seconds). 10:18:49 -!- J_A_Work has left. 10:20:09 -!- gniourf has quit (Ping timeout: 250 seconds). 10:32:01 -!- zadock has quit (Quit: Leaving). 10:32:27 -!- boily has joined. 10:35:20 -!- gniourf has joined. 10:38:05 -!- augur_ has joined. 10:38:21 -!- augur has quit (Read error: Connection reset by peer). 10:39:44 -!- nortti_ has joined. 10:39:46 -!- monotone_ has joined. 10:42:12 -!- Tefaj has joined. 10:42:21 -!- nortti has quit (Ping timeout: 258 seconds). 10:42:21 -!- monotone has quit (Read error: Connection reset by peer). 10:42:21 -!- Jafet has quit (Ping timeout: 258 seconds). 10:49:28 -!- J_A_Work has joined. 11:18:40 -!- Phantom_Hoover has joined. 11:23:08 -!- tromp has joined. 11:27:24 -!- boily has quit (Quit: GHOSTLY CHICKEN). 11:27:59 -!- tromp has quit (Ping timeout: 265 seconds). 11:33:54 Spectral chicken 11:34:06 -!- Tefaj has changed nick to Jafet. 11:35:10 Hmm, spectral is an inflection of two words 11:43:58 ? 11:45:43 @wn spectral 11:45:45 *** "spectral" wn "WordNet (r) 3.0 (2006)" 11:45:45 spectral 11:45:45 adj 1: of or relating to a spectrum; "spectral colors"; 11:45:45 "spectral analysis" 11:45:45 2: resembling or characteristic of a phantom; "a ghostly face at 11:45:47 [4 @more lines] 11:47:38 Oooh 11:47:42 Spectrum and spectre? 11:50:21 I only realised the more common meaning afterward 11:56:36 -!- gde33 has quit (Read error: Connection reset by peer). 12:11:14 -!- f|`-`|f has joined. 12:11:33 -!- Patashu has quit (Ping timeout: 265 seconds). 12:12:31 -!- monotone_ has changed nick to polytone. 12:23:55 -!- tromp has joined. 12:28:40 -!- tromp has quit (Ping timeout: 256 seconds). 12:41:09 -!- Tritonio_ has joined. 12:41:45 -!- Tritonio has quit (Ping timeout: 252 seconds). 12:42:40 -!- tromp has joined. 12:45:20 -!- Tritonio_ has changed nick to Tritonio. 12:49:26 -!- Wright has joined. 12:49:26 -!- Wright__ has quit (Read error: Connection reset by peer). 12:53:19 -!- Lyka|Away has changed nick to Lyka. 12:53:30 hi 12:57:55 -!- gde33 has joined. 13:00:14 -!- SopaXT has joined. 13:05:57 -!- SopaXT has quit (Remote host closed the connection). 13:14:45 -!- nortti_ has changed nick to nortti. 13:15:49 -!- Tritonio has quit (Remote host closed the connection). 13:17:05 -!- Tritonio has joined. 13:25:38 -!- Tritonio has quit (Remote host closed the connection). 13:25:55 -!- Tritonio has joined. 13:32:39 -!- hilquias has joined. 13:36:20 -!- `^_^v has joined. 13:39:27 -!- GeekDude has joined. 13:41:43 -!- MDream has changed nick to MDude. 13:49:50 -!- Tritonio has quit (Remote host closed the connection). 13:50:04 -!- Tritonio has joined. 13:58:47 -!- J_A_Work has quit (Remote host closed the connection). 14:09:39 -!- Sprocklem has quit (Ping timeout: 246 seconds). 14:40:09 -!- Sprocklem has joined. 14:48:37 http://www.furaffinity.net/view/5207303/ - well ain't this Finnish. 14:52:48 Oh look, another one: http://hantwolf.deviantart.com/art/Lion-of-Finland-272341242 14:54:49 > furaffinity 14:54:51 Not in scope: ‘furaffinity’ 14:54:53 that link is staying blue 14:55:02 also lol lambdabot 15:02:46 @botsnack 15:02:46 :) 15:05:58 -!- SopaXT has joined. 15:15:02 Hey, it's totally SFW. 15:27:16 -!- rdococ has joined. 15:30:03 -!- ais523 has quit (Ping timeout: 252 seconds). 15:41:39 -!- spiette has joined. 15:43:58 -!- SopaXT has quit (Ping timeout: 240 seconds). 15:46:53 -!- lleu has joined. 16:09:51 -!- dario_ has joined. 16:14:13 -!- dario_ has quit (Quit: Ex-Chat). 16:24:01 -!- Welo has joined. 16:24:52 good morning 16:29:49 @localtime oren 16:29:50 Local time for oren is Mon Jun 1 12:31:13 2015 16:29:58 I do not think it is morning for you 16:30:04 It is certainly not morning for me 16:31:38 Given that there could be up to ~20 humans in here, there is a fair chance that it is morning for somebody 16:32:00 tswett: http://media.indiedb.com/cache/images/groups/1/1/84/thumb_620x2000/1187025029_Suffer_Not_the_Furry_to_Live_Desu.jpg 16:36:29 -!- password2 has joined. 16:37:42 -!- heroux has joined. 16:43:12 -!- Welo has quit (Ping timeout: 276 seconds). 16:49:21 so, um...how much can you do with a 20x16 pixel grid again? 16:51:54 plus a 12x2 char grid next to it 16:56:20 -!- rdococ has left. 16:59:26 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:07:07 -!- variable has joined. 17:11:28 -!- rdococ has joined. 17:16:56 -!- G33kDude has joined. 17:17:06 What character are builtin? 17:17:51 -!- GeekDude has quit (Ping timeout: 252 seconds). 17:17:55 -!- G33kDude has changed nick to GeekDude. 17:19:41 -!- Herbalist has quit (Read error: Connection reset by peer). 17:19:52 -!- Tritonio has quit (Remote host closed the connection). 17:20:28 -!- Herbalist has joined. 17:20:53 -!- Welo has joined. 17:38:06 -!- sebbu2 has changed nick to sebbu. 17:42:30 -!- zzo38 has quit (Remote host closed the connection). 17:50:53 -!- bb010g has joined. 17:57:53 -!- Sprocklem has quit (Ping timeout: 256 seconds). 17:57:57 Help I have written the line of code "hundred = (\f -> f . f . f . f) . (\f -> f . f . f . f . f) . (\f -> f . f . f . f . f)" 17:58:09 In what language? 17:58:50 Haskell 17:59:12 -!- hilquias` has joined. 17:59:57 Taneb: hundred = (\f -> f . f) . (\f -> f . f) . (\f -> f . f . f . f . f) . (\f -> f . f . f . f . f) hth 18:00:16 shachaf, not keen 18:00:59 -!- hilquias has quit (Ping timeout: 255 seconds). 18:01:48 Taneb: (\f g -> f . f . g . g) (\f -> f . f) (\f -> f . f . f . f . f) 18:02:00 olsner, oooh 18:02:19 whoa, it's olsner 18:04:12 yep, it's me! 18:07:59 -!- ZombieAlive has joined. 18:14:06 Taneb: I recommend a loop instead 18:14:34 good point 18:15:07 hundred f z = iterate f z !! 100 18:19:05 Eh, that sounds lame 18:19:26 or construct a lambda containing a loop 18:19:30 yes, that's definitely lame 18:38:35 shachaf: is that really a loop? 18:38:57 What is a loop? 18:39:35 shachaf: Repeat a series of steps until a bound has been reached 18:39:39 Or a condition is true 18:40:02 you're not the boss of me 18:42:26 -!- Elronnd|deminewt has changed nick to Dan_Maku. 18:42:30 -!- Dan_Maku has changed nick to Elronnd. 18:44:43 -!- zzo38 has joined. 18:48:49 hundred = (\f -> (let q = (\x f n -> if n == 0 then x else (q (f x 18:49:13 hundred = (\f -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1)))) 18:49:42 I have no idea whether you can do anythign similar to the above 18:50:07 hundred = (\f x -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1))) x f 100) 18:52:33 hundred = (\f x -> (let q = (\x f n -> if n == 0 then x else (q (f x) (n - 1)))) x f 100) 18:56:24 does anyone understand my haskell-racket pidgin thingy or should I figure out how to do this correctly 19:02:11 -!- nys has joined. 19:04:50 ghci is such a scow, why is its syntax different from a .has file 19:07:29 hundred :: (Int -> Int) -> (Int -> Int) --works fine in a file, not on the prompt. 19:07:52 let hundred :: (a -> a) -> a -> a; hundred = ... 19:08:37 ghci's syntax is somewhat similar to a do block 19:08:40 except not exactly 19:17:33 hey, that wasn't too difficult! 19:17:37 let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) 19:18:27 yay for learning programming languages sort of by osmosis! 19:19:22 > let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ); hundred (\x -> x + 1) 6 19:19:25 :1:158: 19:19:25 parse error (possibly incorrect indentation or mismatched brackets) 19:19:45 > let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) 19:19:47 : 19:19:47 not an expression: ‘let hundred :: (a -> a) -> a -> a; hundred f = (\x -... 19:19:56 but what's the point 19:20:20 It's a loop with tail recursion 19:20:21 you're using general recursion and you're not reusing library functions and it's longer 19:20:53 and tail recursion is scow anyway 19:22:17 > let hundred :: (a -> a) -> a -> a; hundred f = (\x -> (let q = (\f x n -> if n == 0 then x else (q f (f x) (n - 1))) in q f x 100) ) in hundred (\x -> x + 1) 6 19:22:19 106 19:22:41 heh. evereyone's probably seem this already, but monads in Factor: http://gitweb.factorcode.org/gitweb.cgi?p=factor;a=blob;f=extra/monads/monads.factor;hb=HEAD 19:24:27 -!- hjulle has joined. 19:27:41 -!- rdococ has left. 19:29:38 Factor looks slightly insane. 19:30:57 monads moproblems 19:31:41 -!- Welo has quit (Ping timeout: 252 seconds). 19:32:50 It looks like someone sat down and said "Well, Forth is nice, but what if we grafted some Lisp in there too." 19:34:41 The way of explain use of monad is like with list comprehension. Lists you can easily explain fmap/return/join, and then you can see also bind is working, and then how it is working IO monads too. For example in Python you can have [(x, y) for x in [1,2,3] for y in [3,1,4] if x != y] and in Haskell do-notation you can write (do { x <- [1,2,3]; y <- [3,1,4]; guard (x /= y); return (x, y); }) and you come up the same answer. That is how you should exp 19:39:54 zzo38: This is similar to one of my few light-bulb moments in monads so far: I write a pure-functional for-loop in Lisp, the end result of which is at least similar. 19:40:49 -!- Herbalist has quit (Read error: Connection reset by peer). 19:41:19 -!- Herbalist has joined. 19:41:33 > do { x <- [1,2,3]; y <- [3,1,4]; guard (x /= y); return (x, y); } 19:41:35 [(1,3),(1,4),(2,3),(2,1),(2,4),(3,1),(3,4)] 19:44:33 To help properly track optimized code without the output disabling the optimization: int traceprint(struct {char s[20]} X) __attribute__ ((const)) {puts(X.s);} 19:45:18 Basically it's a print function that pretends it's pure 19:45:30 um 19:45:59 To help properly track optimized code without the output disabling the optimization: int traceprint(struct {char s[20]} X) __attribute__ ((const)) {puts(X.s); return 0;} 19:46:06 Whoops 19:48:23 This helps when optimized code assumes that it can call a function less times than as written, but you're still trying to trace a bug. Adding a puts("crap"); would cause GCC to disable the optimization because now the number of times the function is called matters. 19:49:32 @wn debugger 19:49:33 *** "debugger" wn "WordNet (r) 3.0 (2006)" 19:49:33 debugger 19:49:33 n 1: a program that helps in locating and correcting programming 19:49:33 errors 19:50:49 oren: That sort of thing seems to be a semi-common idiom in Clojure when dealing with certain things like database inserts. 19:51:38 Create a local value, insert it in the db, then return the same, and then you can even thus use it in place somewhere else where you'd otherwise just use the value. 19:53:14 -!- Sprocklem has joined. 19:59:51 -!- Welo has joined. 20:04:50 -!- Welo has quit (Quit: Leaving). 20:25:13 -!- password2 has quit (Ping timeout: 256 seconds). 20:38:46 -!- heroux has quit (Ping timeout: 272 seconds). 20:57:48 -!- shikhin has changed nick to inspired. 20:58:14 -!- inspired has changed nick to shikhin. 21:04:54 -!- Patashu has joined. 21:10:55 -!- idris-bot has quit (Ping timeout: 245 seconds). 21:13:15 -!- Melvar has quit (Ping timeout: 252 seconds). 21:26:59 -!- Sprocklem has quit (Ping timeout: 256 seconds). 21:31:58 -!- heroux has joined. 21:34:40 -!- Patashu has quit (Ping timeout: 245 seconds). 21:37:49 -!- Melvar has joined. 21:38:18 -!- idris-bot has joined. 21:45:55 -!- `^_^v has quit (Ping timeout: 245 seconds). 21:49:37 -!- Elronnd has changed nick to |\_|\. 21:51:05 -!- |\_|\ has changed nick to Elronnd. 21:57:17 -!- oerjan has joined. 22:15:11 Have I ever mentioned my "JIT operating system" idea? 22:15:29 I feel like it could potentially be a really good idea, so I don't know why it hasn't been tried yet. 22:15:58 It's an operating system where all executable code, with some exceptions, is stored in the form of some intermediate bytecode instead of machine code. 22:16:57 Whenever you run a program, the OS runs the bytecode using JIT compilation. 22:18:23 The benefit I see is that CPU-based security and separation measures are no longer necessary. 22:18:48 Sounds like the way Android was, before the latest runtime. 22:18:51 pretty sure that's been done, at least in almost the same way 22:19:05 Programs can all run in the same address space, because the bytecode makes it impossible for one program to try to access another program's data. 22:19:15 elliott has also described that. 22:19:42 -!- MoALTz_ has joined. 22:20:28 pretty sure i thought of almost that back in the early '90s hth 22:20:57 -!- G33kDude has joined. 22:20:59 isn't that what inferno is? 22:21:11 (Although in Android's case that's not really the security model, and there's quite a lot of native code around, and anyway the current runtime is ahead-of-time compilation.) 22:21:20 even if all userspace code is run in a VM, you may want to isolate your VM instances because you will put bugs in it 22:22:32 -!- nisstyre has quit (Ping timeout: 256 seconds). 22:23:02 -!- GeekDude has quit (Read error: Connection reset by peer). 22:23:05 -!- MoALTz has quit (Ping timeout: 256 seconds). 22:23:07 oh, and iSeries (AS/400) does something like that since the 80s 22:23:10 -!- G33kDude has changed nick to GeekDude. 22:23:14 I've read about Inferno before. 22:23:15 Also I think elliott's design also had no distinction between "user mode" and "kernel mode", because it's also equally useless, if you assume no bugs. 22:25:01 Spectral chicken <-- UNITARY CHICKEN 22:25:30 Oh sweet, a training round happened. 22:25:53 The way linear algebrists keep talking about spectral things always confuses me. 22:26:13 the problem with all this is that doing it properly really requires proof verification all the way down to circuit level 22:26:13 At this rate, I should have a neural net in 300,000 seconds. 22:26:45 that's less than 100 hours! 22:26:52 if you want the OS to be safe even with drivers, you need specifications of physical devices 22:26:54 Hermitian chicken 22:26:54 -!- nisstyre has joined. 22:27:08 -!- olsner has left ("Leaving"). 22:27:16 (at least that's part of what i thought, back in the '90s) 22:27:18 -!- olsner has joined. 22:27:21 oerjan: yeah, that's something I don't want to attempt. 22:27:27 fizzie: What sort of spectral things? 22:28:12 shachaf: The spectral theorem, mainly. 22:28:24 Actually gate level verification is more mature than software, if anything 22:28:47 (I'm conditioned to think of, like, frequencies, man, when someone mentions a spectrum.) 22:29:01 (probably because Intel knows, from experience, that it's very expensive to hotfix gates.) 22:29:03 (And not about eigenvalues.) 22:29:59 Also: spectral clustering. 22:30:19 At this rate, I should have a neural net in 300,000 seconds. <-- i sense determination here 22:30:41 -!- hilquias` has quit (Remote host closed the connection). 22:31:35 Sometimes there's an audio-related paper that also involves spectral clustering (because it's used in image processing, and there is nothing they can possess which speech people cannot take away, to quote that movie). 22:31:52 fizzie: you could have invented spectral sequences hth 22:32:15 fizzie: RUN, RUN AWAY 22:32:30 And then it's like "wait, is that just garden variety clustering with spectral features or spectral clustering of something else". 22:33:54 http://www.jmlr.org/papers/volume7/bach06b/bach06b.pdf <- that seems to be segmenting a spectro[1]gram with spectral[2] clustering. 22:34:09 (Disclaimer: I couldn't bother to actually read it.) 22:37:38 going by the contents of http://www.ams.org/notices/200601/fea-chow.pdf i probably couldn't have invented spectral sequences 22:38:33 * oerjan cannot quite remember whether he ever understood what spectral sequences are. 22:38:41 Maybe it's like the "only you can prevent forest fires", which most people also cannot do. 22:38:46 but i'm pretty sure i couldn't have invented them. 22:39:22 fizzie: i'm pretty sure shachaf is alluding to the "you could have invented monads" blog post 22:39:36 (which is rather more reasonable.) 22:40:04 oerjan: i'm alluding to http://www.ams.org/notices/200601/fea-chow.pdf hth 22:40:05 oerjan: The title of the thing he linked is "You Could Have Invented Spectral Sequences", though. 22:40:09 well, maybe it's not alluding 22:40:32 If it's printed in an AMS journal, it must be true. 22:40:38 ok maybe they are alluding, then. 22:40:55 no, dan piponi was alluding to the article i linked 22:41:22 Not related, but something that got a chuckle out of me: tdwtf's "Error'd" had this: [[ For those accounts with no security question, one has automatically been assigned. If prompted, the security question is: "What was the color of your first car?" The answer is: car. ]] 22:41:26 It's nice because it's arguably kind of a tautology: all cars are car-coloured. 22:41:41 http://blog.ezyang.com/2012/02/anatomy-of-you-could-have-invented/#comment-3465 22:42:22 shachaf: shocking 22:42:36 ok maybe i missed something 22:46:25 you could have invented spectral hugs 22:47:12 you could have invented profunctors 22:47:20 -!- boily has joined. 22:47:21 i did hth 22:47:26 ;_; 22:50:56 h|!oq !y 22:57:11 b_ AAAAAAAAAAAAAAAAAAAAAAAA 22:57:57 hah! outxsampaed! 22:58:01 >:D 22:58:10 wait xsampa? 22:58:22 xsampa. 22:58:34 * oerjan never learned that. 22:58:44 * boily used the trusty table on wikipédia. 22:58:45 boily: i wasn't using xsampa hth 22:58:58 oh. what was it then twh? 23:01:11 * oerjan suggests turning your monitor upside down hth hth 23:02:47 AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH! 23:03:01 oops 23:03:12 stupid script 23:03:16 that is one impressive helloily. 23:03:40 I look at this http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ it is similar to thing I have complained about too. My opinion is that the definition of test in D.hs should be a type mismatch error. This would require changing the definition of Set though, as well as fixing Haskell to allow the new definition to work properly. 23:04:09 hungy. time to hunt for poutine. 23:04:13 -!- boily has quit (Quit: HADOPELAGIC CHICKEN). 23:04:42 @ask boily what do you think of smoke's poutinerie twh 23:04:42 Consider it noted. 23:05:02 The definition need to indicate that the type (Set x) depends on (Ord x) therefore it work. 23:05:39 And you should be able to specify which instances you would want to import too. 23:05:58 oerjan: you should turn the script off. hope that helps. 23:07:15 Wait, hang on 23:07:15 Therefore, in such example as given then specifying the type (Set U) in D.hs at all should be error because it is ambiguous which type you mean. 23:07:50 To define the n-sphere in hott you have to define all of its higher homotopies, right? 23:08:14 But higher homotopy of the n-sphere is a notoriously hard open problem, so how the hell could you even do that? 23:09:31 Another problem is that some packages define instances which are wrong and then you cannot define the correct one! 23:10:03 -!- Sprocklem has joined. 23:11:24 @tell boily NOOO don't leave i cannot interpret your xsampa even with wikipedia :( 23:11:24 Consider it noted. 23:15:12 that 0~ just doesn't fit any of the tables 23:17:52 @tell boily My two theories are: (1) you're trying to write bonsoerjan but have no idea what the phonetic symbols mean (2) you're actually using some african click language with a slight misprint on the 0 23:17:53 Consider it noted. 23:27:15 -!- variable has changed nick to constant. 23:29:10 It is EXCESSIVELY rainy here 23:30:14 @metar ENVA 23:30:14 ENVA 012250Z 25008KT 9999 FEW040 BKN060 08/03 Q1000 RMK WIND 670FT 25010KT 23:30:27 now if i knew which part was rain 23:30:32 So the first training batch took 300 seconds, but the next one took 855, and the next one 1196, and the next one 1405. 23:30:53 @metar CYYZ 23:30:53 CYYZ 012300Z 14007KT 15SM SCT055 BKN065 OVC220 13/08 A3020 RMK SC3SC4CI1 SLP229 23:31:13 > zipWith(-)`ap`tail$[300,855,1196,1405] 23:31:15 [-555,-341,-209] 23:31:20 I only see the OVC220 \ 23:31:43 > zipWith(-)`ap`tail$zipWith(-)`ap`tail$[300,855,1196,1405] 23:31:44 @metar ESSB 23:31:44 ESSB 012320Z AUTO 22005KT 9999 NCD 07/03 Q1012 23:31:45 [-214,-132] 23:32:02 Good ol' zip`ap`tail 23:32:13 @quote zip` 23:32:14 quicksilver says: zip`ap`tail - the Aztec god of consecutive numbers 23:32:30 @pl \x -> x . x 23:32:30 join (.) 23:32:37 zip ap ta eel 23:33:54 oerjan: wait, do you have a script that randomly appends " hth" to your messages? 23:34:01 I made a version of unrnfc that only reads the file through once 23:34:04 @pl join id (join id) 23:34:04 join id (join id) 23:34:13 tswett: no it removes it hth 23:34:16 @unpl join id (join id) 23:34:16 (\ f -> (\ a -> a) f f) (\ h -> (\ b -> b) h h) 23:34:37 tdh 23:34:59 i guess they fixed that bug 23:35:09 What bug was that? 23:36:08 Phantom_Hoover: defining the n-sphere in HoTT is quite easy. 23:36:41 so is it just hard to calculate what \Omega_n actually is? 23:36:52 I don't remember what \Omega is. 23:37:02 Like, what a capital omega represents. 23:37:22 I think this is a big sphere (written like Haskell): 23:37:22 tswett: in what? algo anylyss or something else? 23:37:27 tswett: @pl join id (join id) used to loop 23:38:00 data BigSphere where Base :: BigSphere; Surf :: Refl (Refl (Refl (Refl Base))) = Refl (Refl (Refl (Refl Base))) 23:38:03 oerjan *is* a script that randomly appends " hth" to his messages 23:38:11 @pl ap id id (ap id id) 23:38:14 ap id id (ap id id) 23:38:15 optimization suspended, use @pl-resume to continue. 23:38:19 oh that's the one 23:38:24 @pl-resume 23:38:30 ap id id (ap id id) 23:38:30 optimization suspended, use @pl-resume to continue. 23:38:32 tswett, capital omega is the group of loops with a given basepoint 23:38:37 http://hastebin.com/zoyejekeyu.cpp 23:38:38 (i think_ 23:38:52 Yeah, I think it is just hard to calculate what that is. 23:38:54 so it's \pi_n except more general or something 23:39:11 oerjan: maybe if you resume it one more time you'll get something 23:39:20 @pl-resume 23:39:33 ap id id (ap id id) 23:39:33 optimization suspended, use @pl-resume to continue. 23:39:39 shachaf: nope hth 23:39:48 tdnh 23:40:09 tht 23:40:34 tope his telps 23:41:07 it implements http://en.wikipedia.org/wiki/Byte_pair_encoding 23:48:27 `? category-helpdesk 23:48:27 category-helpdesk is a helpdesk with identity and composition. This channel isn't it. 23:48:30 what's this all about 23:48:53 `` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; E="${F#wisdom/}"; echo "$E"; \? "$E" 23:48:54 right \ Right is not two wrongs but three lefts. 23:49:01 i dunno, ask in the category helpdesk 23:49:15 `` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; E="${F#wisdom/}"; echo "$E"; \? "$E" 23:49:16 burlesque \ Burlesque is only the sexiest language on Earth. (See: http://mroman.ch/burlesque) 23:52:23 `` N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; echo -n "${F#wisdom/}/"; cat "$F" 23:52:24 olsner/olsner seems to exist at least. He builds all his esolangs in diesel engines. 23:52:43 `` echo 'N=$(find wisdom -type f | wc -l); F="$(find wisdom -type f | head -n $((RANDOM % N)) | tail -n1)"; echo -n "${F#wisdom/}/"; cat "$F"' > bin/wisdom; chmod +x bin/wisdom 23:52:47 No output. 23:53:24 `wisdom 23:53:24 `wisdom 23:53:24 `wisdom 23:53:25 `wisdom 23:53:26 `wisdom 23:53:27 copumpkin/copumpkin is categorically incapable of being president. 23:53:28 itidus20/itidus20's entry has been censored. 23:53:28 cat/Cats are cool, but should be illegal. 23:53:28 ​Ø/Ø escaped due to a sensitive case bug 23:53:28 résumé/résumé is a French summary. Not a curriculum vitæ. 23:53:31 oops 23:53:33 too many nicks 23:53:43 copumpkin: sorry about that hth 23:55:40 too many nicks on the dance floor 23:55:54 also what happened to itidus20's entry 23:56:03 it's been censored 23:56:22 by the way, slashlearn isn't compatible with entries that are in subdirectories 23:56:24 `run ls wisdom/iti* 23:56:26 wisdom/itidus19 \ wisdom/itidus20 \ wisdom/itidus21 23:56:34 `? itidus19 23:56:35 itidus19 disappeared into a space-time anomaly 23:56:37 `? itidus21 23:56:40 itidus21 just made some instant coffee. 23:56:43 so this will generate invalid output for them 23:57:14 `? phantom_hoover 23:57:15 Phantom Michael Hoover is a true Scotsman, hatheist, and completely out of the loop. 23:57:33 it's true 23:57:34 oh, that's why you were asking about homotopies 23:59:16 `wisdom 23:59:17 thyme/Thyme itself is only an abstract approximation of oregano.