00:01:11 how can you have both a king and an overlord 00:01:53 the overlord overthrows the king, duh 00:02:22 does the underlord undermine the overlord 00:02:34 BLASPHEMY 00:03:04 the overlord cannot be undermined. as long as no one finds the self destruct button, anyway. 00:04:00 it's that big red with the "don't push if you want to live" sign. 00:04:07 *red one 00:06:12 -!- boily has joined. 00:07:49 -!- variable has joined. 00:08:12 phoily! 00:08:22 (2 in a day, progress!) 00:08:41 well, sort of a day 00:13:25 heŀŀœrjan! it's still the same day in Canadaland hth 00:13:47 exactly! 00:17:35 -!- EuroTaneb has changed nick to Taneb. 00:24:21 shachaf: Britain has both queen and parliament... 00:24:49 (I'm sure a king and an overlord could come to a similar arrangement.) 00:28:15 `? gamemanj 00:28:25 gamemanj is also the mad scientist I. N. Here. 00:31:20 -!- MDude has quit (Ping timeout: 276 seconds). 00:32:58 -!- tromp_ has joined. 00:34:20 `? wumpu 00:34:24 Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it's chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. 00:34:37 `` mv wisdom/wumpu{,s} 00:34:48 No output. 00:35:03 -!- moon__ has quit (Ping timeout: 276 seconds). 00:35:03 . o O ( this messes up culprit identification :( ) 00:35:06 `` hg log wisdom/wumpu 00:35:14 changeset: 8059:4b82b9fd65f0 \ user: HackBot \ date: Sat May 14 20:26:22 2016 +0000 \ summary: learn Wumpus the Hunted is an early 70s action game in which the Wumpus is trapped in a dodecahedral labyrinth where it\'s chased by bats. It has to avoid traps and evade magical arrows that are guided by a nefarious AI. 00:35:29 `culprits wisdom/wumpus 00:35:43 oerjan 00:35:46 would `hg mv` do better, if it was an option? 00:35:54 no idea 00:36:22 it's probably not an option, anyway. 00:37:00 -!- tromp_ has quit (Remote host closed the connection). 00:37:03 so you're saying that that's vacuöusly true 00:37:14 -!- tromp_ has joined. 00:37:15 or is that vacuoüsly 00:37:17 who knows 00:38:23 "Germany's Jamie-Lee is the biggest argument I've seen for the big five to have their automatic entry to the final removed." ... that bad, eh... 00:38:44 hellochaf. I believe it's vauöusly hth 00:39:26 boily: i'm skeptical hth 00:39:39 *skeptial 00:39:52 *skëptial 00:40:13 *sqëptial, demonym for albanian. 00:42:21 -!- Froox has joined. 00:44:33 -!- Frooxius has quit (Ping timeout: 240 seconds). 00:45:21 I already forgot what Germany had. 00:45:36 Ohh, right, *that*. 00:46:05 Well, it did get the least amount of points. 00:46:08 -!- jaboja has joined. 00:47:09 This year they announced the jury votes and the audience votes separately, which was interesting. Especially when Poland got like 7 points from the juries, and 222 from the audience. 00:47:39 (I'm a bit surprised the Wikipedia table doesn't currently *show* them separately, but I'm sure someone'll improve it.) 00:51:39 -!- MDude has joined. 00:53:34 -!- Caesura has quit (Ping timeout: 250 seconds). 00:58:16 https://de.wikipedia.org/wiki/Eurovision_Song_Contest_2016 lists them separately at least 01:02:43 int-e: Curiously, it's entirely missing points for the first semifinal, but it has the second one. 01:03:17 funny 01:04:13 -!- J_Arcane has quit (Read error: Connection reset by peer). 01:06:52 -!- tromp_ has quit (Remote host closed the connection). 01:10:29 who won 01:10:56 ah ukraine 01:11:41 https://rageclub.net/~nortti/ul.py.txt 01:12:44 ^ underload-y interpreter, in 255B 01:16:19 "-y"? 01:17:17 ah. 01:22:24 couldn't quite fit all of underload in 255B, sadly 01:23:01 -!- centrinia has joined. 01:23:07 "KamLAND-Zen is a group of buddhist monks studying a balloon filled with the xenon isotope Xe136." 01:25:29 * oerjan thinks maybe there was a joke in there. 01:29:06 Zen is inscrutable. As the Great Master fungot once said unto his disciples... 01:29:06 boily: the compiler sources aren't touched when you usually build up a list 01:29:25 Mu. 01:35:29 "Five of diamonds arched back intended far-seeing size xanthoma, watering bicostate Envelope Logistics®. Commissional, the boozing speech nontronite navigates visions of verbarspermophyta. Dietine overlooker seining, waddywood breathes, full breaths, malacostracology evident. Trip hammer, trip hammer, trip hammer, trip hammer. 01:35:31 - V❊H❊Q❊H, V❊H❊Q❊H 01:38:51 -!- hppavilion[1] has joined. 01:39:04 I'm watching VSauce's video "What is the greatest honou?r" 01:39:19 It makes me want to invent awards 01:40:37 Vsauce is neat 01:41:10 The Bertrand Russell Award for Not Having a Bertrand Russell Award 01:41:48 (for it to work, we must count a person as a set of awards, and awards as the set of people who have been granted it) 01:42:08 -!- J_Arcane has joined. 01:42:23 hppavellon[1], fellowl. 01:42:24 (If it makes you uncomfortable, a person can be a tuple containing the set of awards, among other things) 01:42:32 ahoily 01:43:25 you should give an award made of wood inoculated with spores of a GMO mushroom that grows into the shape of an award. 01:45:18 boily: Ooooh 01:45:35 boily: My Bertrand Russell award is funny, right? 01:46:19 yes it was quite funny 01:46:33 it's a good award. 01:46:35 Phantom_Hoover: OK, good 01:46:55 a tautological award, that is given because you deserve it. 01:47:11 boily: Yes, but the wording needs to change 01:47:25 The Tautology Award for Receiving a Tautology Award 01:47:37 that's better. 01:47:57 -!- tromp_ has joined. 01:48:01 . o O ( I want an Awardmushroom Award. what does it taste like? ) 01:55:43 its taste should be awarding (not to say rewarding). 01:56:06 hi int-e. did you get some new result on laver tables? 01:56:59 nothing new... I can prove that we actually get shelves... 01:57:36 ah. i see... 01:57:39 and I have proved maybe half of that in Isabelle. 01:59:50 laver tables and mushroomy awards: a vegetarian dashi. 02:05:47 -!- variable has quit (Ping timeout: 260 seconds). 02:08:38 Reals = 1D 02:08:41 Complexes = 2D 02:09:02 Quaternions = 4D, Octonions = 8D, Sedenions = 16D 02:09:32 I've also heard of some sort of Hexions = 6D, but there aren't any useful Trinions = 3D 02:09:49 -!- Phantom_Hoover has quit (Quit: Leaving). 02:09:58 Let's go in weirder directions 02:10:10 Unit = 0D 02:10:28 ??? = -1D 02:10:54 [EXPUNGED] 02:13:15 * hppavilion[1] names ALL the sets of numbers 02:13:37 * hppavilion[1] also gives many of them nice blackboard bold symbols 02:15:53 -1D is the empty set hth 02:19:27 hppavilion[1]: https://ncatlab.org/nlab/show/negative+thinking hth 02:20:25 oerjan: Ah, that makes sense 02:21:06 -!- Cale has quit (Ping timeout: 250 seconds). 02:33:34 -!- Cale has joined. 02:35:25 -!- tromp has quit (Ping timeout: 250 seconds). 02:35:34 -!- tromp has joined. 02:36:17 -!- Naraka has quit (Ping timeout: 250 seconds). 02:37:08 -!- clog has quit (Ping timeout: 250 seconds). 02:41:37 -!- Naraka has joined. 02:44:37 AAAAAAAAAAAAAAA 02:44:56 AAAAAAAAAAAAA? 02:45:06 NOOOOCLOOOOG 02:45:13 -!- tromp_ has quit (Remote host closed the connection). 02:45:41 oh. 02:45:48 -!- fungot has quit (Ping timeout: 250 seconds). 02:45:54 AAAAAAAAAAAAAAAAAA! 02:46:04 fizzie: FUNGOOOOOOOOOOT! 02:46:05 * oerjan suddenly ponders the wisdom of idling in the channel 02:46:28 * boily will update the wisdom when he gets home. probably Monday, if he has time. 02:47:42 -!- tromp_ has joined. 02:48:41 I remember a friend of mine in university showed me an esoteric language which was similar to befunge, except that your code was segmented into connected components, "rafts" which could be pushed around as the program ran by appropriate instructions. 02:48:53 I forget the name of it, I wonder if anyone would recognise it 02:49:03 Has anyone adapted FFF to work for less traditional units? 02:49:17 Not traditional 02:49:17 everyday 02:49:17 For example, what's an FFF pascal? 02:50:08 apparently there are now just 3 confirmed living people born in the 19th century. 02:51:59 I suppose Fahrenheit should be included 02:52:03 hppavilion[1]: one ounce per furlong per fortnight per fortnight? 02:52:23 boily: That works 02:52:40 8 m/s/s/s (8 m/s^3) 02:55:20 Cale: well no relevant hits on "raft" or "rafts" on the wiki 02:56:06 it rings a bell, but do something with moving pieces and otherwise not very befungey, which i also have forgotten the name of 02:56:11 *to something 02:56:49 hppavilion[1]: i'm pretty sure Fahrenheit died long ago hth 02:56:54 >_> 02:57:17 oerjan: You clearly have not been to America 02:57:28 of course i have 02:57:42 oerjan: Well you didn't pay attention 02:57:43 three times 02:57:46 oerjan: I was born here 02:58:00 oerjan: And I have managed to condition myself to use SI units automatically 02:58:01 or wait, four. 02:58:32 (although two of them were passing through on the one trip) 02:58:47 oerjan: But I haven't been able to shake Fahrenheit; I simply can't take a temperature in Celsius and lookup about how warm it is 02:59:09 below 0 is freezing, above 100 is boiling hth 02:59:18 oerjan: Well duh 03:00:14 oerjan: I simply always think in terms of Fahrenheit; if you tell me it's 30 degrees Celsius, at best I will do the conversion, at worst I'll ask you to give me the temperature again 03:00:35 Granted, I live in alaska, so usually the temperature is just "cold", but when I DO use temperature it's always Fahrenheit 03:00:56 Anyone feel like deriving weird units? 03:01:02 -!- boily has quit (Quit: SHOTGUN CHICKEN). 03:01:25 i recommend inverse femtobarns, those are pretty weird. 03:01:28 The Kirk is used for measuring space dilation and clocks in at 1 meter/meter 03:01:43 It can also be used for speed for those that hate everyone around them 03:03:00 there are the obvious, like Wolfram for ego and Hitler for evil. 03:03:24 oerjan: Wolfram for ego? 03:03:39 oerjan: Also, I was going for SI-derived units 03:03:47 i thought that was well-established. 03:04:35 Tesla. i mean, it's already SI but _damn_. 03:06:38 -!- hppavilion[1] has set topic: The international hub of solid matrices | Contains only free ranging moons | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | The overdone city meme has RISEN from is burial place in Truth or Consequences (not Hot Springs) in search of BRAINS. 03:06:48 -!- hppavilion[1] has set topic: The international hub of solid matrices | Contains only free ranging moons | logs: http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/?C=M;O=D | http://esolangs.org/ | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | The overdone city meme has RISEN from its burial place in Truth or Consequences (not Hot Springs) in search of BRAINS. 03:13:51 Cale: It wouldn't happen to be Funciton, would it? 03:14:42 I don't think so 03:20:13 It was one character per instruction in a 2D grid, and when the program was first loaded, the orthogonally adjacent connected bunches of instructions would be determined and grouped together into "rafts", and then there were instructions which would cause the raft they were in to move up/down/left/right, I think so long as they weren't bumping into another raft (so they could steer themselves around against the whitespace background) 03:21:08 and so two rafts could come together to allow control to flow from one to the other, and then perhaps separate again later 03:21:50 -!- oerjan has quit (Quit: Nite). 03:32:22 Ub. 03:33:06 -!- fungot has joined. 03:33:26 There's the 'got. 03:35:27 -!- Akaibu has quit. 03:39:16 -!- ybden has quit (Quit: WE USE STICKS). 03:59:00 copumpkin: cocktailpumpkin 03:59:31 copumpkin: what if i sent you a book containing that thing 03:59:36 copumpkin: would you be likely to read it 04:35:03 -!- J_Arcane has quit (Ping timeout: 240 seconds). 04:36:09 -!- clog has joined. 05:14:29 -!- Caesura has joined. 05:36:35 -!- centrinia has quit (Quit: Leaving). 05:41:55 `? itymology 05:42:40 Itymology is the science of understanding the true meaning of a statement. 05:43:09 `? oerjan 05:43:10 Your retired mysterious evil cackling overlord oerjan is a lazy expert in future computation. Also an antediluvian Norwegian who mildly dislikes Roald Dahl. He can never remember the word "amortized" so he put it here for convenience. His arch-nemesis is Betty Crocker. 05:45:07 i was going to add "itymologist" but i can't find a place to fit it in tdnh 05:48:37 -!- tromp_ has quit (Remote host closed the connection). 06:02:37 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 06:07:46 -!- jaboja has quit (Remote host closed the connection). 06:49:11 -!- tromp_ has joined. 06:53:57 -!- tromp_ has quit (Ping timeout: 260 seconds). 06:56:47 -!- hppavilion[1] has joined. 07:18:32 Hm... 07:18:41 Is there an equivalent of LaTeX for making MIDI music? 07:19:30 textual music formats? there are many 07:50:47 -!- tromp_ has joined. 07:55:27 -!- tromp_ has quit (Ping timeout: 265 seconds). 08:02:19 -!- lambda-11235 has quit (Quit: Bye). 08:07:36 Here's a rather interesting idea 08:07:39 Gap Music 08:08:06 Start with a completely random ordering of chords and eliminate some of them until it sounds good 08:11:28 `? 0 08:11:42 702 matching entries found. 08:14:49 -!- centrinia has joined. 08:15:01 `? haskell 08:15:06 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 08:15:43 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 08:15:57 `? c 08:15:59 C is the language of��V�>WIד�.��Segmentation fault 08:25:18 -!- AnotherTest has joined. 08:28:19 `` echo 4 8 15 16 23 42 > "wisdom/6 random numbers" 08:28:28 `? 6 random numbers 08:29:10 6 random numbers? ¯\(°​_o)/¯ 08:29:16 No output. 08:29:42 `? 6 random numbers 08:29:44 4 8 15 16 23 42 08:44:22 -!- hppavilion[1] has joined. 09:09:02 -!- centrinia has quit (Quit: Leaving). 09:16:13 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 09:50:24 -!- tromp_ has joined. 09:54:15 -!- centrinia has joined. 09:55:21 -!- tromp_ has quit (Ping timeout: 276 seconds). 09:59:28 -!- rdococ has joined. 10:00:33 -!- centrinia has quit (Ping timeout: 240 seconds). 10:01:30 -!- gamemanj has joined. 10:03:00 -!- hppavilion[1] has joined. 10:11:47 so apparently my program thinks zzo38's munching squares program likes the value "d2" a lot. 10:12:17 And has thus peppered all the "potential jump / potential copy" lists with various placements of d2. 10:12:31 And has thus given up on trying to use immediate values. 10:19:21 It seems it's found an excuse, somewhere, to pepper memory with D2. 10:46:14 -!- tsumegirl has changed nick to izabera. 10:50:12 Programs with > 2,300 instructions tend to run into problems due to the memory required for storing the range of possible states at a given instruction, even with some accuracy-vs-speed tradeoffs towards speed (said optimizations likely being the cause of the 'd2' problem) 10:52:09 -!- J_Arcane has joined. 10:56:49 It seems the tracer only works relatively well on structured programs that do not use speed-code. i.e. None of them. 10:59:25 I think BytePusher emulation speedups may only be reasonably achievable using JITs. 11:00:04 An extreme case is the Toccata Grande Cromatica by early-19th-century American composer Anthony Philip Heinrich, which uses note values as short as 2,048ths; however, the context shows clearly that these notes have one beam more than intended, so they should really be 1,024th notes.[4] 11:00:11 ... 11:00:16 "Really" 11:01:20 hppavilion[1]: yay for mangled wording! 11:01:49 gamemanj: ? 11:02:15 ...well, you were commenting on the "really" being there when it's a statement of opinion, correct? 11:02:29 gamemanj: No 11:02:33 Then what? 11:03:28 gamemanj: I was pointing out that, for any reasonable duration of a whole note, the difference between a 2048th and 1024th note is imperceptible, AND it's impossible to reliably play either one anyway 11:04:03 why on earth would someone use such values, then? 11:04:15 gamemanj: I have no idea 11:04:53 gamemanj: The article is expressing how the use of 2048th notes is pretty extreme, but that there is one extra flag so it's actually 1024th notes, which is somehow more reasonable 11:05:10 I prefer 1/32 notes. 11:05:16 gamemanj: Keep in mind, a whole note is 1 second iirc, meaning a 1024th note is less than a millisecond long 11:05:58 Then it would sound like a click. 11:08:36 gamemanj: Yeah 11:08:59 ... does HackEgo seriously run a new Linux kernel when you run a command. Wow. 11:10:13 xfix: ? 11:10:27 xfix: Are you talking about how it lacks internal state? 11:10:39 No wonder why it reacts so slowly... 11:11:02 xfix: If that's what you mean, "a new linux kernel" is the most wrong you could possibly get 11:11:13 xfix: It's a new shell instance. Not an entirely new kernel. 11:11:19 ?! 11:11:19 Maybe you meant: v @ ? . 11:11:19 `dmesg 11:11:32 it's a uml thing, it *is* a substantial part of the kernel 11:11:52 xfix: Also, keep in mind, the use of multi-shell allows multiple people to use HackEgo at once, which makes it scalable 11:12:02 Initializing cgroup subsys cpuset \ Initializing cgroup subsys cpu \ Initializing cgroup subsys cpuacct \ Linux version 3.13.0-umlbox (hackbot@codu) (gcc version 4.7.2 (Debian 4.7.2-5) ) #1 Wed Jan 29 12:56:45 UTC 2014 \ On node 0 totalpages: 65855 \ free_area_init_node: node 0, pgdat 60318390, node_mem_map 60fd4000 \ Normal zone: 901 pages used 11:12:16 Hmph. Not telling me the current system time. 11:12:18 `uptime 11:12:42 ​ 10:12:38 up 0 min, 0 users, load average: 0.08, 0.02, 0.01 11:12:46 That proves it. 11:12:50 It's starting a new kernel. 11:12:52 "up 0 min" 11:14:38 hppavilion[1]: Up 0 min == no uptime. If it was reusing the same kernel instance, it would keep the uptime. 11:14:59 xfix: in any case its host is becoming worse and worse... it used to be reasonably reactive. UML should boot up very quickly if everything is in memory... 11:15:17 gamemanj: Wait, an entire new kernel? 11:15:29 hppavilion[1]: By the look of it. 11:15:31 Like, practically a cold boot? 11:15:37 user mode linux is a linux kernel running on a linux system 11:15:43 hppavilion[1]: Kind of. Remember that it's UML, as int-e says. 11:16:02 gamemanj: Which UML is this? I'm reading "Universal Markup Language" 11:16:16 I just expanded it for you. 11:16:28 hppavilion[1]: User Mode Linux. Basically a kernel made to run in a kernel - a step between containerization and a VM. 11:16:38 `cat /proc/sys/kernel/random/boot_id 11:16:54 `cat /proc/sys/kernel/random/boot_id 11:17:07 gamemanj: Ah 11:18:10 I doubt "init" is even installed - such a thing would require a very stripped-down init for performance reasons. 11:18:29 6d8b8bcc-a466-439b-ba68-a959936a8ebe 11:18:31 `ps aux > ps 11:18:34 589120e0-8745-44a1-9d3a-28a933a13ec6 11:18:36 error: unsupported option (BSD syntax) \ \ Usage: \ ps [options] \ \ Try 'ps --help ' \ or 'ps --help ' \ for additional help text. \ \ For more details see ps(1). 11:18:37 `run ps aux > ps 11:18:41 Different boot IDs... 11:18:51 No output. 11:19:02 `cat ps 11:19:24 USER PID %CPU %MEM VSZ RSS TTY STAT START TIME COMMAND \ 0 1 1.0 0.1 1012 272 ? S 10:18 0:00 /init \ 0 2 0.0 0.0 0 0 ? S 10:18 0:00 [kthreadd] \ 0 3 0.0 0.0 0 0 ? S 10:18 0:00 [ksoftirqd/0] \ 0 4 0.0 0.0 0 0 ? 11:19:30 http://codu.org/projects/hackbot/fshg/index.cgi/file/a00724d0cc96/ps 11:19:43 Notice it's referring to /init... 11:19:51 that doesn't seem like a normal init's position on the disk. 11:20:05 `file /init 11:20:16 ​/init: ERROR: cannot open `/init' (No such file or directory) 11:20:55 `mount 11:20:55 5000 291 85.0 0.0 344 16 ? R 10:18 0:00 cat 11:20:59 none on /bin type hostfs (ro,nosuid,relatime,/bin/) \ none on /usr type hostfs (ro,nosuid,relatime,/usr/) \ none on /dev type hostfs (ro,nosuid,relatime,/dev/) \ none on /opt type hostfs (ro,nosuid,relatime,/opt/) \ none on /lib type hostfs (ro,nosuid,relatime,/lib/) \ none on /sbin type hostfs (ro,nosuid,relatime,/sbin/) \ none on /lib64 type host 11:21:00 Although, it did notice "cat" process. 11:21:24 xfix: So it might not be rebooting for every command... or it might be the wrong cat process. 11:21:35 `uname -a 11:21:38 Linux umlbox 3.13.0-umlbox #1 Wed Jan 29 12:56:45 UTC 2014 x86_64 GNU/Linux 11:21:49 But that's weird, why cat didn't have arguments. 11:21:53 Yeah, it's a different one. 11:22:12 xfix: I wrote my cat after it came up with "No output.", definitely a different cat process 11:22:20 To be exact, this one: sh -c 'env' 'PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' 'HACKENV=/hackenv' 'http_proxy=http://127.0.0.1:3128' 'LANG=en_NZ.UTF-8' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' 'bash' '-c' 'ps aux > ps' | cat 11:22:22 Probably some internal part of HackEgo 11:22:54 en_NZ. Well, now we have no doubts as to HackEgo's hosting location. 11:23:22 Also notice the "type hostfs" mounts. 11:23:25 I expected Canada. 11:23:27 :P 11:24:51 The UML install seems to borrow files from the "real" host filesystem, since having a separate install for the system is kind of wasteful (Docker, I'm looking at you)... 11:25:11 (I'm pretty sure it is Canada. That's where the ISP-whose-name-shall-not-be-said is located. Also that's what whois says for HackEgo's IP address.) 11:25:30 Who knows? :) 11:26:08 why wouldn't you borrow parts of the host... they become easier to update that way 11:26:29 int-e: Well, I would. 11:26:31 "docker" has a totally different philosophy. 11:26:44 also I don't quite get what the point of docker is... 11:26:55 ...since it fails at proper isolation. 11:28:12 Here's how HackEgo seems to work: 1. command gets entered in 2. UML with "bare" initrd (could even be using ASM and syscalls) and extremely minimal setup boots, 3. The init performs magic (TM) and starts the command. 11:29:06 idea: cat /proc/1/exe > extracted-init 11:29:18 though it'll probably fail due to permissions. :( 11:29:39 But I get the point where they say that every component brings its own dependencies and therefore will not change its behavior when transferred betwenn hosts. No missing libraries on the host system, no conflicting versions... all coupled with the attitude that bandwidth and storage are essentially free. 11:30:04 (I'm sure it sometimes goes wrong when you change kernel versions.) 11:33:49 (Well, if syscalls get dropped or are made incompatible, it would probably go wrong. But usually versioning problems stay in userland AFAIK.) 11:37:52 gamemanj: you could always look at source code: https://bitbucket.org/GregorR/umlbox/src/tip/init.c 11:38:11 ah, that explains it! 11:40:40 gamemanj: I have invented a musical poem 11:40:52 One of those really short ones 11:41:06 (like the i-with-fingerprint or three-humped-m) 11:42:11 hah. echo init | cpio -H newc -o | gzip -9c > umlbox-initrd.gz ... that's quite minimal. 11:42:31 "Insufficient Permissions" 11:42:44 It's basically just a half note where the ellipse is a "©" 11:43:03 int-e: Presumably init is linked statically, then? 11:43:09 gamemanj: of course. 11:44:11 `file /init 11:44:45 ​/init: ERROR: cannot open `/init' (No such file or directory) 11:45:10 Tried that. 11:48:17 `ls /opt 11:49:32 No output. 11:58:50 `which ghc 11:59:37 No output. 12:51:41 -!- J_Arcane has quit (Ping timeout: 276 seconds). 12:52:08 -!- J_Arcane has joined. 12:56:49 -!- gamemanj has quit (Remote host closed the connection). 13:02:35 -!- oerjan has joined. 13:05:49 eep forgot the idling idea. 13:06:40 oh well only a couple hours missing. 13:18:46 -!- J_Arcane has quit (Ping timeout: 244 seconds). 13:22:03 oerjan: oh you missed so much... 13:22:35 oerjan: http://sprunge.us/hNYF 13:22:59 shocking 13:27:24 @tell xfix `run ps aux > ps <-- you probably want to use | paste 13:27:24 Consider it noted. 13:27:36 Okay. 13:27:55 `run ps aux | paste 13:28:06 saves you a step 13:28:39 -!- J_Arcane has joined. 13:28:44 * oerjan looks for HackEgo's oiling can 13:28:44 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.346 13:29:00 Nice. 13:30:00 you're welcome. 13:31:14 * oerjan wonders something 13:31:16 `paste - 13:31:32 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/- 13:31:40 nah. 13:31:50 That's... useful? 13:32:06 `len Goodbye, world. 13:32:13 15 codepoints 13:32:25 xfix: i was just wondering if it somehow supported the - for stdin syntax, but no. (not really surprising.) 13:32:45 Considering STDIN is mostly broken, it wouldn't be that useful. 13:32:46 `cat 13:33:02 i suppose. 13:33:17 No output. 13:34:18 My list of things to do after exams now has 15 things in it 13:36:45 Taneb: careful, or you'll start doing more exams to procrastinate the list tdnh 13:40:31 I know, that's a real problem 13:40:45 I did one yesterday and I already have 6 more lined up 13:41:02 scary 13:41:24 -!- bender has joined. 13:47:04 -!- Reece` has joined. 13:50:28 -!- gremlins has joined. 13:51:59 -!- Reece` has quit (Ping timeout: 260 seconds). 13:52:12 -!- tromp_ has joined. 13:53:44 -!- Reece` has joined. 13:55:29 -!- gremlins has quit (Ping timeout: 260 seconds). 13:56:43 -!- tromp_ has quit (Ping timeout: 252 seconds). 14:00:01 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 14:00:09 -!- bender__ has joined. 14:00:43 -!- gremlins has joined. 14:01:53 -!- bender has quit (Ping timeout: 276 seconds). 14:02:26 -!- bender__ has changed nick to bender. 14:02:29 -!- Reece` has quit (Ping timeout: 260 seconds). 14:05:45 The en_NZ thing had some sort of a point. 14:05:50 I forget exactly what. 14:06:00 But it had nothing to do with geography. 14:07:11 2013-11-04 07:05:47 zzo38: we asked Gregor to set it so that HackEgo could use utf-8, and he chose en_NZ to be funny 14:07:16 -!- tromp_ has joined. 14:07:16 Well, a "point". 14:07:46 -!- Reece` has joined. 14:08:24 well he _could_ have chosen zh_ZH or whatever it's called. 14:08:37 (might have to install it first.) 14:08:54 -!- gremlins has quit (Ping timeout: 260 seconds). 14:14:05 `` locale -a | paste 14:14:26 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.14520 14:14:39 (New feature to cut down on writes: compare the paste result with everything in the paste dir, and reuse the old file if it already exists.) 14:14:51 `le/rn paste/"Paste" is a short story by Henry James. Its contents has been cut into pieces and distributed over numerous tin boxes on the World Wide Web, little pearls of wisdom buried among ordinary pastes. 14:14:57 Learned «paste» 14:14:59 (what an odd story) 14:15:17 wat 14:15:22 `` LC_ALL=zh_TW.utf8 ls /nosuchfile 14:15:25 ls: 無法存取 /nosuchfile: 沒有此一檔案或目錄 14:18:04 -!- hppavilion[1] has joined. 14:18:22 -!- tromp_ has quit (Remote host closed the connection). 14:19:34 `` sed -i s/has/have/ wisdom/paste 14:19:43 No output. 14:21:24 `? grammar 14:21:29 Grammar is just a subset of syntax. 14:22:10 That fails to capture its adversarial nature. 14:22:20 lol... Number = [(43 - 2 * Lowest Value * Second Lowest Value) mod 5] + 3 14:22:21 dead simple 14:22:33 `learn Grammar is the evil subset of syntax. 14:22:38 hth 14:22:38 Relearned 'grammar': Grammar is the evil subset of syntax. 14:23:02 works for me 14:23:55 `learn Grammar is just the evil subset of syntax. 14:24:09 Relearned 'grammar': Grammar is just the evil subset of syntax. 14:24:46 so grammar is to (subset, syntax) as i am to (twin, perl)? 14:24:58 `? myname 14:25:00 myname is not your name. You don't know what they are doing. Or you are doing. Or am I? He is Perl's evil twin brother. 14:25:08 apparently. 14:25:24 okay 14:25:46 "Actually, when you do a study to test the effect of water on the cancer risk, the number of deaths from cancer is significantly lower in the control group." 14:25:54 seen on the iwc forum. 14:26:17 iwc? 14:26:23 irregular webcomic! 14:26:30 so... people who don't have cancer are less likely to die from cancer? 14:26:31 w 14:26:43 myname: i think you're misinterpreting 14:27:24 to clarify, the previous paragraph: "Really? Aren't you sure Water is carcinogenic, too? After all, 100% of all cancer patients have been exposed to it. " 14:27:38 the control group wouldn't get any water. 14:27:39 oh 14:27:50 and won't die of cancer 14:27:57 (almost certainly) 14:32:10 This is similar to the logic that lets you conclude that infertility is hereditary. (If your parents didn't have any children, you won't have any either.) 14:34:15 (now I wonder how I came to think that they're similar... I guess it's that they combine a medical aspect and tautological/vacuous reasoning) 14:51:43 medical research can be hazardous to your health. 14:51:56 -!- tromp_ has joined. 15:13:37 -!- gremlins has joined. 15:15:24 -!- Reece` has quit (Ping timeout: 260 seconds). 15:18:39 -!- Reece` has joined. 15:19:21 -!- Moon_ has joined. 15:20:39 -!- gremlins has quit (Ping timeout: 260 seconds). 15:23:05 -!- tromp_ has quit (Remote host closed the connection). 15:26:50 -!- tromp_ has joined. 15:35:14 -!- Reece` has quit (Ping timeout: 260 seconds). 15:35:21 -!- lambda-11235 has joined. 15:35:43 -!- Reece` has joined. 15:38:36 -!- tromp_ has quit (Remote host closed the connection). 15:41:46 -!- Moon_ has quit (Ping timeout: 252 seconds). 15:42:14 -!- Moon_ has joined. 15:44:02 -!- gremlins has joined. 15:44:30 -!- bender has quit (Ping timeout: 250 seconds). 15:44:34 -!- Reece` has quit (Ping timeout: 260 seconds). 15:52:23 TIL: JSON string syntax has an escape character for the forward slash. (But why.) 15:53:37 (It's legal unescaped too, but "\/" is also allowed for "/".) 15:57:02 -!- copumpkin has quit (Ping timeout: 260 seconds). 16:01:51 -!- Reece` has joined. 16:02:39 -!- gremlins has quit (Ping timeout: 260 seconds). 16:03:36 fizzie: In Javascript's string notation, escaping any character which isn't otherwise special results in just that character. 16:04:00 But that's not JSON. 16:04:08 It's specifically just the /, not any other character. 16:04:15 Oh, that's interesting. 16:04:31 I would have expected them to just steal the string syntax wholesale. 16:04:34 Although that might still be the underlying reason, if (for some reason) there's a lot of use of "\/" in JS strings. 16:04:38 http://www.json.org/string.gif 16:04:49 weird 16:05:34 Maybe it's to make / not jealous of \. 16:07:28 fizzie: oh, that explains why I've seen "\/" a lot in JSON 16:07:36 Still not sure why people would do that though... 16:10:55 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 16:33:09 -!- gremlins has joined. 16:33:40 -!- gremlins has quit (Remote host closed the connection). 16:35:19 -!- Reece` has quit (Ping timeout: 260 seconds). 16:52:25 -!- copumpkin has joined. 17:07:40 -!- tromp_ has joined. 17:12:20 -!- tromp_ has quit (Ping timeout: 276 seconds). 17:17:42 -!- jaboja has joined. 17:30:15 [wiki] [[Special:Log/newusers]] create * M654 * New user account 17:32:30 -!- tromp_ has joined. 17:39:16 [wiki] [[User:M654]] N https://esolangs.org/w/index.php?oldid=47033 * M654 * (+118) Created page with "Heya, I'm m654. My GitHub page is [http://m654z.github.io here], so heck it out if you want to see my newest projects." 17:47:15 [wiki] [[User:M654]] https://esolangs.org/w/index.php?diff=47034&oldid=47033 * M654 * (+1) 17:53:20 -!- oerjan has quit (Quit: Later). 17:57:40 -!- tromp_ has quit (Remote host closed the connection). 18:02:56 -!- Reece` has joined. 18:02:56 -!- jaboja has quit (Ping timeout: 244 seconds). 18:03:48 [wiki] [[Shard]] M https://esolangs.org/w/index.php?diff=47035&oldid=47029 * SMA * (+57) added ShaFuck link 18:09:43 -!- Moon_ has quit (Ping timeout: 252 seconds). 18:09:58 [wiki] [[Tellurium]] N https://esolangs.org/w/index.php?oldid=47036 * M654 * (+2480) Created page with "{{infobox proglang |name=Tellurium |paradigms=imperative |author=[[m654|User:M654]] |year=[[:Category:2016|2016]] |typesys= |memsys=cell-based |refimpl=[https://github.com/m65..." 18:10:43 [wiki] [[Tellurium]] https://esolangs.org/w/index.php?diff=47037&oldid=47036 * M654 * (+11) 18:11:37 [wiki] [[M654]] N https://esolangs.org/w/index.php?oldid=47038 * M654 * (+23) Redirected page to [[User:M654]] 18:12:13 [wiki] [[User:M654]] M https://esolangs.org/w/index.php?diff=47039&oldid=47034 * M654 * (+25) 18:33:32 -!- gremlins has joined. 18:35:29 -!- Reece` has quit (Ping timeout: 260 seconds). 18:50:35 -!- Reece` has joined. 18:51:49 -!- gremlins has quit (Ping timeout: 260 seconds). 18:58:19 -!- tromp_ has joined. 19:03:29 -!- tromp_ has quit (Ping timeout: 276 seconds). 19:13:42 Is there a nice bit-twiddling hack to extend a bit to fill all higher bits in an int? 19:14:44 E.g. 0000001010101010 -> 1111111010101010 extending bit 10 to fill the higher bits. 19:17:56 -!- gremlins has joined. 19:19:14 -!- Reece` has quit (Ping timeout: 260 seconds). 19:21:14 impomatic: It's not *that* nice, but you could make one out of the (mostly obvious) https://graphics.stanford.edu/~seander/bithacks.html#RoundUpPowerOf2 by leaving out the v--;/v++; and adding a orig_v |= ~v; at the end. 19:22:49 (It'd just go 0000001010101010 -> 0000001111111111 -> 1111110000000000 -> 1111111010101010 in the obvious manner.) 19:23:13 Thanks :-) 19:25:07 Maybe better to stick with IF (numb & 0x400) {numb -= 0x800} or whatever I'm currently using. 19:26:27 Oh, you had a particular position you want? I assumed a general "invert all leading zeros left of the most significant set bit". 19:28:33 For the fixed-position case, "(numb << K) >> K" is possibly the simplest thing to do, but only if you happen to have access to a >> that's reliably an arithmetic right shift. 19:29:41 I'll take a look what TCC does 19:29:53 (after I've had an ice cream!) 19:30:31 Standard C's >> is implementation-defined for a signed, negative number, though I think the most common implementation is an arithmetic shift. 19:31:07 Not much of an improvement over the if, though. 19:32:31 No, I'll stick with if, but will test it out of curiosity :-) 19:46:55 <\oren\> ITS HAILING WTFOMGBBQ 19:47:08 <\oren\> `metar CYYZ 19:47:30 I've seen \/ used to break up within js so that it's not recognised by the html parser reading an embedded script 19:47:45 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: metar: not found 19:48:35 <\oren\> @metar CYYZ 19:49:12 CYYZ 151821Z 31024G31KT 15SM -SHRA SCT042TCU BKN084 04/M01 A2987 RMK TCU4AC2 SLP122 19:51:36 -!- Reece` has joined. 19:53:04 -!- gremlins has quit (Ping timeout: 260 seconds). 20:04:04 -!- Cale has quit (Ping timeout: 250 seconds). 20:04:20 @metar EGLL 20:04:21 EGLL 151850Z AUTO 33004KT 300V360 9999 NCD 15/04 Q1021 NOSIG 20:08:31 -!- tromp_ has joined. 20:13:18 -!- rdococ has quit (Read error: Connection reset by peer). 20:17:13 -!- Cale has joined. 20:29:57 -!- bender has joined. 20:30:01 -!- bender has quit (Read error: Connection reset by peer). 20:34:56 -!- tromp_ has quit (Remote host closed the connection). 20:36:40 -!- tromp_ has joined. 20:45:34 -!- Reece` has quit (Ping timeout: 260 seconds). 20:46:22 -!- Caesura has quit (Ping timeout: 260 seconds). 20:52:01 -!- Akaibu has joined. 21:12:57 sigh, I hate it when I'm playing a point and click adventure and it wants me to hold a button for 2 seconds for something to happen. 21:13:55 -!- xfix has quit (Quit: No Ping reply in 180 seconds.). 21:14:03 Does that happen often? 21:15:34 -!- xfix has joined. 21:16:44 well, occasionally 21:20:50 actually going beyond mere point&click happens quite often... but it can be done in unsurprising ways, like pulling levers, or turning gears... 21:23:51 I calculated all nontrivial elementary 1d ca's periodic oscillators 21:24:22 trying to prove turing-completeness of some ca-s 21:24:30 other that rule-110 21:29:19 -!- Sprocklem has quit (Quit: g2g). 21:31:31 -!- hppavilion[1] has joined. 21:34:27 -!- jaboja has joined. 21:37:16 -!- tromp_ has quit (Remote host closed the connection). 21:53:00 -!- Phantom_Hoover has joined. 21:54:35 -!- tromp_ has joined. 22:11:58 -!- tromp_ has quit (Remote host closed the connection). 22:19:58 -!- hppavilion[1] has quit (Ping timeout: 252 seconds). 22:35:48 -!- hppavilion[1] has joined. 22:39:29 -!- jaboja has quit (Ping timeout: 265 seconds). 22:44:49 hi 22:44:53 fungot, how are you 22:44:53 b_jonas: because afaik it's for breaking big s-exps up to make them less anonymous :o, i can turn on to make it 22:48:22 how's your long weekend going so far, everyone? 22:48:56 Not very long 22:49:01 I had an exam yesterday and an exam tomorrow 22:50:32 Taneb: I see. what's the exam about this time/ 22:50:49 Yesterday's was coding theory, tomorrow's is character theory 22:51:14 Tuesday's is computation by graph transformation 22:51:36 Wednesday is cryptography, and also correctness of programs by construction 22:51:43 ...this is a lot of C's 22:51:50 Appropriately, I'm all at sea 22:52:47 And sincerely hoping I pass 22:58:32 Those sound scary. 22:58:54 Character theory especially, but the rest too. 22:59:33 My Thursday and Friday exams don't begin with C 22:59:41 Galois Theory and Topology 23:00:11 Those at least sound slightly better, depending on what "topology" covers. It's a bit broad. 23:00:37 hopefully what topology covers is finite 23:00:44 or at least has a finite subcover 23:00:52 One would certainly hope so 23:02:27 -!- tromp_ has joined. 23:10:35 -!- Kaynato has joined. 23:14:19 -!- tromp_ has quit (Remote host closed the connection). 23:14:36 Taneb: wait, you had a coding theory exam in the week-end? 23:14:42 why are you having exams in the week-end? 23:14:47 that only happened to me once 23:15:14 six exams next week sounds like a lot though 23:16:40 b_jonas, I don't know, but Saturday exams are an uncommon but not unheard of thing here 23:18:39 I think we had Saturday exams as well. At least in the exam period schedule sheets -- not sure if I ever ended up in any. I think they tried to schedule the unpopular ones there. 23:18:55 (And what could be less popular than coding theory.) 23:19:12 -!- hppavilion[1] has quit (Ping timeout: 246 seconds). 23:25:38 Taneb, fizzie: ok 23:25:42 `wisdom 23:25:45 `? manometer 23:26:50 manometer? ¯\(°​_o)/¯ 23:26:50 sweden//Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 23:28:46 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 23:29:17 `? major 23:29:19 major? ¯\(°​_o)/¯ 23:29:19 `? every major 23:29:21 every major? ¯\(°​_o)/¯ 23:29:53 `slashlearn every major/Just put me down as “undecided” – every major's terrible. 23:30:08 Learned «every major» 23:35:44 -!- Sprocklem has joined. 23:51:46 -!- oerjan has joined. 23:57:30 -!- Sgeo_ has joined.