00:08:45 -!- GeekDude has joined. 00:20:04 -!- bb010g has joined. 00:20:07 `1234567890-=qwertyuiop[]\asdfghjkl;'zxcvbnm,./~!@#$%^&*()_+QWERTYUIOP{}|ASDFGHJKL:"ZXCVBNM<>? 00:20:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/1234567890-=qwertyuiop[]\asdfghjkl;'zxcvbnm,./~!@#$%^&*()_+QWERTYUIOP{}|ASDFGHJKL:"ZXCVBNM<>?: No such file or directory 00:21:09 see. the above has... problems 00:21:40 Firstly, 0 should be to the left of the other numbers 00:23:11 Secondly, the letters on homerow are not the most common letters 00:23:57 -!- Sgeo_ has quit (Quit: Leaving). 00:24:15 -!- Sgeo has joined. 00:24:18 thirdly, ? should be the default and / should be shifted. ? is used a lot more than / in writing 00:24:49 and similarly, the [] should be where () are and vice versa 00:29:37 dvorak is thataway hth 00:32:20 /1234567890-=qwertyuiop^çàasdfghjkl;èzxcvbnm,.é\!@#$%?&*()_+QWERTYUIOP¨ÇÀASDFGHJKL:ÈZXCVBNM'"É is the Most Bestest Layout :D 00:32:53 -!- lleu has quit (Quit: That's what she said). 00:33:53 is that québécois 00:34:41 it's Canadien Multilingue Standard. 00:35:26 (technically there should be a dedicated ùÙ key, and àÀ should be to the left of the return key...) 00:36:18 |1234567890+\qwertyuiopå¨asdfghjkløæ'ZXCVBNM;:_ where i had to press space after a few dead keys hth 00:37:10 only ^¨ is dead here. other dead keys are on AltGr and ISO level 5. 00:38:18 |±@£¢¤¬{}[]½¬§¶`~}°{«»µ<>´ 00:38:20 `¨^ here 00:39:12 yeah plenty more with AltGr 00:39:18 I have a distinct lack of dead keys here. 00:40:15 1234567890qwertyuiop[]\asdfghjkl;'zxcvbnm,./!@#$%^&*()_+QWERTYUIOP{}|ASDFGHJKL:"ZXCVBNM<>? is truth 00:40:21 ¹²³¼½¾¸łœ¶ŧ←↓→øþ~æßðŋæßðŋħijĸŀ´zx¢“”ʼnµ―·­¡£¤⅜⅝⅞™¿˛ΩŁŒ®Ŧ¥↑ıØÞ°¯˘Æ§ÐªŊĦIJĿ˝ˇZX©‘’♪º×÷˙ 00:40:55 `unidecode ŊĦIJĿ 00:40:57 ​[U+014A LATIN CAPITAL LETTER ENG] [U+0126 LATIN CAPITAL LETTER H WITH STROKE] [U+0132 LATIN CAPITAL LIGATURE IJ] [U+013F LATIN CAPITAL LETTER L WITH MIDDLE DOT] 00:42:06 `unidecode ĸ 00:42:07 ​[U+0138 LATIN SMALL LETTER KRA] 00:42:24 `unicode LATIN CAPITAL LETTER KRA 00:42:25 No output. 00:42:28 hmph 00:42:58 -!- nys has joined. 00:43:01 you're expecting Unicode to be logical. this is a bad habit you should depart from. 00:43:09 nyellos! 00:43:29 nnnyello 00:43:43 do you capital letter kra? 00:44:06 What 00:47:20 -!- hilquias has joined. 01:08:48 -!- lleu has joined. 01:08:49 -!- lleu has quit (Changing host). 01:08:49 -!- lleu has joined. 01:20:14 -!- zzo38 has joined. 01:23:37 -!- pikhq has quit (Ping timeout: 272 seconds). 01:24:51 -!- lleu has quit (Quit: That's what she said). 01:34:21 -!- boily has quit (Quit: OILED CHICKEN). 02:15:01 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:25:39 -!- nys has quit (Quit: quit). 02:35:19 -!- pikhq has joined. 02:40:44 -!- gde33 has quit (Read error: Connection reset by peer). 02:41:28 -!- gde33 has joined. 02:47:07 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 03:03:13 -!- GeekDude has joined. 03:22:13 -!- lemurian has joined. 03:26:12 -!- augur has quit (Quit: Leaving...). 03:27:38 -!- password2 has joined. 03:43:18 -!- constant has quit (Ping timeout: 264 seconds). 03:48:30 -!- Herbalist has quit (Ping timeout: 256 seconds). 03:52:05 -!- GeekDude has quit (Remote host closed the connection). 04:15:02 -!- Lyka|Away has changed nick to Lyka|Phone. 04:20:14 -!- MDude has changed nick to MDream. 04:20:17 0b1_ken0b1 04:21:33 and his friend arthur ditto 04:22:36 `wisdom 04:22:37 twh/twh would help, but is an hth derivative. hth. twh. hand. 04:22:51 `wisdom 04:22:52 friendship/friendship wisdom 04:23:01 `wisdom 04:23:03 heck/Heck is where you end up if you don't believe in Gosh. 04:23:22 `? functor 04:23:23 Functors are just morphisms in the category of small categories 04:24:01 What about functors between non-small categories? 04:24:24 tricky 04:25:07 I was going to add "(small)" at the beginning, but apparently no one calls them small functors. 04:25:16 Oh well. 04:25:17 `wisdom 04:25:18 elliott/elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? He is also tire. And a lystrosaur. 04:25:29 `wisdom 04:25:30 lystrosaur/The lystrosaurs were an ancient genus of evil reptiles who successfully took over the world in the early Triassic. 04:25:42 also absent. 04:26:01 coincidence? 04:26:41 omg you're right he must have invented a time machine 04:27:32 shachaf: synchronicity hth 04:28:16 `wisdom 04:28:17 logs/I think you might mean !logs 04:28:36 what's that all about 04:28:37 `wisdom 04:28:41 fukyobrainz/fukyobrainz is yet another brainfuck derivative however with identical instructions. 04:28:54 `wisdom 04:28:58 hagb4rd/hagb4rd is one spacey fellow. Spaaaaaaaaaaaaaaace. 04:29:01 `wisdom 04:29:03 aah/aah ambiguous acronym here 04:29:16 hm that's broken 04:29:29 someone didn't slashlearn 04:29:34 `run sed -i 's/aah //' wisdom/aah 04:29:36 No output. 04:30:50 hmm 04:30:54 `` mkdir le; ln -s ../bin/learn le/rn 04:30:56 mkdir: cannot create directory `le': File exists 04:31:07 `` ls -ld le 04:31:08 drwxr-xr-x 2 5000 0 4096 Jun 5 04:32 le 04:31:25 oh, it's that bug 04:31:41 ah. 04:32:01 `le/rn le/rn may or may not work 04:32:02 ​/hackenv/le/rn: line 3: wisdom/le/rn: No such file or directory \ Learned 'le/rn': le/rn may or may not work 04:32:27 wait wat 04:32:34 oerjan: that was remarkably accurate hth 04:32:47 `le/rn le/rn may and may not work 04:32:48 ​/hackenv/le/rn: line 3: wisdom/le/rn: No such file or directory \ Learned 'le/rn': le/rn may and may not work 04:32:55 `` rm le/rn; ls -s ../bin/slashlearn le/rn 04:32:57 ls: cannot access ../bin/slashlearn: No such file or directory \ ls: cannot access le/rn: No such file or directory 04:33:10 wat 04:33:19 ok, i'll admit i'm confused 04:33:37 `le/rn le/rn may or may not work 04:33:38 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/le/rn: No such file or directory 04:33:43 hmph 04:33:50 oh, wait 04:33:51 ls -s 04:34:16 ... 04:34:18 `` ln -s ../bin/slashlearn le/rn 04:34:20 No output. 04:34:24 `le/rn le/rn may or may not work 04:34:26 Learned «le» 04:34:29 yay 04:34:31 `? le 04:34:32 `? le 04:34:33 rn may or may not work 04:34:33 rn may or may not work 04:34:43 `le/rn le/rn may and may not work 04:34:46 Learned «le» 04:34:48 -!- Lyka|Phone has changed nick to Lyka|Away. 04:35:08 ok, what was the difference? twh 04:35:34 oh, wait 04:35:43 i didn't link it to slashlearn 04:35:45 * shachaf sighs 04:36:12 `le/rn le/rn may or may not work 04:36:14 Learned «le» 04:36:38 `? le 04:36:39 rn may or may not work 04:37:13 `le/rn le/rn seems to be working rn but it didn't earlier 04:37:15 Learned «le» 04:37:31 brains, brittle briny bricks 04:38:05 `wisdom 04:38:07 xargs/xargs is for piping snowmen. 04:38:16 `wisdom 04:38:17 ​¯\(°_o)/¯/¯\(°_o)/¯ `? ¯\(°_o)/¯ 04:38:17 | | | 04:38:17 º¯`\o º¯`\o º¯`\o 04:38:43 v. good 04:38:45 `wisdom 04:38:46 ​ /The final frontier. 04:38:56 >_> 04:40:26 Is that even accessible with ? 04:40:34 `? 04:40:35 ​ ? ¯\(°​_o)/¯ 04:40:51 `` \? " " 04:40:52 `` \? ' ' 04:40:53 ​ ? ¯\(°​_o)/¯ 04:40:53 ​ ? ¯\(°​_o)/¯ 04:40:58 I also put it in so that you can make ``` at front instead of `` if you want it to fix the locale settings 04:41:02 -!- lemurian has quit (Quit: Konversation terminated!). 04:41:44 `` cat bin/'``' 04:41:45 export LANG=C; bash -c "$1" 04:41:48 shachaf: well space normally is pretty inaccessible, so it all fits. 04:43:16 like a cardinal? 04:43:49 -!- Sprocklem has quit (Ping timeout: 252 seconds). 04:44:03 -!- Sprocklem has joined. 04:45:10 `wisdom 04:45:11 gazpacho/You like Gazpacho and I like Gaspacho. Let's call the whole thing off! 04:45:16 `wisdom 04:45:17 coonspirator/A coonspirator is caterpillar silk wrapped in collaborators. 04:46:31 `? sgeolang 04:46:32 sgeolang currently is either J or Io. 04:46:38 inaccurate hth 04:47:25 `? natural transformations 04:47:26 Natural transformations are just morphisms in the category of functors 04:48:03 `` sed -i 's/the category of functors/a functor category/' wisdom/natural\ transformation 04:48:05 No output. 04:48:09 actually what's the point 04:48:16 `rm wisdom/natural transformation 04:48:20 No output. 04:48:54 `? devious 04:48:55 dumb 04:49:06 um what was wrong with the original 04:49:11 i think i made it 04:49:14 oh 04:49:38 just that there's no one category of functors, there's one for every pair of categories 04:49:49 oh hm 04:50:06 and also saying "X is just a morphism in the category Y" is silly because you define the category Y by saying what X is 04:50:13 and also it didn't seem very wise 04:50:18 but i won't object if you put it back 04:50:29 maybe deleting others' wisdom is rude 04:50:34 should i put it back? 04:51:06 well it was supposed to be silly, although "no one category of functors" is a point 04:51:37 well that silliness already exists elsewhere in the wisdom database 04:51:40 you are the categorical expert 04:51:52 nuh uh hth 04:52:37 I know the kings of England, and I quote the fights historical / From Marathon to Waterloo, in order categorical 04:52:44 anyway put it back twh 04:53:44 i'm sorry but you're the very model of an modern ct expert hth 04:53:56 *a 04:54:05 curse you, muphry! 04:54:06 copumpkin is more of a ct expert 04:54:10 and look where that got him hth 04:54:24 isn't he pretty close to you 04:54:41 how do you mean 04:54:50 like in the same city or so 04:55:22 opposite coast hth 04:55:26 ah 04:55:32 well he's moving a bit closer 04:55:35 but still far 04:55:47 a dual concept, then 04:56:10 he used to live in ct 04:56:21 that's what the ct expert thing is about, see 04:56:25 ah 04:57:03 `wisdom 04:57:04 elliot/No one was ever called Elliot. 04:57:15 `? eliot 04:57:16 eliot? ¯\(°​_o)/¯ 04:57:33 `learn Eliot invented cats. 04:57:35 Learned 'eliot': Eliot invented cats. 04:57:42 `slashlearn natural transformation/A natural transformation is a transformation of something containing no chemicals. 04:57:45 Learned «natural transformation» 04:58:38 well, we got rid of the word "just" 04:58:40 progress 04:59:28 `learn Eliot inveted cats, then Taneb stole his invention. 04:59:32 Learned 'eliot': Eliot inveted cats, then Taneb stole his invention. 04:59:33 `learn Eliot invented cats, then Taneb stole his invention. 04:59:35 Learned 'eliot': Eliot invented cats, then Taneb stole his invention. 05:00:16 `learn Eliot inverted cats, then Taneb stole his inversion. 05:00:19 Learned 'eliot': Eliot inverted cats, then Taneb stole his inversion. 05:00:53 Isn't a category of functors from X to Y when you do Y to the power of X? 05:01:44 What's the definition of power? 05:02:09 The exponent 05:02:23 What's the definition of the exponent? 05:03:14 Hmm, I guess you can have a monoidal category and talk about the adjoint to (a (x)) 05:03:43 Or something. 05:04:09 Apparently "copower" means "tensor". 05:04:27 `learn Copower rrupts. 05:04:29 Learned 'copower': Copower rrupts. 05:04:49 `wisdom 05:04:50 `wisdom 05:04:50 `wisdom 05:04:51 field/There are two kinds of fields. Those where you can divide (except by zero), and those where you can conquer. 05:04:51 `wisdom 05:04:51 lettuce/Lettuce is a vegetable with two dressings, join and meet. 05:04:51 heck/Heck is where you end up if you don't believe in Gosh. 05:04:52 `wisdom 05:04:52 inverness/Inverness is a city in Scotland. The ring road isn't multiplicative. 05:04:53 morphism/A morphism is just a natural transformation between two functors on 1. 05:05:05 I think you can have addition, multiplication, exponents of categories, and it agrees with the natural numbers (the finite discrete categories being the natural numbers here), such as if you do the category X to the power of 2 it is same as to do X times X 05:06:59 `? chess 05:07:00 Chess is a complex boardgame, where players exchange unclear royal steaks until they decide which of them has lost. The game is recorded through the Gringmuth Moving Pineapple Notation. 05:07:14 `? mahjong 05:07:15 mahjong? ¯\(°​_o)/¯ 05:07:28 `le/rn lord/The way of the Lord is not just. 05:07:30 Learned «lord» 05:07:58 It is not just what? 05:08:10 ezekiel 18:29 hth 05:08:35 O, OK 05:10:35 `wisdom 05:10:36 gazpacho/You like Gazpacho and I like Gaspacho. Let's call the whole thing off! 05:10:38 `wisdom 05:10:39 partial order/A partial order is just a small thin skeletal category. 05:10:45 I might be talking too much. 05:11:13 `? OK 05:11:14 OK? ¯\(°​_o)/¯ 05:11:18 `? poker 05:11:19 poker? ¯\(°​_o)/¯ 05:11:22 `? AmigaMML 05:11:23 AmigaMML? ¯\(°​_o)/¯ 05:12:08 `? pipe 05:12:09 pipe? ¯\(°​_o)/¯ 05:12:23 `le/rn pipe/This is not a pipe. 05:12:25 Learned «pipe» 05:12:34 `? pipe 05:12:37 This is not a pipe. 05:12:38 `? this 05:12:39 this is a word 05:13:31 `? nah 05:13:32 nah no ambiguity here 05:13:38 `le/rn nah/no ambiguity here 05:13:40 Learned «nah» 05:13:43 `? Famicom 05:13:45 Famicom? ¯\(°​_o)/¯ 05:14:10 `learn Famicom is a famous sitcom from Japan. 05:14:12 Learned 'famicom': Famicom is a famous sitcom from Japan. 05:17:17 * oerjan does an overoptimistic webcomic check 05:17:17 `? matrix accounting 05:17:18 matrix accounting? ¯\(°​_o)/¯ 05:17:28 `? HackEgo 05:17:29 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 05:17:54 `? Lisp 05:17:55 Lisp? ¯\(°​_o)/¯ 05:17:58 `? Forth 05:17:58 Forth? ¯\(°​_o)/¯ 05:18:42 `? RDF 05:18:43 RDF? ¯\(°​_o)/¯ 05:18:45 `? XML 05:18:46 XML? ¯\(°​_o)/¯ 05:18:56 `? bible 05:18:57 bible? ¯\(°​_o)/¯ 05:19:30 `slashlearn forth/Since Biblical times, Forth has been the go-to language for multiplication. 05:19:32 Learned «forth» 05:20:31 oerjan: i was just thinking of what sort of language would fit in with Go and Forth 05:20:49 then i decided there was none so i gave up hth 05:20:54 ah 05:21:21 also i'm writing Go code these days 05:21:31 -!- a2 has quit (Ping timeout: 276 seconds). 05:23:48 `? Go 05:24:13 did we break HackEgo 05:24:28 `echo hi 05:24:44 @ping 05:24:44 pong 05:25:33 Now you have to fix it 05:25:44 i cannot do that 05:26:09 Isn't go used in fungot? 05:26:09 Jafet: we signed on the document the events of the financial, project director of the us. 05:26:12 -!- HackEgo has quit (Ping timeout: 255 seconds). 05:26:24 Jafet: not that i know of 05:26:27 ^source 05:26:27 https://github.com/fis/fungot/blob/master/fungot.b98 05:26:37 oerjan: zzo38 didn't say that you can, only that you have to hth 05:26:58 shachaf: That is correct. 05:27:04 Maybe it's fun that is used in fungot. 05:27:04 Jafet: it will you have the power: california department of water and power. 05:27:12 -!- HackEgo has joined. 05:27:14 shachaf: ah. well i commend zzo38 on knowing the difference hth 05:28:12 I have a book that says: "People are trustworthy if they try to do what they say they will do. People are creditworthy if they can do what they say they will do." 05:28:27 good definitions imo 05:29:02 OKAY 05:29:13 `wisdom 05:29:29 oerjan: you still have to fix HackEgo 05:29:39 OKAY 05:31:26 -!- HackEgo has quit (Ping timeout: 240 seconds). 05:31:34 According to fungot, you have the power. 05:31:35 Jafet: has a wonderful and you guys i recommend the best, if you see on the map of the 10 trading days of the equity and bond markets don't offer refuge. 05:31:37 -!- HackEgo has joined. 05:32:06 `wisdom 05:32:14 random-word-that-isnt-in-the-wisdom-yet/random-word-that-isnt-in-the-wisdom-yet Uhm... was the binary roujobroken? 05:32:18 Jafet: i don't trust that fungot statement, i've hear california has a drought 05:32:19 oerjan: i wan to make. for the enron price target the key the off peak. 25301 05:32:23 *heard 05:33:10 oerjan: thanks for fixing it tdh 05:33:10 `rm wisdom/random-word-that-isnt-in-the-wisdom-yet 05:33:22 No output. 05:33:23 O KAY 05:34:24 Jafet: fungot isn't on a very trustworthy style at the moment hth 05:34:24 oerjan: to the time of the help of the: ( iii) the number of the my cdnow. 05:34:31 ^style 05:34:31 Available: agora alice c64 ct darwin discworld enron* europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 05:34:37 oh 05:34:38 Are you going to add all of the other stuff too? 05:34:41 fungot has an enron style? 05:34:41 shachaf: first and foremost you 05:35:36 ^style alice 05:35:36 Selected style: alice (Books by Lewis Carroll) 05:36:11 fungot: drink me! 05:36:11 oerjan: five winsome girls, from twenty to sixteen: each young man that calls, i say! 05:36:16 i used to confuse enron with http://www.eltron.co.il/ 05:37:02 when people talked about enron i thought they were talking about a company that made parking gates and other sorts of automatic doors 05:37:17 shachaf: that's some hideously bad keming tdnh 05:37:38 this was back when people were talking about enron 05:37:58 so i imagine my english wasn't too good 05:38:05 and i was young and foolish 05:38:07 does lt an n sound the same in hebrew tdnh 05:38:10 *and 05:38:16 now i'm old :'( 05:38:23 no hth 05:39:56 Are you going to add a wisdom file for "mahjong"? 05:40:27 I'm probably not. Are you? 05:41:22 I don't know what to write 05:41:34 Therefore, I didn't write. 05:43:06 `learn RTF stands for Rich's Text Format, invented by Rich Burlew. In addition to plain text it supports simple stick figures. 05:43:08 Learned 'rtf': RTF stands for Rich's Text Format, invented by Rich Burlew. In addition to plain text it supports simple stick figures. 05:43:17 oerjan: these kinds of gates: http://www.eltron.co.il/img/0389/340.jpg 05:43:26 oh wait you said RDF, never mind. 05:43:52 That's OK; now you have the one of RTF too. 05:44:00 `! 05:44:01 ​/hackenv/bin/!: 4: exec: ibin/: Permission denied 05:44:09 oh, right 05:44:27 `? rich burlew 05:44:28 rich burlew? ¯\(°​_o)/¯ 05:44:40 `? FAQ 05:44:40 FAQ? ¯\(°​_o)/¯ 05:46:35 -!- password2 has quit (Ping timeout: 272 seconds). 05:53:49 I had a double take at this email title: "Your help is desperately needed for Nigerian refugees" 05:54:03 It describe on http://esolangs.org/wiki/Graph what a RDF graph is, therefore you can make up something funny of it and make up a funny guess what the letters "RDF" is stand for, such as recursive acronym or whatever else it is. 05:54:05 (it was an email newsletter from the UNHCR) 05:56:16 Jafet: might wonder how many spam filters it got caught in 05:56:51 Can you define "planar graph" without geometry? 05:57:02 Sure, use kuratowski's theorem. 06:12:55 -!- MoALTz has quit (Quit: Leaving). 06:20:13 -!- Tritonio has joined. 06:22:17 -!- oerjan has quit (Quit: leaving). 06:24:18 -!- augur has joined. 06:26:45 `? cats 06:26:45 Cats are cool, but should be illegal. 06:35:17 Why it should be illegal? 06:38:54 I don't think cats should be illegal. 06:39:01 Cats are practical. 06:49:07 -!- zadock has joined. 06:59:55 -!- Sgeo has changed nick to IdentificationDi. 07:00:14 -!- IdentificationDi has changed nick to Sgeo. 07:02:33 -!- toxolotl1 has joined. 07:03:07 -!- toxolotl1 has quit (Client Quit). 07:03:07 -!- J_A_Work has joined. 07:22:02 fungot: fnord 07:22:02 mroman_: " only but frogs," said he, " for i never was so happy before," though why these two children who had never been so nearly choked in all her life. 07:23:35 zzo38: I'm guessing Rwandan Defence Forces 07:31:52 Why exactly did C89 disallow mixed declarations? 08:28:45 -!- Patashu has joined. 08:30:09 mixed?? 08:31:23 I would guess that it's so that stupid compilers can generate the function prologue and lay out the stack before generating any function code 08:32:30 Oh that. Yeah, same guess here. 08:33:55 blocks can declare variables though, so I'm not sure it's limited enough to actually help such a compiler 08:34:25 well a compiler could move declarations to the top anyway 08:35:02 ideally you'd scan the function body for declarations 08:35:14 you mean it would parse the whole function first? do you have enough RAM to do that? 08:35:37 oh right 08:35:46 I would have in fact just parsed the whole file into an AST :) 08:35:53 mroman_: does the term "single pass compiler" mean anything? remember that computers at the time had preciously little memory. 08:36:04 Yeah I know single pass compilers. 08:36:36 they'll produce rather inefficient code thoguh 08:37:19 sure 08:37:38 which is why real programmers wrote their code in assembly language 08:38:27 I still do use assembly language if writing the program for Famicom 08:38:36 `? famicom 08:38:37 Famicom is a famous sitcom from Japan. 08:38:43 compiled languages were (and to a great extent still are) a trade-off between time and space consumption of the executed code on the one hand, and managability and maintainability of the source code on the other. 08:39:12 zzo38: Wouldn't you use e.g. Japanese for writing the programme for Famicom? 08:39:41 The message on HackEgo is just a joke; Famicom is a computer machine 08:40:07 oh I should add portability to that list 08:40:08 I have written an ugly one pass compiler once 08:40:26 The other purpose of compiled languages such as C and so on is to make it (at least partially) portable to compile on other computer too 08:40:32 mroman_: was it for brainfuck? 08:40:48 no 08:41:04 (That's one reason I use C; it can then compile for other computer too) 08:41:05 FAMICOM IST DAS KOMPUTERMASCHINE? 08:41:55 http://codepad.org/SZEZcEei 08:41:56 the real german word is COMPUTER 08:42:19 That's the real English word too. 08:42:24 just look at all those push pop instructions it generated :D 08:42:28 no, the english word is computer, not COMPUTER 08:43:12 English is case-insensitive. 08:44:05 I didn't even generate move instructions :) push r0, pop r1 was generated if a value was needed in another register :D 08:45:11 shachaf: I guess you could call it a Rechenmaschine 08:45:28 a * b was compiled as pop r1, pop r0, mul r0, r0, r1; push r0; 08:45:33 I've seen the CPU called a "Rechenwerk". 08:45:42 mroman_: looks legit 08:46:24 MagicKit assembler uses two passes; I made an extension which allows an optional third pass (although the third pass isn't reading the input file, but is rather executing code in an area that has been set aside for this purpose) 08:46:32 (I suppose this happens when you have a stack machine as intermediate representation and don't bother to write a register allocator, for example because that's kind of hard.) 08:47:08 int-e: exactly :). 08:47:24 That way you can very easily compile it in a single pass 08:47:42 mroman_: You could do optimizations when writing them out though? (Such as keeping track of pattern to match) 08:48:04 (These still aren't best kind of optimizations, but at least it would be something.) 08:48:05 Yeah :) 08:48:13 There are some very easy optimizations that could be done 08:48:22 like replacing push r0; pop r0; with nothing 08:48:30 and push r0; pop r1; with mov r1, r0 08:48:41 German seems like it would be so much easier to learn than Finnish. 08:49:26 http://codepad.org/qXSBIAiW <- but looking at the source code I don't want to have anything to do with that compiler anymore :D 08:50:49 I just directly emit code when ever a bison rule is matched :) 08:51:42 "| KEYWORD_IPROCEDURE IDENT { printf(".label _%s; iproc\n", $2); } KEYWORD_IS statements KEYWORD_END {" 08:51:45 stuff like that :D 08:53:42 You might be able to use a second parser which does optimization 08:54:18 -!- a21 has joined. 08:54:27 * int-e wonders whether zzo38 has anything to do with attribute grammars 08:55:24 http://codepad.org/ZbkyphzQ <- that's the language it compiles 08:55:57 obviously all locals need to be declared before the function body :) 08:57:45 with syntax highlight the language doesn't even look too bad 08:58:39 http://fmnssun.ibone.ch/rhailargue/string.rl.html 09:00:26 (Obviously there are only two data types: register and byte.) 09:00:54 (althought technically everything is untyped and just assumed to fit into a register) 09:01:25 (but for read/write accesses you can specify @BYTE or @REG prefixes) 09:02:38 zzo38: the project is dead ;) 09:03:29 Nobody had interest in the project. 09:05:29 -!- J_A_Work has quit (Quit: J_A_Work). 09:07:03 That's what happens when yo do theses (is that the plural of thesis) without an industry partner but with the university as your partner 09:07:24 There's no real interest behind projects without partners from the outside world :D 09:08:00 also... BFQ? 09:08:12 BF commands are replaced with digits 0-9 09:08:24 but the Quine he shows doesn't even contain any digits but just brainfuck instructions? 09:10:23 and run as a brainfuck program it seems to output only non printable characters 09:14:59 maybe I'm reading something wrong :( 09:21:53 I think the numbers refer to raw byte values. 09:22:24 Because the output of the program starts "03 03 01 03 03 03 03 03 03 03 01 ..." and that matches the start of the quine code. 09:23:03 That'd fit. 09:27:47 He uploaded a file x-chromosomes that isn't used anywhere o_O 09:28:21 -!- hilquias has quit (Remote host closed the connection). 09:31:26 damn pollen. 09:31:50 pollen count is so high right now it affects people without pollen allergies as well. 09:57:06 -!- Phantom_Hoover has joined. 09:58:49 -!- Wright__ has joined. 09:58:49 -!- Wright has quit (Read error: Connection reset by peer). 10:33:33 -!- boily has joined. 10:48:07 -!- zadock has quit (Quit: Leaving). 10:50:23 also... summer sucks as a heliophobic. 10:51:11 At least you're not above the arctic circle. (I guess?) 10:51:48 mrhelloman_. one form of therapy is exposing you to multiple suns at the same time to help you with you phobia hth 10:51:51 -!- lleu has joined. 10:54:45 fizzie: I guess... 10:54:51 -!- J_A_Work has joined. 11:11:51 -!- hjulle has joined. 11:14:15 JPA Strings default to VARCHAR(255) 11:14:27 good to know. 11:14:53 (Hint: When using JPA always check the schema it generates, because otherwise you will have Bugs you didn't think of 11:15:08 when suddenly your app crashes when storing Text longer than 255 characters) 11:29:28 -!- boily has quit (Quit: LOREMIPSUMDOLORSITAMETCONSECTETURADIPISCINGELIT CHICKEN). 11:34:05 -!- toxolotl1 has joined. 11:43:17 -!- heroux has quit (Ping timeout: 255 seconds). 11:45:40 -!- b_jonas has quit (Ping timeout: 276 seconds). 11:49:40 -!- J_A_Work has quit (Read error: Connection reset by peer). 11:50:23 -!- J_A_Work has joined. 11:52:24 -!- b_jonas has joined. 11:56:59 -!- evalj has joined. 11:57:05 By how much can you slow down a video without a viewer noticing? 11:57:33 (i.e. to allow buffering) 12:00:21 -!- lleu has quit (Quit: That's what she said). 12:01:09 Instead of stopping hard you slow down the video ever so slightly as to "gather time" for the buffer to refill 12:03:15 There probably isn't a general answer to this. For example, consider a music video on one hand and a slow pan over a city on the other. 12:14:24 You could annotate sequences that can be slown down. 12:14:56 or you could annotate where it is possible to introduce some mini-breaks 12:15:08 like when a movie shows a blank screen for a scene switch 12:15:17 that blank screen can easily be extended for a few milliseconds I guess. 12:17:28 mroman_: I don't think it's worth to slow down the video to catch up with buffering 12:17:45 mroman_: if the download is too slow, then that won't help much in the long term 12:17:50 you'll eventually have to halt 12:17:58 so this can be possible but I don't think it's practical 12:18:05 well there are cases where you pre-buffer for about a minute 12:18:07 then press play 12:18:15 and mid-movie you need to stop and pre-buffer for another minute 12:18:28 dynamically slowing the video down a bit could prevent that from happening 12:18:35 mroman_: I don't think so 12:19:07 those kinds of things are because the download stops or the speed slows down very much, because some point of the network (possibly an endpoint) gets slow 12:20:04 exactly 12:20:19 if buffering speed is just about playing speed and then suddenly starts to slow down 12:20:29 you have to halt eventually if you keep playing at the same speed 12:20:37 I don't think that's common 12:20:47 but maybe 12:21:30 Of course, you can always just increase download speed :D 12:21:45 but it sounded like something at least interesting to experiment with. 12:22:15 why solve the traffic problem if you can just build wider roads 12:22:19 :) 12:22:54 although that is a different topic. 12:23:00 (Busses are the future) 12:23:19 well.. except for transmitting diseases busses are probably not that *cool* 12:23:35 you're better of travelling in your own car when it comes to that. 12:24:26 or not travelling at all 12:26:09 -!- zadock has joined. 12:27:56 -!- Lyka|Away has changed nick to Lyka|Phone. 12:32:19 -!- Patashu has quit (Ping timeout: 264 seconds). 12:33:38 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 12:37:19 png 25 (12.89%) 3097 (28.44%) 123 12:37:38 when you have a PNG coder in your project and most lines of code are in PNG. 12:37:55 only 2789 C lines. 12:38:12 this stat tool should do some basic binary file detection 12:38:55 hm. at least there are 1.4k lines of assembly code 12:41:56 wow. 12:47:05 hm. 12:47:12 what makes more sense in terms of priorities 12:47:30 prefix > postfix > infix 12:47:41 or infix > prefix > postfix? 12:48:06 like uhm 12:48:10 +a!++b! 12:48:26 where Prefix+ is increment, postfix ! is faculty and infix + is addition 12:48:46 (fac(a+1) + fac(b+1)) 12:50:26 and ! infix would actually be array access 12:50:29 so 12:51:07 how do I parse that :) 12:51:48 and ! prefix is not 12:52:25 -!- J_A_Work has quit (Quit: J_A_Work). 12:52:57 !a!!b could be almost anything. (!a)!(!b) if prefix > infix 12:55:46 although if postfix > infix as well 12:55:57 ((!a)!)!b 12:56:26 prefix > infix > postfix? 13:01:49 uhm yeah 13:01:54 I thought Parsec wouldn't like any of those :( 13:02:49 unless 13:06:05 damn 13:06:11 it stops for !a! at !a 13:06:53 =^.^= 13:07:49 how do I tell parsec to parse that as (!a)!? 13:10:32 oh 13:10:33 right 13:13:32 now it loops forever on just "a" 13:14:43 -!- Herbalist has joined. 13:30:41 ok. I have my system now :D 13:34:18 -!- `^_^v has joined. 13:34:29 -!- GeekDude has joined. 13:35:53 -!- GeekDude has quit (Client Quit). 13:37:17 -!- GeekDude has joined. 13:41:40 -!- variable has joined. 13:43:36 .!,~a!2! would be the faculty of the bitwise negated second digit of the length of a 13:46:17 faculty? what. 13:48:04 *Main> runParserWithString parseExpression ".!,~a!b!" 13:48:04 ((!((~a)!b))!) 13:49:08 Factorial, I think. 13:49:11 Oh. 13:49:12 Right :) 13:49:15 False friends. 13:49:45 -!- variable has changed nick to trout. 13:55:53 In German it's Fakultät 13:56:08 which means Factorial and/or Faculty :) 13:58:34 @oeis 1,1,3,12,20 13:58:35 Sequence not found. 13:59:00 @oeis 1,3,12,20,120,840 13:59:01 Sequence not found. 13:59:09 hm 13:59:23 1,1,3,12,20,120,840,6720,60480,151200 14:01:39 @oes 20,120,840,6720 14:01:40 n!/6.[1,4,20,120,840,6720,60480,604800,6652800,79833600,1037836800,145297152... 14:04:59 Why don't governments just use a tax system like 14:05:08 They state how much money they need for a given period 14:05:16 like 1000 Dogecoins. 14:06:08 all citizens together earn 6000 dogecoins a year 14:06:48 someone who earns 60 dogecoins a year therefore pays 0.01% of what the government wants 14:07:11 which is 10 dogecoins 14:07:55 Possibly because taking 10 dogecoins out of the income of someone earning 60 dogecoins is felt to have a different proportional effect than taking 1000 from soneone earning 6000. 14:08:03 in theory you could have to pay more than what you earnt 14:08:50 (Also I think your 0.01% was off by two orders of magnitude.) 14:08:53 really? 14:08:56 > 60/6000 14:08:58 1.0e-2 14:09:04 > (60/6000)*1000 14:09:06 10.0 14:09:10 nope 14:09:20 oh wait 14:09:22 hm 14:09:26 yeah I'm bad at math 14:09:28 60/6000 is a fraction of 0.01. 0.01% is a fraction of 0.0001 14:09:55 That's why I'm only good in math subjects that don't involve too much numbers. 14:10:36 hm. 14:10:41 let's assume there's one really rich person 14:10:46 Anyhow, http://en.wikipedia.org/wiki/Flat_tax 14:10:47 that earns 5000 dogecoins 14:10:57 > (5000/6000)*1000 14:10:59 833.3333333333334 14:11:28 It's just 1000/6000 (as in, 1/6th) out of everyone's income. 14:12:22 And I think people generally argue that taking 1/6'th out of the income of someone at the poverty line is different from taking 1/6'th out of someone earning lots of money, even though it's the same fraction. 14:12:42 But I'm sure you can find people saying that progressive taxation is bad too. 14:12:54 depends on how progressive 14:13:10 You can do stupid things like uhm 14:13:17 People earning less than 50000 pay 5% 14:13:24 people earning less than 70000 pay 8% 14:13:27 and above that 12% 14:13:57 although 5% isn't realistic of course :) 14:14:05 that's way too little 14:14:26 > 49000 * 0.08 14:14:29 3920.0 14:14:31 > 49000 * 0.05 14:14:33 2450.0 14:14:37 > 51000 * 0.05 14:14:39 2550.0 14:14:40 > 51000 * 0.08 14:14:42 4080.0 14:14:55 > 4080 - 2450 14:14:56 1630 14:16:14 That's why it's generally "X % for income from 0 to A; Y % for income from A to B; .." and so on. Although I've heard of the "you lose money by earning too much" situations. 14:16:48 but with 1/6 flat tax 14:16:54 > 5000/6 14:16:56 833.3333333333334 14:16:58 hm 14:16:58 true 14:17:11 > (10/6000)*1000 14:17:13 1.6666666666666667 14:17:19 > (30/6000)*1000 14:17:21 5.0 14:17:28 crap this really is 1/6 out of everybody 14:17:47 That's because you can take the /6000 out of the parens and put it under the 1000. 14:18:07 (x/6000)*1000 = x*(1000/6000). 14:18:33 -!- Welo has joined. 14:18:37 fizzie: but instead of making "hard borders" you could have something more gradual perhaps? 14:18:40 such as uhm 14:18:56 income / 10k 14:19:06 meaning 40000 pay 4%, 70000 pay 7% 14:19:31 but of course, you'd have to consult how many people earn how much first 14:19:45 because at the end of the day if the tax system can't cover the governments spending it's a bad tax system anyway 14:19:52 or a bad government 14:19:53 or both 14:22:00 are there countries with value-added-taxes only? 14:22:03 that would be interesting. 14:22:49 I wonder if there are any places that have differentiable function instead of tax brackets. I've only been exposed to the UK and Finnish systems, both of which have brackets. (Although the Finnish system never really talks about the brackets -- they're used to compute the overall marginal rate, but other than that it's just the single percentage you usually see.) 14:23:30 Both also have a non-empty bottom bracket with a 0% tax rate (aka tax-free income allowance). 14:24:54 They're even vaguely the same magnitude. (£10600 vs. 16500€ ~> £12000) 14:26:04 income tax here is around 5% 14:26:22 That sounds pretty low, compared. 14:26:28 well, it's not the only tax 14:26:34 Sure, but still. 14:26:49 you pay taxes to the government 14:26:57 (federal government) 14:26:59 and to the local 14:27:14 the local tax is somewhat around 120% of the income tax 14:27:39 so if you have 5000 fed tax, you pay 6000 local tax, meaning all in all the gov gets 11000 14:28:02 so roughly 1/8 of your salary goes to taxes 14:28:31 well 1/8 of the salary you get after taxes by your employer 14:28:39 which takes away another 1/8 :) 14:28:47 One difference between the UK and Finnish systems seems to be that while in Finland the state and muncipal taxes are all part of the same tax reporting and deduct-directly-from-salary system, here only the UK-wide HMRC tax seems to go from the salary, and there's a separate "Council Tax" you pay monthly as a separate thing, based on where you live and what sort of apartment you have. 14:28:58 meaning if you earn 6000 a month 4500 will be at your dispense 14:29:01 rest is taxes 14:30:21 there's also the yearly "Personalsteuer" but that's a fixed amount 14:30:27 and not very much 14:30:35 24 CHF 14:30:39 (where I live) 14:31:28 how much is the Council Tax? 14:31:48 on average for a usual not-very-rich but not-very-poor person? 14:31:56 It's not income-based at all. 14:32:14 It's based on which "council tax band" your apartment is in. 14:32:23 and what's the most common council tax band? 14:32:40 AIUI, the council tax band assignments are based on some decades-old valuation that is completely disconnected from reality. 14:32:54 and how much is that most common tax band? 14:32:56 But it's generally "more expensive place -> higher council tax", so I guess it's correlated with income. 14:33:27 I have no idea, but not terribly much. Less than £100/month. 14:34:10 I don't know if there's some transfer of money from the state to the local authorities, or how it works. I'm new here. 14:35:31 From what I've heard, the council tax rates vary quite wildly on which council you're in. 14:35:59 Apparently the average in London in 2008 was £1268 a year, so a bit over £100. 14:36:21 Ranging from £680 to £1490 for "band D". 14:38:16 Apparently the other bands are fixed ratios (from 2/3 to 2) of band D. 14:40:02 I see 14:45:43 31 degrees 14:45:45 It's getting hot 14:46:26 @metar LOWI 14:46:27 LOWI 051420Z 06006KT 010V120 9999 FEW065TCU SCT070 32/15 Q1019 NOSIG 14:47:29 @metar LZSH 14:47:31 No result. 14:47:48 @metar LSZH 14:47:49 LSZH 051420Z VRB02KT CAVOK 31/16 Q1020 NOSIG 14:59:10 -!- drdanmaku has joined. 15:11:51 -!- Froox has quit (Read error: Connection reset by peer). 15:16:40 -!- Frooxius has joined. 15:18:29 How many computer program doing audio-related stuff define tau instead of pi? 15:30:53 -!- spiette has joined. 15:55:10 -!- MDream has changed nick to MDude. 15:56:54 -!- password2 has joined. 15:57:11 I don't like defining tau by circles though; I prefer: e^(i tau)=1 16:05:37 -!- kline has changed nick to ayylmao. 16:06:09 -!- ayylmao has changed nick to kline. 16:07:13 -!- MoALTz has joined. 16:10:01 -!- Welo has quit (Quit: Leaving). 16:17:17 zzo38, the entire significance of that formula is that complex exponentiation is rotation 16:17:29 you're still defining it by circles 16:19:07 You can define e^x by a infinite series, and if you put complex numbers in, that is what it makes. One significance of such series is you can calculate the derivative to also be e^x. 16:21:01 So, it doesn't seem circles 16:21:30 i mean that's true but then you're just saying stuff about arbitrary infinite series 16:22:05 you need the link to exponentiation and trigonometry for the identity to actually be meaningful 16:23:22 It isn't completely arbitrary; it has d(e^x)=e^x dx 16:24:24 You still haven't said what d is. :-( 16:25:02 It is a derivative operator 16:25:37 What is dx? 16:25:44 oh, all this time i'd been thinking it was the cellular boundary 16:26:38 The dx is the derivative operator which is already applied 16:30:49 [wiki] [[Prehistory of esoteric programming languages]] http://esolangs.org/w/index.php?diff=43147&oldid=37072 * Paul2520 * (-9) /* References */ replaced History of QED link 16:31:58 What is the type of d? 16:32:36 The "d" by itself is not something that is in use by itself (although Euler's differential operator can be used by itself if you pay attention properly!) 16:33:17 I don't know what is the type of d. Maybe I can figure out but I haven't done yet 16:38:56 shachaf, did we not have this discussion like 2 weeks ago 16:39:10 it's a convenient notation, you know that full well 16:39:19 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:40:04 there is a well-defined differential operator and it's usually written D, but it's not the same as liebniz notation 16:41:05 You can't use "d" by itself but it is possible to use "D" by itself, is what I said 16:42:04 it also obviously doesn't have a type because most mathematics doesn't use type theory 16:43:09 Phantom_Hoover: Yes, but I don't remember getting a clear answer. 16:43:25 As I remember it zzo38 was saying that it was more than convenient notation. 16:44:11 Yes, but the notation d^2y/dx^2 for the second derivative is wrong. 16:44:34 I convinced myself that it made sense once. 16:45:28 If you actually write d(dy/dx)/dx and then to try to calculate it properly, you will see what it actually adds up to. 16:45:31 And I don't necessary mean "type" in a completely formal way. 16:45:39 the idea is that you write (d/dx) for the differential operator 16:45:55 "what sorts of things does it turn into what sorts of things?" 16:46:06 so the second derivative is (d/dx)(d/dx) = d^2/dx^2 16:46:33 And if it's just convenient notation, why does it seem to work so well? 16:47:20 Phantom_Hoover: Yes, although the (d/dx) is really Euler's "D" operator; it is just written as d/dx for convenience because Dy=dy/dx (if derivatives are taken with respect to x) for example. 16:47:51 shachaf, it turns expressions into infinitesimals 16:48:33 17:19 dylukes : let's assume we have `y = g(x)', and want to compute `d f(x,y) / d x' 16:48:36 17:20 dylukes : interpreting this as a partial derivative, it really means `let y = g(x) in d f(x,y) / d x' 16:48:39 17:20 dylukes : while interpreting this as a total derivative, it really means `d (let y = g(x) in f(x,y)) / d x' 16:49:11 Anyway I don't know any sort of infinitesimals where that really works. 16:49:28 They don't look like infinitesimals to me, even though they are often called that. 16:51:10 the infinitesimals for which it works are the completely nonformal handwavy ones 16:51:26 which is why it normally just gets called a notation 16:51:36 In "f(x) + df(g) / dx", the x in f(x) and the x in g(x) are different xs 16:51:56 df(x)/dx is both a binder and a consumer of x 16:56:11 That is because the x here is a variable 16:56:58 [wiki] [[Esolang:Community portal]] http://esolangs.org/w/index.php?diff=43148&oldid=40602 * 2.98.83.249 * (+76025) 16:57:19 What does it mean that \int dy/dx dx = \int dy? 16:57:22 If it is a constant then it is dividing by zero, and of course you cannot divide by zero. 16:59:00 [wiki] [[Main Page]] http://esolangs.org/w/index.php?diff=43149&oldid=41175 * 2.98.83.249 * (+11455) 17:00:42 [wiki] [[User:Paul2520]] http://esolangs.org/w/index.php?diff=43150&oldid=43143 * 2.98.83.249 * (+23683) 17:01:03 -!- Lyka|Phone has changed nick to Lyka|Away. 17:02:06 [wiki] [[User:Jabutosama]] http://esolangs.org/w/index.php?diff=43151&oldid=43123 * 2.98.83.249 * (+46212) 17:02:36 [wiki] [[User:Jabutosama]] http://esolangs.org/w/index.php?diff=43152&oldid=43151 * 2.98.83.249 * (+1) 17:04:18 [wiki] [[ACIDIC]] http://esolangs.org/w/index.php?diff=43153&oldid=22183 * 2.98.83.249 * (+26285) 17:05:36 [wiki] [[Prehistory of esoteric programming languages]] http://esolangs.org/w/index.php?diff=43154&oldid=43147 * 2.98.83.249 * (+35219) 17:08:02 what now... 17:08:29 -!- password2 has quit (Remote host closed the connection). 17:10:33 [wiki] [[Esolang:Community portal]] http://esolangs.org/w/index.php?diff=43155&oldid=43148 * 213.162.68.175 * (-76025) Undo revision 43148 by [[Special:Contributions/2.98.83.249|2.98.83.249]] ([[User talk:2.98.83.249|talk]]) 17:11:00 [wiki] [[Main Page]] http://esolangs.org/w/index.php?diff=43156&oldid=43149 * 213.162.68.175 * (-11455) Undo revision 43149 by [[Special:Contributions/2.98.83.249|2.98.83.249]] ([[User talk:2.98.83.249|talk]]) 17:11:35 [wiki] [[User:Paul2520]] http://esolangs.org/w/index.php?diff=43157&oldid=43150 * 213.162.68.175 * (-23683) Undo revision 43150 by [[Special:Contributions/2.98.83.249|2.98.83.249]] ([[User talk:2.98.83.249|talk]]) 17:13:20 If C represents a constant, then: \int(2xdx) = \int(d(x^2)+0) = \int(d(x^2)+dC) = \int(d(x^2+C)) = x^2+C 17:13:39 [wiki] [[User:Jabutosama]] http://esolangs.org/w/index.php?diff=43158&oldid=43152 * 213.162.68.175 * (-46213) Undo changes by [[Special:Contributions/2.98.83.249|2.98.83.249]] 17:14:04 [wiki] [[ACIDIC]] http://esolangs.org/w/index.php?diff=43159&oldid=43153 * 213.162.68.175 * (-26285) Undo revision 43153 by [[Special:Contributions/2.98.83.249|2.98.83.249]] ([[User talk:2.98.83.249|talk]]) 17:14:39 [wiki] [[Prehistory of esoteric programming languages]] http://esolangs.org/w/index.php?diff=43160&oldid=43154 * 213.162.68.175 * (-35219) Undo revision 43154 by [[Special:Contributions/2.98.83.249|2.98.83.249]] ([[User talk:2.98.83.249|talk]]) 17:15:16 Isn't it? 17:16:37 * int-e hopes he hasn't just made oerjan's and elliott's job harder... 17:19:58 zzo38: shouldn't the constant be introduced when evaluating \int(dt), say \int(dt) = t + C ? 17:20:15 -!- trout has quit (Quit: 1 found in /dev/zero). 17:20:48 int-e: I suppose that is the other way too. 17:28:17 But, isn't dt=d(t+C) anyways? 17:28:55 Isn't that the point... 17:29:36 I mean, because dt=d(t+C), the "inverse" \int should return a result modulo addition of a constant, and that's usually denoted by the + C part. 17:30:36 It is same thing 17:50:03 -!- heroux has joined. 17:53:42 What way can you get a pseudo-random number from a floating-point number as input? 17:54:31 -!- hjulle has quit (Ping timeout: 256 seconds). 17:54:32 ...discard the number... 17:55:58 https://xkcd.com/221/ 17:56:30 No I mean such that f(x)=noise and is always the same noise, and if you do f(-x) then you get the reversed noise 17:58:45 sorry, but you almost never define what you need precisely enough to give sensible answers. 18:12:22 -!- nycs has joined. 18:15:00 -!- `^_^v has quit (Ping timeout: 276 seconds). 18:27:23 If you want something done properly you have to compile the program yourseld 18:27:36 What are some good characterizations of the reals? 18:28:47 I thought the one by spivak in 'Calculus' was pretty convincing 18:29:13 I want characterizations other than "complete ordered field" or even anything related to numbers. 18:29:26 E.g. http://mathoverflow.net/q/92206 18:29:36 Oh. well poop, I dunno 18:33:22 that one with the closed points is pretty cool I have to say. 18:39:01 so we're then defining the reals as (0,1] x Z? 18:41:43 -!- a21 has quit (Quit: WeeChat 1.0.1). 18:44:32 `le/rn the reals/The reals are a complete ordered Brazilian currency invented by Taneb in 1994. They are universally useful in homotopy. 18:44:34 Learned «the reals» 18:48:58 How useful. 18:49:27 pikhq: are you moving to mountain view twh 18:50:01 shachaf: If I get the job (which seems really likely at this point), yes. 18:52:33 -!- drdanmaku has quit (Remote host closed the connection). 18:52:35 -!- ocharles_ has quit (Remote host closed the connection). 18:52:35 -!- supay has quit (Remote host closed the connection). 18:56:55 `? the reals 18:56:56 The reals are a complete ordered Brazilian currency invented by Taneb in 1994. They are universally useful in homotopy. 18:57:07 please improve twh 18:57:36 I am not sure about "universally" 18:58:39 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 19:02:45 pikhq: What did you think of your interview? 19:03:08 Apparently during my interviews they did a bunch of things they weren't supposed to do. 19:03:25 My favorite part of it was that they let me choose what one of the interviews would be about. 19:03:48 The interviews were just a bunch of fun challenges; I had a pretty good time. 19:03:48 I can't tell whether that's standard. 19:07:03 The recruiter gave me a choice of two options for one of them. 19:07:45 -!- Sprocklem has quit (Quit: brb). 19:08:06 My impression is that the interviews went spectacularly. 19:08:23 And the recruiter afterwards told me that all the interviewers said the same, so there's that. 19:08:33 sgtm 19:09:15 So, no guarantees but it really does sound likely that I've got it. 19:09:47 -!- Sprocklem has joined. 19:09:53 Hmm, do you remember your interviewers' names? 19:10:00 Alas, I do not. 19:10:03 You probably shouldn't say that in here anyway. 19:10:13 And even if I did I distinctly remember only hearing first names anyways. 19:10:30 And it's *incredibly* unlikely that first names are unique in the Googleplex. :P 19:10:57 Mine was! 19:11:33 Anyway it's less unlikely that they're unique in the SRE interviewer pool. 19:11:44 Oh? 19:11:56 To which? 19:12:07 Less unlikely they're unique. 19:12:39 I just mean that there are many fewer people in a position to interview you than Google employees overall. 19:12:50 Oh, huh. 19:13:00 Not that many SREs overall? 19:14:26 hmm. reals are cutting edge in the field of rational numbers 19:15:17 `? mahjong 19:15:18 mahjong? ¯\(°​_o)/¯ 19:15:24 `? accounting 19:15:25 = 0 19:16:48 `? codensity 19:16:48 codensity? ¯\(°​_o)/¯ 19:16:56 `? comonad 19:16:57 Comonads are just monads in the dual category. 19:18:26 -!- Lyka|Away has changed nick to Lyka. 19:23:42 Hmm, mroman could easily be confused with the dual of a cormoran. 19:26:36 -!- atrapado has joined. 19:31:06 the traitor baru comroman 19:36:26 fun. with data Color = R | B and data Tree a = E | T Color (Tree a) a (Tree a), T R E E E is an actual (technically, I'd prefer the root to be black) valid red-black tree 19:38:03 Heh 19:45:18 (Okasaki has an exercise to implement a linear time fromOrdList for red-black trees, which turned out to be more interesting than expected) 19:49:10 `learn codensity is just mass per volume with all the arrows reversed. 19:49:11 Learned 'codensity': codensity is just mass per volume with all the arrows reversed. 20:12:04 -!- J_Arcane has quit (Remote host closed the connection). 20:19:31 [wiki] [[FlogScript]] http://esolangs.org/w/index.php?diff=43161&oldid=42039 * 63.232.95.4 * (+0) /* Operators and builtin functions (very incomplete list) */ 7 5 * should equal 35 20:20:35 http://pastebin.com/p5BSuZDj 20:29:54 -!- J_Arcane has joined. 20:31:06 can anyone see me? 20:33:17 No. 20:36:04 See whom? 20:37:27 -!- Lyka has changed nick to Lyka|Away. 20:37:54 -!- drdanmaku has joined. 20:48:39 `wisdom 20:48:40 `wisdom 20:48:40 mockingbird/mockingbird is watching you.. closely! Is it mocking you? Probably. 20:48:41 vanila/In a cruel twist of fate, vanila has come to #esoteric in search of wisdom. 20:48:43 `wisdom 20:48:43 `wisdom 20:48:44 for further details for futher details./See `? for further details for futher details. 20:48:44 egobot/EgoBot is my arch-nemesis. 20:49:20 -!- ocharles_ has joined. 20:50:32 -!- zadock has quit (Quit: Leaving). 21:02:21 -!- supay has joined. 21:06:10 -!- nycs has quit (Quit: This computer has gone to sleep). 21:10:35 `? 21:10:36 ​? ¯\(°​_o)/¯ 21:10:46 `? ? 21:10:47 ​? is wisdom 21:10:55 `? wisdom 21:10:56 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 21:11:11 `? ø 21:11:12 ​ø is not going anywhere. 21:11:19 `? anywhere 21:11:20 anywhere? ¯\(°​_o)/¯ 21:21:30 -!- spiette has quit (Ping timeout: 264 seconds). 21:32:44 -!- bb010g has joined. 21:36:23 -!- Lyka|Away has changed nick to Lyka. 21:51:37 -!- Lyka has changed nick to Lyka|Away. 21:54:56 Oh man, I have been home for one day and 8 hours and I have finished my book :) 21:54:58 *:( 21:55:09 Taneb: do you want more books 21:55:35 shachaf, unfortunately my book was volume 1 of the 2 volume edition of A Dance With Dragons, so I would like that book 21:56:08 oh 21:56:13 what if you read other books instead 21:56:17 I am borrowing them from one of my housemates in York 21:56:28 But York is like 90 miles away 21:57:17 Weren't you coming here to have poutine? 21:58:00 I think I can make poutine in York relatively easily 21:58:07 What is in poutine sauce? 21:58:53 -!- Wright has joined. 21:58:54 -!- Wright__ has quit (Read error: Connection reset by peer). 21:59:52 Now you have to add a wisdom file for "anywhere" too 22:00:29 Taneb: that sauce can vary quite a bit 22:00:37 it all depends on what you want to poutine it 22:00:53 zzo38: Who does? 22:01:48 I don't know who 22:02:07 Also how does poutine differ from cheesy chips with gravey 22:02:10 *gravy 22:03:34 for one it isn't made with chips 22:03:41 [heh heh heh] 22:04:35 well in hebrew they're called chips, actually 22:06:20 I don't think cheesy crisps would quite work 22:06:59 Well, it's dangerously close to nachos 22:07:33 smoke's poutinerie has nacho poutines 22:08:01 with salsa, sour cream, jalapeño peppers, and guacamole 22:08:12 somehow it seems dishonest 22:29:28 -!- Patashu has joined. 22:46:44 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 22:49:43 -!- atrapa has joined. 22:50:51 -!- atrapa has quit (Client Quit). 22:52:02 -!- idris-bot has quit (Quit: Terminated). 22:52:59 -!- Melvar has quit (Quit: thunderstorm). 23:00:05 -!- atrapado has quit (Quit: Leaving). 23:03:20 poutines also often have vin aigre 23:04:38 Also I grew up calling them chips. The truck that sells them is called a chip truck 23:05:07 I guess in England they call it a chip lorry? 23:07:12 Are web cookies called web biscuits in England? 23:21:48 -!- toxolotl1 has quit (Ping timeout: 276 seconds). 23:22:09 Do any terminal emulators you can put a DLE code (or some other code) before any byte to cause it to always emit it as a character (in the PC character set, for example)? 23:25:08 There are a few VT100 graphics which aren't also in the PC set, although many terminal emulators do not seem to support these VT100 graphics anyways 23:25:48 zzo38: I don't know of any terminal that's capable of doing that, but on the linux console I think you can define any mapping from characters of the terminal to characters in the VGA charset, and you can even use that mapping as the secondary mapping (which is by default the vt100 graphics) 23:26:23 zzo38: also, I think some line printers have such a code 23:28:23 plus I think that's a two-level translation 23:29:13 I did do that; while it does allow accessing all of the characters it is a bit messy to do, because something internally causes it to get mixed up and therefore you need to activate the G1 set and then emit the high characters and the internal encoder will somehow then sometimes select the ones that were previously inaccessible 23:30:15 zzo38: also, for the linux console, you can try writing directly to /dev/vcsa* 23:31:46 zzo38: in my font, all the glyphs in the low control characters also appear somewhere on non-ascii unicode value, so you can use those 23:32:21 I think that might be possible on the linux console in unicode mode too 23:32:52 accessing the characters as mapped from high unicode values after setting the terminal to utf8 23:34:03 Better way would be to just use a prefix code to access PC characters; otherwise you get ASCII and VT100 characters only 23:34:33 yes, it would be easier 23:40:08 Dwarf fortress appears to simply output unicode 23:40:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 23:48:20 -!- copumpkin has joined. 23:50:07 The Swiss Ephemeris testing program uses Unicode for the degree sign (it also has no option to use the current date); I made a shell script to use sed to change the Unicode degree sign into the VT100 degree sign (as well as to fill in the current date by default). 23:50:26 (I could have changed the source-codes and recompiled it, but I didn't bother to do that.) 23:50:43 sure 23:51:11 -!- Melvar has joined. 23:51:42 Those are two problems with Swiss Ephemeris to be aware of if anyone else is going to use them! 23:57:35 -!- idris-bot has joined. 23:58:02 The computer I can SSH into has no mail or C compiler or man pages or whatever, but from there it is possible to SSH to the computer that does have it. Both computers do share user files though. Do you know why? I don't know why they made it like that!