00:00:19 -!- Melvar has quit (Ping timeout: 258 seconds). 00:01:36 -!- idris-bot has quit (Ping timeout: 272 seconds). 00:05:41 -!- adu has quit (Quit: adu). 00:13:53 -!- Melvar has joined. 00:15:34 `wisdom 00:15:43 php//php is the PigeonHole Principle 00:16:54 bon soily 00:17:13 -!- Sgeo__ has joined. 00:18:24 how goeth the postal shrike? 00:21:55 -!- oerjan has joined. 00:22:58 hellørjan 00:23:54 queventopinga 00:24:33 -!- sebbu has quit (Ping timeout: 240 seconds). 00:24:56 kaixoily 00:25:01 queven topinga? 00:25:12 you mean topanga? topanga matthews? 00:25:18 no. 00:25:30 i don't know topanga matthews, sorry. 00:25:54 topanga lawrence? 00:26:05 (that would be the premarital topanga) 00:26:23 no. 00:26:38 i don't usually watch tv, for a start. 00:27:10 sure sure. for a second, you don't watch american tv. 00:27:26 for a third, you're antediluvian. 00:27:39 but we can always pretend you understand these things 00:27:48 i'm not sure there's that much difference as far as soaps are considered. 00:28:24 boy meets world would not be considered particularly soapy hth 00:28:25 although i hear norway has produced more soaps after i stopped watching. 00:28:33 well i wouldn't know, would i? 00:28:46 so tdh 00:29:05 yw 00:29:19 thx 00:38:09 `? porthello 00:38:15 porthello? ¯\(°​_o)/¯ 00:41:16 `? thé 00:41:19 Thé is an oddly-spelled hot beverage popular in the Commonwealth. 00:41:40 `le/rn porthello/Hellonfused one. Porthellos are the standard greeting format in #esoteric. Best enjoyed with some thé or caffè and a fternooner. 00:41:44 Learned «porthello» 00:43:25 quinthellopia! the strike is crippling my chi. 00:43:34 there's a strike? 00:43:36 hellørjan. 00:43:46 there's even a lockout. complete nonsense. 00:44:13 been watching any sgdq? 00:44:26 Some Games Done Quick? 00:44:32 i'm sure the OQLF mandates strikes to keep the cultural connection. 00:45:00 summer 00:45:11 i'll take that as a no 00:46:17 boily: are you, yourself, on strike? 00:46:33 or is it just the general environment of nothing working 00:47:30 quintopia: are there any hilites from this year? 00:48:11 oerjan: no, it's just Summer. praise be unto the Orange Cone. 00:49:15 ah. 00:49:32 in norway, strikes are usually in late spring. 00:50:05 since that's when most (all?) tariff agreements are renegotiated. 00:50:12 boily: i missed a blindfold run of castlevania sotn 00:50:42 boily: there's a tas on saturday of smb 1,2, and 3 all simultaneously from the same input sequence 00:50:50 which does wonders for the exam period when teachers are involved. 00:51:07 boily: super meat boy in half an hour 00:51:50 -!- LKoen has joined. 00:52:09 boily: blind kaizo smm race on friday that i will have to miss at work :( 00:52:25 (team races are so fun to watch) 00:52:43 apropos kaizo, i think boily missed my porthello. 00:53:48 yes apparently 00:55:37 I missed it >_>'... 00:55:50 HELKOen. 00:56:50 * oerjan briefly ponders the porthello singularity, but realizes making them _totally_ impenetrable is probably too easy. 00:59:09 -!- LKoen has quit (Remote host closed the connection). 01:02:40 -!- augur has quit (Remote host closed the connection). 01:03:13 -!- augur has joined. 01:04:30 -!- adu has joined. 01:05:03 time to go home so not to miss the smb run 01:05:49 Hehe 01:06:02 I missed the blindfolded SOTN too, will have to watch it tomorrow 01:07:11 -!- augur has quit (Ping timeout: 240 seconds). 01:18:07 -!- jaboja has quit (Ping timeout: 260 seconds). 01:20:12 -!- LKoen has joined. 01:26:47 -!- LKoen has quit (Remote host closed the connection). 01:34:18 -!- atehwa_ has joined. 01:37:37 -!- atehwa has quit (Ping timeout: 244 seconds). 01:38:31 -!- atehwa_ has quit (Ping timeout: 240 seconds). 01:38:35 -!- lambda-11235 has joined. 01:39:15 -!- atehwa has joined. 01:44:16 -!- atehwa_ has joined. 01:44:51 -!- atehwa has quit (Ping timeout: 264 seconds). 01:48:31 -!- atehwa_ has quit (Ping timeout: 240 seconds). 01:49:57 -!- Nathan2055 has joined. 01:50:11 -!- Nathan2055 has left. 01:50:22 -!- atehwa has joined. 01:53:55 `cat bin/learn 01:54:01 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"wisdom/$topic" \ echo "$verb '$topic': $1" 01:55:42 -!- atehwa has quit (Ping timeout: 258 seconds). 01:55:44 `ls tmp 01:55:49 args \ fruit \ sh \ spline \ spout \ tempcmd \ testcmd \ tmp_jonas 01:56:04 `cat bin/slashlearn 01:56:05 sep="/"; [[ "$0" == *//* ]] && sep="//"; [[ "$1" == ?*"$sep"* ]] || exit 1; key="$(echo "${1%%$sep*}" | lowercase)"; value="${1#*$sep}"; [ -e "wisdom/$key" ] && verb="Relearned" || verb="Learned"; echo "$value" > "$(echo-p "wisdom/$key")" && echo "$verb «$key»" 01:56:37 -!- atehwa has joined. 01:56:41 `? the 01:56:43 the Toe of Harriness's Enclosure 01:57:21 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 01:57:33 `sled bin/learn//>.wisdom.topic./>"$(echo-p "wisdom/$topic")"/ 01:57:34 sed: -e expression #1, char 1: unknown command: `>' 01:57:37 argh 01:58:01 `sled bin/learn//s,>.wisdom.topic.,>"$(echo-p "wisdom/$topic")", 01:58:02 bin/learn//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"wisdom/$topic" \ echo "$verb '$topic': $1" 01:58:10 dammit 01:58:43 `sled bin/learn//s,[>].wisdom.topic.,>"$(echo-p "wisdom/$topic")", 01:58:44 bin/learn//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"wisdom/$topic" \ echo "$verb '$topic': $1" 01:58:56 something is wrong. 02:01:21 `` sed 's,[>].wisdom.topic.,>"$(echo-p "wisdom/$topic")",' bin/learn 02:01:23 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"wisdom/$topic" \ echo "$verb '$topic': $1" 02:01:23 oerjan: the banksters have taken over wall street? 02:02:03 -!- atehwa has quit (Ping timeout: 240 seconds). 02:02:15 `` sed 's,[>].wisdom.topic.,>"\$(echo-p "wisdom/\$topic")",' bin/learn 02:02:16 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"wisdom/$topic" \ echo "$verb '$topic': $1" 02:02:28 oh 02:02:37 -!- atehwa has joined. 02:02:38 `sled bin/learn//s,[>].wisdom..topic.,>"$(echo-p "wisdom/$topic")", 02:02:41 bin/learn//#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ [ -e "wisdom/$topic" ] && verb="Relearned" || verb="Learned" \ echo "$1" >"$(echo-p "wisdom/$topic")" \ echo "$verb '$topic': $1" 02:03:01 `learn te/sting is important. 02:03:05 Learned 'te/sting': te/sting is important. 02:03:08 oerjan: the sun is too hot? 02:03:12 `? te/sting 02:03:14 te/sting is important. 02:03:22 adu: i forgot a character in my sed pattern. 02:03:30 `forget te/sting 02:03:33 oerjan: oh ok 02:03:34 `? te 02:03:35 Forget what? 02:03:36 te? ¯\(°​_o)/¯ 02:03:46 `ls wisdom/te 02:03:47 ls: cannot access wisdom/te: No such file or directory 02:04:02 tswett: `forget cleans up parent directories 02:04:12 `cat bin/forget 02:04:13 ​#!/bin/sh \ rm-p "wisdom/$(echo "$1" | tr A-Z a-z)" \ echo "Forget what?" 02:04:26 I was thinking "Forget what?" was an error message. 02:04:33 > sum . replicate 10 $ 0.1 02:04:34 no, just an inside joke. 02:04:35 0.9999999999999999 02:05:02 > grain 02:05:03 Not in scope: ‘grain’ 02:09:03 -!- atehwa has quit (Ping timeout: 240 seconds). 02:10:34 -!- atehwa has joined. 02:16:42 -!- atehwa_ has joined. 02:16:48 -!- atehwa has quit (Ping timeout: 250 seconds). 02:18:31 -!- copumpkin has joined. 02:19:24 oerjan: https://lh3.googleusercontent.com/fJFtYlv544n7DdqGBDVT1TRRE2HxW0JKH2blUbnmJyQtgKrexGHVrRuO6Sv1Q1oO2uPGaR0lkucpNvvew8B5euD95gI7sIahwt2gTSvAgr9ElLCHlhM 02:20:27 > let mid x y z = min (max x y) (max (min x y) z) in [mid 1 2 3, mid 1 3 2, mid 2 1 3, mid 2 3 1, mid 3 1 2, mid 3 2 1] 02:20:28 [2,2,2,2,2,2] 02:21:08 > let mid x y z = sort [x,y,z} !! 1 in [mid 1 2 3, mid 1 3 2, mid 2 1 3, mid 2 3 1, mid 3 1 2, mid 3 2 1] 02:21:10 :1:28: parse error on input ‘}’ 02:21:13 gah 02:21:23 > let mid x y z = sort [x,y,z] !! 1 in [mid 1 2 3, mid 1 3 2, mid 2 1 3, mid 2 3 1, mid 3 1 2, mid 3 2 1] 02:21:24 [2,2,2,2,2,2] 02:21:28 stupid keyboard 02:24:58 `? the walrus 02:25:01 ​/In order to obtain the unredacted documents specifying the true identity of the walrus, contact the Glass Onion (mailing address: UH2BEStWmPI) 02:25:21 `slwd the walrus//s,.,, 02:25:24 wisdom/the walrus//In order to obtain the unredacted documents specifying the true identity of the walrus, contact the Glass Onion (mailing address: UH2BEStWmPI) 02:25:40 `slwd the walrus//s,$,., 02:25:43 wisdom/the walrus//In order to obtain the unredacted documents specifying the true identity of the walrus, contact the Glass Onion (mailing address: UH2BEStWmPI). 02:27:28 @tell b_jonas i fixed `learn so it creates parent directories like the other versions. 02:27:28 Consider it noted. 02:31:35 -!- tromp has joined. 02:32:12 -!- Kaynato has quit (Ping timeout: 246 seconds). 02:32:39 -!- boily has quit (Quit: EXSANGUINE CHICKEN). 02:47:33 -!- lambda-11235 has quit (Quit: Bye). 02:48:32 -!- tromp has quit (Remote host closed the connection). 02:50:54 -!- hppavilion[1] has joined. 02:51:00 Quote from Wikipedia: This is an allusion to the Ray Bradbury novel Fahrenheit 451 and possibly the film thereof, 451 °F (233 °C) being equivalent to 232 Centigrade. 02:51:17 Apparently, 233 and 232 are really the same number 02:51:53 Depends on if you round up or down. 02:52:06 451F is 232.778C. 02:55:42 well at least it continues the tradition of messing up the numbers 02:57:04 (iirc the temperature that the book was supposed to be named after is 451 °C) 02:57:31 `? the old 02:57:36 the old? ¯\(°​_o)/¯ 02:57:47 > (In reality, scientists place the autoignition temperature of paper anywhere from high 440 degrees Fahrenheit to some 30 degrees hotter, depending on the study and type of paper.) 02:57:48 :1:60: parse error on input ‘of’ 02:58:02 oerjan: No, it's roughly 451 F, though studies put it from 440 to... more 02:58:06 Dammit, lifthrasiir 02:58:10 oh 02:58:15 okay, I'm running out of good prefix-quotation punctuation 02:58:24 | I guess this was also in use 02:58:33 ...or it isn't? 02:58:34 shockingly, it seems not 02:58:42 ^prefixes 02:58:42 Bot prefixes: fungot ^, HackEgo `, EgoBot !, lambdabot @ or ?, thutubot +, metasepia ~, idris-bot ( , jconn ) , j-bot [ . 02:58:46 oh 02:58:49 j-bot was [ 02:58:50 oerjan: Really, it's not a meddling issue so much as a why-the-fuck-did-a-SF-writer-use-Fahrenheit issue 02:58:54 I thought it was | 02:59:01 So I want to write a method that, given a bunch of symbols labeled with nonnegative floating point numbers, selects a random symbol, with each symbol's probability being proportional to the number. 02:59:03 should learn to stick to it 02:59:08 I voe that all quote prefixes from now on be $Q((U$& 02:59:27 I'm not sure what sort of algorithm to use. 02:59:52 tswett: I don't know, but I have the sneaking feeling godel is going to fuck this up somehow. I would be impressed, but not surprised 02:59:56 The algorithm doesn't have to be exact by any means. But it also shouldn't be something that crashes. 03:00:11 hppavilion[1]: this is definitely computable. 03:00:24 tswett: That's what we always think 03:01:58 By the way, the symbols are bytes. There are always exactly 256 of them. 03:04:04 tswett: sum the probabilities for a symbol and the previous ones. then make a table, select a random number from 0 to the total sum, and do binary search. 03:04:40 you might want to divide the probabilities by the total sum to make it 1. 03:05:28 well, this is assuming you'll use the same probabilities for several samplings. 03:05:59 -!- lambda-11235 has joined. 03:06:04 Hmm. According to the documentation... 03:06:17 The difference between cumsum and cumsumi is that cumsum is in-place and cumsumi is not. 03:06:26 The difference between div and divi is that divi is in-place and div is not. 03:06:34 Anyone notice something odd there? 03:06:40 you'd think. 03:07:03 i have a hunch the first is switched. 03:07:06 I'm just going to trust the documentation even though it seems like it can't possibly be right. 03:07:10 *first pair 03:07:40 I really wish they'd just used names like "cumSumInPlace" and "divInPlace". 03:08:44 cumulative sum sounds like the thing, anyway 03:11:51 (assuming that's like haskell scanl1 (+)) 03:14:26 -!- LKoen has joined. 03:19:48 > scanl1 (+) [1,2,3,3,3,3,3,3,3,2,2,2,2,2] 03:19:50 [1,3,6,9,12,15,18,21,24,26,28,30,32,34] 03:20:16 -!- tromp has joined. 03:20:38 -!- spockers has joined. 03:20:52 -!- spiette has joined. 03:23:51 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 03:29:57 -!- spiette has quit (Ping timeout: 246 seconds). 04:35:53 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 04:42:53 -!- tromp has quit (Remote host closed the connection). 05:15:49 <\oren\> Thank goodness, I'm not the only one who noticed that Michelangelo had no idea what a woman looks like 05:19:13 lol 05:20:16 <\oren\> (I was looking at a "3d interactive panorama" of the sistine chapel and noticed that Eve was looking a little.. manly) 05:28:49 <\oren\> Raphael on the other hand, appears to know what women look like 05:43:34 -!- tromp has joined. 05:47:42 -!- tromp has quit (Ping timeout: 244 seconds). 05:59:04 -!- hppavilion[1] has joined. 06:02:12 -!- augur has joined. 06:14:35 michelangelo was gay 06:21:41 `` grep -P '(.)\1{2}' /usr/share/dict/words 06:22:44 grep: /usr/share/dict/words: No such file or directory 06:23:52 *gasp* 06:24:01 y u no grep -E 06:25:34 `` grep -P '(.)\1{2}' share/dict-words 06:25:42 KKK's \ WWW's 06:25:51 Why {2} rather than \1? 06:27:52 <\oren\> `random-card 06:28:04 Iridescent Drake \ 3U \ Creature -- Drake \ 2/2 \ Flying \ When Iridescent Drake enters the battlefield, put target Aura card from a graveyard onto the battlefield under your control attached to Iridescent Drake. \ UD-U 06:28:31 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 06:36:45 -!- sebbu has joined. 07:13:10 -!- lambda-11235 has quit (Quit: Bye). 07:14:32 -!- adu has quit (Quit: adu). 07:37:35 -!- hppavilion[1] has joined. 07:44:01 -!- tromp has joined. 07:45:17 https://en.wikipedia.org/wiki/Template:Genocide is... interesting 07:45:21 "Issues" 07:48:27 -!- tromp has quit (Ping timeout: 264 seconds). 07:50:57 how dare they label things as issues 07:51:09 so disrespectful 07:51:31 -!- puckipedia has quit (Ping timeout: 240 seconds). 07:53:31 "It is a matter of honor with me to be absolutely clean and unequivocal in relation to anti-Semitism" -- Friedrich Nietzsche 07:53:46 izabera: It's just weird word choice 07:54:00 It makes it sound like it's a debate xD 07:54:19 -!- puckipedia has joined. 08:16:27 -!- AnotherTest has joined. 08:20:07 -!- FireFly has quit (Ping timeout: 244 seconds). 08:22:31 -!- FireFly has joined. 08:31:03 -!- AnotherTest has quit (Ping timeout: 264 seconds). 08:33:47 https://www.youtube.com/watch?v=bKgf5PaBzyg 08:42:25 -!- FireFly has quit (Ping timeout: 252 seconds). 08:43:11 -!- FireFly has joined. 09:15:57 -!- oerjan has quit (Quit: Nite). 09:20:40 -!- Froox has joined. 09:23:27 -!- Frooxius has quit (Ping timeout: 246 seconds). 09:32:08 -!- augur has quit (Remote host closed the connection). 09:39:57 http://www.tomsarazac.com/tom/opinions/xterm-problems.html good read 10:14:01 -!- AnotherTest has joined. 10:14:58 -!- MoALTz has joined. 10:20:24 -!- AnotherTest has quit (Ping timeout: 250 seconds). 10:28:27 -!- AnotherTest has joined. 10:44:36 * FireFly looks 10:45:12 Should I read "xterms" as "teminal emulators supposed to be compatible with xterm"? 10:45:28 -!- tromp has joined. 10:45:33 hm no, looks like forks of xterm 10:49:52 -!- tromp has quit (Ping timeout: 250 seconds). 10:52:01 Speaking of terminal emulators, http://www.leonerd.org.uk/hacks/fixterms/ 11:02:27 FireFly: I actually don't completely like that proposal. Some of it makes sense, but some of it should be optional and active only when an app requests that mode with an escape sequence and the user allows it: I like the fact that c-M, c-J, c-?, c-H, c-I can be entered in two ways, and especially like the fact that space can be entered as shift-space. 11:03:39 Mmm, fair 11:05:08 Also, the proposal seems half-done, because it doesn't mention what should happen with some of the control-numbers, which are sometimes mapped so that c-3 c-4 c-5 c-7 are an alias of c-\ c-[ c-] c-_ in some order 11:12:27 (Nor does it seem to mention the key codes starting with "\eO", despite that those matter for the timing info too.) 11:13:52 that wasn't a good read... there is a reasonable complaint in there but wading through the insults was tiresome 11:24:11 -!- AnotherTest has quit (Ping timeout: 258 seconds). 11:30:11 -!- tromp has joined. 11:33:00 -!- augur has joined. 11:33:18 -!- boily has joined. 11:34:20 https://upload.wikimedia.org/wikipedia/commons/6/62/Feb1712.jpg is my new favorite 1712 swedish calendar 11:38:16 -!- augur has quit (Ping timeout: 272 seconds). 11:40:29 9/2932 never forget 11:42:10 Ugh, it's annoying when you look for something with EXACT times and they don't include seconds 11:45:31 1000212400 never forget 11:45:34 There we go 11:45:39 Am I a bad person yet? 11:48:42 nah 11:49:13 myname: Darn 11:53:40 myname: Where could I go that the people there would be offended, but only a couple could figure out that they should be, and would have a hard time explaining it to everyone else? 11:54:11 ground zero 11:55:09 myname: I mean in terms of an IRC channel 11:55:35 ah 11:55:37 dunno 11:56:12 hppavilion[1]: probably anywhere if you make an obscure enough joke 11:56:25 b_jonas: True 11:56:30 b_jonas: I'm going to find if the GOP has an IRC 11:56:39 an obscure and hard to explain one that is 11:56:58 b_jonas: Unix timestamps 11:57:05 b_jonas: Does that qualify? 11:59:09 hppavilion[1]: the hard part is making the joke hard to _explain_, not just hard to recognize 12:02:39 I've noticed a program look for ~/.terminfo 12:05:10 There, I'm using the message *nix.1000212400<3 12:05:19 Anybody who gets it has earned my eternal respect 12:05:26 (outside of programmer circles) 12:08:23 -!- ais523 has joined. 12:10:40 deltab: yes, that's the directory where programs using terminfo databases look for user (not system) terminfo description files, unless the program is set[gu]id or you set the TERMINFO env-var. See the terminfo(5) manual from ncurses. 12:12:28 -!- tromp has quit (Remote host closed the connection). 12:13:00 feminists are easy to insult 12:31:21 -!- boily has quit (Quit: DIALECT CHICKEN). 12:51:25 -!- LKoen has joined. 12:54:43 -!- AnotherTest has joined. 13:15:13 -!- spiette has joined. 13:28:37 What's the easiest way to fuck with the rules of mohammed-drawing? 13:29:19 -!- AnotherTest has quit (Ping timeout: 250 seconds). 13:34:06 -!- augur has joined. 13:34:54 -!- spiette has quit (Quit: :qa!). 13:37:26 OK, I seem to be missing something with xkcd garden 13:38:25 -!- augur has quit (Ping timeout: 250 seconds). 13:46:19 -!- ais523 has quit (Quit: lunchtime). 13:59:48 -!- Kaynato has joined. 14:02:35 That moment when Safety Dance unexpectedly starts playing in the background 14:04:12 In the future, everyone will have brain implants that improve our understandings of music theory and composition and gives us minor telepathic powers for song syncronization 14:07:28 https://vimeo.com/161783929/dba6a42ad3 knuth is so cute 14:07:33 -!- Sgeo__ has quit (Ping timeout: 240 seconds). 14:12:59 -!- tromp_ has joined. 14:17:25 -!- tromp_ has quit (Ping timeout: 250 seconds). 14:39:11 -!- hppavilion[1] has quit (Ping timeout: 240 seconds). 14:43:52 `olist 1043 14:44:58 olist 1043: shachaf oerjan Sgeo FireFly boily nortti b_jonas 14:53:35 -!- `^_^v has joined. 15:34:41 -!- augur has joined. 15:39:19 -!- augur has quit (Ping timeout: 250 seconds). 16:14:17 -!- tromp_ has joined. 16:18:33 -!- tromp_ has quit (Ping timeout: 240 seconds). 17:03:16 <\oren\> the fact that he wants to take the xterm developers and "bend them over and have at it" could be taken in multiple ways. 17:06:10 -!- PinealGlandOptic has joined. 17:12:19 -!- AnotherTest has joined. 17:13:47 -!- myndzi has quit (Ping timeout: 250 seconds). 17:13:57 -!- J_Arcane has joined. 17:35:38 -!- augur has joined. 17:40:03 -!- augur has quit (Ping timeout: 240 seconds). 17:54:19 -!- ais523 has joined. 18:34:11 <\oren\> I don't think i've ever used an xterm-based terminal 18:42:47 -!- PinealGlandOptic has quit (Quit: leaving). 18:51:00 -!- `^_^v has quit (Quit: This computer has gone to sleep). 18:51:09 -!- `^_^v has joined. 19:07:18 -!- augur has joined. 19:37:41 error: a label can only be part of a statement and a declaration is not a statement 19:37:43 I HATE THIS 19:38:17 it's the most idiotic limitation they could come up with 19:38:32 -!- LKoen has quit (Remote host closed the connection). 19:38:42 the single most pointless stupid dumb limitation in the whole history of programming languages 19:42:24 fg 19:42:28 wrong windo 19:42:30 w 19:47:10 <\oren\> just put a ; after all labels 19:47:33 <\oren\> this works unless you're in a one line if statement 19:52:27 but whyyyyy 19:52:32 why do i have to do this 19:52:42 why is this stupid rule there in the first place 19:55:55 <\oren\> originally, you had declarations at the start of a function, and statements after that. mixing them at all was an extension to c90, adopted only in c99 19:56:15 it's been 40 years since "originally" 19:56:22 <\oren\> no, only 26 19:56:33 "only" 19:59:26 <\oren\> `` echo -e '#include \nint main(){printf("hello\\n");int i=30;printf("this won'\''t work\\n");}' | gcc -xc -otest - 19:59:53 -!- gamemanj has joined. 20:00:15 <\oren\> `` echo -e '#include \nint main(){printf("hello\\n");int i=30;printf("this won'\''t work\\n");}' | gcc -std=c90 -xc -otest - 20:00:47 No output. 20:00:49 unrelated: how do i get a readable fd from a fd opened with O_PATH ? 20:00:56 No output. 20:01:56 <\oren\> `` echo -e '#include \nint main(){printf("hello\\n");int i=30;printf("this won'\''t work\\n");}' | gcc -std=c90 -pedantic -xc -otest - 20:02:16 : In function ‘main’: \ :2:30: warning: ISO C90 forbids mixed declarations and code [-pedantic] 20:02:22 <\oren\> there we go 20:02:26 \oren\: Why write to the root directory rather than to tmp/? 20:02:34 That way you're putting it in hg history. 20:02:37 Pretty scow move if you ask me. 20:03:01 <\oren\> `? scow 20:03:04 Scow (S-cow) is canned meat made from cows with a lisp. 20:03:17 `cwlprits scow 20:03:28 oerjan 20:03:40 <\oren\> `? culprits 20:03:42 `? cons 20:03:46 ​`culprits` is a program that lists the lists the nicks responsible for a wisdom entry. Usage: `culprits wisdom/ENTRY 20:03:48 cons? ¯\(°​_o)/¯ 20:04:01 <\oren\> `? cwlprits 20:04:03 cwlprits? ¯\(°​_o)/¯ 20:04:28 `learn cons are small mammals which, shortly after birth, eat two other mammals. they then live on sunlight and grass. 20:04:34 Learned 'con': cons are small mammals which, shortly after birth, eat two other mammals. they then live on sunlight and grass. 20:04:47 I don't get it. 20:05:03 What I know is that it doesn't live up to the guidelines. 20:05:10 <\oren\> shachaf: lisp was mentioned recently 20:05:31 Yes, but that wisdom entry appears to have no redeeming value. 20:05:43 in which case, feel free to alter/remove it 20:05:45 there are guidelines? 20:05:45 But I could just be missing it. 20:06:01 Yes. For example the guideline that says that you capitalize sentences. 20:06:15 I can remove it, but maybe I'm missing something. 20:06:17 `? guidelines 20:06:19 <\oren\> `? sentence 20:06:19 guidelines? ¯\(°​_o)/¯ 20:06:21 sentence? ¯\(°​_o)/¯ 20:06:51 `learn Cons are small mammals which, shortly after birth, eat two other mammals. They then live on sunlight and grass, until they are finally removed from existence. 20:06:54 <\oren\> you must capitalize SENTENCES whenever it appears in a wisdom entry 20:06:55 Relearned 'con': Cons are small mammals which, shortly after birth, eat two other mammals. They then live on sunlight and grass, until they are finally removed from existence. 20:07:08 I don't get it. 20:07:24 <\oren\> shachaf: do you know lisp 20:07:41 More or less. 20:08:16 <\oren\> cons is the function that takes two arguments and makes a 2-tuple of them 20:08:41 I know that. 20:09:00 <\oren\> that's the joke 20:09:24 What's the joke? 20:10:15 <\oren\> AAAAAAAA wai don tyu gedit? 20:10:59 What's funny? 20:11:19 <\oren\> `? cons 20:11:22 Cons are small mammals which, shortly after birth, eat two other mammals. They then live on sunlight and grass, until they are finally removed from existence. 20:11:24 <\oren\> that's funny 20:11:42 Which part? 20:11:45 Sunlight and grass? 20:12:01 <\oren\> imagining the cons as cute little bunnies or somehting 20:12:09 <\oren\> it's funny 20:12:42 you are mistaken hth 20:13:10 We don't need to hide the hats? 20:13:27 On the other hand, the other day a person insisted that the joke at the top of http://www.scottaaronson.com/writings/bignumbers.html isn't funny. 20:13:38 I didn't understand that. It's a good joke. 20:15:26 well it made me laugh. 20:15:47 -!- tromp_ has joined. 20:16:21 The cons? 20:16:35 the numbers 20:17:25 not sure about the cons... certainly didn't make me laugh 20:17:58 Ah. I agree. 20:20:28 -!- tromp_ has quit (Ping timeout: 258 seconds). 20:20:34 I set out to make a program in that goes through each counting number, and finds the position of that number's least signifigant binary 1 digit. 20:20:58 "counting number"... natural number? 20:21:01 But for some reason I'm not able to actually accomplush that? 20:21:12 MDude: it won't terminate on 0 hth 20:21:14 Baby number? Froth number? 20:21:53 Counting numbers ar enatural numbers, sure. 20:21:54 int-e: A counting number is a number used by Count von Count. 20:22:01 He starts counting at 1, so 0 is no problem. 20:22:45 Yes, I meant the set that starts with 1. 20:23:33 > fix ((1:) . (>>= \x -> [x + 1, 1])) 20:23:35 [1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,5,1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,6,1,2,1,3,1,2... 20:24:50 Now, what language is that program? 20:25:12 I guess lambda calculus? 20:25:14 > fix (concat . transpose . (repeat 1 :) . return . fmap succ) -- roughly the same with a more versatile dictionary 20:25:16 [1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,5,1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,6,1,2,1,3,1,2... 20:26:04 lambdabot speaks Haskell 20:26:18 I, unfortunately, don't. 20:26:25 in any case you didn't specify a programming language. 20:27:02 I was looking for an algorithm, not code. :p 20:27:34 (arguably I'm cheating because I'm using the fact that the ruler function returns the results of the ruler function, plus one, interleaved with ones. 20:27:38 ) 20:27:47 How do you want the algorithm specified? 20:28:25 Basically I'm trying to make a ruler function to begin with, actually. 20:28:52 Because I forgot that just plugging in a name like that would probably get me a result on Wikipedia. 20:29:40 > fix((1:).(>>=(:[1]).succ) 20:29:41 :1:26: 20:29:42 parse error (possibly incorrect indentation or mismatched brackets) 20:29:59 > fix((1:).(>>=(:[1]).succ)) 20:30:01 [1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,5,1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,6,1,2,1,3,1,2... 20:33:40 In this particular case, I'm currently trying to use Smilebasic, but the intent is to emit beeps with frequencies proportional to the result of the ruler function for the value of the time passed since the program began. 20:33:49 Since I figure that would sound somewhat muisical. 20:33:50 :t popCount 20:33:51 Bits a => a -> Int 20:34:07 <\oren\> #include "stdio.h" 20:34:07 <\oren\> int f(int x){printf("%d",x);g(x-1);} 20:34:07 <\oren\> int g(int y){int x;for(x=0;x<=y;x++)f(x);} 20:34:08 <\oren\> int main(){g(6);} 20:34:16 -!- adu has joined. 20:34:53 > map(succ.popCount.pred.ap(.&.)negate)[1..] 20:34:54 [1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,5,1,2,1,3,1,2,1,4,1,2,1,3,1,2,1,6,1,2,1,3,1,2... 20:36:02 <\oren\> Hmm mine has a base case of 0 but otherwise seems correct 20:36:25 <\oren\> 0102010301020104010201030102010501020103010201040102010301020106010201030102010401020103010201050102010301020104010201030102010 20:36:53 so change the x=0 to x=1 20:37:00 -!- adu has quit (Client Quit). 20:37:30 <\oren\> int-e: yeah, then i just need to be able to pass infinity into g() 20:38:10 or replace it by for(int x=1;;x++)f(x); 20:38:24 <\oren\> right in the main loop 20:38:46 yes, "it" being the contents of the main function 20:38:49 sorry. 20:39:44 <\oren\> MDude: does my mutual recursive function help or does SmileBasic not support recursion 20:40:24 It supports recursion. Thanks, I hadn't thought to use functions for this. 20:40:38 I'll go see if I can translate it. 20:41:19 `wisdom 20:41:20 `wisdom 20:41:22 `wisdom 20:41:22 `wisdom 20:41:23 `wisdom 20:41:31 Though if the C version can get stuffed into one line, it migth work as a bytebeat program. 20:41:40 `help 20:41:48 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 20:41:52 all this is ridiculous if you know that x86 (since the 486) have a builtin ruler function (more precisely, a function that can find the "next" set bit to the left or the right in a register, given a startin position) 20:42:06 No output. 20:42:23 ah, unbalanced parenthesis. I'll surely hear about it from oerjan, later. ) 20:42:54 [ 20:43:16 ⟅ 20:43:27 Guess I should switch to using x86 assambly then? 20:43:31 `icode ⟅ 20:44:02 No output. 20:44:03 quote//Quotes are just elements of the quantum dilapidated bogosphere. See qdb. 20:44:04 <\oren\> ⸨ 20:44:10 composition//composition is where you take morphisms such as Phantom and Hoover from the Pha category and combine them together: Hoover ∘ Phantom. 20:44:10 remorse//.--. . --- .--. .-.. . / .-- .. - .... / -. --- / .-. . -- --- .-. ... . / .. -. ... .. ... - / --- -. / ... .- -.-- .. -. --. / . ...- . .-. -.-- - .... .. -. --. / .. -. / -- --- .-. ... . / -.-. --- -.. . --..-- / -... ..- - / --- -. .-.. -.-- / --- -. -.-. . .-.-.- 20:44:12 ​[U+27C5 LEFT S-SHAPED BAG DELIMITER] 20:45:18 <\oren\> ⎰ 20:45:20 <\oren\> ⎱ 20:45:49 <\oren\> ⎧ 20:45:54 <\oren\> ⎨ 20:45:56 <\oren\> ⎩ 20:46:40 gcc has __builtin_ctz() to count trailing zeros 20:47:15 <\oren\> int-e: yeah but that won't work above 64 20:48:08 <\oren\> although we'd never actually witness its failure 20:48:19 -!- idris-bot has joined. 20:48:27 I'd expect it to work for int128_t 20:48:36 but I don't know :P 20:49:47 Why wouldn't you witness failure about 64? 20:51:15 <\oren\> because the program would have to run until it gets there 20:51:36 What's wrong with that? 20:51:51 <\oren\> i'll be dead 20:52:26 <\oren\> 2^64 seconds is much longer than anyone can expect to live 20:53:00 Wait, seconds? 20:53:34 I must've missed something about seconds. 20:53:54 <\oren\> yes. the program is emitting beeps with frequency proportional to the ruler function of the time passed since it was started 20:54:07 beep 20:54:34 -!- wob_jonas has joined. 20:55:03 <\oren\> boop bap boop beep boop bap boop bip boop bap boop beep boop bap boop 20:55:41 <\oren\> see? frequency proportional to the ruler function 20:58:30 <\oren\> hellwob_jonas! 21:03:05 Trying to translate the C code into Basic, currently getting a stack overfow error. 21:03:45 Which I expect to eventually get, but before that ti's a strong of all zeroes. 21:17:10 Maybe Smilebasic is dumb when ti comes to using loops withing a recursive function? 21:19:28 MDude: what code? 21:19:34 and what dialect of basic? 21:19:49 \oren\'s code. 21:19:57 [15:34:15] <\oren\> #include "stdio.h" 21:19:57 [15:34:15] <\oren\> int f(int x){printf("%d",x);g(x-1);} 21:19:57 [15:34:15] <\oren\> int g(int y){int x;for(x=0;x<=y;x++)f(x);} 21:19:57 [15:34:15] <\oren\> int main(){g(6);} 21:20:24 And this one: http://smilebasic.com/ 21:20:47 I can't use x86 stuff with it since it's for a portable game consol.e 21:20:50 *console 21:21:49 Clearly you need to write an x86 emulator first... :P 21:21:49 But that's just the language I was playing with most recently. IBNIZ or bytebeat would work too. 21:22:07 guys, when PayPal says the customer service phone number has the service hours are "8.00 and 4.30 GMT Monday to Friday", does that mean they are intervals between 08:00 UTC and 04:30 UTC when the start of the interval falls on Monday to Friday? Or intervals between 08:00 and 16:30 UTC on Monday to Friday? 21:22:07 or something else entirely? 21:22:20 Bytebeat being a one-line C program that can run on something like http://wurstcaptures.untergrund.net/music/ 21:23:05 . o O ( you have to call at precisely those times ) 21:26:35 int-e: apart from how it's impossible to call at precisely a given time, it says specifically "Our Service Hours" 21:27:12 MDude: and can you show us your Basic translation? 21:27:50 'Poland PayPal phone number: 00 353 1 436 9001; 08:00 - 16:30 GMT Monday - Friday' 21:28:23 int-e: I see. That seems clearer. 21:28:23 random, unaffiliated page, cross-check with another source 21:28:42 sure, the phone number *is* here, I will use that 21:28:47 but at least it's clearly a range in that version. 21:28:53 and it can reasonably be different in different countries 21:29:13 and they could even have different service hours for different combinations of countries and/or languages 21:30:01 they do, apparently 21:30:21 but perhaps they've combined several "small" countries and are handling them from the same call center 21:30:38 (using GMT is a bit odd, imho) 21:30:39 int-e: yes 21:30:59 why? using GMT totally makes sense 21:31:04 I can use paypal from different timezones 21:34:49 well, they list local times for many other countries 21:43:20 MDude: this seems like a strange an powerful dialect of Basic 21:43:55 strange in the sense that it has strange syntax for constructs that already have different syntax in other Basics 21:45:24 MDude: anyway, I'd like to see your translation 21:46:20 and powerful in the sense that it has a lot of useful builtins that other basics don't have 21:48:04 I wonder what numeric type(s) this has 21:49:30 "This product uses double-precision real-type numbers or integers to represent values internally." -- they could be a bit more concrete than that... 21:51:31 but maybe I'm jut not familiar with enough dialects of basic 21:56:24 -!- gamemanj has quit (Ping timeout: 272 seconds). 22:12:57 heh, ARM has an instruction for counting leading zeros (since v5?)... and one for reversing bits... (since v6?) 22:14:57 int-e: sure, ARM actually has more choices of vector instructions and strange integer operations (including simd ones) on general registers than x86 before AVX2, possibly even than x86 before AVX512 22:15:52 as in, although the x86 instruction set is powerful enough for most practical programs, the ARM ones are more orthogonal and have a lot of sort of redundant instructions 22:17:10 -!- tromp_ has joined. 22:17:14 but mind you, x86 has had instruction for counting leading zeros in a general register since way back in 386, and had a new (better) instruction for that in future versions too, and also has a general register big reverse instruction in some recent instruction set extension 22:17:45 int-e: the leading zero count is actually very useful (bit reverse comes up much less often) 22:18:48 the reason I found this is that together they can count trailing zeros, which is essentially the ruler function 22:19:18 as in, bit reverse has very few applications, and enough efficient ways to emulate from other instructions that it doesn't seem to be too useful an addition, although it's sort of borderline 22:20:04 int-e: x86 has both count leading and count trailing zeros functions 22:20:09 as instructions 22:20:31 hmm maybe bit reversal is good for indexing into the results of medium-sized FFTs. 22:20:48 wob_jonas: see above. 22:21:31 they do more, actually; bsf and bsr find the next/previous set bit in a word from a starting index. 22:21:55 -!- tromp_ has quit (Ping timeout: 252 seconds). 22:22:12 int-e: yes, but that doesn't add too much more power (together with other instructions that is) 22:22:36 it was more powerful in the 90s when they were introduced :P 22:25:08 and then there's the very CISCy bt (bit test) instruction... it's harmless enough on registers... used on memory, it actually supports larger offsets than 32 (or 64) 22:25:49 so useful for indexing bit vectors 22:26:00 int-e: the 386 bit search instructions are ugly CISCy too 22:27:09 and sure, a lot of the x86 things made much more sense in the past 22:27:53 darn, somehow I thought this was one of the 486 additions. not that it matters much these days 22:28:01 in a very few cases the CISCy design of x86 is so obsolate that new features already don't make sense when they were introduced, but usually they only don't make sense half a decade later 22:28:28 `? obsolate 22:28:31 obsolate? ¯\(°​_o)/¯ 22:28:37 int-e: what was 486 addition in particular? don't believe the details I say without checking 22:29:03 did I misspell or misuse that word? 22:29:24 https://en.wikipedia.org/wiki/X86_instruction_listings#Added_with_80486 22:29:29 wob_jonas: "obsolete" 22:29:39 but the "late" in there made it look almost intentional 22:29:44 ah 22:29:49 IIRC the big 486 ISA additions were atomics. 22:30:00 I didn't say it because of "late" 22:30:10 bswap is nice too 22:30:26 it just seems like a weak vowel do I don't remember the spelling 22:30:31 pikhq: yes, definitely 22:30:51 Yeah, but that's more a nicety. The atomics are big because they introduce functionality that fundamentally wasn't there before. 22:31:10 While you could do bswap yourself, just not as nicely. 22:32:25 486 also added SMM to the mainline processors... another GREAT design decision. 22:33:09 also, isn't 486 the first generation that has a variant with the x87 built-in as opposed to a separate chip? 22:33:20 yes 22:34:03 I assume that comes with performance advantage 22:34:24 and the last generation which offered a split version (486SX and 487 coprocessor... I've read that early 487 were actually full-blown 486 with some fuse blown) 22:34:58 I didn't know it had a split version 22:34:58 but ok 22:35:28 it makes sense that it was the last generation with a split version, because the x87 was always present on the pentium, right? 22:36:18 which was the first version that made the x87 synchronization WAIT instruction redundant? 22:36:20 yes. and then they started adding to it... MMX.... etc. 22:36:32 FWAIT. that too. 22:36:43 MMX is a bit later than the first pentiums 22:36:48 oh yes, FWAIT 22:37:20 It's just that I have fond memories of a Pentium MMX PC :P 22:37:35 I see 22:53:03 -!- Sgeo__ has joined. 22:58:03 -!- AnotherTest has quit (Ping timeout: 264 seconds). 23:03:15 -!- augur has quit (Remote host closed the connection). 23:04:13 `quote 23:04:14 `quote 23:04:15 `quote 23:04:15 `quote 23:04:16 `quote 23:05:21 1075) <+kmc> my girlfriend served as an adult control subject for some behavioral research on children [...] <+kmc> she did live on psych studies for a year yeah Is there a control protocol where you don't use people who live off being sociology test subjects 23:05:40 916) ~eval 1+2 Error (127): this is a great bot boily i love it 23:05:40 93) pikhq: from csh type ' exit', is a simple protocol which provides an interface to c. [...] 23:05:40 218) so you have legacy software in befunge that needs supported? 23:05:41 105) but yeah i'm not exactly comfortable with this stuff, to me it seems like if you can unscrew lightbulbs, why couldn't you see into the future, or through walls as well 23:05:44 . o O ( WHO DARES TO WAKE ME FROM MY SLUMBER?! ) 23:09:56 -!- cocoabotter has joined. 23:10:19 ##fpga 23:12:00 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 23:13:39 hmm, someone I've never seen before joins this channel and randomly posts a link to another, unexplained 23:13:44 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:13:52 and yet I don't think it's a spambot because the channel link is pretty close to ontopic, which wouldn't normally happen 23:17:25 -!- Sgeo__ has quit (Read error: Connection reset by peer). 23:18:42 -!- Sgeo has joined. 23:24:51 hmm, I just got a spam mail that's recruiting for the Illuminati 23:25:00 or claims to be, at least 23:25:09 this is pretty creative as spam goes 23:25:28 Reading about the historical illuminati, they seem kind of cool (unless I'm missing something)? And dead. 23:25:49 maybe I should make a "best of spam" folder 23:27:43 I remember the first pyramid spam I got. It was great. 23:39:36 -!- LKoen has joined. 23:39:43 Well, I figured out how to make the code work before dinner. 23:39:57 Part of it was of course fixing a typo in a loop variable. 23:44:27 -!- LKoen has quit (Ping timeout: 260 seconds). 23:59:58 -!- oerjan has joined.