00:00:07 arthur, you are an evil duck http://www.sheldoncomics.com/archive/131115.html 00:01:32 oerjan: As far as I know, the canonical stereotype involves no touching either. See http://depressingfinland.tumblr.com/post/65617168839/chibisuz-depressingfinland-234937289-bus 00:02:25 "it’s okay if you don’t pronounce it perfectly right because the only reason someone would talk to strangers in public transport is to ask them to move, so they will get the hint" very true 00:02:47 you can't really mispronounce a grunt either 00:03:01 fizzie: what's a "standing up seat" 00:03:43 oerjan: A paradox. (I think a standing place was intended.) 00:03:56 We don't have seats you stand on in buses, no. 00:04:08 the rule in norway is similar but we do _not_ usually take standing places before starting to sit next to each other :P 00:04:21 well, some probably do, but it's not a rule. 00:05:04 Yes, well, I think maybe about half the people in here don't, either. (Could be more, could be less.) So it's not as strict rule as the no-talking one, or the others. 00:06:40 (Also depends on distance and such.) 00:07:05 mä jään tääs of course consists solely of the one finnish vowel i find awkward to pronounce. 00:07:11 -!- Bike has joined. 00:07:43 despite it being nominally in norwegian too 00:09:31 Älä rääkkää sitä kääkkää! En rääkkääkään. 00:09:57 i think my brain basically is prejudiced with "it's not in front of an r, use an "e" instead you idiot!" 00:10:32 can someone do it in IPA plox 00:10:43 I'd consider it weird to stand on the bus if there are free seats even if they are no double free seats 00:11:10 quintopia: ä = [æ] afaik 00:11:37 what about j? 00:11:49 I keep mentally hearing all the 'ä's in, say, LOTR (Eärendil) as the Finnish ä, which is so wrong. 00:11:49 [j] 00:13:34 otoh it does avoid the difficult problem of deciding which person on the bus is least scary to sit next to 00:13:36 google cannot translate rääkkääkään, but still suggests it should be rääkkääkkään (which it cannot translate either) 00:14:09 Does it suggest rääkkääkkääkkään or rääkkääkään for rääkkääkkään? 00:14:15 no. 00:14:44 oerjan: i cannot seem to tell the difference between æ and ɛ...there's just no reason to ever get that kind of find tongue control in english 00:14:48 *fine 00:15:07 "(enclitic, appended to a verb form) indicates confirmation of not doing something, e.g. if someone doubts it, or, when someone is more or less surprised at an occurrence, indicates the reason why some thing was not successful – which is by not doing that something 00:15:11 (Minä) en syönytkään eilen jäätelöä. 00:15:13 But I didn't eat ice-cream yesterday." 00:15:24 It's just that. 00:15:50 The "confirmation" one. 00:16:26 fizzie: it doesn't know rääkkää or kääkkää either. 00:16:49 How about "rääkätä"? 00:17:04 Isn't that a pokemon 00:17:16 "torment" 00:17:26 That's right. 00:18:27 And kääkkä is... something like a pejorative term for an old person. 00:19:05 There's a proper English word for it, I'm sure. 00:19:13 Crone? 00:19:22 i think that only applies to women 00:20:24 I guess kääkkä is gender-neutral, maybe slightly biased towards women. 00:20:42 also i think crone is sort of archaic? 00:20:47 maybe "hag". 00:21:43 which somehow needs "old" in front, i suspect 00:22:09 oerjan: are you thinking of "anacrone"? 00:22:23 -!- Sprocklem has joined. 00:22:41 NO. 00:22:42 http://en.m.wiktionary.org/wiki/crone includes "kääkkä" as the Finnish translation. 00:24:19 "As a stock character in fairy or folk tale, the hag shares characteristics with the crone, and the two words are sometimes used as if interchangeable." 00:24:59 Is there such thing as a true synonym? 00:25:20 A word that is perfectly interchangable for another? 00:25:20 "The word "crone" is a less common synonym for "old woman," and is more likely to appear in reference to traditional narratives than in contemporary everyday usage." 00:25:39 "Using the word "hag" to translate terms found in non-English (or non-modern English) is contentious, since use of the word is often associated with a misogynistic attitude." 00:25:56 i'd say hag seems more like what you are implying. 00:27:00 Perhags. 00:27:05 oerjan: why do you shout so much 00:27:37 BECAUSE YOU'RE ALL THE WAY ON ANOTHER CONTINENT 00:28:01 AND POSSIBLY HARD OF HEARING 00:28:32 -!- zzo38 has joined. 00:31:41 Taneb: i can think of a few examples, i'm sure. for words that have lots of synonyms, sometimes there are several subsets which also have the same connotations 00:31:47 -!- Sgeo has joined. 00:32:42 for instance, i can't see any situation where ill-at-ease and uncomfortable aren't completely swappable 00:32:58 When you're talking about a sofa? 00:33:09 http://depressingfinland.tumblr.com/post/66945321786/i-love-your-blog-i-am-a-finnophile-it-all-came-about 00:33:11 true 00:33:15 What if your 'i' key is broken? 00:33:17 bad example 00:33:20 i am not sure this person realises that we have a word for that in english also 00:33:21 need to think harder 00:34:01 "bloody freezing"? 00:34:03 Taneb: how about "delay" and "wait"? 00:34:16 reallyfuckingcold 00:34:22 quintopia, you wouldn't delay for someone 00:34:33 why not 00:34:40 Well, I wouldn't 00:34:52 Also you wouldn't want someone in a restaurant to delay on you 00:35:23 -!- nisstyre has quit (Quit: Leaving). 00:35:33 Taneb: shore and coast? 00:35:36 And I see "wait" as having much friendlier connoctations 00:35:51 oh wait 00:35:53 You wouldn't wait a delivery, I think. (Though you might wait for one that's been delayedf.) 00:35:55 both of those are also verbs 00:36:13 but i think the noun forms are identical 00:37:47 "Noun 00:37:47 shore (plural shores) 00:37:47 A prop or strut supporting the weight or flooring above it. 00:37:49 The shores stayed upright during the earthquake." 00:37:55 Not a coast. 00:38:17 meh 00:38:24 Taneb: how about miasmic and miasmal 00:38:37 It is a p. tricky task T. has set. 00:39:00 t. dat 00:39:00 quintopia, I imagine miasmic referring to a substance and miasmal as to an environment, but maybe that's just me 00:39:10 -!- glogbackup has quit (Remote host closed the connection). 00:39:28 Taneb: everyone and everybody 00:39:41 hmm, is pakkanen a specific word for "below 0"? afaik none of the swedish words for cold have any specific temperature ranges 00:39:42 Ø. agrees, I see. 00:40:00 quintopia, hmm, good one 00:40:22 olsner: It does mean "freezing". 00:40:51 -!- glogbackup has joined. 00:41:36 "freezing" is also a generic word for being/feeling cold 00:42:58 olsner: Well, the sense of freezing that means a temperature where water freezes. 00:43:01 -!- oerjan has set topic: The channel of the chimæric hellos | The most corum, clargoint chait you could ever loofefl your slance in. | Magnus!! | Koirammekokaan ei lennä? :( | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/. 00:43:43 It's not "pakkanen" if it's above zero, that's non-negotiable. 00:44:21 fizzie: what if you are at abnormally high pressures? 00:44:30 hm doesn't swedish have a word like "kuldegrader" 00:45:22 "Pakkassen puolella" and "pakkasasteita" are both also real expressions. 00:45:46 q.: I don't know, actually. 00:48:23 It doesn't change all that much, right? Not like the boiling point. 00:48:56 (Matter. Sigh. What's it good for, anyway?) 00:49:07 -!- Taneb has quit (Quit: Leaving). 00:50:56 -!- APott has joined. 00:51:08 Hello! 00:51:20 oerjan: hm, we do have "minus degrees" (which doesn't mean that it's considered cold) or possibly "degrees cold" (but sometimes +20 is "cold"...) 00:51:36 but those are like phrases for pronouncing temperatures 00:51:50 Has anyone here ever built an interpreter? I have a few questions 00:52:17 Of a normal language, may be a bit off topic 00:52:41 lol off topic 00:52:42 but yeah sure 00:53:13 Alright great 00:53:27 I've built a basic one before but I'm working on one right now 00:53:42 I have always never really understood the best way to construct an AST 00:54:02 specifically how meta data should be stored, and the different node types are determined 00:54:11 or the most proper way 00:54:13 sounds like a job for a parser generator 00:54:27 This is not what I want 00:54:38 I find handwriting fun and actually a bit simpler than writing a grammar 00:54:56 I know how to create an AST I just don't know the best methods for it 00:55:07 i guess you hvae to write a few parsers in order to learn to hate doing it yourself. 00:55:40 So you can't answer my question? xD 00:56:12 well, to specify an AST the usual way basically amounts to an algebraic data structure. 00:57:23 like you might have Form = Conditional Form Form Form | Call Form Form | Lambda Symbol Form | Access Symbol for a simple lambda calculus with ifs. 00:57:59 that means, form is either a "conditional" with three subforms (for the condition, the "then", and the "else"), a call with two subforms (the callee and the argument), a lambda, or a variable. 00:58:21 yes 00:58:35 and uh... that's basically it? 00:58:38 how would I store metd data though? 00:58:43 or should I*? 00:58:45 What metadata? 00:58:49 Like names of things and stuff 00:58:58 Names of things... and stuff. 00:59:03 What? 00:59:05 -!- Oj742 has quit (Ping timeout: 268 seconds). 00:59:10 For example 00:59:53 if I'm parsing a javascript variable definition or something: "var name;" in the node how/where would be the best place to store "name"? 01:00:12 ... 01:00:27 Then in this AST you have a syntax type like VarDecl [Symbol]. 01:00:41 I feel like I'm missing something huge or frustrating you, or both. 01:01:35 The whole point of this algebraic thing is you just have a struct definition for every type of syntactic construct, basically. 01:01:48 Symbol is where the symbol is stored 01:01:55 data Expr a = Bound Nat a | Lambda (Expr a) a | App (Expr a) (Expr a) a 01:01:59 I understand this, but what confused me is how to structure them for interpretation later on 01:02:40 in the structure itself 01:02:41 i don't think you understand this. 01:02:48 Mainly, how do I keep these types together in the tree structure. I have them all extend the root AST struct 01:02:51 it's a tree 01:02:56 I know this 01:02:57 oh 01:03:02 Jafet: Pft, arbitrary Nats. 01:03:05 I know this, let me explain what I'im gertting aty 01:03:13 the tree is based on the grammar 01:03:18 Yes 01:03:18 Whatever, ASTs are overrated. 01:03:32 @let eval = let e s@(_:'\\':v:'.':l)=let(x,')':t)=e$d l in(take 4 s++x++")",t);e('(':s)=let(x,t)=e s;(y,')':u)=e$d t in(a x y,u);e s=splitAt 1$d s;d=snd.span(==' ');a(_:'\\':v:_:l)s=let f x|x==v=s|1>0=[x]in fst.e$init l>>=f;a f x='(':f++" "++x++")" in e 01:03:34 Defined. 01:03:37 so an expression might have subexpressions, which would eb its children in the AST 01:03:40 get a job taneb 01:03:57 jafet 01:04:00 god why do i confuse you 01:04:00 I don't even know what the hell that is 01:04:14 jafet's thing is humorous if you're a goddamn nerd and we're not goddamn nerds here 01:04:26 the only things that are children of root are things that the start symbol could produce in the grammar 01:04:34 yes I know 01:04:47 I haven't finished my explanation but yet I'm hearing obvious answers to questions not asked 01:05:02 seeing* 01:05:26 okay. i'll give you a few minutes to narrow your question down 01:05:39 thanks 01:07:17 Goddamn bikes 01:07:22 So I have a struct named AST. I have others for each language construct that extend this AST struct. Each struct has a property which determines what it represents. Each has an array for more AST structs, for the tree structure. Lets say I have a piece of data I need passed with a node, how do I do this? 01:07:53 That's quite specific to each rule/construct 01:08:18 well, yeah, that's why the AST i laid out has some things with "Symbol" instead of just always more ASTs. you need a base case as it were. 01:08:20 Do I simply create a property in the struct for that rule? 01:08:32 oic 01:08:44 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:09:01 Ok after reading that I feel the answer to that was way to simple to even be asked 01:09:11 at least you knocked my head straight 01:12:49 basically this amounts to a tagged union - in C you'd have an AST struct with two fields, the tag and the actual object. the actual object is a union over all the syntactic types, and the tag just says which syntactic type this AST is. 01:13:15 oic 01:17:30 Would you guys like an alligator? 01:18:17 -!- yorick has quit (Remote host closed the connection). 01:24:53 like these? http://worrydream.com/AlligatorEggs/ 01:25:36 -!- nooodl has quit (Quit: Ik ga weg). 01:26:19 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 01:26:43 lets play hangman! 01:26:43 -!- Sprocklem has quit (Ping timeout: 260 seconds). 01:26:46 -!- ^v has joined. 01:27:04 they do? 01:27:35 ~metar RKSI 01:29:19 augur_: Okay 01:29:26 prooftechnique: :D 01:29:50 i dont know if these a convention for doing the picture of the dude, so ill just count to 6 01:30:05 E 01:30:17 hold on :| 01:30:35 _ _ _ _ (0 wrong) 01:31:21 A 01:31:30 _ a _ _ (0 wrong) 01:31:42 Z 01:31:51 _ a z z (0 wrong) 01:31:54 JAZZ 01:32:03 prooftechnique: you watch QI :( 01:32:09 Correct :D 01:32:13 :D 01:32:39 prooftechnique: ok lets go again 01:32:43 _ _ _ _ (0 wrong) 01:33:22 i 01:33:28 _ _ _ _ (1 wrong: i) 01:33:41 j 01:33:50 _ _ _ _ (2 wrong: i j) 01:33:52 e 01:34:12 _ _ _ _ (3 wrong: e i j) 01:34:27 f 01:34:35 _ _ _ _ (4 wrong: e f i j) 01:34:53 Well, that's a whole class of hard words eliminated 01:34:56 a 01:35:11 _ _ _ _ (5 wrong: a e f i j) 01:35:15 :( 01:35:41 q 01:35:52 hangman isn't fair with short words 01:36:01 _ _ _ _ (6 wrong: a e f i j q) 01:36:09 cull 01:36:16 also you should add a prog to hackego to do what you're doing :P 01:36:20 Pretty good 01:36:36 Also, hangman in Haskell is surprisingly easy 01:36:37 prooftechnique: you didnt watch that episode of QI sufficiently :X 01:36:53 I blocked it out to make it fair, of course 01:36:59 lol 01:37:25 I never draw the picture in hangman; I always just count how many more tries you have 01:38:03 i always draw 01:38:22 because that way you can give extra tries without making it obvious you're doing so with kids 01:38:29 by adding eyes and hair and stuff 01:39:05 I don't like that; I always want everyone to know exactly how many tries you have left. No cheating by giving extra tries!!! 01:39:49 Some hangman games set how many tries by the length of the word or phrase. Famicom Hangman does this too (a program I have written). 01:40:19 I do not like using the picture since it makes it unclear so it just makes a box containing the wrong letters and once it is fill up, then you lose. 01:40:20 what's the point of hangman where you aren't murdering a stick figure 01:40:22 honestly 01:40:41 I agree with that statement 01:41:11 Bike: To guess the word. Of course you can draw the stick figure if you prefer but I prefer to not do so since it makes it less clear how many tries you have left. 01:41:36 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 01:43:09 +you're right because there is a variable amount of body parts you could count 01:43:15 down to the eye lashes 01:43:23 To the toenails 01:43:29 indeed 01:43:37 to your individual hairs 01:43:57 skin cells 01:44:03 blood cells 01:44:12 atoms 01:44:16 organelles 01:44:29 ?messages-loud 01:44:30 boily said 6h 39s ago: I owe you some royalties for the “at canada” brand. 01:45:00 "I have shown, by ingenious induction on the structure of man, that in fact I have (n+1) tries in hangman. QED, nyah nyah nyah" 01:45:11 boily: I do not accept royalties for such brand. 01:48:30 prooftechnique: famous last words 01:49:21 I call it "Little Fermat's Theorem" 01:51:16 zzo38: do shorter words get you more tries than longer words? 01:51:22 (in famicom hangman) 01:52:00 oerjan: This alligator game is crazy 01:52:09 Where do you find these links? 01:52:33 quintopia: I wonder if shorter people get you fewer guesses 01:59:15 So I have a programming question 01:59:25 If you don't mind 01:59:48 prooftechnique: seen it way back, possibly linked in r/haskell 01:59:54 or perhaps even here 02:00:02 APott: Go for it 02:00:07 oerjan: You always have the best links :D 02:00:10 Lets say in the source i'm analyzing there is a number that I need to perform mathematical operations with. How do I get the integer value of a string? 02:00:34 most standard libraries have a function for that 02:00:47 c has atoi, that sorta thing 02:01:09 !c printf("%d",atoi("42")); 02:01:16 oic alright 02:01:20 `interp c printf("%d",atoi("42")); 02:01:24 D has the same sort of functions in it's library 02:01:27 so 02:01:37 now what 02:01:38 Does not compile. \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: for 02:01:45 sweet 02:01:50 Gregor: YOUR BOT IS ILL 02:02:02 and you are idle 02:02:02 Do i store this and perform operations with the float type for most accuracy? (some of this I stilld on't understand) 02:02:25 like "float num = atoi("42");" 02:02:49 num * 16.25 02:03:05 anything could be several decimals long 02:03:07 double has double accuracy to float 02:03:51 although neither will give you exact arithmetic for huge integers. 02:03:51 oh yeah 02:03:57 that's true 02:04:04 oerjan: `interp c does that 02:04:06 but it should be sufficient for my simple project 02:04:23 elliott: what, always? i thought it worked... 02:04:25 well thanks for that 02:04:27 lolfloats 02:04:32 `interp c printf("hm"); 02:04:48 holy cheese a new haswell costs $339 02:04:50 Does not compile. \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: fork: retry: Resource temporarily unavailable \ ./interps/gcccomp/gcccomp: for 02:04:53 OKAY 02:05:42 -!- Frooxius has quit (Ping timeout: 252 seconds). 02:06:04 I call it "Little Fermat's Theorem" <-- fermat's little theorem already exists. 02:06:16 on the other hand i can get a six core vishera for under $150 02:06:18 life is mysterious 02:06:56 oerjan: The proof was delivered childishly, so the idea is that it was delivered by a young Fermat 02:07:03 Thus, "Little Fermat" 02:07:27 "Current world record [for overclocking] is 8.79 GHz achieved on FX-8350 by Andre Yang using liquid nitrogen." why 02:08:00 you mean why didn't he use helium, right 02:08:03 hmmmmmm i don't know how big the caches should be though 02:08:07 is 8 MB sensible 02:08:42 is that L2 or L3? 02:08:53 also do the haswells really cost that much? 02:09:11 um, L3. L2 is three 2 MB caches, presumably pairs of cores share them? 02:09:32 that sounds like a good amount of cache to me? 02:09:38 I think L2 is a lot more relevant than L3 generally, but I might be wrong 02:09:40 ok i have no idea. 02:09:46 like at all. just saying. 02:09:52 I'm not sure which is more important either 02:10:02 I know on like, intel ones nowadays they only have like 256K per core L2? and the huge big thing in L3 02:10:05 *is L3 02:10:11 oh, here's a $200 haswell 02:10:20 "Limit 5 per customer" 02:10:28 pc shopping is really weird, y'all. 02:10:44 -!- Frooxius has joined. 02:10:46 ah, you're probably right, this doesn't even mention the L2 size 02:10:47 if I remember right the big L3s are like, also a way to use up extra die space without emitting much more power 02:10:57 but... it does mention the process size. 02:10:59 thanks I guess? 02:11:07 L2 is the same on all haswells, I think? which might be why it's not mentioned 02:11:11 while L3 varies 02:11:42 well i was thinking because "256K per core" wouldn't be very impressive compared to this 2 MB per core-pair on this amd one, but that works too 02:12:01 i don't know why i'm even looking this up, i don't think i'll be hacking deep enough that i need to know the µarch >_> 02:14:02 http://c1.neweggimages.com/BizIntell/item/19/116/19-116-901/herox.jpg the ads are fantastic though 02:14:37 Is that guy inside the processor? 02:14:44 THAT THING MUST BE SO STRONG 02:15:01 he's the adaptive techniques. if you need more PROCESSING POWER he yells at the instruction decoder until it gets its shit together 02:15:32 this thing lists more than one thread per core... is that that hyperthreading thing 02:17:48 maybe i should just buy a bunch of DSPs to fuck with instead. people still use those right. 02:19:50 quintopia: Yes, in Famicom Hangman, shorter words/phrases get you more tries than longer ones. 02:22:00 https://gs1.wac.edgecastcdn.net/8019B6/data.tumblr.com/a3ec9cd009cad7b4825479fae0a4b632/tumblr_inline_mvj43rbyXS1qik0w4.jpg 02:22:09 I love the precision of these Finns 02:22:38 I'm a bit surprised that those two on the end are standing together 02:26:30 i uploaded two example programs to go with the SELECT. interpreter. these two work. just wish someone would write one that tests some other language features :D. http://rutteric.com/files/ 02:37:25 -!- oerjan has quit (Quit: leaving). 02:43:00 -!- APott has quit (Quit: Page closed). 02:47:49 Have you played hangman games with a time limit? 03:16:35 Using the symbols &|!()10 only, can anything be made in Perl other than only the boolean condition checking if a 1 and 0 is only by itself? 03:26:19 perhaps ask in #perl 03:26:26 OK I can try 03:33:18 In the Dungeons&Dragons game I was trying to add more tally marks. The DM said there was room for 818 in total. This doesn't seem right to me, since 818 isn't a multiple of five. 03:43:29 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:45:47 huh. church's thesis doesn't hold in a newtonian universe. neat. 03:46:40 Bike: huh, howso? 03:47:05 "We will sketch a proof (it is based on Gerver’s proof of the ‘‘Painleve con- 03:47:08 jecture’’ in the plane) of Theorem 4 that an uncountably infinite number of topologically distinct trajectories are 03:47:11 possible in 1 s, among the planar N-body problems with fixed masses and whose initial locations lie within 03:47:14 certain disjoint balls and whose velocities are bounded 03:47:20 [period] 03:47:27 i don't like pasting the sentences on periods, it's a bad habit 03:49:32 wait, what does that have to do with the Church-Turing thesis? 03:49:40 or is this some other thesis of Church's? 03:49:57 it means a turing machine can't simulate the topological properties of the bodies' trajectories 03:50:01 (in finite time) 03:51:30 oh and the initial configuration isn't even uncomputable, sweet 04:02:15 What do people here think about Elixir? 04:02:40 I like panaceas but I don't think they exist. 04:02:49 the language 04:03:09 The language of the birds? 04:09:22 Sgeo: I think the first Elixir demo I saw was pulling some data directly from some web service and turning it into code with macros 04:09:37 And the first reddit comment was "Oh, god, please never actually do this" 04:09:57 It looks like a nicer way to write Erlang, if nothing else 04:11:04 i like that on mushroomobserver.org if you don't know what kind of mushroom is in your photo you can put "Agaricales sensu lato" 04:11:12 which is latin for "looks like a mushroom, I guess" 04:11:36 (okay it's latin for "agarics, in the loose sense") 04:11:48 I like your translation better 04:12:11 if you're extra unsure you can just put "fungi" instead 04:12:22 is there a designation above kingdom which includes all life 04:12:38 cladistics people usually just go for "unranked" i think 04:12:48 since i mean, it's a tree, the levels are gonna get hairy anyway. 04:13:11 kmc: Well, domains are above kingoms 04:13:12 kmc: there's http://en.wikipedia.org/wiki/Three-domain_system at least? 04:13:14 *kingdoms 04:13:15 also using latin to obscure that you mean something boringly obvious is kind of great. incertae cedis~ 04:13:24 And then "Life" is above that 04:13:34 i should really hit up some taxonomists on twitter to see wtf they do in the presence of cladistics 04:13:58 But what about maybe-life? 04:14:11 http://en.wikipedia.org/wiki/File:Mammal_Diversity_2011.png mammal diversity 04:14:12 viruses are a whole different ballgame. 04:14:20 they change way faster than the rest, for one. 04:14:28 Bike: Shouldn't that be cedis? 04:14:34 *sedis 04:14:36 I can't type 04:14:46 petition to designate richard nixon as the type specimen for H. sapiens 04:14:52 isn't that what i typed... oh, oops, yes sedis 04:15:06 We both did it :/ 04:15:13 Sgeo: also viruses may be paraphyletic which is pretty cool imo 04:15:47 that is cool 04:15:49 i actually have no idea about viral taxonomy. i'd grab a book on it if i didn't already have five books checked out 04:15:57 it doesn't take long for things like viruses to evolve in artificial life systems 04:16:18 it kind of ties into abiogenesis stuff. like, were virus-like things first, or did they arise from bacteria, or what. 04:16:22 right 04:16:26 Bike: I read the wiki page for paraphyly, still don't know what you mean by that 04:16:52 Sgeo: viruses being paraphyletic would mean that the last common ancestor of all viruses is not a virus, i.e. that virality arose several times independently. 04:16:53 so why has something like life only evolved once on earth, anyway? is it just that it took a really long time? or is it that anything life-like which starts out today gets eaten by the usual kind of life? 04:17:21 Ah 04:17:22 (how would you designate the latter, anyway? "nucleic acid life"?) 04:17:24 Sgeo: (or er that the tree of ancestry includes non-viruses anyway) 04:17:47 kmc: i've thought about that a decent amount, but part of it is you have to qualify the universality of life 04:17:48 I guess it's like asking why nobody has replaced UNIX 04:17:55 i mean, we pretty much all use RNA 04:18:05 BUT sometimes the amino acid coding is different! 04:18:10 yep 04:18:13 that's pretty cool 04:18:41 And some things, like lipid bilayers, those are just... convenient. I'm not sure how they would be replaced. 04:19:46 it probably comes down to "we don't know enough about abiogenesis to make decent guesses" though, which suckz 04:20:38 yeah 04:20:59 there was that one abiogenesis experiment but it turned out to be wrong? i have a great memory of high school bio class as you can tell 04:21:08 You mean Miller-Urey? 04:21:15 the "throw some gas in a tube and get amino acids" thing. 04:23:26 yep 04:26:07 yeah the conditions they used weren't really very early-earth-like, and besides that life is rather more complicated than a couple monomers 04:26:47 living organisms obviously have their bilayers and their nucleotides, but even with just proteins you need a damn complex system (itself made mostly of proteins) to make everything fold right... 04:27:30 yeah 04:27:41 there's the theory that RNA itself served as the enzymes at first, right? 04:28:57 Yeah. and rna even still does that in living organisms. 04:29:02 really 04:29:13 that's cool 04:29:17 yeah they call them 'ribozymes' 04:29:33 Because... I dunno? I guess having an r plus the zy makes it even cooler sounding. 04:29:33 what's the advantage of protein enzymes 04:29:48 advantage of DNA over RNA for data storage is durability? 04:30:23 that's about where my cargo culted molecular bio runs out i'm afraid 04:30:28 ok 04:30:35 i kind of think of proteins as being more... flexible 04:31:05 when you really look at how a protein works, often it's made up of like four separate "domains" that each do their own thing, have their own binding sites, but can induce conformational changes in the other domains (i think) and stuff like that 04:31:20 iunno if you could replace titin with rna, basically 04:33:22 mm 04:33:33 proteins are like, really complicated /mechanically/, and i don't know if you can do that while staying hereditarily stable, i guess... 04:33:48 ah yes 04:34:31 maybe it's like, separation of concerns. which is vague and the analogy hardly works at all god 04:35:23 and if you're doing a translation thing anyway then maybe amino acids are a more flexible thing to translate to 04:35:55 Bike: i was gonna make an analogy to hereditary source code vs. ephemeral build products but that's even worse ;) 04:37:25 i'm kind of thinking of this like, here's gentoo on a macbook, now figure out how MULTICS worked. 04:37:33 haha 04:37:58 and your main tool is, you can break parts of the macbook and see what still functions 04:39:38 you also have the fossil record, which is a bunch of partially accurate descriptions of how older linux distributions functioned you found on some help forums. 04:40:09 haha 04:40:19 okay time to ride some trains, ttyl all 04:40:22 have fun 04:56:09 > let hangman (x:xs) (y:ys) c | y == c = c : hangman xs ys c | otherwise = x : hangman xs ys c; hangman _ _ _ = ""; in hangman "____" "jazz" 'z' -- augur_ 04:56:10 "__zz" 04:56:43 prooftechnique: what 04:56:54 augur_: For the next time we play hangman 04:57:03 A terrible code snippet that will do the work for you 04:57:22 prooftechnique: what does it do exactly 04:57:49 you give it blanks, the real word, and a chosen letter, and it computes the filled in letters bla bla bla. 04:57:54 ^ 04:58:09 oh oh i see what you mean 04:58:21 It'll be a big help when you play against me. "methylenedioxymethamphetamine" is easy to remember, but the longer ones, welllll 04:58:47 its methylene-dioxy-3,4-n-methylamphetamine, to be precise 04:59:20 or 3,4 at the beginning, take your pick 04:59:22 it's party dust mother fucker 05:20:26 -!- doesthiswork has quit (Quit: Leaving.). 05:23:39 "Thus there exist initial configurations of N bodies in the plane in which several of the bodies will hit the unit circle within 1.2 s iff the Riemann hypothesis is false (and the trajectories may be interpreted as a description of a counterexample)" 05:25:23 does that require real number computation? 05:26:05 yeah, but the initial configuration can be computable. 05:26:15 obviously this isn't actually a practical help towards /finding/ a counterexample, but. 05:27:15 hm, the state of unsimulatable initial configurations is of measure zero though.. 05:27:18 this paper is weird. 05:29:04 also kind of informal. «The third and most complicated set of laws we discuss (and the one we will concentrate on) is "modified linearized general relativity", which has all the mathematically annoying features of SRTG, and also has tensors.» 05:31:42 http://www.theonion.com/articles/barbershop-pole-finally-runs-out,34491/ 05:32:59 Fiora: i think this stuff basically comes about because of the newtonian-physics-allows-infinite-energy thing. 05:43:02 -!- lambdabot has quit (Ping timeout: 240 seconds). 05:47:30 -!- Jafet has quit (Ping timeout: 245 seconds). 05:48:09 -!- Jafet has joined. 06:04:15 -!- nisstyre has joined. 06:14:34 -!- Jafet has left. 06:41:13 -!- asie has joined. 06:45:50 A computer program just called me a distinguished Haskell coder 06:45:55 Based on ... not very much 06:46:00 What program? 06:46:01 http://osrc.dfm.io/Sgeo 06:46:11 Open Source Report Card 06:46:33 What is it based on? 06:46:53 GitHub profile 06:47:40 Bike: how does that thing work? 06:47:58 the infinite energy thing 06:47:59 ? 06:48:19 Not everyone has GitHub profiles though, and there may also be many programming languages that GitHub profiles do not yet include. 06:48:52 I tried to read Xia's paper once but it was beyond me 06:49:23 yeah 06:49:29 Basically, with the right initial conditions (and the paper is about what these conditions are) you can get an object infinitely far away in finite time 06:49:37 but of course, that's just restating "infinite energy". 06:52:10 I did get far enough to read that Xia's construction uses five bodies and is symmetrical across one axis. 06:52:36 So I kind of imagine four bodies moving back and forth as the last goes straight between them, getting faster and faster exponentially (or uh, superexponentially i guess?) 06:53:13 is that possible without arbitrarily small distances between objects? 06:53:39 like. if you apply a constraint like the planck length does it stil work 06:54:11 that would probably be a whole other paper. the classical n-body equations are in continuous spacetime. 06:54:21 oh. so it's not like. realistic 06:54:29 I guess? 06:54:39 Newtonian physics is unrealistic to begin with, though. 06:54:47 Because, I mean. Einstein. 06:55:49 oh. so like, relativity doesn't have that ""vulnerability""? 06:56:13 Can't exactly get to an infinite speed, now can you? 06:57:05 xia's paper is http://www.jstor.org/stable/2946572 if you want to take a crack but it's long and hard 07:06:05 oh, there's a short explanation of another construction in this paper... 07:06:12 it involves arranging things so that an asteroid moves polygonally. @_@ 07:06:22 @_@ 07:07:03 And uh the infinitizing comes by... 07:07:14 As a consequence of properties I–III, the entire N-gon expands in roughly geometric progression to infinite 07:07:18 size, but the asteroid traverses the N-gon edges in durations of time which shrink roughly geometrically 07:07:21 toward zero. In consequence, the asteroid travels an infinite number of circuits around the N-gon (and this 07:07:24 is an infinite distance), as the N-gon grows to infinite size, in a finite time tsingular, 07:08:04 so, that's basically insane. 07:09:48 so like does this mean newtonian mechanics doesn't conserve energy? 07:10:37 Um... I think in this construction, as the asteroid speeds up super fast the stars it's orbiting slow down. 07:10:54 does that mean you need an infinite number of stars or something? 07:11:02 since like, the energy has to come from somewhere 07:11:37 it comes from the stars slowing down. i think. 07:11:42 Does it violate things like that? Without doing such an experiment, or proving it mathematically inconsistent, it isn'ta reason to call such a theory wrong. (Now we do, but that doesn't seem a way?) 07:11:48 the stars start with an infinite amount of energy... (???) 07:12:11 zzo38: you're going to need to rephrase that more readably 07:12:17 Fiora: i don't know. math is hard 07:12:32 pretty sure newton is supposed to conserve energy though so lol i dunno 07:12:37 maybe i was wrong in talking about infinite energy 07:13:19 maybe just, like, unbounded? 07:13:29 maybe. 07:13:34 Bike: What, is he running out of food or something? 07:13:45 that is a joke i do not understand 07:14:07 Bike: O, I thought it is clear to me at least. 07:14:26 it's not very good anyway 07:14:32 "A baseball player on a frictionless plane surface flings a ball against a wall repeatedly" physics.jpg 07:35:28 http://www.theonion.com/articles/man-who-drinks-5-diet-cokes-per-day-hoping-doctors,34570/ this is me 07:36:15 Hoping doctors are what? 07:36:33 "working on a cure for whatever he's getting" 07:36:38 It's an expressio, zzo38. 07:36:46 Like "raining cats and dogs". 07:37:10 n 07:37:48 zzo38: i learned to play Magic: The Gathering 07:38:16 are you any good at it? 07:38:51 probably not 07:42:57 -!- doesthiswork has joined. 07:42:59 shachaf: Do you think some of the rules are too klugy? 07:43:15 @wn klugy 07:43:25 int-e: :'( 07:43:30 -!- doesthiswork has quit (Client Quit). 07:44:51 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 07:46:21 zzo38: It's v. complicated. 07:47:38 -!- nisstyre has quit (Quit: Leaving). 07:58:04 i used to play mtg 07:58:10 i even have cards and stuff 07:58:35 I have no cards, but I sometimes do play the game (not very commonly though). 07:59:39 http://gatherer.wizards.com/pages/Card/Details.aspx?multiverseid=3315 i have this guy 08:00:15 i played this as a kid and i always mainly tried to manage to play that 08:00:29 oklopol: Is "unaffected by summoning sickness" distinct from "Haste"? 08:00:43 it may be the old name 08:00:45 that card is too good 08:00:45 Haste makes it unaffected by summoning sickness. 08:00:51 -!- asie has joined. 08:01:08 i also had 4 cards that simply let you play that card 08:01:25 Haste is a very old mechanic, and has existed at least since 4th Edition on Ball Lightning. However the Haste keyword was not added until much later. 08:01:30 http://mtg.wikia.com/wiki/Haste 08:02:08 (Summoning sickness is given to all permanents when they enter play/are created. At end of each turn, all permanents lose summoning sickness. Creatures with summoning sickness cannot attack, and any abilities with the tap symbol in their cost are unusable if it is a creature.) 08:02:22 zzo38: All permanents? I thought it was just creatures? 08:03:02 Hmm, "unusable if it is a creature". So non-creatures have summoning sickness but it's unobservable? 08:03:20 haha 08:03:56 shachaf: Yes, like that. It is also unused if the permanent has the Haste ability. 08:04:19 most of my friends play all sorts of rpg and card games and watch anime and stuff 08:04:41 oklopol: do you know things about chu spaces 08:04:45 oh and dota2 08:04:51 and other computer games 08:04:57 i doubt i do 08:06:01 oklopol: well anyway can you define a topological space/system/thingy as a product of some C and D^op 08:06:09 my first impression is that chu spaces sound a bit silly, topological spaces are already much more general than you need in real life 08:06:21 (usually) 08:06:27 oklopol: well look at the definition of a morphism though! what's with that 08:07:03 of morphisms between chu spaces? 08:07:07 yes 08:07:14 let's see 08:07:26 Understood statically, a Chu space (A, r, X) over a set K consists of a set A of points, a set X of states, and a function r : A × X → K. This makes it an A × X matrix with entries drawn from K, or equivalently a K-valued binary relation between A and X (ordinary binary relations being 2-valued). 08:07:40 okay maybe i should first try to parse that 08:07:42 so it's sort of like an adjunction (can you make it an actual adjunctiony thing by having p/q in p(f(a),b) = q(a,g(b)) be functors sort of like hom functors) 08:07:57 are you asking me? :P 08:08:08 Maybe. 08:08:13 i can't even make sense of the binary relation crap 08:08:23 oklopol: Well, the "topological system" thing in this book is less general than Chu spaces. 08:09:02 In particular, there's a "frame" -- a lattice that has finite meets and arbitrary joins, such that meets distribute over joins -- and a set of "points" 08:09:04 Bike: it just calls a function a binary K-valued relation. 08:09:15 but why 08:09:19 i mean a function from A times X to K is called a binary K-valued relation 08:09:22 i don't know why 08:09:30 Where the frame corresponds to the topology, of course. 08:10:51 So you have (X,A) where X is a set of points and A is a lattice of "opens" (which aren't sets, just things). And you have a "satisfies" relation, x |= a, that tells you whether a point satisfies an open. 08:11:20 You could say that points are what things "are" and opens are what observations you can make of them. 08:11:31 so A and X are the other way around than in wikipedia? 08:11:49 IS THAT IMPORTANT 08:11:50 Let me see. 08:11:57 Oh, I just used the other letters. 08:12:11 so what do you get out of this 08:12:17 The definition of Chu space is completely symmetrical so it doesn't matter. 08:12:30 But this one isn't, since you have a set and a frame. 08:12:45 okay so that's something between a topological spaces and a pointless topological space i guess 08:12:54 Right. 08:13:05 In fact if X = {} you get a pointless topological space, I guess. 08:13:14 perhaps it's exactly the latter (it's properly more general than the former though) 08:13:27 erm 08:13:36 oh err. 08:14:18 i figured two opens are indeed distinct iff they have different points (they are then sets, but it's still more general than the usual notion of topology) 08:14:21 I think there's some adjunction relation with functors between this thing and topological spaces and locales being forgetful/free or something. I don't remember. 08:14:40 No, you could have distinct opens that satisfy the same points. 08:14:45 alrighty 08:14:47 Er, that are satisfied by. 08:14:58 can you have U < V even if U has more points 08:15:05 That's the "that the open sets be extensional" part of the Chu space page. 08:15:05 in the lattice 08:15:43 Hmm, I'm not sure. 08:15:47 or does the frame somehow be a refinement of a sublattice of the lattice of subsets of X at least (if that makes sense.) 08:15:55 "does it be" 08:16:21 good lyric 08:17:03 OK, there are requirements on |= 08:17:42 "If S is a finite subset of A, then x |= Join S <-> x |= a for all a in S" 08:17:59 Sorry, "Meet" 08:18:07 "If S is a finite subset of A, then x |= Meet S <-> x |= a for all a in S" 08:18:33 "If S is any subset of A, then x |= Join S <-> x |= a for some a in S" 08:18:53 okay the morphisms of chu spaces certainly seem adjunctive. however, i do not quite get them yet. 08:19:21 Well, the definition is pretty intuitive from the perspective of topological systems, at least. 08:19:41 If you think of opens as "finite observations" that you can make about points. 08:19:47 ("adjunctive" in a very non-mathematical sense that this looks vaguely similar to some things i've seen when trying to understand adjunctions.) 08:19:54 (Right.) 08:20:38 So you might have bit streams as points, and "starts with 00101" as an open. 08:21:04 But "the stream is all 0s" not as an open, because it observes an infinite amount of information, say. 08:21:23 okay "x |= Join S <-> x |= a for all a in S" and "x |= Meet S <-> x |= a for all a in S" makes things pretty simple 08:21:25 Or "this real number is within the interval (x-d,x+d)" 08:21:39 but perhaps that's a typo. 08:21:52 No, one of them was wrong. 08:22:04 so it seems that joins are really set-theoretical joins and meets are really set-theoretical meets, and the lattice is there only for presentational reasons? 08:22:20 i mean associate with each open the set of points that satisfy it 08:22:28 By set-theorical joins/meets do you mean unions/intersections? 08:22:39 now the join of 2 opens is open, and is satisfied by exactly the union 08:22:42 yes 08:23:04 Yes, clearly for any topological space (X,ΩX), (X,ΩX,∈) is a "topological system". 08:23:32 But even if the set of points is empty you can have lots of different topological systems with different frames. 08:23:44 i thought the definition of join and meet was w.r.t. the lattice itself (in the abstract sense), so that they are just minimal upper bound etc.. then you get some weird additional stuff for i think. 08:23:46 Since there's no requirement that opens are extensional. 08:23:48 *-for 08:24:21 I'm not sure what you mean? 08:24:29 well it doesn't matter 08:24:45 the current definition is interesting enough 08:25:22 Anyway so if you think of opens as observations that you ought to be able to make, then you might ask what a structure-preserving function between (X,A) and (Y,B) could be. 08:25:45 Clearly it maps points to points, so you have f : X -> Y 08:26:34 But if b is some B-open, and f(x) |= b, then that's a finite observation you were able to make (by using f and an observation in (Y,B)). 08:26:53 (About x.) 08:27:02 true 08:27:07 So there ought to be some A-open that x satisfies, if it's structure-preserving. 08:27:28 oh that's the role of the backmap 08:27:33 should'be 08:27:35 erm 08:27:39 should've been obvious i guess 08:27:40 In particular, given f, there ought to be some thing g : B -> A such that f(x) |= b iff x |= g(b) 08:27:44 Right. 08:28:02 And it works out nicely for g to be a frame homomorphism, of course. 08:28:59 So a "continuous function" between (X,A) and (Y,B) is defined to be (f : X -> Y, g : B -> A) such that f(x) |= b iff x |= g(b) 08:29:00 that's something we require i guess? 08:29:07 (And g is a frame homomorphism.) 08:29:55 hmm 08:30:18 okay in the case of usual topology, g is precisely the map that maps an open to its f-preimage i guess 08:30:23 If you take a topological space, so that b is an open set, then clearly this is just defining g to be -- right. 08:30:56 So the morphism is entirely defined by f. 08:31:06 welllll 08:31:31 if the frame is like injective in the sense that no two opens have the same points 08:31:37 then i guess it's determined by f 08:31:49 I mean in the case of a usual topological space. 08:31:52 right 08:31:53 In general it isn't, of course. 08:32:01 (For example when X is empty.) 08:32:05 in general, i guess you explicitly require that it's a lattice homomorphism? 08:32:21 g? A frame homomorphism, yes. 08:33:13 The counterpart of a continuous function from (A, r, X) to (B, s, Y) is a pair (f, g) of functions f : A → B, g : Y → X satisfying the adjointness condition s(f(a), y) = r(a, g(y)) for all a ∈ A and y ∈ Y. 08:33:18 okay i totally get this now 08:33:29 that looked really weird a few minutes ago. 08:34:07 Right, so a Chu space generalizes a frame to not necessarily be a frame, and generalizes |= : (A,X) -> Bool to |= : (A,X) -> K 08:34:56 btw 08:35:03 let X be a topological space and Y a subset 08:35:24 then you get a topological system on Y by taking as the frame the opens of X 08:35:30 with their order 08:36:08 the frame is always the same as it was in X, but for example if Y = {} then the satisfaction relation is pretty trivial. 08:36:15 perhaps all topological systems arise this way? 08:37:43 Hmm, it's possible. I don't know. 08:38:04 in general topology, subspaces are defined the same way (except you add Y as an open set), but some open sets of X become the same set for Y; now you just don't identify them. and i guess it makes sense for the "frame" of the sub-topological system to be the same as the frame of the original space. 08:38:52 (makes sense in the sense that the word "frame" could be considered to suggest that) 08:39:09 (or it could be considered to suggest anything else i guess) 08:40:45 I think possibly this book talks about that but I've only read some of it so far. 08:41:14 so which book 08:41:25 Topology via Logic 08:42:45 So this "adjointness condition" thing and the backwards-and-forwards maps thing are a bit strange. 08:42:59 i don't really get adjointness 08:43:27 It sounds like maybe you could define it as some product C × D^op or something, if you could figure out a nice way of talking about the extra condition. 08:43:38 (i've tried to get it quite a few times) 08:44:22 The usual definition of an adjunction F -| G is that Hom(F(A), B) ≅ Hom(A, G(B)), natural in A and B 08:44:27 (Where F and G are functors, of course.) 08:44:40 btw i've noticed you're on #categorytheory, did you perhaps mention the channel at some point? i have no idea why i'm there myself 08:44:57 yeah but what's "natural in A and B" 08:45:22 So this is very similar, except it's dealing with functions instead of functors, and it generalizes Hom_C/Hom_D to s/r. 08:45:23 something that takes a page to define and a week to take in, and then it's obvious? 08:45:45 Well, it means you have a natural isomorphism between functors. 08:45:51 I don't know if I mentioned ##categorytheory in here. 08:46:05 between what functors 08:46:08 Naturality does take a bit to take in. 08:46:12 Hom(F(A), B) is not a functor, it's a set. 08:46:27 The functors \a b -> Hom(F(a), b) 08:46:36 Which is : C^op x D -> Set 08:46:41 oh. 08:46:52 Er, and the other Hom functor which gets the same type, of course. 08:47:42 that's actually something that sounds understandable 08:48:27 Usually people write it Hom(F(-), -) and so on 08:48:43 When you say "natural in X" it means that X is implicitly an argument. 08:49:01 but you have to guess what categories are dualed 08:49:04 And that you have a natural transformation. 08:49:12 well 08:49:16 i guess there's no choice... 08:49:21 Well, Hom_C : C^op x C -> Set 08:50:02 And F : D -> C, and we overload that to mean F : D^op -> C^op because it's the same thing. 08:50:19 sure 08:50:28 I guess you could write Hom(F^op(-), -) ≅ Hom(-, G(-)) 08:51:10 i'm not sure that's helpful though (is it unambiguous even?) 08:51:42 i guess it is 08:51:59 It's not very standard because it's usually pretty obvious which way F is being used. 08:52:39 obvious to some 08:52:56 not obvious to slow noobs 08:54:20 Anyway, it seems pretty related to this whole topological system and/or Chu space thing. 08:54:26 so F and G are adjoint if the functors \a b -> Hom(F^op(a), b) and \a b -> Hom(a, G(b)) are adjoint, as functors C^op \times D \to Set 08:54:30 is that the definition 08:54:39 Are naturally isomorphic. 08:54:46 erm right 08:54:48 ;D 08:55:09 That's a definition. 08:55:18 https://en.wikipedia.org/wiki/Adjoint_functors#Hom-set_adjunction 08:55:24 naturally isomorphic = there's a natural transformation from F to G such that every object map F(x) \to G(x) is an isomorphism 08:55:42 That sounds right. 08:56:51 (A natural isomorphism is probably defined as a pair (f : F -> G,g : G -> F) such that f . g = id, g . f = id with natural transformation composition. But I think that works out to the same thing.) 08:57:02 okay i guess that explains everything you just did 08:57:16 i haven't looked very closely at that definition, just the previous one 08:57:18 and it's too complicated 08:57:57 The unit-counit one is also nice but from a different perspective. 08:58:14 This is probably the simplest definition. 08:58:39 Note that when F has an inverse, it's always adjoint to its inverse. 08:58:48 probably, at least it looks like something i could understand if i spent half an hour looking at mental images of diagrams 08:58:56 might be a useful half an hour 08:59:13 adjoints are in some sense unique right 08:59:20 But if it doesn't have an inverse it might still have adjoints which you can think of as a best effort at an inverse or something. 08:59:26 Yes. 09:00:14 i don't actually know what an inverse functor is, or at least what precisely should be required from one 09:00:38 in any case again that clarifies a lot 09:01:29 Well, the most obvious definition would be that you have an isomorphism between categories. 09:01:55 I.e. F . G = id, id = G . F 09:02:07 i guess F's inverse if G such that F \circ G and G \circ F are naturally isomorphic to the identity functors? 09:02:17 oh err exactly equal? 09:02:31 oh okay you mean that's the obvious one 09:02:44 Well, "exactly equal" is in practice too strong, you just want "naturally isomorphic". 09:02:47 right. 09:02:56 so that you get for example equivalence with skeleton 09:03:11 If you pick "exactly equal" you get isomorphism of categories, which isn't really what you want in practice, so you use "naturally isomorphic" to get equivalent of categories. 09:03:35 And if you have F,G that give you an equivalence of categories then they're adjoint too. 09:04:00 You can often think of the special case of categories which are posets, and functors which are monotonic functions. 09:04:26 Where "≅" turns into "iff" and these are called "Galois connections" and people say it's simpler. 09:04:39 dude you are so wise 09:05:09 galois connections are awesome i hear 09:05:26 I hear that too but I don't understand them all that well. 09:06:27 Anyway, if you think of some way to relax "F . G ≅ id" and "id ≅ G . F", you might end up saying that those should just be natural transformations instead of isomorphisms. 09:06:39 That's the unit-counit of the other definition. 09:06:54 eps : F . G -> 1, eta : 1 -> G . F 09:07:25 You can think of it in the case of posets as relaxing f(g(x)) = x and x = g(f(x)) to f(g(x)) ≤ x and x ≤ g(f(x)) 09:07:59 oh okay 09:08:07 And there are some laws, namely that if you eta-and-then-eps you end up where you started. 09:08:31 Except they work in different categories, so it's more like "eps . fmap eta = id" and "fmap eps . eta = id" 09:08:49 I.e. https://en.wikipedia.org/wiki/File:AdjointFunctorSymmetry.png 09:09:14 Going back and forth between these definitions is a good way to figure them out. 09:09:56 fmap? 09:10:15 Well, that's how you write it in Haskell. 09:10:38 It's "eps . F eta" and "G eps . eta", or maybe the other way around. 09:11:40 Actually it's not exactly eps, it's eps-of-F-of, but anyway when you try to work out how these things could possibly compose there's only one way that makes sense. 09:12:58 Hmm, I guess talking about this helped me figure out part of my question. 09:13:27 i'm not really used to thinking about what makes sense when taking in definitions 09:13:51 OK, well, take the exact definition from Wikipedia or nlab. 09:15:02 The definition of continuous function didn't quite make sense to me until I saw the topological system formulation of it. 09:15:19 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 09:15:25 Where it's vaguely obvious -- it's just a structure-preserving map as usual. 09:18:24 what's F eta 09:18:44 eta is a functor from D to itself 09:18:47 erm 09:18:50 what am i saying 09:18:54 eta is a natural transformation 09:19:19 eta is a natural transformation from 1_D to GF 09:19:24 right 09:19:36 and now we're composing if with a functor from D to C 09:19:37 Ah, see https://en.wikipedia.org/wiki/Natural_transformation#Operations_with_natural_transformations for the notation used in that article. 09:20:06 (F eta)_x means F (eta_x) 09:20:12 (i've gone down this road but i usually lose patience at some point :P) 09:20:42 So for eta : G -> H, F eta : F.G -> F.H 09:21:12 And (eta F)_x = eta_(Fx) 09:22:10 eta F : G.F -> H.F 09:22:25 (I'm explaining this much more confusingly than Wikipedia so just read that.) 09:23:41 well it's helpful to have someone be all like lol this is easy 09:23:53 usually i don't have much pressure to learn this since i don't know anyone who knows category theory 09:24:33 I don't know category theory. :-( Sometimes I pretend to know a bit on IRC. 09:25:10 Pullbacks! 09:25:12 But it certainly seems like it's relevant here to the whole adjointness thing. 09:26:16 Maybe you can generalize Chu spaces to work in arbitrary categories, with p/q being functors rather than functions? 09:26:58 I mean the ones in p(f(a), b) = q(a, g(b)) 09:27:11 Except this is already more general than adjunctions in a couple of ways. 09:27:48 Talking about f . g doesn't even make sense here because A/B and X/Y are two different kinds of things, not necessarily both categories/sets/whatever. 09:28:22 And p/q aren't Hom, they're just functions. 09:29:12 (Saying that p/q are "2-valued" as opposed to "K-valued" seems a bit like talking about posets/preörders instead of general categories.) 09:30:50 Let's put the contravariant argument first to make it more like Hom. 09:31:37 So a space-system-thingy is (A,X,p : A×X -> K) 09:31:58 i had a dream that i tried to put my pants on and it was incredibly hard 09:32:08 putting them on i mean 09:32:33 i was just about to step outside my apartment, when i realized i had no clothes on 09:33:12 my girlfriend and her sister were inside, and i was embarrassed that they'd know i almost went outside without any clothes on so i started putting them on at the door, while afraid that someone would see me 09:33:15 and it took forever 09:33:40 ...but yeah do continue 09:33:59 -!- asie has joined. 09:34:07 And a homomorphism : (A,X,p) -> (B,Y,q) is (f : B -> A, g : X -> Y) s.t. for any b : B, x : X, p(f(b), x) = q(b, g(x)) 09:34:10 Does that sound right? 09:34:27 so what are A, X, p and K here 09:34:39 sets, categories or nostrils? 09:34:46 In a Chu space? I think they're just sets and functions. 09:34:57 oh i thought you were already generalizing there. 09:35:15 No, this is still the old Chu space thing. 09:35:27 Just rephrased a bit. 09:35:32 so the latter guy in the tuple is the points 09:35:36 and the first is the frame 09:35:41 "frame" 09:35:43 Right. 09:35:59 So one issue here in the definition of Chu space is that f is just a regular function, not a homomorphism. 09:36:15 sounds right yes 09:36:48 So I guess you should say that A/B are objects in one category and X/Y are objects in another category. 09:36:57 And f/g are morphisms. 09:37:05 sure 09:37:35 Running out of letters. :-( 09:37:44 ö, ä, å 09:38:06 OK, using categories instead of functions makes it clearer, actually. 09:38:39 So we have (A : C, X : D, p : A^op × X -> K) 09:38:42 Where p is a functor. 09:38:44 -!- prooftechnique has quit. 09:38:45 Right? 09:39:22 There are probably properties that we want p to satisfy to make it "Hom-like". 09:39:42 Isn't there a thing for functors that are like Hom? 09:40:08 Related to presheaves or something, maybe? 09:40:08 when you say p is a functor 09:40:22 do you mean p is a functor from C^op \times D to K 09:40:31 or what's a functor from an object 09:40:35 to a category 09:40:43 Er, you're right, that made no sense. 09:41:13 OK, so that doesn't work. 09:41:21 What does A×X even mean when A and X are objects? 09:41:40 (In different categories.) 09:41:45 it means the tuple (A, X)? 09:41:51 hmm 09:42:13 I'm mixing up levels here. 09:42:36 but yeah it seems you are trying to work with morphisms between objects that come from different categories 09:42:58 which is beyondly stuff. 09:43:40 Well, right. That's one of the ways in which these Chu space things are weirder than regular adjunctions. 09:44:16 this is the most interesting channel i keep not looking at because i don't understand a word 09:44:27 OK, so the old definition: A space is (A : Set, X : Set, p : A×X -> K) 09:44:50 Where K is some global fixed thing. 09:45:44 A homomorphism : (A,X,p) -> (B,Y,q) is (f : B -> A, g : X -> Y) s.t. forall b∈B, x∈X, p(f(b), x) = q(b, g(x)) 09:47:12 Hmm. 09:47:22 -!- nooodl has joined. 09:48:42 hi nooodl! 09:48:46 hi 09:50:15 oklopol: help 09:50:22 :P 09:51:04 i have no idea how that should be generalized 09:51:19 As it is it doesn't even cover our old notion of topological systems. 09:51:28 Since we can't get frame homomorphisms. 09:52:21 Maybe we can relax the "K-valued relation" thing for a bit and bring back the iffs. 09:52:29 Does that even help? 09:52:41 -!- carado has joined. 09:52:58 iffs sound uncategorical 09:53:04 Yep. 09:53:25 I just want something that lets you express the topological system thing in a reasonable way. 09:53:46 But I'm pretty sure p ought to be something more than a function somehow. 09:53:46 well umm 09:54:07 It's so much like Hom. 09:55:05 you have two categories, the one of points (Set) and the one for frames (Lattice?). a topological system is, first of all, a tuple (X, A) where X is from the point category and A is from the frame category but how do you say which points are in which opens? 09:55:32 Frames aren't just lattices, they're a bit more. 09:55:52 you mean because they have infinite joins or what 09:56:00 And meets distribute over joins. 09:56:11 Anyway, a system is (X, A, |=), I guess. 09:56:25 let's say that's what Lattice is the category of. 09:56:31 but okay let's call if Frame 09:56:45 https://en.wikipedia.org/wiki/Complete_heyting_algebra calls it Frm 09:56:56 still how do you connect two objects from different categories 09:57:09 Anyway, "satisfies" is a relation, |= ⊆ X×A 09:57:10 i guess you could have a fixed functor from Frm to Set 09:57:13 or something 09:57:21 In the book's definition. 09:57:23 Which is a pretty unsatisfying way of doing it. 09:57:24 or maybe that's a bad idea 09:59:51 Maybe I should read http://boole.stanford.edu/pub/coimbra.pdf 10:00:13 Ugh, it calls the points A and the "states" X. 10:00:20 That's too confusing for me. 10:01:27 proves that functions between Chu 10:01:27 spaces are continuous if and only if they are homomorphisms. 10:01:52 sounds about right? 10:02:02 whatever that means 10:02:53 -!- impomatic has quit (Ping timeout: 272 seconds). 10:03:20 Well, given the definition of continuous that they have in that PDF, sure. 10:04:02 Oh, I should have read all of the Wikipedia article, too. 10:05:00 So if you put everything in some monoidal category you can do all the same things. 10:05:19 -!- MindlessDrone has joined. 10:05:55 I.e. a (C : Cat, K : C)-space is (A : C, X : C, p : A⊗X -> K) 10:06:50 And a morphism : (A,X,p) -> (B,Y,q) is (f : B -> A, g : X -> Y) s.t. forall b:B, x:X. p(f(b), x) = q(b, g(x)) 10:07:00 Where maybe = means isomorphic? 10:08:08 Maybe we can recover the usual notion of adjunction from that. 10:09:15 Chu(Cat, Set), where every p is p(-,-) = Hom(-^op,-) 10:09:42 Having to insert that ^op is really ugly, surely there's a nicer way to express all this? 10:11:27 " Where maybe = means isomorphic?" i would default to "equal" 10:12:12 "isomorphic" gives us the wrong thing in the Set case. 10:12:28 But it gives us the right thing in the category case. :-) I don't know. 10:13:58 But neither of them lets us do the thing where we have two different categories. 10:14:38 what does p(f(b), x) = q(b, g(x)) doesn't even mean? is C a concrete category 10:14:58 *-doesn't 10:15:39 I think it means that I'm saying complete nonsense again. Sigh. 10:16:05 So what am I trying to say here? 10:16:54 The original Chu construction as described in Po-Hsiang (Peter) Chu’s master’s 10:16:57 thesis took a symmetric monoidal closed category V with pullbacks and an 10:16:59 object k of V and “completed” V to a self-dual category Chu(V, k). 10:17:37 "forall b:B, x:X. p(f(b), x) = q(b, g(x))" could be changed into "p \circ (f \times id_X) and q \circ (\id_B, g) are isomorphic morphisms in some category (the arrow category?)" maybe, assuming the category has products in a nice sense. 10:17:50 or maybe that means nothing either 10:18:14 what's closed category, does that mean cartesian closed i wonder 10:18:41 oh 10:18:42 "monoidal closed" is like "cartesian closed" but with some monoidal category, not necessarily categorical product. 10:18:43 not at all i guess. 10:19:47 analogy with categories enriched in V [Kel82] one might refer to the 10:19:47 objects of the general Chu construction Chu(V, k) as V -enriched Chu spaces, 10:19:48 and indeed Chu(V, k) can be formulated as a V -category, one whose hom-objects 10:19:49 are objects of V . 10:19:53 Hmm. 10:22:21 Oh, hmm, apparently Chu spaces were introduced in the context of https://en.wikipedia.org/wiki/*-autonomous_category 10:23:20 Maybe that can be a place for the ^op to come from? 10:23:32 maybe, maybe. 10:23:33 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 10:23:45 why is category theory so harrrrd 10:23:47 Oh, probably not. 10:23:51 sooooooooo harrrrrrrrrrrrrrrrrrrrrd 10:23:57 ⊥ is an actual object here. 10:25:42 I'm too tired now to think about any of this. 10:25:48 oklopol: Thanks for your help! 10:26:17 i was helpful?? i thought you were teaching me. 10:26:36 but you're welcome i guess :P 10:27:27 It looks like de Paiva's thesis was about something related to all this. 10:27:42 there are basically no courses that talk about category theory at our university 10:27:45 it's crazy 10:27:57 I hear she sometimes comes to bacat. Maybe we can get her to talk about it. 10:27:57 -!- mig22 has joined. 10:28:34 Well, the thing I was "really" trying to understand was the whole topological systems/Chu spaces bit. But it seems so categorical. 10:30:03 right 10:30:27 -!- Jafet has joined. 10:36:20 When I was asking whether you could express the space/system/whatever as some sort of C×D^op, I was focusing too much on (A,X) and not enough on p. 10:37:08 But p is the important thing here anyway. 10:37:41 So that's why I wanted to say something like p : A^op×X -> K 10:38:37 But that doesn't make sense as-is and I don't know what sort of thing p would be or what sort of thing ^op would be such that it causes the arrows to be reversed. 10:38:59 Anyway, I'm going to sleep. 10:49:34 night! 10:50:08 and yeah i too have no idea what anything should be, is, will be, or squirrels about. 11:06:05 What sort of games could be made out of category theory? 11:09:58 Or other various mathematical systems? 11:10:37 I have managed to make some out of sequent calculus. 11:17:30 -!- zzo38 has quit (Quit: zzo38). 11:35:42 -!- ais523 has joined. 11:41:16 -!- yorick has joined. 11:45:03 -!- Taneb has joined. 11:56:03 -!- Taneb has quit (Read error: Connection reset by peer). 11:57:34 -!- asie has joined. 11:57:39 -!- Taneb has joined. 12:04:34 -!- mig22 has quit (Quit: mig22). 12:04:35 -!- auzboz has joined. 12:08:59 -!- auzboz has quit (Ping timeout: 250 seconds). 12:44:26 oh wow, someone created a substitute-all-the-symbols language that /isn't/ based on brainfuck? 12:44:36 that doesn't make it any better as a language, but at least it's more original than usual :) 12:44:49 * ais523 wonders what the Phantom Hoover verdict on that sort of language is 12:45:20 i'm learning Io 12:56:11 -!- impomatic has joined. 12:59:15 -!- KingOfKarlsruhe has joined. 13:05:23 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 13:37:18 -!- Phantom_Hoover has joined. 13:38:41 -!- asie has joined. 13:52:20 ais523: it's not the first time. RAGE!!! is a syntax replacement for python 13:52:46 -!- MindlessDrone has quit (Quit: MindlessDrone). 13:53:01 quintopia: right 13:53:16 so it currently seems to be BF-or-(non-eso)-language, right? 13:53:40 i can't think of one that doesn't fit one of those two, no 13:56:50 -!- mig22 has joined. 13:59:20 ais523: i have a challenge for you. come up with an algorithm that clears cells from an infinite BF tape based on a (cautious not-likely-to-make-type1-errors) analysis of the portion of the program that has left to be run 13:59:28 http://en.wikipedia.org/wiki/Celestial_Eye 13:59:34 jesus 13:59:47 quintopia: I'm not 100% sure what you mean by that 13:59:50 basically "it looks like this cell will never be read or written again, so delete it" 13:59:54 is this about BF Joust or regular BF? 14:00:05 it's really about SELECT. 14:00:12 right 14:00:14 but say BF 14:00:16 http://en.wikipedia.org/wiki/Bubble_Eye 14:00:19 OK this is just silly 14:00:28 so it's an attempt to throw away memory that will never be touched again? 14:00:39 I just added a command for that in Shove 14:00:47 which is a bit of a cop-out 14:00:55 -!- oerjan has joined. 14:07:31 -!- S1 has joined. 14:11:10 -!- mig22 has quit (Quit: mig22). 14:19:48 -!- S1 has left. 14:25:04 -!- impomatic has quit (Quit: impomatic). 14:33:58 @tell fiora is that possible without arbitrarily small distances between objects? <-- i am assuming no, since that's the only way i can see you getting infinite kinetic energy from potential... 15:11:57 A black hole should be able to give you infinite kinetic energy, right? 15:13:42 -!- MindlessDrone has joined. 15:14:29 FreeFull: by accelerating you to infinite velocities? 15:14:55 Yeah. There might be problems with regards to time though 15:15:35 With regards of an external observer, you never even cross the event horizon 15:17:51 FreeFull: this was about newtonian mechanics, which doesn't have black holes. 15:18:49 Newtonian mechanics has an infinite speed of light, right? 15:19:29 it might, in any case other objects don't have a speed limit. 15:20:52 In Newtonian mechanics, you need either infinite velocity or mass 15:21:27 Which probably does mean accelerating towards a singularity 15:22:08 the previous discussion was about how you _can_ get infinite speed in newtonian mechanics, even without starting with it. 15:22:18 for point masses, anyway. 15:27:11 is that through abuse of the rocket equation or sth 15:29:06 Phantom_Hoover: just plain gravitation, no other forces. 15:30:25 as i was implying to Fiora, it's probably borrowing potential energy from two of the masses getting infinitely close/colliding. 15:33:03 ah 15:33:18 well, two point masses falling towards each other will go infinitely fast won't they 15:34:10 think so. although the actual example has a point mass going infinitely fast towards infinity. 15:45:39 -!- oerjan has quit (Quit: Later). 16:07:29 Phantom_Hoover: golddfish breeding is kind of messed up sometimes. 16:08:19 it seems to consist mostly of "how much can we fuck up a goldfish and still be able to breed it" 16:09:17 yeah. :( 16:14:56 -!- lambdabot has joined. 16:18:12 Well, that was odd 16:18:24 Someone hid the carpet from my flat's hallway 16:19:20 dastardly 16:22:13 Then, when everyone was standing around the bare underlay, he said "We need to cover it up. Maybe we can cover it up with this?", holding the carpet 16:26:25 this sounds way more fun than my halls 16:53:53 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 16:57:49 -!- conehead has joined. 17:09:27 -!- Phantom_Hoover has joined. 17:25:45 -!- sebbu has quit (Ping timeout: 268 seconds). 17:36:50 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 17:46:33 -!- sebbu has joined. 17:49:04 Today's innovation: In many (Windows) games, I can keep an SSH client open on a second monitor, while the game itself is fullscreen on the first -- but typically there's no way of interacting with the SSH client without alt-tabbing out of the game. However! I can "screen -x" the same screen window that's visible in the SSH client from a mobile device, and then connect a small Bluetooth ... 17:49:10 ... keyboard to that mobile device. And now I have a separate keyboard for blathering in IRC or whatever. So fancy. 17:51:17 Is there a way to have two different keyboards on the same device interacting with different windows 17:51:36 -!- Phantom_Hoover has joined. 17:51:47 You could certainly hack something up for that. 17:52:10 Write something that listens for /dev/input/eventX of the other keyboard, convince X not to listen to it, and have that program synthesize key events. 17:52:11 -!- Sgeo has quit (Read error: Connection reset by peer). 17:52:22 I don't know of any out-of-the-box solutions, though. 17:52:38 There's MPX if you want different mice to have their own independent pointers. 17:53:27 -!- Sgeo has joined. 17:53:39 (At least I think it was called MPX.) 17:54:25 -!- Sgeo has quit (Read error: Connection reset by peer). 17:55:42 -!- Sgeo has joined. 17:58:24 pavucontrol (pulse audio volume control) turns volumes UP when you scroll-wheel DOWN and DOWN when you scroll-wheel UP. 17:58:35 Software written by people who have never used software is the best kind of software. 17:58:52 ais523: the reason i want that problem solved is because SELECT. has no way of returning sufficiently modified cells to their original state without clobbering another cell, which means SELECT. programs are memory hogs by necessity (you have to use a new cell for every new number you want). so it would be nice if my interpreter could clean up unusable cells automatically 17:59:18 quintopia: yeah, it's clearly an unsolvable problem in general, but it may be solvable in useful special cases 18:11:13 I HAVE BROKEN MY OATH 18:11:36 ? 18:12:30 I promised I'd try to drink less caffeinated soft drinks 18:12:31 -!- prooftechnique has joined. 18:12:37 After an incident a couple of weeks ago 18:12:52 There is a CAOS command: 18:12:53 Taneb: I decided to give them up for a bit several years ago 18:12:53 pat: butt 18:12:57 like, umm, trying to work it out 18:12:59 9 years ago 18:13:02 and haven't drunk them since 18:13:28 giving up vehicles only lasted a month, though, but then that wasn't meant to be permanent 18:13:46 still, it's interesting to learn how rarely they're needed 18:13:59 atm I only use them if I'm in a hurry or it's raining really badly or I need to go a long distance 18:14:28 actually when I give things up, it's never really meant to be permanent, sometimes it just turns out that way 18:14:30 Right now I actually don't need vehicles, the furthest I need to be is about half an hour's walk from here 18:14:47 for me, s/half an hour/one hour ten minutes/ 18:14:49 but yeah 18:14:53 much the same situation 18:15:15 But that's only in term time and not-term time. The edges I need to travel, I guess 18:15:52 I use the bus a lot 18:15:56 car quite rarely 18:15:58 that's close to the reason I was travelling, too; I don't need to move house between termtime and holiday, but I'm sometimes needed to help other people travel 18:16:02 coppro: that used to be the case for me, too 18:16:13 but my bus pass ran out and I needed exercise and the commute seemed like a good time 18:16:28 makes sense 18:16:32 the nice thing about using walking as exercise is that nothing forces the start point and destination to be the same 18:16:38 I have a student bus pass so it costs me nothing 18:16:43 Can you guys give any tips for finding flatmates 18:16:50 yeah, I used to have a student bus pass, but I'm not eligible for it any more 18:16:57 I'm starting to think that I need to start to think about that 18:16:59 Taneb: no, I can't, or at least my advice would probably be really bad 18:17:23 ais523, how about some cautionary tales? 18:17:30 nor that 18:17:35 I've never had a flatmate 18:17:37 step one, find a mate. step two, find a flat. step three, mate the flat and the mate 18:17:53 you could probably get some cautionary tales from oerjan, though 18:17:53 I'd paste a video I took yeserday, but when I made it, I was incompetent with the recording tool I used 18:18:14 http://www.youtube.com/watch?v=Wpufk1bed9M 18:18:19 Taneb: be careful if you room with a good friend; it can deteriorate a friendship quick if you don't get along as roommates 18:18:24 based on comments he made in #esoteric, he used to be with some if he disliked 18:18:30 coppro: that sounds like good advice 18:19:03 coppro, I think that if that happened I'd blame myself and then be really sad 18:19:34 if you can be choosy, ask about things like sleeping habits 18:20:00 if you're social people, being on the same sleep schedule is good; if you're not, you may prefer being on different ones 18:20:26 my sleep schedule is not actually random, but I'm not convinced it compresses well 18:21:01 also figure out if you want to share food/dishes 18:21:26 some people take the approach that each roommate brings their own and there is no sharing, others handle it communally. if you're doing communal, make sure to sort out payment 18:22:09 cleaning is another big source of friction; work out your mutual expectations 18:22:18 some people can't stand to live with things not clean, and others can't be bothered to clean 18:22:27 unsurprisingly, these two types of people don't go well together 18:24:08 Thanks for the advice, coppro 18:24:17 And the caffeine and sugar are going to my head and I feel woozy 18:25:31 (depending on the layout and personal preferences, significant others may also be an issue) 18:28:49 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 18:29:50 -!- Lymia has quit (Ping timeout: 246 seconds). 18:35:59 -!- asie has joined. 18:55:53 -!- ais523 has changed nick to ais523\unfoog. 19:00:36 -!- zzo38 has joined. 19:01:19 -!- S1 has joined. 19:01:25 -!- S1 has left. 19:01:40 -!- S1 has joined. 19:11:08 -!- S1 has left. 19:15:48 -!- doesthiswork has joined. 19:30:47 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 19:31:04 -!- asie has joined. 19:48:32 ski: did you see the longversation about chu spaces in here yesterday 19:51:47 -!- Guest72395 has joined. 19:53:13 -!- conehead has quit (Quit: Computer has gone to sleep.). 19:54:03 How's everyone's hardware programming language going? 19:54:19 What hardware programming language? 19:56:58 I assumed everybode was working on one . 19:57:08 but really I just forgot how it was how was doing that 19:57:49 and by how i mean who 19:57:59 I'm apparentely a little bit legasthenic 19:58:01 Well, I am one of the people who was designing a hardware programming language, and wanted some comments about it 20:00:05 -!- conehead has joined. 20:02:58 I didn't add a lot recently since I didn't know what else needs to be change; one thing would be analog stuff, CMOS stuff, and various other things. 20:06:03 I think the macros are OK now though; do you think of anything missing or redundant or something with the macro system I have defined for this purpose? 20:20:10 -!- Frooxius has quit (Read error: Connection reset by peer). 20:22:52 -!- conehead has quit (Quit: Computer has gone to sleep.). 20:24:38 -!- Guest72395 has quit (Quit: Leaving). 20:26:30 -!- Frooxius has joined. 20:30:47 you know i'm still waiting for jsvine to write that article 20:31:27 Hmm, yeah 20:34:18 Yes, I didn't know they haven't done so yet? 20:35:03 -!- Sprocklem has joined. 20:43:35 -!- nisstyre has joined. 20:45:13 well 20:45:33 it has come to the point where I'm seriously designing esoteric processing units 20:50:06 mroman_: Can you describe it please? 20:52:57 -!- sebbu has quit (Ping timeout: 268 seconds). 20:55:45 `quote scipi 20:55:50 No output. 20:55:53 `quote scipy 20:55:55 No output. 20:57:58 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:58:36 zzo38: I'm designig weird cpus :) 20:58:43 *designing 20:59:07 -!- Sprocklem has quit (Ping timeout: 268 seconds). 20:59:10 have you ever designed a blitter 21:05:53 -!- Sprocklem has joined. 21:10:54 what? 21:10:55 no 21:11:02 zzo38: http://codepad.org/43llKpDB 21:11:06 ^- stuff like that 21:11:08 aw, but they're cool. 21:11:16 screen blitters? 21:11:33 well, yeah. basically a coprocessor that can do memory movs according to a mask. 21:12:09 ic 21:12:27 hm 21:12:39 that SBA could actually be moved out of the loop to make it run faster 21:14:29 zzo38: I'm designing something with integrated Support for graphics stuff and stuff 21:14:34 then I'll write some crappy game for it 21:14:41 and then I consider the project done :) 21:18:49 and yeah 21:18:59 DST and SRC set the destination and source 21:19:03 -!- Sprocklem has quit (Ping timeout: 252 seconds). 21:19:07 because they arent encoded in instructions itself 21:19:20 but must ruther be set by instructions 21:19:22 *rather 21:19:45 Programming is a meritocracy because it’s an empirical activity. That’s why we don’t have programming fads or fashions. 21:20:02 1/10 not even mad 21:21:07 isn't it the most wonderful quote? 21:21:56 -!- conehead has joined. 21:22:36 doesthiswork, by wonderful do you mean humorously completely wrong? 21:22:57 yes! 21:23:10 it's not a real opinion. 21:24:51 the consequence is so hilariously wrong that it disproves the antecedent. 21:26:25 -!- nooodl has quit (Read error: Operation timed out). 21:26:25 "It's about time Stephen Wolfram got credit for inventing Lisp." good blog here 21:26:47 huh, he hasn't taken credit for that yet? 21:26:48 ooh another good one 21:27:15 xah lee would like that 21:27:23 Wolfram Language will be the last programming language we ever need™ 21:35:36 -!- Sprocklem has joined. 21:40:20 I like how need is copywritten 21:41:30 holy god is wolfram making a programming language 21:41:31 like "well typed programs can't go wrong™" 21:41:50 yes he is 21:42:08 fucking 21:42:09 beautiful 21:44:32 is it called "Wolfram" 21:45:23 doesthiswork: copywritten? :( 21:46:18 woops "trademarked" 21:46:25 or did you mean that the copy writer added the trademark sign 21:46:39 Bike: wolfram beta 21:46:45 yesssss. 21:47:05 mroman_: OK, that is you have some idea 21:47:32 Bike: it actually is called Wolfram, I think 21:48:01 how are we supposed to make jokes if real life beats us to them 21:49:35 -!- Sprocklem has quit (Ping timeout: 272 seconds). 21:50:26 -!- impomatic has joined. 21:54:09 zzo38: Hm? 21:54:54 One always needs an idea before doing anything. 21:55:07 mroman_: What game did you intend to write? 21:55:12 but I'm also designing a CPU for my university ;) 21:55:30 What CPU do you design for your university? 21:55:38 zzo38: I was thinking of Pong. 21:56:05 zzo38: It's actually a whole "computer system" 21:56:23 It's supposed to be a simplified "real computer" 21:56:36 for demonstration purposes. 21:56:55 It has a full cache and MMU emulation 21:57:25 What I wanted is a CPU with explicit caching/pipelining rather than being implicit. 21:57:39 How so? 21:57:47 I am not sure exactly how, but I think it would be a good idea. 21:57:51 and why "wanted"? 21:57:56 And how would that work? 21:58:01 If have to explictly cache data? 21:58:05 e.g. through uhm. 21:58:19 cache load instructions? 21:58:39 Yes, that would be one thing, I suppose. 21:58:54 Or due you just treat the cache as memory 21:59:06 but you have instructions to write from the cache to memory? 21:59:29 which would be roughly the same as having an internal RAM and external RAM 21:59:40 -!- prooftechnique has quit. 21:59:40 like some microcontrollers have 21:59:50 I suppose you would have instructions to transfer between the cache and the external memory, and to transfer between the cache and registers. 21:59:58 like the 8051 22:00:02 MOVX and MOV :) 22:00:23 Another idea I had is some instruction to swap between cache and microcode RAM. 22:00:25 (MOVX = external Data) 22:00:43 it actually also has MOVC 22:00:55 as it is harvard architecture 22:01:35 -!- asie has quit (Quit: I'll probably come back in either 20 minutes or 8 hours.). 22:02:15 I don't really see why you'd want explicit caching 22:02:49 of course, for some microcontrollers it makes sense to keep often accessed data in the internal ram and not the external ram 22:02:51 I would want explicit caching and pipelining so that it can all be software-controlled with predictable instruction timings, as well as user-defined microcodes. 22:03:26 which means you explicitly programm "caching" 22:03:38 zzo38: So 22:03:43 Hard-Realtime Constraints? 22:03:52 mroman_: Yes. 22:04:08 I see. 22:04:19 That I accept as an argument :) 22:04:42 I'm not well informed about real-time CPUs 22:04:58 if there are any specifically designed for that 22:05:14 you could argue that old CPUs with predictable cycles per instructions are more or less real-time-safe 22:05:16 It may also simplify the implementation of the CPU somewhat, depending on how it is done, and allows software to figure out the best way to cache data for the application rather than the hardware to guess. 22:05:32 mroman_: Yes, it is one of the things I prefer about the older CPU designs. 22:05:40 i.e old x86 processor 22:05:57 If you have the assembler code you can make worst case timing analysis on the assembler code 22:06:07 it get's a little bit trickier with interrupt latency 22:06:11 but it's doable 22:06:14 And make it slow on purpose too if you want to. 22:22:51 -!- carado has quit (Ping timeout: 252 seconds). 22:29:15 -!- lambdabot has quit (Quit: requested). 22:31:39 -!- yiyus has quit (Ping timeout: 252 seconds). 22:33:11 -!- lambdabot has joined. 22:38:54 oops. poor thing 22:38:56 @botsnack 22:38:56 :) 22:45:45 -!- Sprocklem has joined. 22:50:00 -!- sebbu has joined. 22:50:25 It lives! 22:50:39 -!- sebbu has quit (Changing host). 22:50:39 -!- sebbu has joined. 22:57:12 -!- lambdabot has quit (Quit: requested). 22:57:36 gah, tab completion is evil. I should stop using it. 22:57:53 int-e: Is it? Not if you are careful? 22:58:17 well, lamb completed to lambdabot rather than the intended lambdacat ... 22:58:36 Do you have a file named lambdacat in your computer? 22:58:39 maybe I should pick a different name for my test bot :) 22:59:44 elliott used to use mubot 22:59:45 v. creative 23:00:36 What program are you using with tab-completion anyways? Different programs sometimes implement it a bit differently, such as Windows difference from Linux tab completion. 23:01:14 -!- lambdabot has joined. 23:01:28 Bike, clearly the next one is nubot 23:02:32 -!- ais523\unfoog has quit. 23:08:14 -!- JesseH has joined. 23:11:56 I have made up the program which will provide two low-pass filters and one signal selects any fraction in between the two filters; one filter stops while the other one is running, or the effect of the audio on the filter and vice-versa is only partial and the other filter is the other part of the fraction. A triangle wave then is used to control this fraction, and the signal filtered with a fixed fraction is subtracted from it, to make the output. 23:12:05 Is this a known thing too? 23:12:55 -!- ^v has joined. 23:13:21 Could you provide a sound file? 23:13:32 Yes, I could do so 23:15:31 Will you? 23:15:42 Yes, just wait a minute 23:15:59 int-e: kattacat 23:24:17 FreeFull: http://zzo38computer.org/csound/music/example1.wav (see example1.csd for the parameters) 23:27:50 Taneb: h8r 23:28:08 What am I a hater of this time? 23:28:22 zzo38: Do the filters alternate very quickly? 23:28:23 Trains? 23:28:32 No. Merely a disbeliever 23:28:46 I'm a traintheist 23:29:14 FreeFull: They alternate at the frequency of the triangle wave (the p4, p5, and p6 correspond to the fourth, fifth, and sixth parameters on each line of the block in the input file) 23:29:31 See ../csoundextraopcodes.c to see what "mixlpf" does. 23:52:03 -!- oerjan has joined. 23:53:29 `addquote Phantom_Hoover: golddfish breeding is kind of messed up sometimes. it seems to consist mostly of "how much can we fuck up a goldfish and still be able to breed it" 23:53:34 1133) Phantom_Hoover: golddfish breeding is kind of messed up sometimes. it seems to consist mostly of "how much can we fuck up a goldfish and still be able to breed it"