00:00:53 h-have you looked at windows? 00:00:54 Sgeo: what would a well curated app store be like? isn't the basic problem that everyone thinks they can get rich form writing closed source apps that don't exist yet and selling them on appstore, but then a hundred people think the same, and so a hundred people write bad closed source apps individually and none get rich? 00:01:28 or are all the malware apps the problem? 00:01:58 malware + low quality apps (+ bad permission system) 00:02:40 Of course, if Apple had its way, and the web was brand new, they would not allow web browsers, iiuc 00:02:42 >:( 00:03:11 The official app store should be screened better so that you can check for malware and stuff. However, you should always be allowed to put your own programs without using app store at all, and I believe it more important to have the way to put files independently than to have an app store, although it is good idea to have both 00:03:48 seriously though, ms has an app store now, don't they? 00:04:01 i suppose it's pretty empty 00:04:18 but you can certainly go outside it, so the only thing left now is for people to write apps... 00:04:21 drdanmaku: my understanding is that that's only for 'Metro' apps, which seems like a bit of a shame, considering Windows isn't used just for Metro 00:04:32 I could be wrong 00:05:04 drdanmaku: no idea, I think nobody buys windows programs, everyone uses cracked ones with malware instead, so nobody knows about the store or if it exists 00:05:09 they seem to have distanced themselves from the Metro stuff in Windows 10, so maybe that'll change 00:05:33 haven't they just renamed it? 00:05:34 b_jonas: yeah, that sounds about right 00:06:17 b_jonas: well, they brought the normal desktop with the start menu back is what i mean. the apps are in normal windows instead of giant if you have a keyboard 00:06:47 i don't actually know the specifics of how "metro" worked since i didn't use windows 8 at all 00:07:20 drdanmaku: uh, but that's just the UI part. aren't metro style apps also about a saner permission system that doesn't allow all the kludges to support old programs that write their data directly to a hardcoded "C:\foo", to encourage better programming style? 00:08:30 If that was the primary end-user noticable thing about Metro, rather than the UI, I would gladly use Metro apps 00:09:08 Sgeo: as an end user, sure, but developers might not want to write them 00:09:19 and they especially might not want to port all their existing programs to it 00:09:30 Sgeo: maybe the problem with the app stores is that, if you're a big company putting lots of effort in to maintaining a store, why would you want to let people just go around it? 00:10:28 Because you could still look 'user-friendly' to people by maintaining it. I guess though a lot of developers might not bother putting their apps in if they can just tell users 'go around it' 00:10:38 If there's a difficult approval process 00:11:05 yeah, hard to approve + workaround doesn't seem like a stable setup 00:12:54 is it possible at all to make the app store more user friendly than the web in general if the content is 100 different 50 cent apps for letting you switch the built-in led of your phone as a flashlight while showing ads on the screen and uploading all your personal data? 00:13:53 That sounds like the Android app store, I don't know if the iOS app store is similar at all 00:14:04 and I guess there's also 100 apps that don't even bother to let you switch the led, they only put the flashlight thing in the name and icon and description so you download them. 00:14:20 Sgeo: it's got to be. the motivation of the developers is the same 00:14:41 Sgeo: well, maybe there's somewhat fewer apps on the ios store because more people try to develop for android? 00:14:44 dunno really 00:15:40 I don't know how smartphones work these days 00:16:20 I imagine it could depend a lot on how much the company policies and restricts what apps are allowed on the app store 00:16:37 sure, but they can't always make the developers keep those policies 00:16:46 surely they don't allow malware either 00:17:11 iOS has a review process, to my understanding 00:32:35 -!- Bicyclidine has quit (Ping timeout: 255 seconds). 01:14:47 -!- nisstyre has changed nick to cholera-virus. 01:27:30 b_jonas: the android app store is much more open than the ios one 01:27:58 apple exercise a lot of quality control (ymmv though -- there's still a ton of shitty flashlight apps but I don't think there's quite so much crap and outright lies compared to android) 01:34:14 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 01:35:03 iOS has a settings app rather than having the various apps put settings in undiscoverable menus, right? 01:35:23 Although I think Google's trying to get rid of menus, but ... Samsung still likes them I think :/ 01:41:54 I guess Settings is akin to Windows Control Panel, hmm 01:44:37 elliott: I see 01:49:12 this euclidean norm thing isn't making my haskell look any good 01:49:34 probably why no one else has tried. 01:50:06 it's trivial in haskell _except_ for getting the output format exactly right. 01:50:20 oerjan: then post a variant with saner output format 01:50:28 (i note fizzie complained about that in other places) 01:51:12 b_jonas: well i'm not sure there's _any_ format that wouldn't be awkward for some language. 01:51:54 even using a fixed number of decimals would only cut some of the cruft. 01:52:18 "Reconsider visual indicators of physicality and realism. Bezels, gradients, and drop shadows sometimes lead to heavier UI elements that can overpower or compete with the content. Instead, focus on the content and let the UI play a supporting role." 01:52:24 Isn't this a recent change of heart by Apple? 01:54:47 -!- boily has quit (Quit: TRANSNISTRIAN CHICKEN). 02:07:06 Sgeo: i like menus too 02:07:38 Sgeo: also, android has settings app like that 02:07:54 quintopia: Google's against them, and I kind of have to agree that if you don't have a menu indicator, having to guess whether or not there are menus is a bad thing 02:08:13 quintopia: for its own settings, or can third-party apps extend it? 02:15:49 it's not so much a change of heart so much as people getting usurped 02:16:20 aiui, jobs and forstall loved skeumorphism; ive hates it 02:18:01 Fits. 02:18:12 Jobs does seem to have always adored skeumorphism. 02:20:06 I don't like how obsessed with flat/borderless mush Ive seems to be from a usability perspective, but I am glad iCal no longer looks like http://cdn.arstechnica.net/2011/07/04/lion/ical-big.png. 02:23:02 I guess there's no chance of iOS and OSX supporting custom theming? 02:23:55 Also, I remember years ago seeing someone on iOS use an app, and some kind of number selector that looked like a wheel. Is that UI element still similar? 02:24:05 Like, one of those toy encryption thingies 02:25:29 http://timroadley.com/wp-content/uploads/2012/02/RolePicker.jpg 02:25:33 Looks very skeumorphic 02:26:12 that's pre-iOS 7. 02:26:40 iOS 7 was when Forstall got ousted and Ive got to put his grubby^Wspotless, pristinely crafted hands all over things. 02:28:11 What does that control look like in iOS 7? 02:30:04 Apparently, the answer is 'boring' 02:30:37 -!- cholera-virus has changed nick to nisstyre. 02:33:46 I tried compressing Zork I by using gzip and the result isn't very good. Do you know what can be better way? 02:34:09 -!- Xnuk has joined. 02:34:54 Invent algorithm intended to compress games in that format? 02:35:02 -!- Xnuk has left. 02:53:24 solution: Microsoft Bob (also solution to everything) 02:55:48 I know that DEFLATE expects 8-bit data, and Z-machine packed text contains 5-bit characters, so maybe this has something to do with it? However, the compression software cannot always guess correctly whether it is text or other data, and has to work regardless of such thing. 02:56:30 (It is also not always predictable the alignment of the data) 02:57:13 -!- oerjan has quit (Quit: Bob was there, too). 03:00:59 I also try to think of, how I can use shift-reduce parsing in text-adventure game. 03:04:34 -!- ^v has quit (Read error: Connection reset by peer). 03:14:57 -!- ^v has joined. 03:19:50 Do you know much about shift-reduce parser? 03:31:10 -!- bb010g has quit (Quit: Connection closed for inactivity). 03:44:14 Macbuntu does't seem to be booting 03:59:05 -!- MDude has joined. 04:03:56 -!- nys has quit (Quit: sleep). 04:08:18 Why doesn't Ubuntu think my VirtualBox VM is x64? 04:08:35 probably it isn't or you booted a 32-bit operating system 04:08:51 -!- MDude has changed nick to MDream. 04:09:09 You mean as host? Because guest failed due to seeing i686 instead of x86-64 it was expecting 04:10:26 Remaking VM and selecting Ubuntu (64-bit) seems to work 04:11:00 probably the vm was 32-bit. 04:11:24 I don't see a setting in the VM settings for that though 04:11:34 look harder :p 04:12:00 I believe it is in the processor tab 04:12:11 unless it has to be set at vm creation time 04:14:49 Ubuntu seems to be a bit Mac like with the menu and the launcher... exept launcher icons are too big and it's on the left, pretty sure latter can be changed at least. What was ais saying the difference between Mac doc and the other thing was? 04:16:57 Is installing Guest Additions in a LiveCD VM likely to confuse VirtualBox when the VM is shut down and guest additions aren't present anymore? 04:18:41 Oh, VirtualBox Guest Additions need a restart, don't they :/ 04:19:37 you can't move it from the left unless they compromised on that 04:19:39 also you can move the dock to the left. 04:19:44 -!- bb010g has joined. 04:20:18 I think he was talking about something relating to folders though 04:21:59 Doesn't pretty much /every other Linux distro/ come with virtual machine stuff in the kernel already? 04:22:04 Or... something? 04:22:16 At least, most of them have no problem quickly going fullscreen, which is all I really want 04:32:07 * Sgeo starts reading Thinking Forth 04:59:22 -!- MoALTz__ has joined. 05:02:26 -!- MoALTz_ has quit (Ping timeout: 272 seconds). 06:31:05 -!- TieSoul has joined. 06:35:17 -!- TieSoul has quit (Ping timeout: 245 seconds). 06:37:03 -!- TieSoul has joined. 06:44:27 -!- TieSoul has quit (Ping timeout: 245 seconds). 07:05:46 -!- zzo38 has quit (Remote host closed the connection). 07:30:49 I should learn LLVM 07:33:42 http://safecode.cs.illinois.edu/ why isn't this used for all C and C++ code? 08:03:33 Re skeuomorphism, http://interfacehallofshame.eu/www.iarchitect.com/realcd.htm and most of the other in-depth reviews on the same site. 08:04:02 -!- Hjulle has quit (Remote host closed the connection). 08:11:40 Probably http://interfacehallofshame.eu/www.iarchitect.com/phone.htm even more so. 08:13:07 `slist 10/19 08:13:07 slist 10/19: Taneb atriq Ngevd Fiora Sgeo ThatOtherPerson alot 08:13:28 `cat bin/slist 08:13:29 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | xargs; exit \ Taneb \ atriq \ Ngevd \ Fiora \ Sgeo \ ThatOtherPerson \ alot 08:13:38 WHat was that thing about it deleting itself? 08:14:26 I think oerjan removed that feature. 08:14:35 http://codu.org/projects/hackbot/fshg/index.cgi/rev/8470be3ffda0 08:14:59 slist is back? 08:15:15 Oh, it's all written out but it's updating a bit at a time? 08:15:25 Oh well. 08:16:07 That's a fancy bash variable thing. 08:17:10 shachaf: not all written out, apparently 08:21:59 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 08:49:45 -!- conehead has quit (Quit: Computer has gone to sleep). 09:51:33 -!- Phantom_Hoover has joined. 10:13:05 -!- S1 has joined. 10:42:52 @tell oerjan Oops, your hello hello world solution is much closer to my "local optimum" than I expected; apparently I had to rewrite the program in order to realize that the shared "world" string could be picked up from the final result list (having only one list helped). I had only tried a:b=["world","hello",a++"!"], resulting in 86 characters. Funny. 10:42:52 Consider it noted. 10:48:30 There may be an advantage to run-time metaprogramming compared to eariler-than-runtime-metaprogramming... it may be easier for other languages to call into that language without inadvertantly being forced not to use your metaprogramming constructs 10:48:59 Thinking of Factor's bindings into Python, where it can call things like getattr and setattr 11:10:59 -!- S1 has quit (Quit: S1). 12:02:24 -!- MoALTz__ has quit (Quit: Leaving). 12:03:04 -!- MoALTz has joined. 12:18:09 -!- Patashu has quit (Ping timeout: 245 seconds). 12:41:17 -!- Frooxius has quit (Quit: *bubbles away*). 12:47:37 -!- boily has joined. 13:11:55 hi boily 13:13:31 "We like controlling the startup of the system with shell scripts that are readable" I wish prominent systemd criticism didn't almost always leave the distinct impression that the author has never actually seen or used sysvinit. 13:17:07 helloiott 13:17:27 quintopia: SYN SYN ENQ? 13:19:01 I firmly believe systemd is a huge step in the right direction. 13:19:38 whether or not systemd is the answer, sysvinit certainly isn't 13:43:17 -!- MDream has changed nick to MDude. 14:38:15 "we see systemd being very prone to mission creep and bloat" is closer to my personal worries 14:41:17 (there's a bit too much policy baked into systemd already; a while ago I was looking for a hook for the action taken on closing the lid of a laptop, and there doesn't appear to be one, just a few options for tweaking the builtin policy of whether to suspend or not) 14:50:26 In any case, systemd is a better approximation of what I want than sysvinit. (Every serious distribution had its own infrastructure of init helper scripts for managing dependencies, and that functionality is better off in init itself. To me that would seem to be a good place to stop, but the systemd folks have bigger plans.) 14:51:19 yes. I think there is space for reasonable systemd criticism 14:52:24 unfortunately, all the /prominent/ criticism seems to amount to pure conservatism / very vague philosophical objections / accusing everyone in sight of corruption / outright personal nastiness 14:53:08 but what do you expect from someone threatening to create a fork named "Pure Debian by Veteran Unix Admins" 14:54:20 there is such a thing as PDVUA? bletch. 15:24:52 hmm. http://0pointer.net/blog/projects/stateless.html 15:25:43 so init modifies /etc/passwd /etc/shadow and /etc/groups, how quaint. 15:26:33 [where init=systemd] 15:29:36 tbf, "some component systemd does X" is very far away from "pid 1 does X" 15:30:13 *of systemd 15:30:56 So has anybody forked systemd yet? 15:31:24 I really dislike how it is used as a vehicle for pushing visions like this one, http://0pointer.net/blog/revisiting-how-we-put-together-linux-systems.html 15:32:00 yes, but not the kind of people you'd want to associate with :p 15:32:19 by which I mean: yes, 4chan has, the worse parts of 4chan even 15:32:34 o-kay. 15:36:29 /a/ wrote a systemd fork? 15:36:38 int-e: a useless fork of systemd http://uselessd.darknedgy.net/ 15:37:56 this debian fork website is cute 15:37:58 "Debian leaders can go on evaluating more init systems, just not impose one that ignores the needs of most of its users." 15:38:11 i don't think these guys actually know anything about the debian userbase 15:47:48 KingOfKarlsruhe: interesting, thanks 16:01:05 -!- nys has joined. 16:11:08 [wiki] [[Brainfuck bitwidth conversions]] http://esolangs.org/w/index.php?diff=40628&oldid=40259 * Rdebath * (+854) Rambling about I/O 16:12:03 -!- AndoDaan has joined. 16:25:34 -!- boily has quit (Quit: INCRIMINATING CHICKEN). 16:35:56 -!- nys has quit (Ping timeout: 260 seconds). 16:38:01 :\ 16:38:42 it annoys em when people use "called as" to mean "called". "called as" should be reserved for describing API calls 16:51:04 * MDude called as his mom's cell phone. 16:51:49 MDude: that's a serious identity crisis you're having there 16:52:57 * quintopia dials up MDude 16:53:15 wish there was an easier way to reach that guy 16:54:49 but here's one i saw: "Electrodes used in neuroscience are called as multielectrode array..." 16:56:16 so what's the author's native language? 16:57:10 yeah, that's just ungrammatical 16:57:47 my guess is english 16:58:22 also kind of nonsensical, sometimes you do use an electrode by itself 17:11:42 or call an electrode as itself 17:14:25 So that's what you mean by pointers? 17:14:57 why are we discussing dogs now? 17:15:36 What? 17:16:06 https://en.wikipedia.org/wiki/Pointer_%28dog_breed%29 17:16:06 Page fetching 17:16:15 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 17:21:09 -!- zzo38 has joined. 17:29:53 I'm going on a quest to get decent food on a Sunday evening 17:29:56 Wish me luck 17:33:33 Or I could make pasta! 17:34:02 Good luck making pasta 17:36:02 -!- AndoDaan_ has joined. 17:37:19 -!- AndoDaan has quit (Ping timeout: 245 seconds). 17:37:42 -!- tromp_ has quit (*.net *.split). 17:37:43 -!- nisstyre has quit (*.net *.split). 17:37:43 -!- applybot has quit (*.net *.split). 17:38:14 -!- tromp_ has joined. 17:39:25 -!- nisstyre has joined. 18:14:16 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 18:16:16 fizzie: there's selectwords :) 18:16:20 @wdjsiwD 18:16:20 Unknown command, try @list 18:17:17 mroman: you're gonna have to teach me how to use GO and GZ later... (if you feel like it) 18:17:45 sure 18:17:59 GO is ro{}m[ 18:18:00 i.e. 18:18:07 !blsq 10ro{?i}m[ 18:18:07 Ain't nobody got time fo' dat! 18:18:12 !blsq 10ro{?i}m[ 18:18:12 {2 3 4 5 6 7 8 9 10 11} 18:18:18 !blsq 10{?i}GO 18:18:18 {2 3 4 5 6 7 8 9 10 11} 18:18:54 If you want to map over a range from zero or one you can use GO/GZ 18:19:04 for example all squares from 0..9 18:19:15 !blsq 9{J.*}GZ 18:19:15 {0 1 4 9 16 25 36 49 64 81} 18:19:20 which is the same thing as 18:19:24 !blsq 9ro{J.*}m[ 18:19:24 {1 4 9 16 25 36 49 64 81} 18:19:49 Ah, that's good. 18:20:14 also B! automatically maps over lists 18:20:20 !blsq 99rz3B! 18:20:20 {"0" "1" "2" "10" "11" "12" "20" "21" "22" "100" "101" "102" "110" "111" "112" " 18:20:27 I see some of your best answer use it. 18:20:29 so you don't need m[ for that. 18:20:56 that's normally base right? 18:21:04 B! is base, yes 18:21:15 but like ?i for example, it auto-detects lists 18:21:18 !blsq {1 2 3}? 18:21:18 ERROR: (line 1, column 9): 18:21:19 !blsq {1 2 3}?i 18:21:19 {2 3 4} 18:21:26 ah this would work for hello hello world 18:21:30 yes 18:21:30 i think. 18:21:43 99rz{3B!}m[ is the same thing as 99rz3B! 18:21:46 i haven't looked at those post mortems yet. 18:21:56 my 44b was pathetic, lol. 18:22:46 the language ref mentions deepzip2 for ConvertBase (B!) 18:23:12 yeah, i never got into deepzip... can you give me the cliff notes? 18:23:27 i'm sure i've used it, but maybe with not much understanding. 18:23:31 if the lref mentions either deepmap, deepzip or deepzip2 it means that the command auto-detects lists and acts accordingly 18:24:03 AndoDaan_: deepmap means, that a Command that takes no arguments will map itself over a list if it's given a list 18:24:12 *a command that takes one arguments 18:24:31 Cos for example 18:24:35 !blsq 4Tc 18:24:35 -0.6536436208636119 18:24:40 !blsq {1 2 3}Tc 18:24:40 {0.5403023058681398 -0.4161468365471424 -0.9899924966004454} 18:24:45 !blsq {1 2 3}{Tc}m[ 18:24:45 {0.5403023058681398 -0.4161468365471424 -0.9899924966004454} 18:25:02 ^- Tc detects that you provided a list instead of a Number and will automatically call map (m[) for you 18:25:11 this behaviour is called deepmap 18:25:59 !blsq {10 11 12}{3 4 5}.% 18:25:59 {1 3 2} 18:26:22 .% has deepzip behaviour. That means it detects if you provide two lists and will call zipWith for you 18:26:28 !blsq {10 11 12}{3 4 5}{.%}Z] 18:26:28 {1 3 2} 18:26:43 ^- .% automatically calls Z] for you 18:26:58 hm 18:27:07 !blsq {1 2 3 4}{5 6}|| 18:27:07 {5 6} 18:27:11 !blsq {1 2 3 4}{5}|| 18:27:11 {5} 18:27:15 !blsq {1 2 3 4}5|| 18:27:15 {5 7 7 5} 18:27:25 Or (||) has deepzip2 behaviour 18:27:44 deepzip2 behaviour means, that the command will detect if you provided it a list and will boxcycle the non-list argument 18:27:50 so 18:28:04 !blsq {1 2 3 4}5bxcy{||}Z] 18:28:04 {5 7 7 5} 18:28:10 ^- this is deepzip2 18:28:19 || does the bxcy{}Z] automatically 18:28:33 !blsq {1 2 3 4}3B! 18:28:33 {"1" "2" "10" "11"} 18:28:36 this is actually 18:28:43 !blsq {1 2 3 4}3bxcy{B!}Z] 18:28:43 {"1" "2" "10" "11"} 18:29:38 {}m[ is deepmap, {}Z] is deepzip and bxcy{}Z[ is deepzip 18:29:46 *bxcy{}Z] is deepzip2 18:30:30 on the other hand: You just need to know that if there's a deep* mentioned for a command, that command will work magically with lists too :) 18:30:58 ps for example mentiones deepmap 18:30:59 this means 18:31:05 !blsq {"5 5.+" "6"}ps 18:31:05 {{5 5 .+} {6}} 18:31:15 magic. I like magic 18:31:26 will magically work :) 18:31:55 !blsq {" 5 5.+" "6"}{ps}m[p^ 18:31:55 {} 18:32:03 !blsq {"5 5.+" "6"}{ps}m[p^ 18:32:03 {5 5 .+} 18:32:16 this can be shortenend too 18:32:22 !blsq {"5 5.+" "6"}pe 18:32:23 {6} 18:32:33 *m[^p 18:32:52 AndoDaan_: The terminology is 18:33:03 applying a function to every element to a list is called a "map" 18:33:30 taking elements from two listts and apply a function to them is called "zipwith" 18:33:44 !blsq {1 2 3}{4 5 6}{.+}Z] 18:33:44 {5 7 9} 18:33:51 I really should know that, but it never solidifies in my brain. maybe this time. 18:34:02 ^- that's a zip. It's {(1 + 4) (2 + 5) (3 + 5)} 18:34:22 good stuff. 18:34:37 If you have a list and one non-list 18:34:40 i.e. {1 2 3 4}5 18:34:46 you can't use zipWith because 5 isn't a list 18:34:50 is there something that zip zips? 18:34:57 !blsq {1 2 3 4}5{.+}Z] 18:34:57 ERROR: Burlesque: (m[) Invalid arguments! 18:35:00 ^- wont work 18:35:01 or map zips, or stuff like that? 18:35:09 hmm 18:35:10 but you can convert the 5 into an inifinet list of 5s 18:35:18 !blsq {1 2 3 4}5bxcy{.+}Z] 18:35:18 {6 7 8 9} 18:35:19 right 18:35:41 ?+ does this automatically for you 18:35:41 Maybe you meant: v @ ? . 18:35:46 !blsq {1 2 3 4}5?+ 18:35:47 {6 7 8 9} 18:35:58 map zips? 18:36:03 zipWith is actually zip + map 18:36:09 !blsq {1 2 3}{4 5 6}z[ 18:36:09 {{1 4} {2 5} {3 6}} 18:36:17 hm 18:36:17 !blsq {1 2 3}{4 5 6}z[{p^.+}m[ 18:36:17 {5 7 9} 18:36:27 ^- that's what zipWithPush does 18:36:43 zipWith is zip followed by a map 18:37:04 @src zipWith 18:37:04 zipWith f (a:as) (b:bs) = f a b : zipWith f as bs 18:37:04 zipWith _ _ _ = [] 18:37:15 do you know Haskell? 18:37:42 anyway, the lref says Z[ "Defined as z[\/m[" 18:38:04 !blsq {1 2 3}{4 5 6}z[U[ 18:38:04 {4 10 18} 18:38:16 lol 18:38:23 i see 18:38:32 !blsq {1 2 3}{4 5 6}z[u[ 18:38:32 {4 5 6} 18:38:35 ah 18:38:36 u[ is unzip 18:38:45 that just reverse what a zip does 18:38:54 -!- not^v has joined. 18:39:22 I hope I made some things clear :) 18:39:42 if not.. just ask :) 18:39:47 a lot clearer. i'm sure i'll have some questions later. 18:39:50 thanks! 18:40:54 my solution is based no si for hello hello world 18:41:07 !blsq {1 2 3 4}{0 0 1 1 2 2}si 18:41:07 {1 1 2 2 3 3} 18:41:23 si takes a list and a list of indices 18:41:37 and it will pick the elements out from the first list 18:42:10 sw is selectwords which is si but it works on words 18:42:22 !blsq "hi there you cat"{0 2 1 3}sw 18:42:22 "hi you there cat" 18:43:12 *based on si 18:45:22 got to go. i'll bbl. thanks again. 18:50:07 -!- AndoDaan_ has quit (Ping timeout: 272 seconds). 18:55:57 hm 18:56:00 Im approaching 130WPM 18:56:33 this is actually very impressing 18:56:45 that's 12 charecters per second. 18:56:51 characters 18:59:11 -!- not^v has quit (Quit: Leaving). 19:23:51 `cat dontaskdonttelllist 19:23:52 cat: dontaskdonttelllist: No such file or directory 19:24:06 `cat donttelldonktasklist 19:24:06 cat: donttelldonktasklist: No such file or directory 19:24:09 hm 19:24:10 `ls 19:24:12 ​:-( \ a.out \ bdsmreclist \ bin \ canary \ cat \ complaints \ :-D \ dc \ dog \ etc \ factor \ head \ hej \ hello \ hello.c \ ibin \ index.html?dl=1812 \ interps \ lib \ paste \ pref \ prefs \ quines \ quotes \ share \ src \ test.c \ Wierd \ wisdom \ wisdom.pdf 19:24:17 `ls bin/ 19:24:18 ​` \ ^.^ \ ̊ \ ! \ ? \ ¿ \ @ \ ؟ \ WELCOME \ \ \ 8ball \ 8-ball \ aaaaaaaaa \ addquote \ addwep \ allquotes \ analogy \ anonlog \ as86 \ aseen \ bf \ bienvenido \ botsnack \ bseen \ buttsnack \ calc \ CaT \ catcat \ cats \ cc \ cdecl \ c++decl \ chroot \ coins \ CoInS \ complain \ complaints \ danddreclist \ define \ delquo 19:24:25 `run ls bin/ | grep ask 19:24:26 dontaskdonttelllist 19:24:42 `cat bin/dontaskdonttelllist 19:24:42 echo -n "$(basename "$0")${@:+ }$@: "; tail -n+2 "$0" | sed 's/./&​/g' | xargs; exit \ quintopia \ coppro \ myname \ mroman(use query) 19:25:02 mroman: :( 19:25:08 highlight? 19:25:12 `dontaskdonttelllist 19:25:12 yeah 19:25:12 dontaskdonttelllist: q​u​i​n​t​o​p​i​a​ c​o​p​p​r​o​ m​y​n​a​m​e​ m​r​o​m​a​n​(​u​s​e​ ​q​u​e​r​y​)​ 19:25:55 @ask ais532 can you do a "programming languages with no Hello world" list? 19:25:55 Consider it noted. 19:26:20 @ask ais523 can you do a "programming languages with no Hello world" list? 19:26:20 Consider it noted. 19:31:13 -!- drdanmaku has joined. 19:39:26 -!- zzo38 has quit (Read error: Connection reset by peer). 19:57:58 My new motto is 'minimize different' 19:59:21 It turns out vlc does not work over ssh X forwarding. Shouldn't have been surprising really 20:00:10 Might work better via xpra. 20:00:20 What is that 20:00:42 -!- Patashu has joined. 20:02:04 pikhq, interesting, without -X to ssh I get ASCII art 20:02:13 Also pulse is fucking up badly on this laptop 20:02:20 xpra is a fairly spiffy X forwarding thing. Basically it runs your app in Xvfb and acts as a compositing window manager to get the rendering of it. And then it encodes to h.264 before streaming over the network. 20:02:23 How do I disable pulse on Ubuntu... 20:02:32 I'll get jack or something instead... 20:02:42 pikhq, ugh 20:02:48 So basically it replaces X remoting with a much better protocol. 20:02:50 pikhq, so the quality will not be as good 20:03:20 Yes, but what do you *want* from a generic network display rendering schema? 20:03:26 True 20:03:37 Low-latency video encoding is pretty much the only viable solution. 20:03:37 pikhq, that is why X forwarding is nicer 20:03:49 vlc could just forward the video data as is 20:03:55 without re-encoding it 20:04:19 X forwarding *would be* nicer if a) Xlib didn't suck as bad b) users of X used its primitive operations instead of basically using it as a stupidly inefficient framebuffer renderer. 20:04:24 True 20:04:54 Note that using X forwarding for a video display program would be shoving the *decoded* video over the network. 20:05:07 Now how to solve: [0x7f8790000b78] main input error: ES_OUT_SET_(GROUP_)PCR is called too late (pts_delay increased to 300 ms) 20:05:07 [0x7f8790000b78] main input error: ES_OUT_RESET_PCR called 20:05:09 Which, unless you're on quite an awesome link, Isn't Going To Work. 20:05:18 Which happens with locally playing the files 20:05:23 pikhq, this is lan 20:05:58 Is it a 10 gigabit lan? 20:06:14 pikhq, Nope, it is 1 gbit ethernet 20:06:42 pikhq, however, what I'm saying, since I'm playing a mp4 anyway, it can just forward that compressed data 20:06:54 And let it be decoded by the local GPU on the target system 20:06:57 But it *can't*! 20:07:02 X doesn't work that way. 20:07:10 Since if played locally vlc it would be decoded using the GPU 20:07:13 pikhq, no but it should 20:07:36 -!- nisstyre has quit (Changing host). 20:07:36 -!- nisstyre has joined. 20:08:53 In *theory* you can just barely do 1080p30 on that link, but you will literally be using all the capacity. 20:09:11 And that's assuming that you're doing nothing more than shoving the raw video on Ethernet frames... 20:09:16 Which you're not. :) 20:09:31 pikhq, well the video is 480p 20:09:38 But now I scped it to local 20:09:47 Also it is 30 fps 20:10:03 Oh, then if you're *not scaling* then it'll maybe hypothetically work over X on that LAN. 20:10:40 I've used mplayer -vo x11 over SSH-forwarded X. 20:10:46 More of a slideshow than a video feed, though. 20:11:09 pikhq: xpra supports multiple encodings, not just h.264 20:11:13 including lossless ones 20:11:27 Oh, right. It can stream PNG over the network too, can't it? 20:11:42 Heh 20:11:49 I think h.264 is the default though. 20:11:50 plus simpler RLE type stuff 20:11:58 it can even do vp8 if you want to for some reason 20:11:59 You know what, sshfs is easier at this point 20:12:00 Works quite well for me. 20:12:21 Riiight, yeah! I remember having it built wrong and it didn't have h.264 but did have vp8 at one point. 20:12:33 VP8 is *not* a low latency codec. :) 20:14:00 Heh 20:14:23 About 2fps for "mplayer -vo x11" of a 574p video from the work-workstation to home over two SSH's (can't connect to workstations directly) and a 10M VDSL2 link. 20:14:47 I seem to recall this working better when I was living in the university student apartments, which network-topologically speaking were quite a lot closer. 20:15:43 Right 20:16:02 fizzie, what about between devices on your lan? 20:17:19 I'm not sure I have any convenient devices to test with, without booting up the laptop. 20:17:44 The headless boxes don't seem to have mplayer installed. 20:18:08 Right 20:18:16 Sensible 20:18:51 pikhq, it is funny that playing this over sshfs works just fine 20:19:17 Also, how does one do software mixing with pure alsa now again? PA clearly isn't working out for me 20:19:29 "It just works". 20:19:42 Well yeah. sshfs is a bit hackish, but you've got a lot of things going for you. Like "streaming encoded video instead of decoded". 20:20:04 It's supposed to just work, but I seem to have ended up with an .asoundrc like http://sprunge.us/CMaK for some reason. 20:20:17 pikhq, I was like "I don't want to have to set up fucking nfs on this laptop, even though that desktop with the files has it" 20:20:30 *nod* 20:20:33 May NFS be fucked. 20:20:33 I've completely forgotten what *didn't* work that made me fiddle with that. 20:20:37 pikhq, well I tried to just set the real sound output in vlc settings, (alsa), didn't work out 20:20:47 pikhq, nfs is great, much lower overhead than cifs 20:21:05 pikhq, makes a massive difference when streaming 1080p videos from the RPi 20:21:27 pikhq, i.e. it works over nfs3, but not cifs. Haven't tried nfs4 20:21:55 One of my scripts had stopped working due to some NFS-related file locking thing; I had kind of assumed they'd ironed out those kinks. 20:22:29 Of course it's some sort of "enterprise" storage system behind it. 20:23:07 (It did an exclusive lock on a file to make sure only one copy of a thing was running at a time, and some change or another made it never able to lock the file.) 20:24:01 Advisory locks? 20:24:21 Yes. I think. 20:24:24 Hm 20:24:37 No clue how it works really 20:24:54 Now it just does a pgrep on the command, which is such a hack, but works fine in practice. 20:25:26 -!- Patashu has quit (Ping timeout: 240 seconds). 20:25:38 fizzie, why not a local lock file? 20:25:41 why an nfs one 20:26:29 And yeah, pgrep will have race conditions 20:27:03 Well, I mean, it was in the "home directory" of the tool. It could lock some /tmp file in theory, I guess. I doubt I have any access to anything else local on that system. 20:27:28 Okay firefox on this laptop is WEIRD. If I log into google, google mail and google search result gets into a instant reload-cycle 20:27:35 Works fine if I'm not logged in 20:27:40 Hmm, that's curious. There's the same path mounted over NFS3 and NFS4 at two different mount points. 20:27:47 I assume they've been fiddling with the setup. 20:27:52 Heh 20:28:04 Probably the reason why it stopped working out of the blue, too. 20:30:08 Hm what init daemon does Android use? 20:30:17 Not systemd I assume 20:30:45 Something custom, I believe. 20:30:55 Right 20:31:48 But closer to a sysv style "rc scripts" than a full-blown "does everything" thing like systemd. 20:31:55 I mean, these days it seems that the only option to avoid systemd in the future will be gentoo pretty much, with openrc. Debian is going to switch in next release. So is Ubuntu at some point 20:31:58 There's a "system server" too, though. 20:32:14 Debian is having a debate about it again around this time. 20:32:15 fizzie, and it definitely doesn't use PA, but instead something that works 20:32:24 Oh really? That is good 20:32:55 Yeah I don't want an init daemon that does more than just handle processes. Having init crash is the worst possible thing that could happen really. 20:33:13 I didn't follow the details, but AIUI someone insisted on a General Resolution, which means all developers could theoretically comment on it. 20:33:23 Ouch, there are already CVEs for systemd 20:33:23 the debate is kind of ridiculous 20:33:38 it's like 2-3 weeks before feature freeze and it's explicitly designed to ensure gnome gets removed from jessie 20:33:50 it's... basically just spiteful legislative trolling? 20:33:51 elliott, oh right 20:33:59 So they are going into feature freeze soon 20:34:03 Interesting 20:34:27 IIRC, it was a Technical Committee decision the last time. Though I follow Debian politics really poorly. 20:34:40 I don't think I've actually heard of systemd-the-pid-1 crashing on anyone. 20:34:45 are those CVEs actually for pid 1? 20:35:10 How's Ubuntu doing these days, still Upstart or moving to systemd following Debian or what? 20:35:17 Hm that is a good question, my firefox just crashed (good thing that isn't integrated into upstart which this laptop uses!) 20:35:23 fizzie: planning to move to systemd 20:35:39 I'm typing this on a systemd Debian server, FWIW. 20:35:44 s/server/system/ 20:35:58 I wonder, could one use daemontools for pid 1? 20:36:07 really I would not write systemd and I don't like a lot of its decisions but there honestly is an awful lot of FUD and nastiness surrounding it. 20:36:12 Vorpal: only with hacks 20:36:12 That seems like the optimal solution after initramfs finished 20:36:14 use runit if you want that 20:36:16 Aww 20:36:22 Hm 20:36:24 since that's what it's designed to be 20:36:40 elliott, KISS daemon supervision basically 20:36:43 https://github.com/chneukirchen/ignite 20:37:27 elliott, I'm not on arch any more, but thanks all the same 20:37:29 spoiler, though: probably the only thing you'll personally experience by zealously avoiding systemd is just more fuss for yourself. I'm not saying that's a defence of anything but it is really not a burden to use systemd in practice and you can probably toggle off whatever you don't like about it. 20:37:42 Vorpal: just saying there are alternatives that are not gentoo 20:37:59 Well that is good at least 20:38:19 Last I looked at systemd it didn't support remote syslog (since it swallows syslog) 20:38:21 alpine linux uses musl/busybox/openrc 20:38:34 Vorpal: I doubt that. it has always been able to forward syslog right on to an actual syslog daemon. 20:38:44 like, if you were running rsyslogd before, you could always tell systemd to just forward it on to that. 20:39:00 Right okay, so to local rsyslogd, then to remote rsyslogd 20:39:24 Alpine uses musl, which is a problem for me, since I use some binary programs where I don't have the source, and that use glibc 20:39:31 Intel Compiler for example 20:39:45 Also last I looked musl had some locale issues iirc 20:40:23 https://dl.dropboxusercontent.com/u/113389132/Misc/20141019-boot.svg so much stuff in a system, though 20:41:07 Vorpal: you can just install glibc too? 20:41:16 elliott, oh? Okay 20:41:20 I mean, why not? 20:41:26 if the executables could statically link glibc... 20:41:52 well, if it dynamically links to like big huge libraries that you only have built with musl and there's ABI problems then maybe (but musl is ABI-compatible with glibc to some degree) 20:41:58 that's kind of an awful way to distribute binaries though :p 20:42:04 The feeling I've gotten from Android is not that the systems are any sort of bastion of cleanliness and good design, when it comes to the Linux parts underneath. 20:42:32 elliott, well right 20:42:34 yeah, bionic seems to be about half of a libc. 20:43:10 Yes Android has issues definitely 20:44:10 -!- AndoDaan has joined. 20:44:20 anyway I think runit type systems are a bit underwhelming, there are some nice things in systemd that I would miss in them; they are certainly way better than sysvinit though 20:44:29 clearly run launchd on linux! 20:44:47 launchd is probably pretty much to "blame" for systemd anyway since systemd started as basically ripping off launchd for linux without xml 20:44:52 Wonder what "colord.service" is in that boot log. A color profile thing? 20:45:18 Apparently. 20:45:26 "Starting infrequently used on-demand socket-based daemons from launchd seems like it could open the main system process to a potential denial of service attack. I have not explored this idea or researched to see if it has already been tried, but I would opt for inetd/xinetd over launchd." 20:45:33 okay launchd FUD is... way weirder than systemd FUD 20:46:59 elliott, hm? 20:47:02 fizzie: incidentally, you can add cpressey to the list of UK (former) #esoteric people, apparently 20:47:08 Vorpal: hm to which part? 20:47:15 elliott: I don't think I knew that. 20:47:36 elliott: Makes sense, though. Isn't there something very British about Befunge? 20:47:37 elliott, on demand socket? So it basically xinetd/inetd as well? 20:47:47 How would it be more prone to DOS than those 20:47:53 Vorpal: launchd/systemd both do socket activation of services 20:47:58 Right 20:48:01 when did chris pressey stop being active on the esoteric wiki? 20:48:04 elliott, Same as xinetd/inetd then 20:48:10 "what if you DoS pid 1?" has to be the oddest objection I've heard to that 20:48:25 "better use inetd instead, everyone knows that's secure and robust" 20:48:50 elliott: Incidentally, despite the cliché, apparently it rains more here than it does in London, at least when looking at total precipitation numbers. 20:48:53 Well okay, xinetd crashing is less of a problem than pid 1 crashing, I'll admit that. 20:49:36 fizzie: you'd be in london, then? 20:49:52 I wish this laptop had a nicer screen. IPS or something 20:49:52 elliott: Thereabouts, yes, if I take the deal. 20:50:03 I hate this TN viewing angle nonsense 20:50:16 fizzie: I hear germany is totally awful. 20:50:25 I'm probably going to prod the Germans soon, if I don't hear from them. 20:51:25 As far as places-to-live go, it seemed quite nice; it's a lot different from London, though, being a city of about 250k people. 20:51:57 yeah, 250k is about the population of the UK. 20:52:32 "It" being the place in Germany that job would be in, not Germany in general. 20:53:08 germany has twenty five thousand million people in it. 20:53:33 Oh god, what a terribly large city 20:53:51 what are the error bars on these population counts 20:54:03 Bike: Larger than the absolute value of the measurement. 20:54:09 Could be negative people. 20:54:22 so you're saying there might be sixty thousand million people in germany 20:54:24 that's pretty intense 20:54:40 Bike: there are by now 20:54:48 germany's rate of immigration is very high 20:54:52 that's 70k people per km² 20:55:00 they have very small apartments. 20:55:14 168k for the sixty thousand million 20:55:34 .1681 people per m². doable 20:55:43 everyone who moved in in the past few seconds is a partner of someone already living there, they share the apartment 20:55:47 elliott, no, they have very high buildings, with many subsurface levels as well 20:56:00 Vorpal: no, germans have yet to discover architecture 20:56:05 Oh okay 20:56:07 please don't spread lies 20:56:23 they have those AA towers from wwii and other than that they have to live in pelt tents 20:56:46 Bike: it's kind of weird to think you sort of could house sixty thousand million people in germany 20:56:51 like they'd be really cramped but... 20:56:59 that figure is kinda workable 20:57:05 if you really, really wanted to 20:57:06 like, in an arcology, maybe. 20:57:18 That's, what, six square metres per person? 20:57:19 who said anything about archaeology? 20:57:26 who indeed 20:57:31 fizzie: well, ".1681 people per m²". 20:57:59 Sounds like one sixth of a person, yes. 20:58:04 yes. 20:58:13 pretty sure there are apartments in NYC smaller than that 20:58:18 5.9488 m² per person 20:58:38 it suddenly seems kind of weird that we use surface area in these measurements 20:58:45 given that i'm sitting in the fifth floor of a building atm 20:58:50 sink, toilet, put the bed a layer up, got enough space for like, a fridge and a microwave and a chair, maybe 20:59:07 if you tried really, really hard 20:59:18 It's hard to say where the ceiling of a country is, if you wanted to use volume instead. 20:59:24 it suddenly seems kind of weird that we use surface area in these measurements <-- as opposed to? 20:59:31 i dunno 20:59:45 i think the main problem is that you need other things too, like, is every one of these 6 m² blocks also a farm and sewage treatment plant 20:59:56 Bike, I mean what else than m² would you use 20:59:56 or both. manure. 21:00:05 now there would be a problem that you couldn't fill the space with anything but houses 21:00:08 oh 21:00:13 some people could run stores out of their apartments 21:00:17 genius 21:00:19 supplies could come in through the roof, dropped off by air 21:00:25 you'd keep a map of the Grid 21:00:26 Each of the 6 square-metre plot of land must clearly be an entirely self-sufficient tower, then you have no problems. 21:00:34 yeah that makes sense 21:00:41 again, yet to discover architecture... keep up :p 21:01:10 can't stop imagining this overpopulated german hellscape... 21:01:24 phew. you sure don't want to live there, do you, fizzie? 21:01:41 did you know that one time HR Giger designed arcologies for Switzerland shaped like satanic pyramids, and sent the design to the swiss chancellor 21:01:46 some of his best work imo 21:01:47 What's the canonical population count of Trantor? w 21:01:55 45 billion, apparently. 21:02:01 didn't trantor have underwater oceans and farms 21:02:08 That doesn't actually sound like all that much. 21:02:14 well it doesn't /now/ 21:02:17 Bike: did they get built? 21:02:41 elliott: alas, there were some issues with the plan to use felons to man the radioactive waste disposals in the pyramid cores 21:02:43 "Its land surface of 194,000,000 km² (75,000,000 miles², 130% of Earth land area) --" it's even bigger. 21:02:50 wasn't trantor like the home of the secrect second foundation peeps? 21:03:09 pretend farmers. 21:03:10 What is Trantor from now again? 21:03:13 I heard the name before 21:03:14 Foundation. 21:03:15 AndoDaan: No, it was the center of the Empire. 21:03:18 the foundation series. 21:03:19 Ah 21:03:21 AndoDaan: that was after the empire collapsed 21:03:23 Haven't read it 21:03:26 yeah, but after the fall 21:03:28 yeah. 21:03:30 yeah i think they were 21:03:30 Probably should 21:03:37 AndoDaan: The Foundation was placed in Terminus. 21:03:41 anyway if every person on earth got 6 m² we could fit 86 trillion peeps 21:03:44 sounds legit tbh 21:03:47 at the outer rings. 21:03:55 stand on zanzibar mother fuckers 21:03:59 Bike: we'd have to do something about the oceans...? 21:04:04 fuck the oceans 21:04:25 I'm ready for this horrifying dystopia of torment 21:04:27 only 25.07 trillion if you stick to land like a fucking wuss 21:04:30 alpha centauri was an ocean. in the second foundation series. 21:04:39 i almost elided that .07 but then i remembered that was over ten times the actual population 21:04:42 people there wanted to turn themselves into dolphins. 21:04:52 weren't those not by asimov 21:05:05 the third series wasn't, but the second was. 21:05:20 anyone remember that short story "Tomorrow and Tomorrow and Tomorrow" by vonnegut, it fucked me up 21:05:21 greg bear, and two other wrote the third. 21:05:30 overpopulation is kind of a dogwhistle but whatever 21:05:33 anyway if every person on earth got 6 m² we could fit 86 trillion peeps <-- don't forget it takes more than an apartment to sustain a person. You need to produce food and so on too 21:05:47 uh dude scroll up we already decided everyone runs shit farms 21:05:54 Ah okay 21:06:14 we... decided that? 21:06:21 not bad farms, but literal shit farms? would that work? do we have the technology 21:06:32 i decided that, and you're within seven meters of me, so we're pretty much the same 21:06:41 AndoDaan: like, using the shit as fertilizer. totally sensible 21:06:53 I guess you could do something below the housing units? 21:07:07 just poop directly into the endless vast expanse of the underground shit farm 21:07:11 let's try this with volume now 21:07:16 why am I participating in this 21:07:19 how much is 6 m³? i don't even know 21:07:21 elliott: That certainly sounds better than on top. 21:07:41 this channel is an underground shit farm 21:07:42 8 m³ is a 2×2×2 block, right 21:07:42 the human centipede on a planetwide scale... 21:07:59 look have you ever been to a farm irl, they are disgusting, that's just how it works 21:08:02 Two square metres of area in a reasonable-height room is 6 cubic metres. 21:08:17 everything you eat is regurgitated fixed nitrogen mother fucker 21:08:57 okay, if everyone gets a 6 m³ block we can fit 1.805 × 10²⁰ people in the earth's volume. i ahve solved overpopulation. 21:09:01 are we just going to invent the matrix here 21:09:23 Bike, in the earth volume. Right, good luck with that 21:09:28 > compare (10^20) (2^80) 21:09:30 LT 21:09:42 wait 21:09:43 You should count the volume of a shell around earth, up to a reasonable height 21:09:46 what the fuck answer was I expecting 21:09:50 Vorpal: yes this is clearly the only difficult proposal so far 21:09:55 "can we fit more than 2^80 things anywhere in the universe" 21:09:59 but i believe we can do it 21:10:38 elliott, if so, there isn't an x86 extended floating point value for everyone? 21:11:17 wait, is it 10^80, not 2^80 21:11:26 what's the number for the observable universe again 21:11:28 Oh okay, yeah that is bigger 21:11:44 elliott, number of protons? 21:11:56 What the. If I type in "2^80 bytes" in Google, the result is "1.20892582 yottabytes". These are some sort of decimal-based byte counts. 21:12:07 number of planck volumes? :p 21:12:12 fizzie: that's correct 21:12:15 fizzie: yeah, google use those now 21:12:22 I guess it'd be "yebi"?? 21:12:29 yobi 21:12:33 er, right 21:12:38 yoshi 21:12:46 ubuntu and OS X and maybe windows also use decimal for showing file sizes now 21:12:49 Hmm. It sounds more silly than kibi. 21:12:52 somehow SI prefixes are spontaneously winning 21:13:04 they're winning because consistency is king 21:13:13 coppro: they still overload it for RAM though 21:13:35 that's not in the manufacturers' best interest :P 21:13:36 Apparently exabyte -> exbibyte, not ebibyte. 21:13:54 -!- Phantom_Hoover has joined. 21:14:04 https://physics.stackexchange.com/questions/4118/how-many-bytes-can-the-observable-universe-store alright 21:14:11 coppro, it doesn't make sense to not use power of 2 for ram, due to how it is constructed 21:14:38 so let's say 10^120 21:14:43 any number bigger than that you can give up on 21:15:12 Vorpal: it doesn't make sense to not use powers of 2 for SSDs 21:15:27 ...and indeed SSDs are often sold with binary prefixes, I think, sigh 21:15:59 elliott, There is the issue that some space may be reserved though there 21:16:02 elliott, and generally is 21:16:07 Vorpal: yeah 21:16:17 Internal data structures, overprovisioning, and more 21:16:24 yeah, but I mean you buy a 256 GB SSD, it's actually 256 GiB and also you don't get all of that 21:16:35 you buy an 80 GB SSD, maybe it's actually something close to 80 GB, no i, who knows 21:16:46 True 21:16:55 My SSD reports itself as having 1000215216 sectors of 512 bytes. 21:17:03 elliott, well, we will see what my 512 GB SSD that I ordered yesterday will be 21:17:28 fizzie: but it probably doesn't actually deal with 512-byte sectors :p 21:18:48 elliott, what fs should I use on an SSD these days? 21:19:03 elliott, I will install Ubuntu LTS on it (14.04 atm I believe?) 21:19:06 btrfs or ext4 21:19:13 Is btrfs stable now>? 21:19:18 s/>// 21:19:19 on-disk format is stable 21:19:27 And actual code? 21:19:29 tools are mostly okay / getting better 21:19:33 Hmm 21:19:40 actual filesystem shouldn't, like, lose your data I don't think, but you do backups, right? 21:19:46 Well sure 21:19:53 if you're more boring you can just do ext4. 21:19:55 But it is still annoying when things break 21:20:10 or you could use something exciting and obscure like nilfs 21:20:14 People on a neighboring channel have still been having trouble with btrfs, but they're testing the bleeding-edge btrfs code. 21:20:17 elliott, I heard good things about f2fs iirc 21:20:22 or maybe go all the way to ZFS?!?!?! 21:20:26 Presumably what ends up in "stable" software is different. 21:20:38 f2fs is for, like, SD card type things more I think 21:20:44 Oh okay 21:20:51 maybe not 21:21:15 elliott, hm made by samsung, and my SSD is a samsung one 21:21:29 Vorpal: anyway, use a partitioning tool that will align properly like gdisk but who really cares, blah blah blah, SSDs are boring nowadays 21:21:42 elliott, hah 21:21:44 yeah but I think f2fs comes out of like, their phones. 21:21:56 maybe it's great for SSDs, I don't know. 21:21:57 Ah 21:22:05 phoronix tests I guess 21:22:11 "Partitions will be aligned on 2048-sector boundaries" makes one wonder if that's just "let's use some giant power of two, that's surely enough for everyone". 21:22:11 btrfs has SSD-specific knowledge iirc 21:22:12 Time to read those 21:22:24 elliott, I wonder how this will work with dm-crypt 21:22:30 Vorpal: boringly 21:22:32 I remember reading about nilfs several years back in the context of SSDs. 21:22:36 you set up luks, put btrfs on it 21:22:44 I think the luks stuff will get the alignment right by default nowadays 21:22:52 btrfs is getting native encryption support at some point I think? 21:22:56 elliott, I mean, that makes the data uncompressible, which iirc causes issues with SSDs 21:23:02 not all SSDs compress 21:23:08 Ah okay 21:23:09 I only know of SanDisks doing that by default? 21:23:18 I think the sandforce controllers do it 21:23:22 er, right. 21:23:24 really you don't need kid gloves with SSDs these days. 21:23:29 Heh 21:23:31 you can just do whatever and it's fine. 21:23:44 Or should I just use the built in encryption in the SSD? Do I even trust that? 21:23:49 no 21:23:55 Right 21:23:57 or at least I don't 21:24:04 Probably shouldn't use it at all even 21:27:05 SMART report on my system SSD says "Remaining_Lifetime_Percentage" has a value of 29. 21:27:08 Hmm. 21:27:15 Wonder what that's based on. 21:27:29 its internal supply of human blood 21:27:53 It does have 33019 Power_On_Hours, so it's not exactly new. 21:30:19 Max_PE_Count_Spec 10000, Average_Erase_Count 7176; given that 1-7176/10000 is close to 29%, it's probably that. 21:31:32 Rounds the other way, though. 21:33:07 fizzie, time to consider a new drive soon then 21:33:18 The drive I'm getting have 10 year warranty 21:33:23 So that is good at least 21:36:05 testing shows SSDs survive a lot longer than they say they'll do, IIRC 21:36:26 elliott, which is even better 21:38:41 elliott, anyway, that just means they haven't figured out how to reliably make it fail after a specific amount of time yet :P 21:50:09 -!- oerjan has joined. 21:51:20 "Notice: Undefined variable: node in _watcher_node_type_enabled() (line 2840 of /home/joe/staging/beta/sites/all/modules/watcher/watcher.module)" looks very promising 21:51:36 I guess the site's built by some Joe. 21:53:58 I had that regular spinning-disk disk fail two weeks after the three-year warranty period, which shows they've honed those down to science. 22:02:00 @messages- 22:02:00 int-e said 11h 19m 7s ago: Oops, your hello hello world solution is much closer to my "local optimum" than I expected; apparently I had to rewrite the program in order to realize that the shared "world" string could be picked up from the final result list (having only one list helped). I had only tried a:b=["world","hello",a++"!"], resulting in 22:02:00 86 characters. Funny. 22:02:34 fizzie, yep 22:02:38 @tell int-e i had w:r=["world","hello",w++"!"] in a previous version. 22:02:38 Consider it noted. 22:02:39 oerjan: oh you took on the horrible text formatting problem 22:02:57 fizzie, which is why I got a hdd with 5 year warranty last time 22:02:58 (euclidean distance ;-) ) 22:04:36 fizzie, also an enterprise disk, since that is made for 24/7 operation. And surprisingly it was pretty much the same price as a comparable non-enterprise hdd. 22:04:38 int-e: yep. i surely thought importing something would help, but my current best version has no imports and beats the one using Numeric by 1 char. (Text.Printf _should_ have won except for stupid lack of defaulting to Double.) 22:04:39 oerjan: so what was your 85 characters version? 22:04:47 -!- ais523 has joined. 22:06:10 int-e: do you mean the rounding off stuff of Euclidian norm? 22:06:36 AndoDaan: rounding, omitting trailing zeros, etc. 22:06:56 yeah, i kinda f'ed that up... 22:07:10 I have a great esolanging announcement 22:07:16 I have solved a problem which has been open since 1996 22:07:20 and the funny thing is... i wanted to use something in burlesque that would have helped just that. 22:07:42 what, ais523? 22:07:55 by my estimate of your age i take it you didn't create the problem. 22:07:56 or i mean, which open problem. 22:08:45 (((((#65535$#65535)~((V32((?32((?32(.4$.2)~(#0$#65535))$.1)~(#0$#65535))$(?32((((V32((&32(.4$.2)~(#0$#65535))$.9)~(#0$#65535))$#0)~(#32767$#1))$.2)~(#0$#65535)))~(#0$#65535))$#65535))$.4)~(#0$#65535))$.9) <- '"?.1$.2"~"#0$#65535"'$'"&.1$.2"~"#0$#65535"' 22:08:52 of course! 22:08:54 how to add two numbers in a single INTERCAL expression 22:08:58 oh. 22:09:01 useful 22:09:12 err, wait, that's a mix of two different syntaxes 22:09:20 * Bike takes back esoaward 22:09:22 it's probably very impressive, bike. 22:09:37 I had to write a new interpreter just to be able to run this code 22:09:37 right ... () vs. '" 22:09:39 it takse four minutes 22:09:42 wait, adding in base ten? 22:09:52 INTERCAL numbers are numbers 22:09:56 so it's just adding them numerically 22:10:04 like... church numbers? 22:10:07 there isn't an inherent base, although all the operators you can use on them are bitwise 22:10:12 int-e: i seem not to have saved an 85 char version. 22:10:16 i've only read up on it a bit. 22:10:18 AndoDaan: INTERCAL onespots are like C shorts 22:10:24 it's not a functional language 22:10:29 oerjan: ok. 22:10:49 DO :2 <- :1/"'"'#65535$#65535'~'"'?"'"'V"'&.4$.2'~'#0$#65535'"$.9'~'#0$#65535'"$#0'~'#32767$#1'"$.2'~'#0$#65535'"$#65535'"$.4'~'#0$#65535'"$.9 22:10:50 DO :1 <- '"?.1$.2"~"#0$#65535"'$'"&.1$.2"~"#0$#65535"' 22:10:52 DO .1 <- "?.2$.4" 22:11:01 I don't think adding would depend that much on base used? 22:11:03 that's it in proper INTERCAL syntax, split out into three lines for clarity and portability 22:11:17 of course i'm confusing unlambda with intercal now. sorry. 22:11:20 int-e: it was much more similar to my final one than to your "local optimum", though. 22:12:40 oerjan: words"world hello world!" looked so nice, I kept putting it back :) 22:13:47 hm indeed. 22:13:58 well, ais523, let me say congratulations. I have no idea how hard the feat is, but i have no doubt it would be beyond me in this lifetime. 22:14:24 In the end, the statistics pretty much convinced me that henkma's code didn't contain that string and used the [...w++"!"] trick instead. 22:14:25 People pay hundreds of dollars for a Forth environment? 22:14:46 Vorpal: My current backup disk is nominally a "surveillance storage" disk, because the price was the same, and the warranty slightly longer (3 years vs. 2 years) than the most basic consumer devices, plus it said something about being suitable for an "always-on" operation. 22:14:54 Vorpal: (WD "Pruple" series.) 22:14:55 AndoDaan: this all came about because I was trying to write a contract bridge AI 22:14:56 people pay hundreds of dollars for bird nests made into food 22:14:59 Purple, not pruple. 22:15:26 fizzie, yeah my desktop disks are WD Se disks 22:15:34 fizzie, the alternative would have been WD Black 22:15:41 ais523: i actually read that article that... eric(i think) wrote, you're one of the foremost experts on intercal, right? 22:15:59 Bird nests have a supply limit argument going for them, though. 22:16:02 AndoDaan: yes, thus it's not surprising I ended up in this channel 22:16:03 oerjan: oh and there's a new problem there, "Belgian Numbers". 22:16:08 wait, a bridge ai... in intercal??? 22:16:13 AndoDaan: no, in Prolog 22:16:16 phew. 22:16:21 fizzie, my backup disks are not on all the time and are thus cheaper and slower external USB3 disks 22:16:45 Vorpal: Last I looked it was mostly about the colors (Blue, Green, Black, Red, Purple); I don't know what these Se, Re, Xe, Ae signify. 22:17:22 ais523: how could that possibly be related to adding number in that language. 22:17:32 (These desktop disks are now "Seagate Barracuda 7200.14"'s.) 22:17:36 sorry if i'm showing my profound ignorance. 22:18:09 hmm, maybe ordering hands... 22:18:21 AndoDaan: well, what's the maximum number of points a bridge hand can be worth, on the normal point counting system? (that's 4 for an ace, 3 for a king, 2 for a queen, 1 for a jack, and 1 for every card beyond the fourth in a suit) 22:18:49 13 cards per hand, right? 22:18:54 yes 22:18:59 it's been a while since i've bridged. 22:19:03 fizzie, Se, Re and Xe are enterprise disks. Not sure about Ae 22:19:03 uhm 22:19:10 so 19 22:19:14 fizzie, and there is also the velicoraptor on the side 22:19:19 if you can get the answer in less than about 5 minutes, you're doing better than my bridge AI was 22:19:45 30? 22:19:48 no 22:20:17 oh 4444333322221 = 37 22:20:28 yes 22:20:31 Vorpal: Ae is apparently for "archive" use. 22:20:50 Ah 22:21:08 fizzie, I think Xe is SAS only 22:21:10 okay, and intercal counts like that, somehow? 22:21:38 Vorpal: "Moving cold data to value-optimized archive media delivers significant TCO savings by freeing up expensive performance-critical storage system capacity." It's like they've designed their ad copy for buzzword bingo. 22:21:55 haha 22:22:13 AndoDaan: no, but trying to evaluate INTERCAL reverse assignments is a similar sort of optimization problem 22:22:36 "find a hand that's worth 37 points" is pretty much the same sort of operation as "find a number which, when selected with itself, gives #5" 22:22:56 eeeeh 22:23:12 ais523: the former has a solution :) 22:23:30 oh, henkma used the trick that 99l lexes as 99 + l. funny that popped into my mind earlier today... 22:23:32 fizzie, Xe seems like DC velicoraptor basically hm 22:23:41 ah, i kinda see. 22:23:46 oerjan: I did that too 22:24:00 you had an ai look for the expression. 22:24:01 int-e: indeed 22:24:15 fizzie, I don't remember what Re is for 22:24:28 fizzie, I remember figuring out that Se was basically DC black 22:24:37 Roman numerals could work pretty well with scientific notation. 22:25:05 II*X^VI 22:25:10 oerjan: ok, henkma's and my code ended up almost identical anyway 22:25:48 heh indeed, and quite different from mine 22:26:23 perhaps I should say "isomorphic" 22:26:31 they _are_ identical, except for naming and a switch between ; and newline 22:26:38 or, alpha-equivalent 22:26:44 yeah 22:26:48 (the ; doesn't really count) 22:27:18 it's just that I have all my shinh haskell golf code in a single file and that's easier to manage when the code is all on one line. 22:27:46 indeed. i seem to have switched from ; to newlines after i found out how to count chars in a block in vim 22:27:55 Alpha-equivalent would be a neat band band name. 22:28:31 oerjan: I don't count. http://sprunge.us/hbfF 22:28:51 oerjan: the --- thing is the best known solution, I put my own above if it's optimal :) 22:31:13 phew. <-- you mean DISAPPOINTING hth 22:31:15 and so far I have not run into a problem that *needs* newlines. 22:31:41 i couldn't dare to be so hard. 22:32:04 i know my limitations, and what ais523, or even you guys do is beyond me, and impressive. 22:33:02 oh well, oerjan wrote an unlambda interpreter in intercal 22:33:02 of course, i've only taken an interest in the nitty gritty of programming and such, these last few months. 22:33:15 I guess from that perspective, a bridge AI looks at least doable. 22:35:57 int-e: i'm not that efficient. my Golf.hs file contains a lot of sometimes nested {- -}'s which confuse vim's syntax coloring no end. 22:38:05 int-e: to _need_ newlines you'd have something with two do blocks or the like in it, i think, so that you cannot put both at the end. 22:38:22 oerjan: do and where blocks, right. 22:38:42 i haven't had a use for where or let yet, the seem too verbose compared to the alternatives. 22:38:45 *thye 22:38:50 *they :P 22:39:09 OK, this newsreader is ridiculous 22:39:23 it has a drop-down menu to choose the Encoding header you want, with a choice of valid options 22:39:31 however, the message itself is always sent in latin-1 22:39:35 i _did_ use a do block once, but then you beat me and i had to find another solution. 22:40:30 oerjan: hmm, I do have *one* where so far, and I wouldn't know how to replace it without making that particular code longer. 22:41:17 heh 22:41:58 (I could use let...in... at the same cost) 22:42:05 anyway, I just sent my program + documentation to alt.lang.intercal 22:42:07 in a sharchive 22:42:32 int-e: is that code revealed yet? (or ever.) 22:42:40 not yet 22:42:45 ok 22:44:24 it is possible one of my not-yet-revealed solutions _could_ give you a hint to improve that. then maybe not. :P 22:44:47 possibly 22:50:17 > map length ["(\f->)$val","where f=val"] 22:50:19 [9,11] 22:50:36 -!- AndoDaan has quit. 22:51:09 did you just improve it yourself :) 22:51:20 no. it's not applicable. 22:51:28 ah. 22:51:59 it's also _still_ longer than the hint you might get. 22:52:07 :P 22:53:06 we also both know about infix operators, which can also sometimes help in that context. 22:53:25 but anyway. 22:56:12 -!- ^v has quit (Quit: Leaving). 22:56:30 -!- ^v has joined. 22:56:38 yes, i haven't actually got my trick to be the _best_ option yet, alas. 22:56:54 but i think it's only a matter of time. 22:56:58 -!- ais523 has quit. 22:57:09 -!- ais523 has joined. 22:58:07 I see what you mean. But it's still not applicable. :) 22:58:29 oh you think you do? 22:59:13 a certain haskell 2010 novelty. 22:59:39 bah hinting too much again :P 23:00:50 the only reason i can see why it wouldn't be applicable is if you are using several guards that the where needs to scope over. 23:00:59 nice one, I should find a use for it :) 23:01:10 except then a let ... in wouldn't work? 23:02:20 i suppose they could be structured completely differently. 23:02:35 you're on the wrong track 23:02:40 ic 23:03:20 > let f|True=1;f|False=2 in f 23:03:22 Conflicting definitions for ‘f’ 23:03:22 Bound at: :1:5 23:03:22 :1:14 23:03:38 > let f|True=1|False=2 in f 23:03:40 1 23:03:54 wat. 23:04:01 > 1::Bool 23:04:05 No instance for (GHC.Num.Num GHC.Types.Bool) 23:04:05 arising from the literal ‘1’ 23:04:18 oh wait duh 23:05:47 (I guess I shouldn't show that particular line to a Haskell beginner, even with proper whitespace added) 23:06:22 > let f|True,True=1|False=2 in f 23:06:23 1 23:06:35 * oerjan whistles innocently 23:07:03 yes! 23:07:26 so i wasn't on the wrong track anyhow? :) 23:07:53 > case () of _|True<-True->True 23:07:55 True 23:08:14 > case () of _| True<-True,True->True 23:08:16 True 23:09:10 > case () of _| True|True<-True,True->True -- alas 23:09:12 :1:19: parse error on input ‘|’ 23:09:50 Also! It was Coruscant (which, to be fair, I've heard to be Trantor-inspired) with the more ridiculous canonical population figure, of approximately one trillion. 23:09:52 (I don't know what the semantics of that are supposed to be) 23:10:48 > case () of _| True,True<-True,True->True 23:10:49 True 23:10:54 -!- boily has joined. 23:12:47 fizzie: that's only like 100 times the population density of the Earth 23:13:02 I think that'd be achievable with the technology level of that universe 23:13:12 especially given that planets are three-dimensional 23:13:29 the problem that always comes up is removing waste heat 23:13:57 as in, they need to be able to break laws of thermodynamics 23:14:06 Yes, that's the canonical thing. People have written oodles of text about how that's a problem, and also about how that's not a problem. 23:14:28 I shouldn't be surprised that people have looked into whether this would be feasible 23:14:35 I hadn't really considered it 23:14:58 Irregular Webcomic had comics referring to it 23:15:08 iirc 23:16:34 http://mqallen.com/2013/05/16/coruscant-heat-dissipation-and-basic-worldbuilding/ claims it's not a problem. 23:16:49 -!- AndoDaan has joined. 23:20:08 There are a number of places that claim it is, including, yes, IWC. 23:21:10 -!- bb010g has quit (Quit: Connection closed for inactivity). 23:21:40 hmm, that article thinks it's not a problem if one trillion people live there 23:21:47 however, it also estimates the population at one quintillion 23:22:15 which would definitely cause heat dissipation problems 23:24:12 Some of the official novels mention the heat-to-space thing. 23:25:53 all I want is to fill germany with fertiliser 23:26:27 the fertilizer was in you all along, elliott 23:26:40 ew 23:43:55 why is my solution to belgian numbers 3 chars longer than int-e's hmm 23:45:15 -!- ais523 has quit. 23:45:49 -!- ais523 has joined. 23:48:48 oh! 23:48:57 he found out why 23:48:59 hm no wait 23:49:02 or not 23:49:16 how hard is haskell to learn? 23:49:22 probably twelve or so 23:49:33 wth. 23:49:33 is that a little, a lot? 23:49:55 it's occasionally claimed that it's not so hard unless you've had your brain ruined by other languages first. 23:49:58 it's twelve, what more do you want from me 23:50:11 that's an exact, quantitative measurement 23:50:11 AndoDaan, if you go into it thinking it's going to be hard, it's going to be hard. If you go into it thinking it's going to be easy, it might be easy 23:50:15 i know a few languages... a couple. 23:50:17 (I found it pretty easy) 23:50:25 AndoDaan: then you're DOOMED hth 23:50:41 (if you can grasp programming without mutability you'll probably be fine) 23:50:41 Taneb: but you only knew Piet beforehand, no? 23:50:52 so it was actually a step _down_ 23:51:00 oerjan, Piet, a little VB.Net, JavaScript, PHP, Python 23:51:08 eek 23:51:12 don't forget snobol 23:51:23 Snobol's about 18 hard to learn, if you need a comparison 23:51:25 ok let's say that it was the Piet that saved your brain. like unlambda mine. 23:51:50 I actually broke my laptop writing very bad Python trying to solve a Project Euler problem 23:52:05 Well, it started thrashing and I sort of messed up stopping then recovering 23:52:47 I am now a better programmer than I used to be 23:52:54 hey I started with some Basic, machine code, Pascal, Assembly, Logo, Scheme, C ... with some scripting languages inbetween. lambda calculus, haskell. 23:52:58 right, "haskell guy" 23:52:59 it's good for creating prototype... languages, right? i was looking at the icfp competition and haskell does alright. 23:53:25 i'm so tired of Lua making my life difficult. 23:53:27 when coupled with a parser written in something convenient like snobol, perhaps 23:53:39 AndoDaan: yes ... *swats Bike -----### 23:53:44 Could I join the asking a question queue 23:53:55 Taneb: i'm sure 23:54:07 AndoDaan: just don't expect it to be like the programming languages that you already know. you'll often have to learn new ways of solving old problems. 23:54:20 that has to be a good thing. 23:54:43 Could someone explain to me why only prime n make 2^n - 1 prime? 23:54:53 it's been said that snobol is not so hard unless you've had your brain ruined by other languages first 23:55:01 Taneb: 2^(mn)-1 is divisible by 2^m-1 23:55:05 Taneb: because 2^a-1 divides 2^(a*b)-1 23:55:20 Taneb: because oerjan and int-e said so. 23:55:26 we're so efficient! 23:55:55 AndoDaan: it is a good thing. it's very frustrating at times, but it gives you a rather pleasing high when you can make it work with clean mathematical principles. 23:56:00 Thank you 23:56:16 sounds good. 23:56:20 gonna try it. 23:56:24 Taneb: it's a special case of the fact that k-1 divides k^n-1 for all k>1 and n>=0. 23:56:33 also, I have decided that Prolog is an esolang 23:56:33 int-e, why does that hold? 23:56:38 thanks. 23:56:44 ais523, sounds legit 23:56:48 Bike: cobol is 13 hard but only because your brain keeps falling asleep 23:56:58 a legitimate concern! 23:56:59 it's nothing like pretty much any other language, and it tends to have terrible library support 23:57:03 AndoDaan: if you haven't read it yet, you should peruse Learn You a Haskell for Great Good. 23:57:09 (put it this way: I have to write my own maps and folds in Prolog) 23:57:13 going there now. 23:57:33 i think that's where mroman got the title for his burlesque's tutorial 23:57:40 well, paraphrased. 23:58:00 "Read Learn you a Burlesque for no good!" 23:58:05 Taneb: (k^n-1) = (k^(n-1)+k^(n-2)+...+1)*(k-1), proof by cancelling terms 23:58:11 Taneb: prove it by induction. intuitively, if you multiply (k^(n-1)+...+k^2+k+1) by (k-1), you get k^n-k^(n-1)+k^(n-1)..-k+k-1, and most terms cancel. 23:58:18 EFFICIENT 23:58:18 oerjan: stop reading my mind! 23:58:31 Can I pretend that is a standard result for my number theory assignment? 23:58:38 (I guess there is only this standard explanation) 23:58:43 i kind of want a copy of mathematics made difficult just so i can spout answers from it 23:58:44 Taneb: yes 23:59:05 Taneb: of course I'm the wrong person to ask :P 23:59:14 let's see, you want to prove limit cycles exist. well, first, i'll need to tell you about types with holes 23:59:18 int-e: there's probably a fancier one that's very short and elegant 23:59:24 Taneb: but it is a standard result. 23:59:46 indeed, k^n == 1^n (mod k-1), come to think of it