00:07:58 -!- edwardk has quit (Quit: Computer has gone to sleep.). 00:09:54 i don't think you're going to be able to express algebraic numbers in radicals, though <-- pretty sure he won't be ABEL to 00:13:20 boo 00:14:18 what no hiss 00:14:32 not worth it 00:14:49 aww 00:17:14 int-e: ) 00:17:56 he's not one of those guys with a normal sleeping schedule is he 00:21:07 -!- not^v has quit (Ping timeout: 240 seconds). 00:47:36 -!- tertu has quit (Ping timeout: 252 seconds). 00:54:27 -!- xk002 has quit (Ping timeout: 245 seconds). 01:04:02 -!- tertu has joined. 01:04:40 -!- tertu has quit (Read error: Connection reset by peer). 01:05:04 -!- tertu has joined. 01:09:21 -!- Sorella has quit (Quit: It is tiem!). 01:10:38 -!- not^v has joined. 01:13:59 -!- tertu has quit (Disconnected by services). 01:13:59 -!- ter2 has joined. 01:16:55 yesterday i biked on Abel Street in Milpitas CA 01:17:00 failed to come up with a good pun about commuting 01:17:56 whoa, Milpitas CA 01:17:58 i used to live there 01:18:26 -!- tertu3 has joined. 01:18:39 oh really 01:18:39 why 01:18:59 The reverse of it is acsatiplim. 01:19:23 people need a place to go hth 01:19:24 it would seem so 01:19:38 it was for a month and a half or so 01:20:07 summer 2010 01:20:11 good times 01:20:13 ok 01:20:31 yesterday's ride http://www.strava.com/routes/365633 01:21:01 -!- ter2 has quit (Ping timeout: 240 seconds). 01:21:03 i have been to that reservoir 01:21:07 oh yeah? 01:21:08 how / why 01:21:09 my everything is still sore :p 01:21:14 or at least near it 01:21:19 because i lived nearby 01:21:26 in milpitas? 01:21:27 i see 01:21:33 all the pieces are beginning to fit together 01:22:08 petersburg drive 01:22:32 it's a pity it's not called "petersburg st." 01:23:03 apparently there's a plane in the reservoir 01:24:53 yep 01:25:06 PLAAAAAANE 01:25:08 ... wrong channel 01:26:16 __!__ 01:26:22 _____(_)_____ 01:26:38 -- Stephen C. Hayne 01:26:48 I want to do that ride again but maybe with a picnic and twice as much water :p 01:27:55 -!- not^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 01:30:29 i think milpitas used to be called mailpits before the big earthquake. 01:30:45 `coins 01:30:46 priniconcoin muscucoin catamcoin zoosedcoin lazycoin glashbcoin excompressicucoin rentanyploanycoin pourcoin solecoin mazecoin illcoin medcoin shakhcoin moucoin pratcoin nandcoin sorcoin um-32coin incaviacoin 01:34:16 -!- vvn1 has joined. 01:34:32 oogah boogah 01:35:35 `relcome vvn1 01:35:36 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.) 01:37:03 shachaf: did you ever go to the IHOP in Milpitas 01:37:11 or the Black Bear Diner 01:37:13 hi, thanks for the welcome 01:37:20 no 01:37:22 is anyone interested in doom metal? 01:37:37 although i was nearby once 01:37:50 vvn1: that's even more off topic than usual for our channel 01:38:01 you’d be surprised 01:38:26 is russian circles metal? i think they're fairly doom 01:39:31 wikipedia says "post-metal", good enough for me 01:39:36 lol 01:39:42 must be chalcogens 01:39:44 post-doom metal, okay 01:40:05 kmc: in this mill thing you can load from a null or invalid pointer and get a "not a result" result rather than an immediate page fault 01:40:13 how does that wor 01:40:14 k 01:40:19 no, no, doom post-metal. post-doom metal is either very peppy, or based around surpassing popular musician MC DOOM 01:40:28 MF DOOM rather 01:40:32 everyone should just be an MC fuck 01:40:42 there are some metadata bits for things in the equivalent of registers 01:40:55 then if you don't use the NaR you don't get a page fault 01:41:02 -!- MoALTz_ has joined. 01:41:38 so you can speculatively load things that you might not use as long as you don't store or branch on the result or something 01:41:57 their example is implementing a vectorized strcpy and reading past the \0 01:43:29 shachaf: does that work if the page exists but needs to be swapped in? 01:43:49 -!- MoALTz has quit (Ping timeout: 240 seconds). 01:43:56 shachaf: good, I had that exact issue once 01:44:04 oerjan: in that case a different thing would happen presumably 01:44:05 oerjan: seems like; it's traditionally the page fault handler which does that 01:44:13 hmm 01:44:18 yeah, how would you deal with that 01:44:29 i don't know how page faults work exactly 01:44:45 another metadata value is "None", such that storing a None into memory does nothing 01:45:00 this is their strcpy thing: http://millcomputing.com/blog/wp-content/uploads/2014/02/intro_strcpy.png 01:46:26 i don't know how they deal with that; i was wondering 01:46:26 nice 01:47:12 All this diagram needs is an oracle that tells whether there will be a match two steps in advance. 01:47:37 ? 01:48:16 Ignore me, i haven’t been following the discussion, just clicked the link. Going back to http://youtu.be/HuzC0MAlo0w → 01:49:32 this is the context of the diagram: http://millcomputing.com/topic/introduction-to-the-mill-cpu-programming-model-2/ 01:50:14 Thanks, i’ll open it in tab #15432 for later. 01:50:37 my browser crashed and lost all my tabs a couple of weeks ago 01:50:39 now i have no tabs 01:50:41 it's great 01:51:07 I haven’t had the courage to do that, i have restored them from a backup in the past. 01:51:12 -!- blitter64 has joined. 01:52:11 another thing they have that isn't mentioned on that page is two instructions pointers, one going backwards and one going forwards 01:53:47 My friend just introduced me to the Pokemon TCG 01:54:04 And to Android Netrunner, but there's no online version and I suck at it 01:56:03 -!- blitter64 has quit (Ping timeout: 252 seconds). 01:58:15 ANd not to Yu-Gi-Oh which he called broken 01:59:09 "Yes, on occasion, my friend and I bust out the pokemon cards and go at it. The game is shallow at first glance, but there is a decent amount of strategy involved. This mostly comes into play in the deckbuilding process. Pokemon is more draw oriented than Magic, meaning that the key to winning is drawing more of your deck than your opponent, making cards like Professor Oak incredible. " 01:59:15 meh, I don't like deckbuildin 01:59:18 g 02:07:40 http://www.reddit.com/r/hearthstone/comments/26jfqy/this_golden_card_is_weaker_than_its_normal_version/ 02:08:53 -!- ter2 has joined. 02:10:17 -!- yorick has quit (Read error: Connection reset by peer). 02:11:49 -!- tertu3 has quit (Ping timeout: 252 seconds). 02:13:32 -!- ter2 has changed nick to tertu. 02:14:47 I wonder if any existing language is particularly suited to a computational variant of Exquisite Corpse. 02:15:05 we call that game software development round these parts 02:20:09 -!- tertu has quit (Ping timeout: 265 seconds). 02:23:23 -!- hk3380 has quit (Quit: WeeChat 0.3.8). 02:23:40 -!- {hk3380} has joined. 02:26:50 -!- {hk3380} has quit (Client Quit). 02:27:08 -!- {hk3380} has joined. 02:27:47 have you played this game that I know only as "the paper game", where people in a circle take turns either describing a drawing with words or drawing something from a description, and you only see the previous attempt 02:28:00 and then you read out the words after n iterations 02:28:08 also does it have another name 02:28:31 (it's played with picees of paper that are folded accordion-like so that you only see one drawing or description) 02:29:12 kmc: I have played this 02:29:26 There's a website that works a bit like that, where it prompts you to draw or describe something. 02:30:06 I remember a website version of this, yeah. and seeing the evolution 02:30:14 until inevietably somebody just draws a penis 02:30:32 yep 02:30:36 it's one of the easiest things to draw 02:30:39 also pac-man 02:30:41 we got a lot of pac-man 02:36:54 i have not played this 02:37:03 oh, written words, not spoken words 02:43:05 yeah 02:44:44 -!- MoALTz_ has quit (Read error: Connection reset by peer). 02:49:47 -!- vvn1 has left. 02:50:27 oh 03:05:17 -!- MDude has changed nick to MDream. 03:09:52 -!- zzo38 has joined. 03:20:06 -!- Phantom_Hoover has joined. 03:22:10 -!- tertu has joined. 03:25:29 -!- {hk3380} has quit (Ping timeout: 264 seconds). 03:26:39 -!- ter2 has joined. 03:26:39 -!- tertu has quit (Disconnected by services). 03:34:37 I'm using LD_PRELOAD in a way that is reminiscent of having two puzzle pieces that don't quite fit and just kind of smashing them together until they do 03:35:23 LD_PRELOAD is an awesome way to add features to software 03:36:34 mcpherrin: I realized that plugins for the stage2 compiler need to be built with the stage1 compiler, but they don't quite work then either 03:36:41 so i'm building stage3 but it's soooo slow 03:39:30 How do you use the LD_PRELOAD adding features into a software? 03:42:08 zzo38: Here's http:// support for open(1) via LD_PRELOAD! https://github.com/mcpherrinm/webscale/blob/master/libhttpfile.c 03:43:04 that's totally a feature 03:44:02 O, so you can add new features into function like that. That is good adding support for http: and data: URLs, now add ftp: and gopher: support too. (I think curl supports it?) 03:45:09 zzo38: Fair warning, LD_PRELOAD is a fragile fragile thing. 03:45:21 (Furthermore, ftp can be use for writable files; http is normally only for reading files, although there is a PUT method of HTTP if you want to) 03:46:41 Still there are other way to make in such supports added, depending on the software. For example a software using SQLite, you can add support for other file by adding a VFS by loading an extension, and you can also modify the triggers in the database to possibly add features in. 03:48:18 Do you like stuff I wrote yesterday about knock out seven opponent's cards in Pokemon card? 03:48:33 hated it 03:48:41 OK 03:49:01 It is an uncommon situation, though. 03:55:22 Why do you hate flipperless pinball game? I don't hate it; the feature of pinball game that I do hate is the games in which you can earn free balls for making the high score. 03:55:47 (I don't mind free games for making the high score, though.) 03:57:24 And, why don't you hate that feature? 04:04:01 mcpherrin: \o/ https://gist.github.com/kmcallister/f47ee925a16773be4f84 04:04:01 | 04:04:01 /| 04:04:43 kmc: \o/ 04:04:44 | 04:04:44 /| 04:05:05 -!- ter2 has quit (Ping timeout: 264 seconds). 04:05:21 useful, i like it 04:06:09 kmc: time to go write some lints! 04:06:10 kmc: it's not actually pointing at the e plz fix twh hth 04:06:41 ooh good point 04:07:25 wow, did you manage to write a general code analyzer thing that seems reasonably structured 04:07:28 that's pretty good rust 04:07:55 i still ahve no idea how to read these type signatures 04:11:51 It's kind of funny how the web both forces you to use one language and frees you to use any language 04:12:08 (not literally any) 04:15:41 -!- Phantom_Hoover has quit (Ping timeout: 255 seconds). 04:19:49 oerjan: https://gist.github.com/kmcallister/500920de676275deccd8 04:19:57 it's a hack though, I hardcoded the width of "struct " 04:20:08 I don't think the parser saves the information you need to do this right 04:20:15 I could fix that but I think I will get high and watch television instead 04:20:58 m,ad men? 04:21:05 kmc: so it would break if i did "struct \n\neeeeeeeeeeeee" 04:21:31 kmc: shocking 04:22:15 Bike: not first on my list but probably 04:22:35 -!- {hk3380} has joined. 04:34:10 -!- tertu has joined. 04:36:17 high kmc 04:56:16 Bike: probably The Americans, Veep, Silicon Valley, Mad Men in that order 04:56:19 might fall asleep at some point 04:56:43 wow, did you manage to write a general code analyzer thing that seems reasonably structured 04:56:44 but if you fall asleep while high the weed will crawl into your nose and strangle you! 04:56:55 well the structure a is pretty standard AST visitor 04:57:14 the more interesting thing imo is that it's a plugin which integrates with the compiler 04:57:25 so you can (well, will be able to) control it with the usual warning flags 04:57:35 and it can do things like ask the types of inferred local lets 04:57:36 well i mean, right. i'm more used to something along the lines of LD_PRELOAD, you know, one variable, terrible 04:57:47 argh i would love that 04:58:15 yeah so most of the work here was just redoing all the plumbing around the existing loadable syntax extensions to turn it into a cleaner more general plugin mechanism 05:04:31 -!- tswett has quit (Ping timeout: 276 seconds). 05:07:24 -!- Phantom_Hoover has joined. 05:09:29 aw there's no new episode of Veep 05:12:19 -!- {hk3380} has quit (Ping timeout: 276 seconds). 05:31:55 -!- oerjan has quit (Quit: leaving). 05:42:16 i still ahve no idea how to read these type signatures 05:42:17 which ones? 05:42:27 we're losing the ~funny @variable &sigils 05:42:32 the first two are gone 05:42:52 whoa 05:42:58 & is probably staying though 05:43:20 I think Rust has a lot less sugar now than when I started using it 05:43:21 well uh basically any of them. "&mut self, it: &ast::Item, cx: Context" i guess cx, it, and self are names, and Context and &ast::Item are types, but i don't know what & is or what &mut means 05:43:37 -!- tertu has quit (Ping timeout: 245 seconds). 05:43:44 & is a reference aka "borrowed pointer" 05:44:05 points to something, you can use it, but someone else owns it and is responsible for destroying it eventually 05:44:17 At runtime it's a plain pointer 05:44:23 references have lifetimes, sometimes written in as &'t Item 05:44:26 &mut is the same but mutable 05:44:27 usually inferred 05:44:35 ~ and @ are gone, and more funny looking beasts like Rc<> Gc<> Box<> Cell<> RefCell<> are here to stay. 05:44:49 why is &mut before the name though 05:44:51 a given thing in memory can have zero or more & pointers, or exactly one &mut pointer to it 05:45:00 &mut is a variant of & that lets you mutate through the pointer 05:45:08 exactly one, like, at all? 05:45:23 yes, well, things get "frozen" 05:45:34 if I do let mut x = 3; f(&mut x) 05:45:51 then I lose the ability to modify an x for as long as that reference lives 05:45:57 Bike: "self" is kinda a weird special case 05:46:06 of course it is 05:46:11 if f doesn't store it anywhere, then I get to modify it as soon as f returns 05:46:20 for example you'd have it: &mut ast::Item 05:46:30 so it's not "before the name" usually 05:46:55 * mcpherrin doesn't like rust's self handling right now, a little too special 05:46:56 yeah, the & in «&foo: T» and in «&self» mean opposite things 05:46:59 :/ 05:47:08 & in patterns means to remove a layer of indirection and look inside 05:47:12 like any other "constructor" in a pattern 05:47:35 but there's no way to pattern-destructure self in an args list, anyway 05:47:47 is self the OO self btw 05:47:51 basically 05:48:02 impl Foo { fn f(&self) { ... } } 05:48:10 defines a method that you would call like foo.f() 05:48:28 right. 05:48:38 it's not just sugar for f(foo) because it affects name lookup too 05:49:05 if you can access a type then you can access all its methods, even though you didn't import them by name 05:49:22 that's true for methods that are applied "directly" to the type like that 05:49:29 mcpherrin: what do we call those? 05:49:42 you can also define methods on a typeclass and then do «impl Bar for Foo» 05:49:54 s/typeclass/trait/ but basically the same thing 05:50:03 in that case the user also needs to import the trait Bar to see the methods 05:50:43 kmc: I thought a special handling of self would be gone after UFCS, wouldn't it? 05:50:52 I don't even know what UFCS stands for 05:50:54 (aaaaand I didn't know mcpherrin is here) 05:51:02 "Uniform Function Call Syntax" to be exact 05:51:04 lifthrasiir: I was about to say the same ;P 05:51:25 lifthrasiir: oh, so you can write foo.f instead of |x| foo.f(x) ? 05:51:33 that's good 05:51:36 kmc: I think so 05:51:41 self has to at least be special wrt name resolution, though 05:51:49 the details are not yet finalized but afaik is in discussion 05:51:54 kmc: so you can say method(foo, x) as well as foo.method(x) 05:51:56 okay 05:51:59 btw, rip "do" sugar 05:52:12 this is important for traits sharing names 05:52:44 impl A for Foo { fn m(){}} impl B for Foo { fn m() {}} breaks right now 05:52:57 it was nerfed in order to support the front-of-rust-lang.org use case of "do spawn" 05:53:04 and then it was useless so removed entirely 05:53:06 UFCs are great, i use them in nimrod 05:53:13 and now rust-lang.org doesn't have "do spawn" either 05:53:18 B::m(foo) 05:53:26 x.f(y) #=> f(x,y) so much sense is made 05:53:41 programming languages are like sausages 05:53:58 good pizza topping 05:54:02 sometimes i wonder how food scientists feel about that expression. 05:54:10 heh 05:54:24 you're at a big uni, you could find some and ask 05:54:47 there was a dude who designs lean cuisines doing an IAma thing on reddit a year or two ago... 05:55:02 i'm not at the main campus right now but yeah i was thinking about all the books on sausage production in the library 05:55:21 whats reddit 05:55:29 Bike: we also have both & and "ref" in patterns 05:55:34 and they are opposites kinda 05:55:46 there is more than one wrong way to do it 05:56:00 match x { Some(&y) => ... } x has type Option<&T>, y has type T 05:56:17 match x { Some(ref y) => ... } x has type Option, y has type &T 05:56:31 ok so they are exactly opposites 05:56:35 kmc: a lot of my early rust code was horrific for lack of understanding the & / ref relationship :p 05:56:58 I'd revert to "copy foo"ing all over instead of using borrowed pointers right 05:57:08 mm 05:57:40 -!- tertu has joined. 05:57:53 one of the many flaws of C++ is that there's no obvious indication when you lapse into that style 05:58:26 i guess this is one reason that major style guides say to disable the copy constructor and operator= unless you have a good reason to use them 05:59:04 although Rust still lets you do implicit copies of large POD 05:59:22 and it lets you use generic stuff with a Clone bound that is not obvious 06:00:55 Bike: as far as the core language is concerned, freezing and alias checking is all done at compile time 06:01:14 but there are library types which use unsafe code to provide mutable cells with runtime checks 06:01:24 i'm pretty sure i have no idea what you're talking about, you probably shouldn't bother :< 06:01:25 you can go from an &RefCell to an &mut T, roughly 06:01:29 alright 06:02:17 this weekend i got a few irl opportunities to talk at maximum speed about how cool rust is 06:02:23 that's fun 06:03:05 wow that's p. fast 06:03:17 -!- Phantom_Hoover has quit (Quit: Leaving). 06:03:39 like a radio announcer! 06:03:52 shachaf: lint plugins! 06:04:04 they work 06:04:30 were they lin't plugins before they worked 06:05:03 notecorelanguageisnotstableandmaychangeinunforseennontrivialfashions.bepreparedtofilecompilerbugs.mozillacorporationisnotatfaultifyouusethisinaspaceproberightnow 06:06:46 I'm pretty happy with a lot of the direction Rust is going, though I think we'll need to re-sugar the langauge once it's settled down semantically 06:07:40 yeah 06:07:41 kmc: remember when rust was the exciting garbage-collected language with typestate :p 06:07:48 no I don't 06:07:51 haha 06:07:59 neither do I ;p 06:08:09 @ was implemented before ~ or & 06:09:19 I like telling people who've only used high level languages about the bizarre forms of undefined behavior in C, and then ending it with "this language and its relatives are used for most systems in planes, cars, medical devices, nuclear reactors, etc." 06:10:13 kmc: I'd still trust C in a plane over, say, python :p 06:10:24 math can't even define 0^0, therefore we have all been doomed for centuries 06:10:28 true 06:10:39 did you ever see the C++ coding standards for the F-35 Joint Strike Fighter 06:10:48 www.stroustrup.com/JSF-AV-rules.pdf 06:11:04 I recall reading them but remember zero content 06:11:19 i mostly recall being scared about planes that run C++ 06:11:57 Bike, however, most teorems assume 0⁰ = 1 06:12:03 theorems* 06:12:13 wait, is this the eurofighter 06:12:25 also this weekend I got two opportunities to explain what the C99 "restrict" keyword does and why it's useful 06:12:29 no, it isn't. that woudl be funny 06:12:29 mostly because they're too lazy to define a case for when the exponent is 0 06:12:46 the french parts of the eurofighter are programmed in ocaml 06:12:51 kmc, and did you explain that it's almost never used because no one bothers to? 06:13:06 in fortran, "restrict" is the default 06:13:15 really? i suppose that makes sense 06:13:27 that makes the grounding of the french air force from that one virus seem a bit weird 06:13:28 Rust is even more draconian about aliasing 06:13:37 yep 06:14:01 I like how rust does it, but it may be difficult to make that change 06:14:16 *to adapt to that change 06:14:21 oh but I forgot to talk about the reverse memcpy aliasing flash plugin sound fuckup 06:14:22 f-35 also has some ada from the -22, it seems 06:14:24 -fno-strict-aliasing aww yeah 06:14:31 -fun-times 06:15:10 I think 0^0=1 is most sensible kind of thing to me 06:16:01 0^0 works by analytic continuation of x^0 06:16:01 yes yes everything must have a definition isn't that so 06:16:06 it is, but then you can't assume that "0^n = 0" everywhere 06:16:12 Not so much by 0^x 06:16:17 Or whatever else 06:16:23 there's a good page on 0^0 at http://www.askamathematician.com/2010/12/q-what-does-00-zero-raised-to-the-zeroth-power-equal-why-do-mathematicians-and-high-school-teachers-disagree/ 06:16:23 Kind of a big discontinuity 06:16:38 at least it's not like 1/0 :) 06:16:49 You can do 1/0 06:17:00 with limits, on both directions 06:17:09 Oh, even without limits 06:17:12 for instance if you do it in the one point compactification of R or C 06:17:17 why did i bother using an example 06:18:16 I was using Microsoft Office Word the other day to write equations 06:18:19 it's... not bad 06:18:25 IT IS >:| 06:18:32 I mean, it could be better, but it supports some neat stuff 06:18:37 Donald Knuth did not die in vain! 06:18:40 lol 06:18:42 Zero to power of negative numbers may be undefined though. 06:18:46 yeah I surprisingly don't hate the equation editor in word 06:19:37 i was supposed to use the equation editor to do chem homework. so weird 06:19:52 really? 06:19:55 I found it quite intuitive 06:20:05 easier than latex IMO 06:20:18 not as powerful as it once you need to do complicated stuff, though 06:20:27 weird as in weird that i was supposed to 06:20:36 oh 06:20:45 not really a lot of math in gen chem. 06:20:49 Maple's math document thing is pretty awesome if you want WYSIWYG mathing 06:21:00 (not to mention it can do the actual math as you go too) 06:22:09 I really like LaTeX because, through my studies, I read some terrible things 06:22:11 subscripts and superscripts alone aren't so great for writing out a beta particle or whatever, i guess. 06:22:16 I once read a theoretical physics thesis 06:22:21 Entirely done on typewriter 06:22:45 I find Plain TeX is really good to write math, especially since I can have macros in the file too. (It is good for many other things, too.) 06:23:08 I like to give people the number "(-1) ^(-i)" and ask them what value it is 06:23:15 Two macros that are especially good are 06:23:21 it's some bullshit with e right 06:23:23 integral from -infinity to infinity 06:23:26 and 1/2 06:23:28 most people that haven't had any complex numbers class won't guess that it's 23.1406... 06:23:31 yeah proper mathematical typesetting used to be hella expensive 06:23:33 it's kinda weird 06:23:46 They are very long to type and happen all the time 06:24:07 http://mathworld.wolfram.com/ComplexExponentiation.html jeeez 06:24:10 not if you're working with discrete maths or any other area of math >_> 06:24:17 right it's uh, exp(-iln(-1)), so exp(pi) 06:24:32 But still quite often when you work in REAL MATH 06:24:41 Slereah, :( 06:24:48 uh 06:24:56 complex exponentiation is cool kmc! it goes in circles!! 06:25:00 M28: many people doesn't know about complex numbers either 06:25:15 I only had to use integrals and shit in calculus and analytical geometry... 06:25:20 analytic* 06:25:36 lifthrasiir, lots of non-math-stuff majors 06:25:38 -!- Slereah_ has joined. 06:25:40 If someone aske me about "(-1) ^(-i)" then first things I would say is, "I don't know". And then, to try to figure out by computer. 06:26:12 Wolfram alpha, what is -1^-i! 06:26:19 Slereah, you need params 06:26:27 zzo38: or "use W|A." 06:26:28 if you remember that a^b = exp(b*ln(a)) your life shall improve 06:26:28 (-1)^(-i) 06:26:36 For 1/2 macro, do you mean something like: \def\onehalf{{1\over2}} 06:26:38 http://www.wolframalpha.com/input/?i=%28-1%29%5E%28-i%29 indeed, it gives a correct answer 06:26:40 Bike, lol 06:26:44 Real men use polish notation! 06:26:52 ^-1-i 06:26:55 ¹/₂ 06:27:07 (no, I think WP does have a template for this) 06:27:12 Slereah, reverse polish notation master race reporting in 06:27:16 ½ durbadurbdurb 06:27:27 lifthrasiir: Well, it isn't what I was thinking, but yes it is one way. I meant that the program in TI-92 calculator will make the calculations, or to use any other local softwares rather than connecting to internet in order to do it. 06:27:47 i should probably get a cas instead of using wolfram all the time, but, lazy 06:28:09 I guess a useful macro if you work in discrete math would be 06:28:19 \sum_{n=0}^infinity 06:28:25 errr \infty 06:28:35 and those cas's that print out fractions on the terminal, ugh 06:28:54 -!- Slereah has quit (Ping timeout: 258 seconds). 06:28:55 Bike, I almost never find an use for that definition, except this one I guess 06:29:10 circles man, circles 06:29:20 -!- password2 has joined. 06:29:44 here are some latex macros i wrote long ago https://gist.github.com/kmcallister/7677e262d64cd0a5ca45 06:29:53 you don't even need that formula to solve that though 06:30:09 if you replace (-1) with e^(pi * i) 06:30:43 then you end up with an even more fun thing to solve 06:31:44 "how does anyone on Earth understand the guts of \LaTeX?" any paper on the guts would, unfortunately, be written in gutsy latex 06:31:53 i wonder if i'll ever actually have to use tex in my life 06:31:57 lol 06:32:23 there's a mandatory class on scientific writing in compsci in my uni 06:32:29 you learn latex there 06:32:41 ASSUMPTIONS 06:32:45 lol 06:33:41 Google Docs. Teach the controversy 06:34:50