00:00:10 that's a very ugly / command 00:00:27 the , is not too pretty either:( 00:00:47 you mean the syntax? 00:01:03 the semantics 00:01:34 funnily enough some of that ugliness made it easier to implement, i think. 00:01:47 also, it's not specified if going up infinitely is with left or right branches 00:01:53 if i vaguely recall correctly 00:03:49 hm how did i implement that 00:05:42 -!- Bike_ has quit (Quit: leaving). 00:06:02 "A tree of all zeros with the root at its outer rightward slope" says one of my comments 00:07:37 looking more carefully, the specification doesn't even say it starts as all zeros. 00:07:55 i guess i just made a choice. 00:12:03 * oerjan is quite satisfied with that tree implementation. 00:13:01 might be good starting point for BRgFuck implementation 00:13:09 to make all the mirroring and left/right stuff easy, the data structure is expressed in terms of whether subtrees are inner or outer ones 00:17:46 hm i must have made this program back during my hugs days, ghc complains about a missing language option 00:19:52 The computers at this university all have Hugs installed and it seems to be the default Haskell implementation 00:20:14 Which strikes me as odd as this university has its own (albeit horribly unmaintained) implementation of Haskell 00:20:20 Taneb: ouch, hugs has been dead for years 00:20:28 (unmaintained) 00:20:53 oerjan, more or fewer years than YHC? 00:21:09 not sure :P 00:21:27 hugs started dying when ghc got a proper interpreter mode, i think. 00:22:24 ok i'll add just the LANGUAGE pragma and drop the parsec module name change then, so it should still compile with old hugs 00:24:11 YHC seems to have died in 2008 00:24:52 Hugs in 2006 00:26:59 NYHC hasn't got very far yet 00:27:21 :( 00:27:26 I should work on that at some point 00:30:15 ok file updated 00:31:30 and now with CC0 PD license, which i suspect is less dubious than a norwegian-claimed Public Domain 00:32:00 not that i've ever actually checked properly whether norwegians can release into PD 00:33:14 i recall way back the servers here are nvg used to have hugs installed. now there is no haskell at all me thinks. 00:33:19 *here at 00:39:49 -!- yorick has quit (Remote host closed the connection). 00:55:35 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:57:15 -!- shikhout has joined. 01:00:31 -!- shikhin has quit (Ping timeout: 264 seconds). 01:00:33 -!- shikhout has changed nick to shikhin. 01:42:43 -!- ket1v has quit (Read error: Connection reset by peer). 01:43:23 -!- ket1v has joined. 01:45:22 -!- angela1 has joined. 01:47:19 -!- Sellyme has quit (Excess Flood). 01:49:36 -!- Sellyme has joined. 01:53:30 -!- angela1 has left. 01:53:54 <^v> i am interested in glass 01:54:08 <^v> but the C program is ancient and refuses to work 01:57:03 -!- ket1v has quit (Ping timeout: 265 seconds). 01:59:58 -!- ket1v has joined. 02:02:33 Is Light Table causing Clojure to be yet another so-so language with a superior IDE? 02:03:22 i thought glass was in C++ ? 02:04:27 !glass {M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?" 02:04:27 "14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} 02:04:29 OK 02:04:34 oops 02:05:14 !glass {M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?""14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} 02:05:14 ​{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?"{M[m(_s)S!(_o)0O!o.<34>(_s)(ns).?""14?24?14?24?24?04?24?04?]}"14?24?14?24?24?04?24?04?]} 02:05:20 kmc: too much twitter! 02:06:50 Pretty sure it is C++, yes. 02:10:35 yeah 02:32:40 sgeo: are there many light-table users? 02:32:50 newsham: no idea 02:33:02 I should probably try it, but I haven't been in a Clojure mood for a while 02:33:19 now that haskell compiles to javascript, where are all the awesome haskell-based in-browser editors? 02:33:53 i wonder what lighttable security is like 02:34:43 is this an improvement or not https://en.wikipedia.org/w/index.php?title=Esoteric_programming_language&diff=601162845&oldid=600381750 02:37:55 oerjan: Well, I think it is not worse, at least. 02:39:13 ok 03:00:35 -!- nisstyre has joined. 03:02:59 "We glued an iPad to a diving mask and BOOM two billion dollars. THAT's our fucking TED Talk." 03:03:27 sounds like a hit. 03:03:46 -!- Shubshub has joined. 03:03:54 -!- Sorella has quit (Quit: It is tiem!). 03:03:54 o.o 03:04:03 !welcome Shubshub 03:04:04 `welcome Shubshub 03:04:04 Shubshub: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 03:04:04 No output. 03:04:08 oh. right. 03:04:17 I've been here before :p 03:04:23 Bike: we've made emergency measures 03:04:25 nonetheless, the welcome is paramount. 03:04:35 kk 03:04:49 http://esolangs.org/wiki/!!!Batch 03:04:53 I made that 03:05:09 oh lordy 03:05:18 hmm? 03:06:36 Whats so oh lordy about it? 03:14:16 -!- BeingUntoDeath has joined. 03:14:21 Bike? 03:14:43 i just remember the last time it came up opinions were derisive. 03:15:00 derisive? 03:16:18 Bike: derisive? 03:18:22 this slide deck has a neat errata section which delves into ways that cpu bugs can be abused. https://rpw.io/slides/rpw-csw2014-merged.pdf 03:18:33 you know.. if you're into that kinda thang 03:19:49 newsham: O, it is in Vancouver. I am close enough then. 03:20:22 s/is/was/ 03:20:31 cansec is done 03:21:25 mar 12-14, 2014 03:22:15 If there are CPU bugs can be abused to make security hole that may be due to being too complicated that they didn't secure the instruction set properly. 03:22:57 they're not bugs in instruction set, but in implementation. 03:23:11 for example, cache doing the wrong thing when instruction is on a page boundary, weird cases like that... 03:23:28 err.. branch prediction doing the wrong thing at a page boundary... 03:23:34 Yes, it is because of caching and stuff; they shouldn't do that kind of implicit caching and branch prediction and stuff. 03:23:37 It is a bad idea. 03:23:42 anyway, apparently cpu errata docs are getting pretty big these days 03:23:58 and security people have started paying attention 03:24:00 Not only because of that kind of stuff, but also because it make it too complicated design. 03:24:31 instruction set is just another VM bytecode 03:25:36 also more and more cpu chipsets have extra cpus which are somewhat hidden (in that most peopel arent aware of them) 03:25:57 are you saying that they shouldn't do branch prediction 03:26:07 8 Core CPU with DDR4 Support was Revealed 03:26:15 that's been a thing for quite a while 03:26:19 doing things liek power management, extra hidden security features (ie. for drm), handling firmware updates, doing theft protection, doing enterprise asset management (ie. remote control of machiens even when powered off), etc 03:26:32 wow it's Shubshub 03:26:34 welcome back 03:26:39 hi 03:27:05 like the extra hidden OS underneath your OS in trustzone, or the intel ME environment running on an ARC cpu on many intel chipsets 03:27:19 or the hidden power management cpus on intel and arm chips 03:28:03 not even counting the more "normal" and more "expected" hidden cpus in things like wifi adapters, keyboards, disk drives, etc.. 03:28:52 yeah the first x86 processor with a branch predictor was the P5 Pentium 03:28:53 tertu3: Yes, I am saying they shouldn't do branch prediction. The compiler should do it instead of wanted 03:28:58 would be neat seeing a list of popular computers over time with an accurate count of the number of distinct cpu cores other than the main general purpose cpu 03:29:07 And they shouldn't have hidden extra stuff 03:29:19 That not only complicates it but make it not understandable properly. 03:29:21 good luck convincing people to abandon x86 or ARM 03:29:45 modern systems cannot be fully understood by any one person.. even if they were simple enough to, the information is guarded too secretly. 03:30:02 corrolary: modern systems cannot be properly secured. 03:30:05 newsham: Yes, that is part of the problem, too. 03:30:50 tertu3: There are old versions of x86 and ARM, which at least are better than the new one. 03:31:58 i mean 03:32:01 the 286 perhaps 03:32:18 also softcores, opencores, etc... 03:32:28 happy hardcores 03:32:46 and there are some recent systems that try to be both simple and open/documented, such as rpi (broadcom just recently opened up more of the undocumented bits) 03:33:43 if you didnt want to fab yoru own silicon, thats prob your best best right now... start with an rpi. 03:33:51 still hella slow compared to state of the art. 03:34:07 but faster than fpgas running softcores 03:36:05 How do you get documentation of rpi? 03:36:26 It's possible to inject trojans into silicon during fabrication 03:36:52 start here i guess? http://www.raspberrypi.org/technical-help-and-resource-documents 03:36:57 Jafet: Yes, that too 03:37:04 jafet: yup.. and even hard-to-detect ones :( 03:37:26 your mind is the scene of the crime 03:37:47 http://people.umass.edu/gbecker/BeckerChes13.pdf 03:38:03 "stealthy dopant-level hardware trojans" 03:38:22 Jafet: It too is a problem; hopefully it can be tested sufficiently, in addition to having vendor non-locked components; no vendorlock is one important rule to help to avoid such trojans. 03:38:32 i emailed that to my ee prof and didn't get a reply. le sigh 03:38:37 Furthermore, don't have any CPUID or anything like that. 03:39:21 but there are some interesting papers on detecting hardware trojans, too 03:39:23 -!- tromp_ has joined. 03:40:08 newsham: Yes, you need that too. 03:43:03 Due to this mess everyone has made, I would need to design a completely new computer system. This time, using CF cards, as well as a new instruction set and CPU design which is very simple, eliminating USB and HDMI entirely from the design. And then also the BIOS, graphics, audio, etc everything else too. 03:43:53 However, it would then be difficult to make C programs work on it, unless GCC or LLVM or whatever can be made to target it easily enough. This can be difficult to do effectively. 03:45:09 People who make LLVM refuse to add support for ARM2 and MMIX. 03:45:11 why invent your own? you could start with http://en.wikipedia.org/wiki/OpenRISC or some other open soft core 03:45:21 there are already compiler targets for openrisc 03:45:35 even linux 03:48:38 newsham: I don't want automatic cache and branch prediction and pipeline stalls and all of that stuff. There are also a few other features I want to customize: To make hardwired memory protected pages rather than being programmable, and to include BCD arithmetic instructions. 03:49:22 you could always start with an existing arch and take out what you dont want, then just patch up the linux/compiler stuff to match 03:49:28 should be easier than clean slate 03:49:52 Yes, I did, in fact, think of that possibility 03:50:48 I have no need to run Linux on the system, though, and compilers such as GCC would take too long to compile. 03:52:30 -!- Shubshub has quit (Quit: A fine is a tax for doing wrong. A tax is a fine for doing well). 03:53:29 The original 6502 was a good design, although not powerful enough, and not 32-bits, and lacking some things. 03:54:39 isn't it good to have more than 3 registers 03:55:06 i think the ARM instruction set (before they went 64-bit) is very elegant 03:55:06 kmc: Yes, certainly. 03:55:40 that is, the normal arm32 stuff, not the thumb mode stuff or many of the crazy extensions they also support 03:55:42 newsham: The first version of the ARM instruction set is very elegant. 03:55:45 yes 03:56:08 it has a number of clever features to mitigate the downsides of first generation RISC 03:56:43 i dont include having a multiplier or divider as a crazy extension, fwiw. :) 03:57:10 Dude, if your CPU doesn't have hardware support for java, it's going nowhere 03:57:13 Everyone knows this 03:57:32 back in the days when every toaster was destined to run java, that might have been true :) 03:57:58 but now we're past that, flew by dot-net and active-*, and are well into the world of cloud 03:58:33 Hardware accelerated JSON decoding 03:58:37 tell me how the arm extensions make a better cloud world!@#? 03:58:45 hardware accelerated json indeed! 03:58:58 nosql as an instruction 03:59:19 and.... trustzone :) 03:59:40 because your OS inst secure, so we made another, and right now nothing runs there, so its totally sekure! 04:00:11 You think it's funny but the logic is sound 04:01:17 its like most startup plans. it works great until it is successful... then it fails miserably. 04:01:28 but, thats plenty of time to monetize and cash out... 04:01:44 s/startup plans/good startup plans/ 04:10:54 One idea I have involves implementing a standardized VLIW instruction set for microcodes; the microcode RAM can also be used as a cache, but the cache can only be explicitly accessed, and is not implicitly accessed by instructions that access external memory. 04:11:21 Same with out of order execution and so on; it won't do any of that stuff at all. 04:12:06 The compiler optimizations should try to determine what to put in the cache and what order of instructions and predict branching and all of that stuff, not the CPU. 04:13:14 hardware jit, imo 04:15:32 Yes, just in time hardware delivery 04:20:00 I should have a separate microcode RAM for supervisor mode and for user mode; those two modes do not share cache or microcodes. There would also be a microcode ROM which is fixed and that is used both in supervisor mode and in user mode. 04:22:04 How did people figure out that Student == Gosset? 04:22:30 Sgeo: I do not understand how you mean? 04:23:06 -!- augur has joined. 04:24:20 -!- augur_ has quit (Read error: Connection reset by peer). 04:25:11 Guy named Gosset published under the name "Student" 04:28:17 as in student's t? didn't he say so himself at some point? 04:29:10 or maybe fisher figured it out. mathematicians are used to that kind of shit, see 04:29:48 "For many years, an air of romanticism surrounded the appearance of "Student's" papers, and only a few individuals knew his real identity, even for some time after his death." 04:29:54 http://www.swlearning.com/quant/kohler/stat/biographical_sketches/bio12.1.html 04:30:25 guys, what's the command to quit irc? 04:30:31 /quit 04:31:17 (I may be assuming you merely tried to get people to quit) 04:31:59 +++ATH0 04:32:42 an air of romanticism, lol 04:32:49 in a fucking stats journal 04:33:27 i guess if you're a stats journal you take it where you can get it 04:44:32 -!- password2 has joined. 05:03:29 today I wrote a procedural macro in Rust for the first time 05:03:40 it expands to an invocation of another procedural macro written by someone else 05:03:55 -!- ^v has quit (Read error: Connection reset by peer). 05:03:56 -!- not^v has joined. 05:09:31 -!- shikhin has quit (Ping timeout: 264 seconds). 05:12:49 -!- password2 has quit (Ping timeout: 265 seconds). 05:20:07 When were procedural macros introduced? 05:20:09 * Sgeo oohs 05:20:57 coppro: /sign virgo 05:21:04 * Sgeo vaguely recalls seeing actual hygiene in some language that had macros that he wasn't expecting, mostly because was stereotyping non-Lisps as having limited understanding 05:21:15 Julia, I think? 05:27:15 let mut odds = nums.iter().map(|&x| x * 2 - 1); 05:27:20 I thought mut was on its way out, or am I confused, or is that not in 0.9? 05:32:59 in Rust? I don't think there are any plans to remove it 05:33:46 i mean the distinction between & and &mut is fundamental to the memory safety story 05:34:26 you could make all lets allow mut borrows but I haven't heard of anyone wanting that 05:34:26 > map (\x -> x * 2 - 1) [0..] 05:34:27 [-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51... 05:34:27 No such variable \ 05:34:36 nums == [1..] ? 05:38:23 -!- password2 has joined. 05:39:08 http://helloworldquiz.com/#/game 05:39:09 oh i forgot that the term "anaphoric macro" exists 05:39:13 that's a good one 05:39:54 Sgeo: sweet.js implements hygienic macros for JavaScript http://sweetjs.org/ 05:39:58 What is a anaphoric macro? 05:40:31 Rust macros (the non-procedural ones) are partially hygienic; I don't remember the details though 05:41:11 zzo38: I can give an example: an aif macro that acts like if, but exposes a name 'it' in the body 05:41:20 It's deliberately non-hygienic 05:42:41 the one that starts with "program ObjectPascalExample;" is a trick :P 05:42:59 It can be useful, that macros can be hygienic and non-hygienic, actually 05:43:11 Or partially hygienic macros 05:43:20 or hygenic partial evalutation 05:44:03 (if anyone tries that, tell me what you got) 05:44:07 my score is 1900 05:44:16 i got 1800 :( 05:44:16 or hygeine whiel doing macrophitography 05:44:27 and that was my third attempt 05:45:03 Score of what? 05:45:28 this thingie i linked: http://helloworldquiz.com/#/game 05:45:33 hello world quiz dot com slash octothorpe slash game 05:46:22 octothorpe++ 05:46:39 kmc: I guessed the trick only because you said it 05:47:27 .... I got wrong one that... I should not have gotten wrong 05:47:46 How does it start? 05:47:54 Sgeo: which one? 05:48:00 Haskell vs. Idris 05:48:05 I wasn't paying much attention 05:49:30 it's a random selection / order of languages 05:49:40 lol i died on matlab, the language i actually use 05:49:50 (1300, big whoop) 05:49:57 though the choices for a single question remain grouped together, I think 05:50:10 the problem is, holy shit why would i use matlab oo if i could avoid it 05:50:14 (why would i use matlab if i could avoid it) 05:50:53 2800 05:51:01 nice 05:52:21 i got idris vs haskell right 05:52:25 I managed to get at least one right that I shouldn't have gotten right 05:52:36 (As in, I had absolutely no idea) 05:52:48 Don't remember which 05:52:51 i have never actually seen idris but luckily i was given the idris example and it looked suspicious. 05:53:00 3000. that's enough of that. 05:53:17 you can tell because i can now distinguish omgrofl from lolcode. 05:54:13 the idris one looks exactly like haskell except for importing a module, o rsomethin 05:55:24 this is not so good if you play it multiple times, i'm at 5100 on my fourth attempt 05:55:53 Bike: look at the type of main 05:55:56 in the idris example, there was something like "main: ..." 05:56:00 as the type i guess 05:56:12 : vs :: 05:56:42 see, i don't give that much of a shit 05:56:47 is that the only difference? 05:56:57 there's also the import. 05:57:13 ok 05:57:17 My score is ! 05:57:23 Whoa 05:57:53 i'm just going to keep programming in the langauges i know best. matlab, snobol, and TOPS-20 macroassembler. 05:58:31 Do Erlangers hate Elixir/ 05:58:46 if the pope was catholic would she shit in the woods? 06:00:26 Bike: Which pope do you mean, and which woods? 06:00:35 any 06:00:36 At least one person hates the 'mutable state' of being able to assign twice to the same name 06:00:40 woods 06:00:55 > runIdentity $ do { let a = 5; a = 6; return a } 06:00:55 No such variable runIdentity 06:00:56 :1:47: parse error on input `}' 06:00:57 zzo38: the generalized pope 06:01:08 O, you mean Don Woods. 06:01:11 :t runIdentityT 06:01:12 Not in scope: `runIdentityT' 06:01:12 Perhaps you meant `runIdentity' (imported from Control.Monad.Identity) 06:01:17 :( 06:01:49 I thought you meant the other kind of woods. 06:02:01 > (do { let a = 5; let a = 6; [a]) 06:02:01 (input):1:32: error: expected: "$", 06:02:01 "$>", "&&", "*", "+", "++", "-", 06:02:01 "->", ".", "/", "/=", "::", ";", 06:02:01 "<", "<$", "<$>", "<*>", "<+>", 06:02:01 "<->", "<<", "<=", "<|>", "=",↵… 06:02:01 > runState (do { let a = 5; a = 6; return a }) 10 06:02:02 :1:32: parse error on input `)' 06:02:02 :1:43: parse error on input `}' 06:02:03 No such variable runState 06:02:16 @run (do { let a = 5; let a = 6; [a]}) 06:02:16 :1:32: parse error on input `}' 06:02:24 > runIdentity (do { let a = 5; a = 6; return a; }) 06:02:24 No such variable runIdentity 06:02:25 :1:45: parse error on input `;' 06:02:28 @run (do { let a = 5; let a = 6; [a] } ) 06:02:29 life is hard 06:02:29 :1:33: parse error on input `}' 06:02:45 ? 06:02:46 @run Control.Monad.Identity.runIdentity $ do { a <- return 5; a <- return 6; return a } 06:02:47 6 06:02:51 -!- prooftechnique has quit (Quit: leaving). 06:05:11 Can you make something like that kind of quiz on Internet Quiz Engine? 06:06:04 -!- BeingUntoDeath has quit. 06:06:53 -!- shikhin has joined. 06:11:19 -!- tertu3 has quit (Ping timeout: 264 seconds). 06:23:19 -!- password2 has quit (Ping timeout: 264 seconds). 06:27:44 @run do let { a = 5 }; let { a = 6 }; [a] 06:27:45 [6] 06:28:42 your problem was ending the lets, not the do 06:30:07 Sgeo: ^ 06:45:27 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:57:30 -!- shikhout has joined. 07:00:31 -!- shikhin has quit (Ping timeout: 264 seconds). 07:00:32 -!- shikhout has changed nick to shikhin. 07:42:05 oh, this was a new one, http://fimpp.wikia.com/wiki/FiM%2B%2B 07:43:42 i thought it was shakespeare 07:43:55 -!- oerjan has quit (Quit: leaving). 07:44:18 2012 doesn't count as new in Internet terms, does it? 07:44:34 it was new as in I hadn't seen it before 07:45:37 olsner? more like oldsner. 07:45:37 -!- trout has quit (Ping timeout: 240 seconds). 07:46:05 I have idea: A programming language that if it typechecks, it results in a provably correct chess puzzle (so, the types are a logic of chess puzzles). 07:48:41 is it 8x8 chess 07:49:52 It could be, but maybe you could also use other board sizes 07:57:53 -!- not^v has quit (Quit: Leaving). 08:13:15 -!- augur has quit (Remote host closed the connection). 08:13:42 -!- augur has joined. 08:13:49 -!- augur has quit (Remote host closed the connection). 08:13:55 -!- augur has joined. 08:30:21 Heh, I just realized that my script for that TSP-based photo blend thing (no TDTSP to start with) actually entirely ignored the TSP path and just put the things in chronological order. 08:30:28 I did wonder why there was *that* much banding. 09:09:58 -!- MoALTz has joined. 09:37:02 -!- mr45 has joined. 09:47:55 -!- shikhin has quit (Ping timeout: 264 seconds). 09:56:28 when can we see the results 09:57:14 You can see the initial ones right now, they're at http://zem.fi/2014-03-25-tl -- but there's nothing too fancy there yet, just simple averages plus the column-blend thing in chronological and TSP order. 10:01:34 -!- conehead has quit (Quit: Computer has gone to sleep.). 10:02:06 have you considered choosing each pixel independently from the pictures? or maybe this is your feasible approximation to that 10:02:50 i guess it's likely that it's all summer / all winter then 10:03:00 -!- ket1v_ has joined. 10:06:29 -!- ket1v has quit (Ping timeout: 268 seconds). 10:12:45 -!- boily has joined. 10:14:24 I could do (smoothed) blocks with a constraint of having the same number of blocks from every image, perhaps. 10:14:27 The "time goes from left to right" is conventional for e.g. time-lapse videos, but that sort of assumes more correlation between consecutive frames than I have. 10:14:56 I think I drew one for the "view from the office window for one day" video, but it was quite boring. 10:15:24 Then again, so was the video. 10:29:54 the same sentence in each of Japan's prefectures' dialects → http://youtu.be/mYZZdpu8pPk 10:35:55 Yay, got a bona-fide university-targeted phishing message; for some reason they typically seem to skip me. :/ 10:48:23 -!- Phantom_Hoover has joined. 11:00:29 -!- boily has quit (Quit: é). 11:11:44 -!- MoALTz has quit (Quit: Leaving). 11:17:35 http://sprunge.us/MDCi -- automatically generated x86 opcodes -- indistinguishable from real ones. 11:17:42 (Disclaimer: some may actually be real.) 11:18:18 Hallo 11:37:51 fizzie: nice 11:38:01 some of them are real indeed 11:38:34 -!- jconn has quit (Read error: Operation timed out). 11:42:31 -!- unmeg has joined. 11:42:50 cmpfdivpcmpunpcmpd sounds quite plausible, for example. 11:43:09 fizzie: the list has sqrtpd, which is real 11:43:22 And fshufdivscattpd does some kind of combined shuffle-divide-scatter operation on packed doubles. 11:43:34 pmulld is real too 11:44:39 mind you, given how the stupid intel terminology already has a mnemonic that's used for two completely unrelated instructions, you could say that this is a different "pmulld" instruction that just happens to have the same mnemonic 11:46:24 According to a quick check against the source data, 8 (out of 100) were real: fylx, pmulld, sqrtpd, vcmpltpd, vcmpnlepd, vfnmsubps, vmovd and vpminud. 11:46:43 does the source data include AVX-512 instructions? 11:46:49 and all other extensions? 11:47:06 Oh, that "fylx" must be some kind of mistake for fyl2x. 11:48:44 It might not include AVX-512, I'm not sure; it was the sources of the latest daily development snapshot of NASM. 11:49:12 Don't know how the 2 disappeared, because things like vgatherpf0dpd still have a 0 in it. 11:49:46 Oh, I typoed "0-9" as "0-0" when processing. 11:50:13 generate a new list then 11:50:30 I'd like stuff like vfmsub213pd in it 11:52:09 hmm, 11:53:04 the list has "svps". if you capitlize it as "SvPS", it looks like a macro from perl core. 11:53:30 I think it doesn't actually exist, but it's believable 11:58:13 How the flip do I have a temperature of 97? 11:58:14 http://sprunge.us/dBWd there we go 11:58:29 "vphaddsub32132132siftsd" 11:58:53 How the flip do I not notice this is #esoteric instead of the other place? 12:00:19 This time only 4 real ones: cmpeqsd, sub, vandpd and vfmsubpd. 12:05:05 -!- jconn has joined. 12:10:19 I am not Spock... I am Spock 12:11:12 I am also Scotty 12:12:44 I think "turning into a snot machine" is a good reason to say I'm sick and not going to work, right? (Not going to say exactly how I'm sick unless I have to, just justifying to myself) 12:12:58 -!- unmeg has quit (Ping timeout: 252 seconds). 12:19:42 Would be for me 12:20:16 Sgeo, both the characters I am planning on cosplaying at a convention in June have green eyes. Would you say it would be worth getting coloured contacts? 12:20:36 (my eyes are notably ungreen) 12:20:48 Aren't colored contacts dangerous? 12:20:59 Cheap ones are 12:22:13 Huh, so, there are actually people who prescribe colored contacts? Or how does that work? 12:22:27 There are actors 12:24:01 I guess the idea of getting a prescription for something that's not medically necessary is... weird to me. But if you can, go for it if you want 12:24:57 Maybe I should ask someone with experience in the world of coloured contacts 12:25:40 Sgeo, do you know where I could get a jacket like this one: http://img1.wikia.nocookie.net/__cb20130719090013/rwby/images/thumb/7/78/Roman_Torchwick.png/1000px-Roman_Torchwick.png 12:26:49 I don't 12:26:56 Okay 12:26:58 At first I thought that person's head was half chopped off 12:27:02 But it's just the hat 12:28:12 Heh, it does kind of look like that 12:28:40 I suppose it doesn't look impossible to make 12:31:47 fizzie: I'm thinking about the image join problem, and realized that the number of different positions for joining images is (n-1)(n^2) 12:32:05 Somehow, I get the feeling that glpk won't want me to send it a million coefficients. 12:32:46 What: https://pbs.twimg.com/media/BjnDdLZCYAA1pad.jpg:large 12:33:48 When integer HDMI cable is not enough 12:34:03 Oh, is that a garden hose 12:34:13 I... I think so 12:37:14 -!- Tritonio has joined. 12:41:16 -!- Tritonio has quit (Client Quit). 12:41:40 -!- Tritonio has joined. 12:43:44 -!- Tritonio has quit (Client Quit). 12:44:02 -!- yorick has joined. 12:44:13 -!- Tritonio has joined. 12:48:02 -!- MindlessDrone has joined. 12:51:03 -!- nooodl has joined. 12:57:22 -!- ket1v_ has quit (Remote host closed the connection). 13:06:24 Fun fact: I did the TSP alignments first on http://neos.mcs.anl.gov/neos/solvers/co:concorde/TSP.html (then I just built Concorde locally). 13:12:23 -!- `^_^v has joined. 13:16:19 -!- tertu3 has joined. 13:18:38 -!- tertu3 has changed nick to tertu. 13:20:11 -!- Tritonio has quit (Quit: Tritonio). 13:20:43 -!- Tritonio has joined. 13:21:58 There are a bunch of public servers for FOL and SMT solving, too. 13:23:02 -!- mr45 has quit (Ping timeout: 246 seconds). 13:33:29 -!- Tritonio has quit (Quit: Tritonio). 13:33:51 -!- Tritonio has joined. 13:34:29 -!- Tritonio has quit (Client Quit). 13:34:51 -!- Tritonio has joined. 13:40:45 -!- Tritonio has quit (Quit: Tritonio). 13:41:09 -!- Tritonio has joined. 13:44:42 -!- Tritonio has quit (Client Quit). 13:44:49 Jafet, Taneb: Yes, that is a garden hose connector. 13:45:05 -!- Tritonio has joined. 13:48:19 -!- Tritonio has quit (Client Quit). 13:48:40 -!- Tritonio has joined. 13:59:27 -!- prooftechnique has joined. 14:28:43 -!- shikhin has joined. 14:44:04 -!- Speed`` has changed nick to Speed`. 14:57:59 -!- ket1v has joined. 15:02:17 -!- ket1v has quit (Ping timeout: 240 seconds). 15:23:23 -!- ter2 has joined. 15:23:24 -!- tertu has quit (Disconnected by services). 15:24:51 -!- tertu3 has joined. 15:27:37 -!- ter2 has quit (Ping timeout: 240 seconds). 15:30:03 -!- tertu3 has quit (Ping timeout: 265 seconds). 15:30:53 -!- tertu has joined. 15:33:10 -!- spiette has joined. 15:36:53 -!- MoALTz has joined. 16:07:53 -!- nortti has changed nick to lawspeaker. 16:08:31 -!- lawspeaker has changed nick to nortti. 16:19:25 -!- ^v has joined. 16:21:37 -!- Tritonio has quit (Ping timeout: 240 seconds). 16:22:01 Any static typed & static type checked stack-based programming languages? 16:22:33 that are reasonably high level 16:22:51 so MSIL and alike wouldn't really count 16:24:27 Cat appears to be one 16:28:09 neat 16:58:54 -!- ket1v has joined. 17:00:24 fizzie: those are some p. good instructions 17:03:21 -!- ket1v has quit (Ping timeout: 252 seconds). 17:13:53 -!- Tritonio has joined. 17:26:09 -!- john_metcalf has quit (Quit: john_metcalf). 17:32:19 -!- idris-ircslave has quit (Quit: Terminated). 17:32:35 -!- idris-ircslave has joined. 17:33:13 -!- ThisFalseReality has joined. 17:33:27 so this is an esoteric oriented chat? 17:33:51 or is it distinctly a discussion about a programming language 17:34:45 !welcome ThisFalseReality 17:34:47 ThisFalseReality: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:36:08 -!- idris-ircslave has quit (Client Quit). 17:36:38 -!- ThisFalseReality has left. 17:38:29 -!- idris-ircslave has joined. 17:49:04 It's distinctly a discussion about a class of programming languages. In theory. 17:51:32 -!- password2 has joined. 18:13:41 kmc: Which instructions were those? 18:14:13 http://sprunge.us/dBWd 18:16:58 -!- realzies has quit (Quit: realzies). 18:21:33 -!- realzies has joined. 18:25:01 -!- spiette has quit (Ping timeout: 265 seconds). 18:26:50 Oh, right, *instructions*. 18:27:11 I thought, you know, 1. (11) direction, instruction -- (a message describing how something is to be done; "he gave directions faster than she could follow them") 18:27:24 kmc is too cool to say opcodes 18:27:48 I think I'll write up a X86 Mnemonic Generator javascript thing and put it on the webs. 18:27:54 Using gradient descent to get a layout: http://46.4.207.77/product.jpeg 18:28:18 (That's 218 images from a video I had lying around.) 18:29:35 Maybe I could involve a self-organizing map in the image thing somehow, since it's what "our people" do. 18:29:45 Super Flappy X86 Opcode Generator 2048 18:30:34 Press the arrow keys to slide the nops together 18:32:51 fizzie: the problem had 10312708 coefficients, by the way. 18:36:45 -!- spiette has joined. 18:42:37 -!- password2 has quit (Ping timeout: 240 seconds). 18:54:20 -!- augur has quit (Remote host closed the connection). 18:54:57 -!- augur has joined. 18:57:30 @hoogle Set a -> Int -> a 18:57:31 Data.Set elemAt :: Int -> Set a -> a 18:57:31 Data.Set deleteAt :: Int -> Set a -> Set a 18:57:31 Prelude const :: a -> b -> a 18:57:49 -!- shikhout has joined. 18:58:30 I'll need to upgrade ghc for that, huh 18:59:43 -!- ket1v has joined. 18:59:54 -!- augur has quit (Ping timeout: 268 seconds). 19:00:31 -!- shikhin has quit (Ping timeout: 264 seconds). 19:00:31 -!- shikhout has changed nick to shikhin. 19:04:14 -!- ket1v has quit (Ping timeout: 252 seconds). 19:04:42 Incidentally, is there some obvious way from sampling from a categorical distribution where the probabilities are given as log(p)? I mean, other than just doing exp() on them and doing the usual compute-cumulant-sample-uniformly-from-unit-interval thing. 19:25:58 I have another idea, which is, a sequent calculus of a programming language, where a sequent corresponds to the type of the program; input channels on the left and output channels on the right. The rules would have side-effects. The "init" rule then corresponds to a program that copies its input to its output, and "cut" to the creation of a new channel to communicate across two threads of the program. 19:27:13 The program, whether or not it halts, is a proof. 19:30:57 fizzie: if the probability is log(p) why would you sample using p 19:31:42 I thought fizzie meant that the probability is p but the value provided is log(p). 19:31:55 So -oo, 0 instead of 0,1. 19:31:55 Yes, that is what I meant. 19:32:27 fizzie: But I see no better way. 19:33:01 Since log(p+q) doesn't have a nice interpretation in terms of log(p) and log(q). 19:33:47 You can do it by taylor series 19:33:51 Right. I just wonder, since this file format stores the values as log(p) instead of p. 19:34:30 is it using fixed point then? 19:35:13 (then storing log(p) instead of p would give you the benefits of a floating point representation) 19:35:23 precision wise, at least. 19:35:27 It's a text-based format, so it's kind of hard to say. I guess it could be just avoiding exponential notation. 19:37:02 alternatively, maybe people typically want to multiply a lot of those probabilities; now they can add them, and exponentiate in the end. 19:37:18 Well, that's certainly true, too. 19:37:40 (In fact, they probably won't usually even exponentiate at the end, thanks to monotonicity.) 19:37:51 right. 19:38:37 You'll need -log p bits to sample p 19:39:14 But you might be able to use a table for log p, if you sample from an exponential distribution instead of a uniform one 20:07:59 http://sprunge.us/XgjW almost there 20:10:35 Perhaps these instructions can serve as inspiration for zzo's architecture. 20:11:13 -!- tertu has quit (Remote host closed the connection). 20:12:46 -!- password2 has joined. 20:17:00 -!- conehead has joined. 20:22:35 -!- AnotherTest has joined. 20:32:03 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:36:55 -!- drlemon_ has joined. 20:43:30 Done: http://zem.fi/2014-03-26-x86 20:44:25 HSUWPCKHMISSD2PI2EBLSMSKBBR probably gets lots of use. 20:45:01 -!- augur has joined. 20:53:26 PSHAW 20:55:03 -!- spiette has quit (Remote host closed the connection). 20:55:11 -!- augur has quit (Ping timeout: 245 seconds). 20:59:22 -!- spiette has joined. 21:00:38 -!- ket1v has joined. 21:02:17 -!- augur has joined. 21:05:11 -!- ket1v has quit (Ping timeout: 245 seconds). 21:15:13 -!- augur has quit (Remote host closed the connection). 21:15:47 -!- augur has joined. 21:20:01 -!- augur has quit (Ping timeout: 252 seconds). 21:25:27 -!- tertu has joined. 21:27:26 -!- Zom-B|zz has changed nick to Zom-B. 21:30:08 -!- AnotherTest has quit (Ping timeout: 265 seconds). 21:31:13 -!- Tritonio has quit (Read error: Connection reset by peer). 21:37:11 -!- ^v has quit (Read error: Connection reset by peer). 21:37:35 -!- ^v has joined. 21:53:57 -!- Zom-B has changed nick to Zom-B|zz. 22:03:31 -!- password2 has quit (Ping timeout: 264 seconds). 22:06:11 My brother decided that we play Yomi cards with Lum vs Rook, because apparently Rook is severely disadvantaged in this matchup. First I played Lum, and I won. Second, I played Rook, and I also won, but, on the last turn we both played attacks of the same speed, so they both hit, and I was left with only one point at the end of the game. 22:06:55 yomi? 22:08:34 It is a card game, it comes with ten decks of cards. 22:09:14 Each one has the standard 52 cards, plus two jokers, and one character stats card and one rule reminder card. However, all of the cards, except for the joker, have additional markings which differ based on each character, too. 22:11:14 -!- nooodl has quit (Ping timeout: 265 seconds). 22:13:04 -!- conehead has quit (Quit: Computer has gone to sleep.). 22:16:20 seems pretty expensive for a card game 22:19:30 Yes, although it is a good quality. 22:20:57 well, don't get, why you can't buy these decks one by one 22:22:08 You can buy these decks one by one, although, you shouldn't! 22:25:00 -!- conehead has joined. 22:28:04 -!- ket1v has joined. 22:31:10 -!- Phantom__Hoover has joined. 22:35:20 -!- nisstyre has joined. 22:41:05 -!- Sorella has joined. 22:48:15 -!- zzo38 has quit (Remote host closed the connection). 22:53:16 Hallo 22:54:14 -!- oerjan has joined. 22:58:42 Captain America: The Winter Soldier was good 23:00:20 shouldn't that have been Captain Finland 23:00:32 The winter soldier was a different character 23:00:37 "Captain America" refers to the series 23:00:50 So really it should have been Captain America AND the Winter Soldier 23:01:06 so, was the winter soldier finnish, then 23:01:14 No, he was American 23:01:21 tragic 23:01:38 We do have winters here, you know 23:01:57 i think y'all are not familiar with the winter war. 23:06:17 -!- `^_^v has quit (Quit: This computer has gone to sleep). 23:12:25 http://sjoerdvisscher.handcraft.com/regexfractal.html 23:13:42 -!- MoALTz has quit (Quit: Leaving). 23:22:12 ^..[24] 23:24:09 the winter soldier could also reasonably be russian? 23:25:06 theoretically. 23:25:29 ^()(..(2|4).*$) 23:30:45 shachaf: cool 23:35:31 -!- augur has joined. 23:38:37 my failed attempt at a spiral still seemed slightly interesting ^(?:13|24|31|42)*(?:[12]*|[23]*|[34]*|1?4[14]*|14[12]*)$ 23:39:55 (probably more than a spiral, anyway) 23:41:16 lexande, definitely in the comics was Russian-commanded? 23:41:25 It is too late for me 23:41:37 -!- tertu has quit (Ping timeout: 240 seconds). 23:42:01 How is coloring determined? 23:44:00 Sgeo: length of the first three capturing groups correspond to RGB 23:45:31 e.g. i surrounded my chess pattern with ()( ... ) to make it green 23:46:05 I have not been making sense 23:46:07 and (( ... )) would make it yellow 23:46:11 I should sleep 23:46:12 Goodnight 23:49:04 -!- augur has quit (Remote host closed the connection). 23:53:05 * Taneb --> bed 23:55:55 -!- simpleirc has joined. 23:55:59 -!- simpleirc has changed nick to Guest73347. 23:57:36 strange bugs ^(?:13*(?:4[14]*|.[12])*|24*(?:[12]*|[23]*)|31*(?:[23]*|[34]*)|42*(?:[34]*|[14]*))$ 23:58:33 oh misplaced parentheses, should be ^(?:13*(?:4[14]*|.[12]*)|24*(?:[12]*|[23]*)|31*(?:[23]*|[34]*)|42*(?:[34]*|[14]*))$ 23:58:44 (there you go, spiral) 23:59:45 -!- augur_ has joined.