00:06:56 @free traverse 00:06:57 Extra stuff at end of line in retrieved type "(Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b)" 00:07:22 @free (a -> f b) -> t a -> f (t b) 00:07:22 Pattern match failure in do expression at src/Lambdabot/Plugin/Haskell/Free/FreeTheorem.hs:54:21-35 00:07:32 @free t :: (a -> f b) -> t a -> f (t b) 00:07:33 Plugin `free' failed with: src/Lambdabot/Plugin/Haskell/Free/Type.hs:(152,17)-(160,45): Non-exhaustive patterns in case 00:07:50 stupid plugin 00:08:19 @list free 00:08:19 free provides: free 00:08:23 @help free 00:08:23 free . Generate theorems for free 00:08:45 @free sin 00:08:46 Extra stuff at end of line in retrieved type "Floating a => a -> a" 00:09:01 has @free been broken completely 00:09:08 @free map 00:09:10 g . h = k . f => $map g . map h = map k . $map f 00:09:16 :t map 00:09:17 (a -> b) -> [a] -> [b] 00:09:29 @free mapM 00:09:30 Extra stuff at end of line in retrieved type "(Monad m, Traversable t) => (a -> m b) -> t a -> m (t b)" 00:10:14 @free traverse :: (a -> IO b) -> [a] -> IO [b] 00:10:15 $map_IO g . h = k . f => $map_IO ($map g) . traverse h = traverse k . $map f 00:17:26 -!- MoALTz__ has quit (Read error: Connection reset by peer). 00:18:13 -!- MoALTz__ has joined. 00:19:16 -!- olsner has quit (Ping timeout: 246 seconds). 00:19:48 -!- olsner has joined. 00:22:36 -!- augur has quit (Ping timeout: 264 seconds). 00:28:29 -!- XorSwap has joined. 00:31:44 i'm eating a can of tuna and on the can there's this text: bast before 18/09/2017 09:53 00:31:57 -!- augur has joined. 00:32:16 *best 00:32:37 (it's in italian so that part doesn't really matter) 00:37:19 Programming needs ternary comparators 00:37:32 (6>2 by 3) 00:39:29 -!- adu has quit (Quit: adu). 00:44:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:51:25 I want to force the "mUsingConnect" of "nsHttpConnectionInfo" to false; it is set in the "Init" method but I want to override it in a JavaScript code so that it forces false 00:55:06 I want to force it not to use the CONNECT method 00:56:41 -!- Patashu has quit (Ping timeout: 250 seconds). 00:59:04 -!- Patashu has joined. 01:01:22 in brainfuck, does "[" always reference the same cell on each iteration, or does it dynamically reference the current pointer when "]" is encountered? 01:02:06 why does it have to be dynamic? 01:02:28 both choices are valid, i want to know what brainfuck defines 01:02:48 newsham: It refers to the current pointer. 01:03:45 i think i need a clarification on that question 01:04:25 -!- zzo38 has quit (Quit: zzo38). 01:04:38 thank you, that solved my bug :) 01:05:14 I,I amUsingConnect 01:05:21 -!- adu has joined. 01:06:35 -!- doesthiswork has quit (Read error: Connection reset by peer). 01:06:42 -!- doesthiswork has joined. 01:07:38 19:44 toyed with the idea of writing my own coding language before i found this room <-- i'm going to assume e joined on the wrong network by mistake 01:08:03 -!- XorSwap has quit (Ping timeout: 255 seconds). 01:09:22 e? 01:09:34 gender neutral pronoun 01:09:54 -!- XorSwap has joined. 01:09:55 that's a new one 01:10:09 it's the official GNP in Agora Nomic 01:10:19 aka "spivak pronoun" 01:10:27 -!- XorSwap has quit (Client Quit). 01:10:36 -!- sc00fy has quit (Ping timeout: 265 seconds). 01:11:21 how did that become official? 01:11:39 well, traditional, anyway. it may not be an actual rule. 01:11:44 spivak's are so different from everything else... i'd much rather use zie/hir 01:11:58 i'm not sure, it's possible we inherited it from Nomic World 01:12:38 (can i use "we" despite currently not being a Player? well, i just did.) 01:12:45 -!- Patashu has quit (Ping timeout: 268 seconds). 01:13:00 The tradition comes because Suber (inventor of Nomic) was fond of Spivak pronouns. 01:13:22 do you all play nomic here? 01:13:34 -!- Patashu has joined. 01:13:37 oh was it in the original suber set too... 01:13:39 Not *all* of us, but definitely a higher proportion than normal. 01:14:12 What is normal? 01:14:36 I don't entirely know. 01:14:48 shachaf: somewhere below 1% i guess 01:15:00 1% of what 01:15:27 Homo sapiens sapiens. 01:16:08 hm doesn't look like it 01:17:55 it's not in the original nomic world ruleset, but it's in this version http://www.nomic.net/deadgames/nomicworld/norrish/ruleset-1dec92 01:18:42 rather inconsistently in a single rule. 01:18:53 (other rules use "he or she" and "they") 01:21:00 eek dead link to ruleset collection 01:22:20 ah the initial Agora ruleset had 5 instances https://www.fysh.org/~zefram/agora/chuck0_nr_19930630.txt 01:22:34 + an "eir" 01:24:58 what if this nomic thing was a complicated distributed system where by the time a proposal you submit to amend the rules is seen by other people, the rules they know about have already changed 01:25:59 sounds cool, but probably not workable with the number of players a game tends to get 01:31:32 -!- bender| has joined. 01:31:32 -!- bender| has quit (Changing host). 01:31:32 -!- bender| has joined. 01:35:34 -!- FreeFull has quit (Ping timeout: 268 seconds). 01:37:16 -!- FreeFull has joined. 01:38:13 this lambda calculus discussion made me wonder 01:38:42 can you write the S combinator as a lambda expression using only 2 variables 01:39:10 (K and I are trivial) 01:44:09 hey, you're not completely trivial 01:44:28 you don't know that hth 01:45:39 -!- Patashu has quit (Ping timeout: 250 seconds). 01:45:48 oerjan: interesting question 01:45:56 my first guess is that the answer is no 01:46:27 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 01:47:26 -!- ^v has joined. 01:47:52 K and KI give you booleans 01:47:59 -!- Patashu has joined. 01:48:01 can you encode pairs... 01:51:34 hm you have church numerals 01:51:50 sure 01:51:51 \f x -> f (f (f x)) 01:55:32 you can shadow, right? 01:55:43 this is like de bruijn indices where you only allow 0 or 1 02:03:26 it's interesting that in BCKW, CKW correspond to the three types of structure people talk about in substructural type systems 02:04:01 my pastebin served pages to over 1000 different ip addresses since august 23 02:04:08 what sort of substructural type system has reordering, discarding, and duplication, but not composition? 02:04:11 is it really boring? 02:11:15 -!- variable has joined. 02:24:41 -!- adu has quit (Quit: adu). 02:42:18 -!- grotewol_ has joined. 02:44:52 -!- grotewo__ has joined. 02:45:10 -!- grotewold has quit (Ping timeout: 272 seconds). 02:46:21 -!- grotewol_ has quit (Read error: Connection reset by peer). 02:46:51 -!- adu has joined. 02:51:34 -!- fowl has joined. 02:51:36 -!- fowl has left ("http://quassel-irc.org - Chat comfortably. Anywhere."). 03:02:16 -!- hppavilion[1] has joined. 03:04:56 -!- mauris has quit (Ping timeout: 240 seconds). 03:08:35 -!- grotewold has joined. 03:11:30 -!- grotewo__ has quit (Ping timeout: 260 seconds). 03:20:02 -!- bender| has quit (Ping timeout: 246 seconds). 03:21:35 -!- bender| has joined. 03:24:16 [wiki] [[Befunge]] http://esolangs.org/w/index.php?diff=44393&oldid=44259 * 198.58.161.28 * (-10) /* Compilation */ Befunjit paragraph applies to Bejit as well 03:29:29 -!- MDude has quit (Ping timeout: 246 seconds). 03:42:07 -!- Frooxius has quit (Quit: *bubbles away*). 03:52:59 -!- ^v has quit (Read error: Connection reset by peer). 03:53:59 -!- Patashu has quit (Ping timeout: 246 seconds). 03:58:36 -!- Patashu has joined. 04:05:02 -!- grotewol_ has joined. 04:07:28 -!- grotewold has quit (Ping timeout: 246 seconds). 04:07:33 -!- grotewo__ has joined. 04:09:21 -!- doesthiswork1 has joined. 04:09:21 -!- doesthiswork has quit (Read error: Connection reset by peer). 04:10:00 -!- grotewold has joined. 04:10:22 -!- grotewol_ has quit (Ping timeout: 244 seconds). 04:12:52 -!- grotewol_ has joined. 04:13:18 -!- grotewo__ has quit (Ping timeout: 265 seconds). 04:15:39 -!- grotewold has quit (Ping timeout: 256 seconds). 04:18:14 -!- grotewold has joined. 04:20:12 -!- zzo38 has joined. 04:20:46 -!- grotewol_ has quit (Ping timeout: 240 seconds). 04:21:00 -!- grotewol_ has joined. 04:23:33 -!- grotewo__ has joined. 04:23:34 -!- grotewold has quit (Ping timeout: 246 seconds). 04:23:50 -!- Sgeo has quit (Read error: Connection reset by peer). 04:24:19 -!- variable has quit (Ping timeout: 244 seconds). 04:25:54 [wiki] [[Special:Log/newusers]] create * Vihan * New user account 04:26:23 -!- grotewol_ has quit (Ping timeout: 244 seconds). 04:26:35 -!- grotewo__ has quit (Client Quit). 05:02:21 HSTS can be disabled in Firefox by the use of a hexeditor. But I have read that HSTS flags cannot be deleted on iPad even if the device is wiped, and can leave an indelible mark by the use of HSTS supercookies. Actually I think it may be possible to get rid of them if you can use a proxy server to set all of the HSTS flags that make up that supercookie; it is kind of like deleting the data on a punch card by punching all of the positions. 05:04:04 -!- Frooxius has joined. 05:09:15 -!- Sgeo has joined. 05:10:47 -!- FreeFull has quit (Ping timeout: 268 seconds). 05:11:28 -!- FreeFull has joined. 05:14:20 -!- Sgeo has quit (Read error: Connection reset by peer). 05:22:16 -!- Sgeo has joined. 05:25:47 [wiki] [[HALT]] N http://esolangs.org/w/index.php?oldid=44394 * Vihan * (+2521) Added specification 05:28:18 [wiki] [[Language list]] M http://esolangs.org/w/index.php?diff=44395&oldid=44279 * Vihan * (+11) Added HALT 05:31:04 [wiki] [[HALT]] M http://esolangs.org/w/index.php?diff=44396&oldid=44394 * Vihan * (+81) Added Interpreter 05:33:18 -!- adu has quit (Quit: adu). 05:39:08 [wiki] [[HALT]] http://esolangs.org/w/index.php?diff=44397&oldid=44396 * Vihan * (+197) 05:46:49 The X cursor font is missing a magnifier icon; it seems to have everything else. 06:03:31 -!- Frooxius has quit (Quit: *bubbles away*). 06:04:34 -!- grotewold has joined. 06:08:23 -!- grotewol_ has joined. 06:11:10 -!- grotewold has quit (Ping timeout: 250 seconds). 06:11:20 -!- grotewold has joined. 06:13:46 -!- grotewol_ has quit (Ping timeout: 250 seconds). 06:14:05 -!- grotewol_ has joined. 06:16:00 -!- grotewo__ has joined. 06:16:16 -!- J_Arcane has joined. 06:16:37 -!- grotewold has quit (Ping timeout: 246 seconds). 06:17:11 -!- [1]blurelIse has joined. 06:18:46 -!- alx__ has joined. 06:18:47 -!- grotewol_ has quit (Ping timeout: 264 seconds). 06:18:52 -!- grotewold has joined. 06:19:07 -!- doesthiswork1 has quit (Quit: Leaving.). 06:19:45 -!- blurelIse has quit (Ping timeout: 256 seconds). 06:19:45 -!- [1]blurelIse has changed nick to blurelIse. 06:21:47 -!- grotewol_ has joined. 06:21:47 -!- grotewo__ has quit (Ping timeout: 264 seconds). 06:23:36 -!- grotewold has quit (Read error: Connection reset by peer). 06:25:00 -!- ChanServ has set channel mode: +o oerjan. 06:25:49 -!- oerjan has set channel mode: +b *!~grotewold@c-68-50-42-113.hsd1.in.comcast.net#fixyourconnection. 06:25:56 -!- oerjan has set channel mode: -o oerjan. 06:26:55 hm wait was that the right syntax 06:27:31 -!- ChanServ has set channel mode: +o oerjan. 06:27:41 -!- oerjan has set channel mode: -b *!~grotewold@c-68-50-42-113.hsd1.in.comcast.net#fixyourconnection. 06:27:52 -!- oerjan has set channel mode: +b *!~grotewold@c-68-50-42-113.hsd1.in.comcast.net$##fixyourconnection. 06:28:16 -!- oerjan has set channel mode: -o oerjan. 06:35:53 ---$## 06:37:21 let's start from 15 06:37:23 15 is 3 * 5 06:37:29 glue 3 and 5 together and you get 35 06:37:35 35 -> 5 * 7 06:37:47 57 -> 319 -> 1129 06:37:51 1129 is prime and we stop 06:38:24 does this sequence always stop for every integer > 1 ? 06:39:11 I don't know. 06:40:03 <\oren\> wait why does 57 become 319 and not 139? 06:40:06 I not only don't know the answer for base ten but I don't know the answer for base two either. 06:40:26 <\oren\> oh 06:40:29 <\oren\> right 06:40:29 \oren\: 57 is 3 * 19 06:41:07 <\oren\> the prime factors are arranged in order from small to large 06:41:07 i wrote a small script to test this and all numbers below 1000 terminate, except 49 which is still going 06:41:10 my computer is slow 06:41:17 heh 06:41:36 <\oren\> 49 -> 77 -> 711 -> 06:41:50 `factor 711 06:41:51 711: 3 3 79 06:41:57 `factor 3379 06:41:57 3379: 31 109 06:42:01 `factor 31109 06:42:02 31109: 13 2393 06:42:09 `factor 132393 06:42:10 132393: 3 44131 06:42:19 `factor 344131 06:42:20 344131: 17 31 653 06:42:31 `factor 1731653 06:42:32 1731653: 7 11 43 523 06:42:43 `factor 71143523 06:42:44 71143523: 11 11 577 1019 06:42:57 `factor 11115771019 06:42:58 11115771019: 311 35742029 06:43:05 `` n=49; while true; do echo $n; n=$(factor $n | tr -cd '[0-9]'); done 06:43:10 `factor 31135742029 06:43:11 31135742029: 7 17 261644891 06:43:29 izabera: do you know after what number of iterations the others stop? 06:43:35 49 \ 4977 \ 497733779 \ 497733779497733779 \ 497733779497733779711131952579497733779 \ factor: `497733779497733779711131952579497733779' is too large 06:44:02 `` n=49; for i in `seq 100`; do echo $n; n=$(factor $n | cut -d\ -f2- | tr -cd '[0-9]'); done 06:44:05 myname: i wrote a script that does it for me 06:44:22 izabera: what is the maximum iteration besides 49? 06:44:33 49 \ 77 \ 711 \ 3379 \ 31109 \ 132393 \ 344131 \ 1731653 \ 71143523 \ 11115771019 \ 31135742029 \ 717261644891 \ 11193431873899 \ 116134799345907 \ 3204751189066719 \ 31068250396355573 \ 62161149980213343 \ 336906794442245927 \ 734615161567701999 \ 31318836286194043641 \ factor: `31318836286194043641' is too large 06:44:56 @oeis 49,77,711,3379,31109 06:44:56 Concatenate all the prime divisors in previous term (with repetition), start... 06:45:04 -!- grotewol_ has quit (Ping timeout: 265 seconds). 06:45:05 woot 06:45:14 it's a thing 06:45:18 oh 06:45:23 @list oeis 06:45:23 oeis provides: oeis sequence 06:45:24 why doesn't it print put a link 06:45:37 int-e: i'm with myname 06:45:45 How do you tell it to display the OEIS ID number 06:45:48 at least have a command for it 06:45:57 looks like i missed something and 77 takes a while... ^^' 06:46:05 @sequence 49,77,711,3379,31109 06:46:05 Concatenate all the prime divisors in previous term (with repetition), start... 06:46:17 bah 06:46:21 Rather than only the description 06:46:48 izabera: weöö, obviously 06:46:50 http://arin.ga/t6ZGY8/raw output for 49 so far 06:46:55 https://oeis.org/A056938/internal 06:46:59 izabera: 77 needs one step less than 49 06:47:57 izabera: page claims up to 117 steps without stopping 06:48:18 http://arin.ga/t6ZGY8/raw 06:48:25 wrong paste 06:48:43 well my laptop isn't really suited for number crunching 06:49:03 especially if it's pointless number crunching like this <.< 06:49:18 Oh, it's slow because it requires factoring 06:49:25 <\oren\> at some point I should figure out how to network all my linux boxen into a cluster 06:49:45 <\oren\> or not 06:50:21 <\oren\> Are there cluster architectures that allow use of 286's? 06:50:42 <\oren\> and x86-64's in the same cluster 06:51:02 I don't think you want to write any software for a cluster that has a 286. 06:51:53 <\oren\> Jafet: but I have a 286 PC just sitting there 06:52:37 <\oren\> it's a ibm 06:52:56 how old is it? 06:53:34 <\oren\> I got it from my high school, sitting on the curb so i have no idea 06:54:05 <\oren\> it has several external parallel ports 06:55:13 <\oren\> I was using it for a while to play DOOM 06:55:47 http://www.worldofnumbers.com/topic1.htm 06:56:19 -!- alx__ has quit (Ping timeout: 246 seconds). 06:58:50 * \oren\ googles parallel port and realizes it has only one parallel port. the multiple ones are serial prts, which make no sense, since they have nine pins in parallel? 06:59:36 <\oren\> well regardless it has three serial ports and one parallel 06:59:52 "Probabilistic arguments give exactly zero for the chance that the sequence of integers starting at a given number n contains no prime, so a home prime should exist for every positive integer. " 07:00:00 http://mathworld.wolfram.com/HomePrime.html 07:00:13 (that's not a proof, of course, just a good hint) 07:02:19 proving that is probably a hard problem. 07:05:29 -!- Patashu has quit (Remote host closed the connection). 07:05:41 -!- Patashu has joined. 07:18:01 -!- MoALTz__ has changed nick to MoALTz. 07:19:23 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 07:26:53 -!- gamemanj has joined. 07:29:32 -!- oerjan has quit (Quit: leaving). 07:32:06 -!- JesseH has quit (Ping timeout: 240 seconds). 07:36:50 http://pastebin.com/QTf1EWuc 07:37:24 -!- JesseH has joined. 07:45:38 3331113965338635107 07:55:53 anyone wanna put my bf impl on the wiki? 07:58:48 -!- alx__ has joined. 08:04:51 -!- TieSoul has joined. 08:05:02 newsham: Can you put it by yourself? 08:06:40 I remember my grandfather once threatened to call the President and tell him to remove the word "I don't want" from the dictionary (this happened many years ago). This is despite that we live in Canada. 08:07:06 What did the President of Canada say? 08:08:11 He did not actually do that; he only threatened to do so. 08:10:04 The word "I don't want"? That would've failed even had there been a President of Canada... 08:10:10 -!- TieSoul has quit (Ping timeout: 260 seconds). 08:10:24 ...even if they were willing to remove words from dictionaries. 08:11:16 Yes, I know, there are so many things wrong with that. 08:11:37 -!- TieSoul has joined. 08:11:41 > length "I don't want" 08:11:43 12 08:11:55 Perhaps your grandfather uses 96-bit words. 08:12:20 Sounds like a good word for if you're playing Countdown, or Scrabble. 08:14:02 PSA: Ending the world is usually not a good idea. 08:14:15 And of course removing words from dictionaries won't generally stop people from using them anyways. 08:14:42 Sgeo: too much olist 08:15:04 * Sgeo was referring to events IRL during the Cold War actually 08:15:26 Although I guess saying the literal world is a bit poetic, just civilization 08:16:39 Especially Scrabble, because although I'm not sure what you'd represent the spaces and apostrophe as, it's made of 3 component words, so if you managed to manuver the letter-tree so that you could insert "I", "don't" and "want" in the right positions, then add whatever you'd be using as spaces in-between for lots of points on the massive mega-word... 08:17:01 Relatedly, happy Stanislav Petrov day! 08:17:42 Ending the world is the kind of thing that I think someone had to say "What could possibly go wrong?" in order to get even close to performing. 08:20:29 What could possibly go wrong with orders to retaliate if a new satellite system registers an attack? 08:21:05 A likely not-completely-tested one at that, I presume? 08:21:49 How does anyone completely test anything? 08:22:03 Via actual experience, I suppose? 08:23:34 There can always be edge cases, like sunlight reflecting off of clouds in a certain way 08:23:51 In the end, relying on anything except a mass dropout of everything in a certain area (and even then, if they have a power failure...) for information on if you've been hit or are going to be hit is a quick way to make a complete mess. 08:35:36 @where oeis 08:35:36 I know nothing about oeis. 08:40:18 -!- [1]blurelIse has joined. 08:42:23 -!- blurelIse has quit (Ping timeout: 246 seconds). 08:42:23 -!- [1]blurelIse has changed nick to blurelIse. 08:56:55 -!- sc00fy has joined. 09:31:44 -!- alx__ has quit (Quit: Leaving). 09:32:33 -!- Phantom_Hoover has joined. 10:06:51 -!- Vorpal has joined. 10:06:51 -!- Vorpal has quit (Changing host). 10:06:51 -!- Vorpal has joined. 10:12:32 -!- evalj has joined. 10:16:10 -!- AnotherTest has joined. 10:43:48 -!- JesseH has quit (Remote host closed the connection). 10:59:56 -!- mauris has joined. 11:22:39 [wiki] [[Nyarlathotep]] N http://esolangs.org/w/index.php?oldid=44398 * CosmoConsole * (+5187) Created page with "'''Nyarlathotep''' (named after a deity in the Cthulhu Mythos) is a esoteric language created by [[User:CosmoConsole]] in 2015, and has received a large amount of inspiration ..." 11:23:12 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=44399&oldid=44395 * CosmoConsole * (+19) /* N */ [[Nyarlathotep]] 11:23:41 [wiki] [[Nyarlathotep]] M http://esolangs.org/w/index.php?diff=44400&oldid=44398 * CosmoConsole * (+9) /* External resources */ fixed link 11:30:36 [wiki] [[Nyarlathotep]] M http://esolangs.org/w/index.php?diff=44401&oldid=44400 * CosmoConsole * (+4) /* External resources */ clarify python version 11:33:18 [wiki] [[User:CosmoConsole]] http://esolangs.org/w/index.php?diff=44402&oldid=40731 * CosmoConsole * (+69) 11:42:54 -!- evalj has quit (Remote host closed the connection). 11:46:34 http://imgur.com/gallery/meIKvBa what's happening here? 12:06:42 [wiki] [[Nyarlathotep]] M http://esolangs.org/w/index.php?diff=44403&oldid=44401 * CosmoConsole * (+0) fixed a small mistake 12:08:06 [wiki] [[Nyarlathotep]] M http://esolangs.org/w/index.php?diff=44404&oldid=44403 * CosmoConsole * (+12) /* Operation */ clarified the operation of C when reaching end of memory 12:19:32 -!- J_Arcane has quit (Ping timeout: 265 seconds). 12:31:00 -!- J_Arcane has joined. 12:32:35 -!- AnotherTest has quit (Ping timeout: 264 seconds). 12:33:04 -!- sebbu has quit (Ping timeout: 265 seconds). 12:55:05 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 12:55:46 -!- Phantom_Hoover has joined. 13:01:43 -!- Patashu has quit (Ping timeout: 246 seconds). 13:18:10 -!- sebbu has joined. 14:05:07 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 14:07:30 -!- doesthiswork has joined. 14:16:09 -!- mauris has quit (Quit: Leaving). 14:24:27 -!- mauris has joined. 14:33:46 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 14:39:48 -!- Phantom_Hoover has joined. 14:50:30 zzo38: i dont have wiki skills.. is there an esolang for posting to wiki? 14:58:10 -!- atrapado has joined. 14:58:47 -!- J_Arcane has quit (Read error: Connection reset by peer). 14:59:02 -!- J_Arcane has joined. 14:59:36 -!- XorSwap has joined. 15:02:31 -!- ^v has joined. 15:48:53 -!- evalj has joined. 15:51:49 -!- bender| has quit (Ping timeout: 246 seconds). 16:21:59 -!- ^v has quit (Ping timeout: 240 seconds). 16:30:58 -!- AnotherTest has joined. 16:41:31 -!- XorSwap has quit (Quit: Leaving). 17:04:13 -!- ais523 has joined. 17:05:53 fizzie, I'm having fun running a fuzzer on cfunge, lets see what it comes up with 17:06:59 fizzie, btw, didn't you find some bug in cfunge a few months ago that I never got around to looking at properly? 17:07:03 Can't find the IRC log any more 17:09:32 That rings a bell, but only faintly. 17:11:00 fizzie, oh well 17:11:03 Grepping, the one recent thing I can find is that I was trying to use cfunge <(echo ...) to test a oneliner, and it went to a busyloop somewhere. 17:11:17 huh, Debian stable just had an update for linux-libc-dev but not the matching linux-libc package 17:11:21 (echo ... > tmp.bef; cfunge tmp.bef) worked fine. 17:11:23 I wonder what /that's/ about 17:11:27 fizzie, the fuzzer is obviously mostly finding "hangs" due to programs running into infinite loops 17:11:35 fizzie, considering how to deal with this hm 17:11:42 -!- MDude has joined. 17:11:59 oh, I see, it's the #defines that the kernel exposes to userspace 17:12:04 so there is no matching non-dev package 17:12:09 Grepping, the one recent thing I can find is that I was trying to use cfunge <(echo ...) to test a oneliner, and it went to a busyloop somewhere.<-- well that doesn't surprise me 17:12:13 fizzie, cfunge mmaps 17:12:26 but I find it hard to see how a security bug in those wouldn't require a rebuild of every other package that referenced the buggy setting 17:12:27 Because \r\n are annoying to deal with across fread() boundaries 17:12:46 perhaps a setting requesting extra security was accidentally defined to 0 rather than what it should have been, but no Debian packages used it 17:12:54 Vorpal: Well, failing instead of getting stuck would still be better. 17:12:55 ais523, heh 17:13:20 fizzie, I would have assumed it would do that yes 17:13:27 fizzie, I wonder why it gets stuck 17:13:36 Kind of hard to debug that one via gdb... 17:13:47 I guess 17:13:49 I assume it would do the same for, say, a named pipe. 17:14:04 Possibly 17:14:31 fizzie, I find it unlikely that mmap() would get stuck though instead of returning an error 17:14:53 addr = mmap(NULL, len, PROT_READ, MAP_PRIVATE, fd, 0); 17:14:53 if (FUNGE_UNLIKELY(addr == MAP_FAILED)) { 17:14:53 diag_error_format("mmap() on file \"%s\" failed: %s", filename, strerror(errno)); 17:14:53 goto error; 17:14:53 } 17:14:58 Hm 17:15:17 evil tabs 17:15:31 int-e, ? 17:15:52 int-e, tabs for indenting is great, that way you can set the tab stop to whatever you prefer and it still looks good 17:16:01 http://int-e.eu/~bf3/tmp/tabs.png 17:16:16 Incidentally, I'm just filling form 306, titled "Application for pre-examination and permission to publish the dissertation". 17:16:36 int-e, well that is your client, not my fault. I use hexchat and it renders it as a space 17:16:45 so it looks under-indented but still readable 17:17:15 (And no I don't use tabs to adjust continued lines to the preceding line, *that* would break if you change tab width) 17:17:32 fizzie, oh? 17:18:22 current policy: frequency should be within 1.60 GHz and 3.70 GHz. 17:18:22 The governor "performance" may decide which speed to use 17:18:22 within this range. 17:18:22 current CPU frequency is 3.58 GHz. 17:18:23 What 17:18:41 Shouldn't performance ensure it is 3.7 all the time? 17:18:52 I think the 3.7 GHz number counts the "turbo boost" stuff. 17:19:01 Oh, of course 17:19:04 Like, absolute maximum for a single core, not the "normal 100%" thing. 17:19:10 model name: Intel(R) Core(TM) i5-2500 CPU @ 3.30GHz 17:19:11 yeah 17:19:13 makes sense 17:20:33 "cpufreq stats: 3.40 GHz:4.86%, 3.40 GHz:0.00%, 3.20 GHz:0.44%, ..." hrm 17:20:45 Wonder what that second, never-used 3.40 GHz speed is. 17:20:54 heh 17:21:07 fizzie, where did you find that line? 17:21:20 The "cpufreq-info" tool printed it out. 17:21:21 hmm, I find this bug report strangely amusing: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522773 17:21:24 fizzie, hm not for me 17:21:26 (b_jonas in particular might like it) 17:21:34 [wiki] [[Brainfuck implementations]] http://esolangs.org/w/index.php?diff=44405&oldid=44141 * 72.235.201.146 * (+125) /* Normal implementations */ add msp430 interpreter 17:21:51 pity it's unresolved, though 17:21:51 ais523, I find the debian bug tracker obtuse. Hard to see the status of a bug. 17:21:57 Vorpal: open, in this case 17:22:01 ais523, where does it say that 17:22:02 but it's more the bug itself, rather than its resolution 17:22:06 Could be the statistics collection is a new thing and/or needs to be enabled somehow. Although I don't recall doing anything for it. 17:22:13 Vorpal: it doesn't mention it being closed anywhere 17:22:19 that I noticed, at least 17:22:47 ais523, right, but even bugzilla is more readable than debian's system :P 17:22:51 And bugzilla is terrible 17:23:17 Nice graphviz plot in the upper-right corner, though. 17:23:26 Lots of nodes titled "some versions". 17:24:49 fizzie, you can read the graph? it is tiny for me 17:25:03 oh clickable 17:29:29 I'm not sure what it's trying to illustrate, but I like graphs no matter what. 17:32:25 heh 17:32:28 bbiab 17:32:54 fizzie: I think it shows the affected package versions, color-coded; red = affected, green = fixed. 17:33:52 And the edges? 17:34:11 hard to find good examples though... https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522759 has no forks :/ 17:34:55 there is no linear versioning; there are forks because there are three (I think?) debian distibutions at any point in time. 17:35:25 note, I don't know, I'm making an informed (hopefully) guess here. 17:35:34 In all (two) graphs I've seen so far, "some versions" could have been an implied by an edge. 17:36:20 Oh, there's the "don't collapse" mode. 17:36:21 well, somebody has to tag version+bug pairs, I suppose... 17:36:44 anyway, perhaps a good point to stop guessing :) 17:37:42 I tried to turn off "ignore boring" and "collapse" for the first graph, and got a broken image. 17:38:00 https://bugs.debian.org/cgi-bin/version.cgi?found=linux-2.6%2F2.6.29-2;found=linux-2.6%2F3.2~rc7-1~experimental.1;ignore_boring=0;package=linux-libc-dev;absolute=0;info=1;format=png;height=;width=;collapse=1 nice and wide 17:38:44 oh, grey. 17:38:52 That's the "boring", I think. 17:39:24 which means "unknown"? 17:42:03 fizzie, so far the tool has found no crashes, that is pretty nice 17:42:40 https://wiki.debian.org/HowtoUseBTS explains some of it 17:48:35 Do you know how to make proxy working with Apache? I always get error message, the stuff they mention on their IRC doesn't work either 17:50:20 The configuration is set up like http://sprunge.us/EEYY (the "example.org" and "stuff.example.org" and "localhost:9999" are all just for testing and will be changed later, but "127.0.0.50" is going to remain the same; also I add the ProxyPassReverse which is not listed in that old version of the file) 17:50:42 I used to have one Apache "reverse-proxy" configuration, but I don't think I have that configuration saved anywhere. 17:52:04 Do you know how to get it to work though? 17:52:32 Not really. I think I got it working by following the instructions, but this was some years ago. 17:52:41 why apache btw? 17:53:32 Apache is the server I already have set up for the main HTTP server, so I try to use the same one as the proxy 17:56:08 In my configuration, I just had the reverse-proxy ProxyPass part, because I wasn't trying to connect to the target via another proxy. 17:56:35 I did get this error message in the log file: [error] proxy: ap_get_scoreboard_lb(1) failed in child 10872 for worker proxy:reverse 17:57:46 Haven't seen that. 17:59:30 google finds https://serverfault.com/questions/454421/apache-httpd-error-proxy-ap-get-scoreboard-lb-with-proxypass which suggests to stop and start apache (rather than reloading or restarting)... 17:59:49 OK I will try that 18:00:18 (I have not looked at the configuration, but it sounds like a harmless and at the same time obscure thing to try) 18:00:30 * int-e googled the error message 18:01:34 That error message is gone, but I still get a 500 error and the same other logged errors as before, just not the scoreboard error 18:01:51 The error is: [warn] proxy: No protocol handler was valid for the URL /what. If you are using a DSO version of mod_proxy, make sure the proxy submodules are included in the configuration using LoadModule. 18:02:14 I did load both mod_proxy and mod_proxy_http and checked it with apachectl -M 18:04:22 https://stackoverflow.com/questions/23931987/apache-proxy-no-protocol-handler-was-valid ... LoadModule ssl_module modules/mod_ssl.so 18:04:49 (I guess that otherwise it fails to speak https) 18:05:19 I do not need it to speak https 18:05:23 -!- doesthiswork has quit (Read error: Connection reset by peer). 18:05:23 -!- doesthiswork1 has joined. 18:06:11 I want it to just send a request like "GET https://example.org/what HTTP/1.1" to localhost:9999 18:06:23 -!- doesthiswork1 has quit (Read error: Connection reset by peer). 18:06:25 -!- doesthiswork has joined. 18:06:44 (Implementing SSL on the next proxy in line instead) 18:06:58 mmm 18:08:27 -!- doesthiswork1 has joined. 18:08:27 -!- doesthiswork has quit (Read error: Connection reset by peer). 18:17:03 Bah, the libreoffice 5.something I have here at home does a much worse job of editing-and-saving this .doc file than the libreoffice 4.something I had at work. 18:20:34 Then install the other version as well (if it is possible to install both) 18:31:48 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 18:33:07 -!- AnotherTest has joined. 18:43:06 fizzie, ouch 18:44:18 hizzie 18:44:21 Horpal 18:50:22 <\oren\> gVd aftRnUn evrEbudE! 18:51:08 This sending of pieces of paper around is totally silly. 18:51:31 They want two printed copies of the thesis manuscript along with the application form. 18:51:44 fizzie: "they" = ? 18:51:44 best idea ever: an OS that boots two kernels, and every time you start a process, it randomly chooses one of the kernels to run it on 18:51:46 \oren\: Id spel it "evribudi" 18:52:02 <\oren\> university policies are made by the oldest, most tenuruous professors 18:52:10 also does it have to be properly bound? or is a temporary binding enough? 18:52:11 ais523: Part of the same conspiracy which is holding back the publication of your thesis, presumably. 18:52:46 shachaf: at least my university now has a (very sensible) rule that if the thesis examiner and student agree, you can send the corrected version of a thesis by email rather than needing to send a printed copy 18:52:50 and then not get it printed until it's been approved 18:52:56 <\oren\> nortti: then how would you spell 'it'? 18:53:00 ais523: Well, the university. And it's supposed to be perforated and in a plastic folder, but you're expressly forbidden to go through the actual get-a-printed-copy process at this stage. 18:53:04 \oren\: "it" 18:53:07 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 18:53:07 But your thesis has been approved, right? 18:53:11 shachaf: yes 18:53:13 ages ago 18:53:14 But we still can't read a copy. 18:53:16 right 18:53:22 I can link you to the page that says you can't read a copy, if you like 18:53:26 Sure. 18:53:46 <\oren\> nortti: that is bad. the vowel in 'it' and the vowels at the end of 'every' are very sifferent 18:53:48 ais523: Come to think of it, I assume you could get it properly printed, if you want to do it at your own expense. 18:53:55 shachaf: here: http://etheses.bham.ac.uk/6120/ 18:54:20 \oren\: I hear them as the same, while the one in "see" and end of "every" as very different :/ 18:54:31 -!- AnotherTest has joined. 18:54:42 fizzie: I could; I've already done that for the "official" versions, and both the University and bookbinder were quite clear that I was allowed to print as many copies as I like so long as I paid for them 18:54:52 I had to pay for the two official copies too 18:54:56 <\oren\> nortti: well the good thing sabout my system is you can spell wrods according to your own accent 18:55:14 indeed 18:55:33 that's what I was meaning 18:55:59 ais523: Ah. At our university, the university pays for up to 500 EUR of printing costs, as long as the dissertation is published in the university's series. 18:56:38 And the minimum number of copies is 30. 18:56:44 <\oren\> fizzie: at UofT I got 1000 free printing pages every year as part of my tuition 18:57:06 <\oren\> so i guess not 'free' 18:57:13 hmm, 1000 pages isn't so much 18:57:41 <\oren\> there were no rule as to "no printing pages entirely black[C" 18:57:42 30 copies of my thesis would currently require 6420 pages. 18:57:47 \oren\: I personally think you should have a way to mark scwas, like in the beginning of "about". in a spelling system me and heddwch developed, we used 'y' for iy 18:57:50 *it 18:58:04 why not use ə? 18:58:18 I've seen phonetic spellings that used English letters entirely except they used ə for schwa 18:58:19 \oren\: Is this, like, properly-bound-in-a-book pages, or just, you know, printer printing? 18:58:36 <\oren\> nortti: I just use whatever the vowle would be if it weren't reduced 18:58:48 <\oren\> or 'u' 18:58:53 \oren\: that's hard to tell phonetically, though 18:59:12 \oren\: but don't you have special forms for [ər], 'R'? 18:59:16 <\oren\> to me the first vowel in 'about' is u as in 'but' 18:59:20 <\oren\> nortti: yes 18:59:25 ais523: Well, the university. And it's supposed to be perforated and in a plastic folder, but you're expressly forbidden to go through the actual get-a-printed-copy process at this stage. 18:59:33 fizzie, this sounds stupidly complicated? 18:59:42 <\oren\> because those are reduced in my accent to sylabic R 18:59:56 fizzie, when I did my bachelor thesis it was all digital. 19:00:01 <\oren\> as in 'butter' -> butR 19:00:05 fizzie, no paper copy anywhere along the line 19:00:11 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 19:00:43 <\oren\> fizzie: it was printing on up to a page size of twice a letter-page 19:00:49 Maybe it is different for master theses? 19:01:03 Vorpal: From what I've heard informally, at least some of the Doctoral Programme Committees no longer even look at the paper copies. I think the two print copies are those that will be sent to the pre-examiners, though. Not that I'm so sure they want the paper copies either. 19:01:22 fizzie: the originally marked (i.e. before editing) copies of my PhD thesis had to be paper, and they were bound in a special "temporary binding" way designed for the process which is pretty cheap 19:01:29 fizzie, heh 19:01:47 ais523: I think that's approximately equivalent to our "put it in a plastic folder" rule. 19:02:01 -!- AnotherTest has joined. 19:02:10 fizzie: well temporary bindings are quite strong, you could probably rip the pages out if you tried hard but they're unlikely to fall out by accident 19:02:11 ais523: If I email them to ask for an early copy do you think they would oblige? 19:02:12 unlike plastic folders 19:02:28 shachaf: I'm guessing no, but I doubt it would hurt 19:02:47 fizzie, also I thought you were already working at google in UK? 19:02:53 On android stuff iirc 19:02:57 <\oren\> ais523> why not use ə? <- because ə isn't on a normal keyboard 19:03:06 it's on mine! :-( 19:03:11 ais523, compose? 19:03:14 are you calling my keyboard abnormal? 19:03:16 Vorpal: of course 19:03:19 <\oren\> very 19:03:19 compose e e 19:03:24 ais523-lang: Impossible to use 19:03:32 (unless you're ais523) 19:03:35 what's "ais523-lang"? 19:03:38 (or stole his keyboard) 19:03:39 Vorpal: I didn't do a bachelor's (I squeaked by just before they modernized our programs to involve one; before, it was straight-to-master) but I think my master's thesis involved a printout for examination. And I got 20 copies bound; there's a particular binding specifically for this kind of theses ("diplomityö"). 19:03:40 I've made tons of languages 19:03:50 hmm, I haven't made any natural languages yet, though 19:03:53 Vorpal: And yes, you thought correctly. 19:03:54 <\oren\> one that uses all these crazy letter you can apparently type 19:03:56 OK, what about this: esoteric conlang, that has zero words 19:04:01 yes 19:04:06 this is obviously a good idea 19:04:09 fizzie, so why messing around with plastic folders now then? 19:04:27 Vorpal: Well, I mean, as opposed to what? Leaving my PhD unfinished? 19:04:33 \oren\: it's a completely stock UK 101 (103?) key laptop keyboard, the only change I made was to rebind one of the keys 19:04:38