00:03:27 -!- augur has quit (Remote host closed the connection). 00:09:16 -!- nooga has quit (Ping timeout: 265 seconds). 00:38:50 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:48:22 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 00:56:36 -!- pikhq_ has joined. 00:56:38 -!- pikhq has quit (Ping timeout: 240 seconds). 01:07:42 -!- copumpkin has joined. 01:21:13 -!- tswett has joined. 01:23:46 Hi. I'm looking for a DBMS where I can easily browse through tables, click things in order to insert new rows, and display data in various graphical ways. 01:24:37 -!- Patashu has quit (Ping timeout: 248 seconds). 01:24:38 As nice as SQL is, if I want to view an entire table, I do not want to type "SELECT * FROM mytable" and browse through the output on my terminal. 01:25:45 As barfworthy as Microsoft is, Microsoft Access does pretty much everything I want, except be free. 01:26:16 phpMyAdmin does most of that 01:26:38 i don't know if people still use that 01:26:42 i haven't used it in years 01:27:15 I've tried phpMyAdmin, and it's pretty nice, but I'd like to have something self-contained. 01:28:25 apparently you can buy books on the subject 01:29:23 http://squirrel-sql.sourceforge.net/ here's some thingy 01:29:51 http://en.wikipedia.org/wiki/Comparison_of_database_tools anyd this list 01:32:40 !help 01:32:40 ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . 01:32:49 !bf_txtgen help 01:32:51 ​56 ++++++++[>+++++++++++++>+>><<<<-]>.---.+++++++.++++.>++. [303] 01:33:28 oh cmon egobot, you can do better than that 01:34:18 !bf ++++++++[>+++++++++++++>+<<-]>.---.+++++++.++++.>++. 01:34:18 help 01:34:30 boom egobot. four characters shorter! 01:39:51 !bfjoust :( + 01:42:56 @tell Gregor bfjoust is broke. maybe my attempted replacement for the bash script is broke? I DON'T KNOW ENOUGH TO FIX IT GREGOR D: 01:42:56 Consider it noted. 01:56:37 * tswett downloads Navicat. 01:57:11 It's not free, but it looks fancy. 01:59:30 -!- DHeadshot has quit (Read error: Connection reset by peer). 01:59:35 -!- DH____ has joined. 02:11:14 -!- edwardk has joined. 02:18:11 -!- blom has joined. 02:18:15 -!- Tod-Autojoined has joined. 02:18:48 -!- TodPunk has quit (Read error: Connection reset by peer). 02:21:58 -!- oklopol has quit (Ping timeout: 250 seconds). 02:24:37 I have fallen and I can't get up. 02:24:53 -!- copumpkin has quit (Ping timeout: 248 seconds). 02:25:25 -!- copumpkin has joined. 02:29:57 -!- Nisstyre has quit (Quit: Leaving). 02:30:32 -!- DH____ has quit (Ping timeout: 246 seconds). 02:34:13 -!- TeruFSX has quit (Read error: Connection reset by peer). 02:35:08 -!- TeruFSX has joined. 02:35:58 -!- Nisstyre has joined. 03:06:46 -!- DHeadshot has joined. 03:21:12 -!- MDude has changed nick to MDream]. 03:21:18 -!- MDream] has changed nick to MDream. 03:29:33 -!- FoREALien has joined. 04:03:30 Magsbot has some database functionality, and it's free 04:03:31 -!- TeruFSX_ has joined. 04:03:49 Although it's hardly intended for database manipulation, it ... can... on Windows 04:04:08 iirc it likes Comic Sans for stuff 04:04:23 -!- TeruFSX has quit (*.net *.split). 04:04:23 -!- stanley has quit (*.net *.split). 04:04:24 -!- trout has quit (*.net *.split). 04:09:25 -!- Tod-Autojoined has changed nick to TodPunk. 04:09:58 -!- stanley has joined. 04:09:59 -!- trout has joined. 04:16:08 -!- asiekierka_ has joined. 04:21:31 -!- augur has joined. 04:22:18 -!- stanley has quit (*.net *.split). 04:22:18 -!- trout has quit (*.net *.split). 04:28:17 -!- stanley has joined. 04:28:17 -!- trout has joined. 05:00:15 -!- edwardk has quit (Quit: Computer has gone to sleep.). 05:00:18 -!- augur_ has joined. 05:03:51 -!- augur has quit (Ping timeout: 246 seconds). 05:06:57 -!- asiekierka_ has quit (Quit: Wychodzi). 05:27:05 -!- Sgeo has quit (Read error: Connection reset by peer). 05:32:00 -!- azaq23 has joined. 05:37:12 -!- edwardk has joined. 06:06:36 -!- Sgeo has joined. 06:16:46 edwardk: ?! 06:16:51 what are you doing in here?! 06:17:28 augur_: #esoteric is stealing #haskell, person by person. 06:17:52 :) 06:19:37 -!- blom has quit (Killed (cameron.freenode.net (Nickname regained by services))). 06:19:49 -!- Guest34050 has joined. 06:20:15 tswett: OpenOffice.Org Base, of course. 06:21:41 it's one thing to use PHP for your project 06:21:50 but quite another to be so proud of it that you put "php" in the name of your project 06:22:38 I think I tried out that wxWidgetsy PostgreSQL admin thing, pgAdmin, once. It was reasonable, but it's for Postgres. 06:22:58 kmc: Particularly when your project is PHP? 06:24:19 Anyway, OOo Base can speak to at least MySQL and Postgres, plus anything JDBC/ODBCable. It's probably perfectly horrible, though. 06:26:25 augur: i used to lurk in here long before you started ;) 06:26:33 edwardk: :O 06:26:37 when did you start coming here? 06:26:56 besides, how else am i going to stalk kmc? 06:27:02 :) 06:27:15 when did you start coming here? 06:27:29 ANSWER THE QUESTION EDWARDK 06:27:36 THIS SILENCE IS UNACCEPTABLE 06:28:17 i wandered back a few days ago, but i think i first wandered in here somewhere around 2007-2008 06:28:24 huh, me too! 06:28:32 i also suppose i can ask you this then, with some expectation of an actual answer: 06:28:42 =P 06:28:46 what is one of the weirdest paradigm esolangs 06:29:32 i got rather bored with esolangs because they just inevitably turn out to be some annoying cipher of brainfuck or shit like that 06:29:50 andi t gets boring after a while, its just a weird machine, nothing truly .. esoteric 06:30:17 hrmm. i tend towards the interesting, i rather enjoy the malbolge/icfp2006 style where you need to more or less cryptanalyze to find a usable subset 06:30:43 oh. :( 06:31:22 i want to find esolangs that are easy to read, but hard to comprehend how to use because they work so oddly 06:32:07 balance. that was the name of the esolang in icfp2006 i found fun 06:33:03 augur_: yeah i agree 06:33:15 the brainfuck clones get very little respect here 06:34:18 i agree that having weird syntax is the least interesting way a programming language can be weird 06:34:28 we need a dependently typed esolang 06:34:35 but syntax always gets disproportionate attention 06:34:38 edwardk: isnt that called agda? 06:34:38 esolangs are no different i guess 06:34:40 i like aubergine 06:34:44 =P 06:34:50 edwardk: actually i think coq is more that 06:34:54 i can understand agda 06:34:59 coq is fuckin opaque 06:35:13 so what are some cool esolangs with "normal-looking" syntax? 06:35:34 there are some where, like, each statement executes with some probability 06:35:34 i don't understand functional languages at all, but it seems to me the most interesting divergence is between functional and imperative 06:35:51 itidus21: odd 06:35:52 itidus21: those are bullshit categories which mean nothing 06:35:55 functional languages are easy! 06:36:00 every decent language supports both functional and imperative code 06:36:19 in fact you can do a lot of great stuff by using the two styles together 06:36:29 not just "this part is functional, this part is imperative" 06:36:34 but actually using the ideas at the same time 06:36:58 Haskell makes this very clear because "function" and "imperative action" are two distinct first-class data types 06:37:05 kmc: what is "normal" 06:37:14 you can have a function that returns an action, or takes an action as an argument, or an action which produces a function 06:37:41 quintopia: i mean looking like some of the popular non-esoteric languages 06:38:53 my conception of functional is basically : left_parenthesis operator operands right_parenthesis 06:38:56 well there's that one whosename i cant remember 06:39:10 itidus21: ... 06:39:22 where everything can be overloaded 06:39:49 itidus21: lolol 06:40:21 itidus21: as opposed to imperative, which is operator left_parenthesis operands right_parenthesis 06:40:27 i wish i was joking augur.. i plan to figure out what i don't know gradually 06:40:39 itidus21: have you tried watching SICP? 06:40:52 this is like the idea that a language is object oriented if you write x.f(y) instead of f(x,y) 06:41:13 there is ORK which is the logical extreme of smalltalk 06:41:14 kmc: you mean it isnt?! 06:41:16 ok so perhaps it's a matter of types 06:41:42 itidus21: why don't you read a book instead of making wild-ass guesses 06:42:51 itidus21: functional programming is basically focused around things returning values, as opposed to setting variables 06:43:19 i tried reading the wiki page about continuation 06:43:30 and it occured to me that the problem is 06:43:31 oh god why would you do that 06:43:39 thats a horrible thing to do 06:43:48 there, edwardk, i think thats it, continuations 06:44:01 thats the most mind rending esolang ever, a language with nothing but continuations 06:44:11 you could adapt my sigma-only dependent type system to make an esolang 06:44:22 in an imperative language, if you were to do a goto with arguments, there would be nothing to catch the arguments 06:44:25 prolog is fun 06:44:27 it requires you to work in continuation passing style since lambdas can only yield contradictions 06:45:23 basically take the 'haskell is not not ml' paper and swap to a dependent type system 06:45:37 edwardk: x,x 06:45:48 writing that compiler from lambda calc to pi calc was fun 06:45:49 itidus21: you should read lyah 06:45:58 it's kind of like a continuations-only language 06:46:03 yeah 06:46:06 imo learning haskell is not the best way to learn FP 06:46:09 there are too many distractions 06:46:11 i once invented a great semi-functional language 06:46:13 haskell is a weird functional language 06:46:24 i should redo that lambda-to-pi calc thing as another 'bound' example 06:46:34 kmc: true 06:46:36 i wonder how my approach to that compiler compares to milner's 06:46:36 SICP! 06:46:39 i bet the latter is simpler 06:46:46 my BASIC pseudocode of .. 10 IF A = 5 GOTO 30(7,6) 20 PRINT TEST 30 PRINT ARG1,ARG2 06:46:46 edwardk: you should write a pi-calculus tutorial! 06:46:56 but i'm just proud of myself for figuring out *a* way on my own :3 06:47:01 =) 06:47:10 if A != 5 then when it reaches line 30, then there is no arg1 or arg2 06:47:14 kmc: did you see bound? 06:47:27 itidus21: http://www.youtube.com/watch?v=JbnjusltDHk 06:47:31 edwardk: no 06:48:15 itidus21: just make the line before it also end with (7,6) 06:48:24 https://github.com/ekmett/bound has a few nice examples. notably it makes it a lot easier to deal with bound variables and substiution. you just use Monad and Traversable 06:48:32 even without a goto 06:48:46 edwardk: cool 06:49:13 quintopia: my example doesn't really make any sense... its probably contradictory 06:49:31 been rewriting our entire compiler to use this approach, its cleaning up a lot of bugs =) 06:50:11 humm 06:50:38 quintopia: well its how im trying to concieve of continuations 06:51:12 itidus21: ew! :P 06:52:26 i'm thinking about writing a post about how 'generalized de bruijn makes de bruijn indices succ less' 06:53:16 edwardk: do it now 06:53:30 what's the generalization? 06:53:39 you can 'succ' trees rather than just variables 06:53:50 gives you O(1) weakening instead of requiring a big traversal 06:54:06 and makes it cheaper to do instantiation because instantiation doesn't have to step into a succ'd tree 06:54:31 edwardk: trees? 06:54:33 basically you give me a monad 'f' and i give you a monad transformer: 06:54:37 i feel you should write a blog post about this 06:54:53 newtype Scope b f a = Scope (f (Either b (f a))) 06:55:10 to lift i use lift = Scope . return . Right 06:55:26 which is cheaper than the lift from EitherT 06:55:31 hmm 06:56:12 then you can just use newtype Exp a = Var a | Exp a :@ Exp a | Lam (Scope () Exp a) -- to get binding dealt with, >>= skips over bound variables gracefully 06:56:57 and you can use more expotic binders by letting b be something other than () to get simultaneous substitution another generalization on de bruijn 06:57:15 ok so let me try to understand the b = () case first 06:57:16 er s/newtype/data obviously 06:57:21 ok suppose I had a program in a language in my head PRINT AREA; AREA = LENGTH x WIDTH; and it waited for me to tell it LENGTH=5; WIDTH=4; then it proceeded to work out AREA=20; PRINT 20 06:57:26 newtype Scope f a = Scope (f (Maybe (f a))) 06:57:50 yep 06:58:22 write the monad, the MonadTrans and Traversable instances for that 06:58:27 so the identity function is Lam (Scope (Var Nothing)) ? 06:58:43 yep 06:58:49 Nothing = Z 06:58:55 Just = S 06:58:58 i see 06:59:22 that seems weird though 06:59:24 and you can only have as many succ's as levels, with everything else being a free variable, so you have no illegal uses of bound variables 06:59:29 because i can put a lambda term "inside" a Var 06:59:35 yes 06:59:45 so what does that mean? 06:59:48 the Var itself is a bad name 07:00:04 oh it means like "discard an outer level of binders"? 07:00:09 yes 07:00:14 ok 07:00:26 its a weakening 07:00:34 you can weaken entire trees 07:00:54 https://github.com/ekmett/bound/blob/master/src/Bound/Scope.hs 07:01:05 abstract and instantiate are the key combinators 07:01:21 abstract1 and instantiate1 are for use as a MaybeT analogue 07:02:28 the impression i got from what i read was that i could say PRINT LABEL1; GOTO LABEL1(LABEL2); GOTO LABEL2(4 * LABEL3); GOTO LABEL3(5) 07:02:31 but you can mix and match the types b you use at each level 07:02:47 https://github.com/ekmett/bound/blob/master/examples/Simple.hs#L20 uses () for Lam and Int for Let 07:02:52 ahh i need to learn to be more cogent 07:04:24 i should probably do a boston haskell talk on it 07:05:06 its not entirely novel. everything here has appeared in papers before. bird and patterson describe this operation, but don't lock it up in a monad transformer, and use rank 2 types to pull it off 07:05:32 and the version of abstract and instantiate i use comes from mcbride's "i'm not a number: i am a free variable" 07:05:52 (along with the notion of using Scope as a separate type) 07:08:13 the abstract combinator makes it easy to get lam "x" (Var "x") to desugar to the type you gave though 07:11:25 you can come up with a more ad hoc version that just uses a GADT for your term type 07:12:06 data Term a where Var :: a -> Term a; Bound :: !Int -> Term (Maybe a); Free :: Term a -> Term (Maybe a); other fields 07:12:19 er Bound :: !Int -> Term (Either Int a) 07:12:33 and Free :: Term a -> Term (Either b a) 07:19:22 -!- trout has changed nick to function. 07:44:43 -!- Taneb has joined. 07:46:29 -!- FoREALien has quit (Ping timeout: 248 seconds). 07:51:35 Hello 08:05:11 -!- john_metcalf has joined. 08:14:05 i find it hard to dismiss the fact that if there is any correlation between piety and intelligence, that the pious tend to be more intelligent 08:14:19 could i say anything more ignorant and divisive? 08:16:17 Well, in times where the Church was the primary literary body in western Europe, that would have been true 08:16:47 Aaah, I'm just making crap up 08:17:00 now you know how i feel behind everything i say! 08:17:05 :) 08:18:15 i might not actually know the working definition of pious when i say this though 08:19:05 -!- nooga has joined. 08:19:09 i think, what i actually mean is 08:19:28 -!- asiekierka_ has joined. 08:19:37 itidus21: why do you do it 08:19:39 that one cannot argue against any religion or belief by sampling the intelligence of it's members 08:19:54 itidus21: i agree that is logicall unsound 08:19:55 -!- john_metcalf has quit (Ping timeout: 264 seconds). 08:19:58 with a maximally biased sample 08:21:08 itidus21: why do you say these things 08:21:14 what do you get out of it 08:21:38 by your own admission the things you say are completely ignorant and unfounded 08:21:42 whether about religion or programming languages 08:22:11 i have basically 2 choices 08:22:39 i can read things, or i can find something to say in irc 08:22:58 but do you actually learn anything from IRC 08:23:15 for all the nonsensical things you've said about haskell, have you learned one true fact about haskell? 08:24:35 there is a difference between saying something slightly incorrect and getting a correction 08:24:47 versus saying things that are so nonsensically wrong that we don't even know where to start 08:24:56 the latter seems like a poor way to learn 08:25:28 * itidus21 ponders. 08:25:38 maybe i sound angry but honestly i am just completely baffled 08:26:34 these days i find it difficult to concentrate. 08:26:46 at least i think i do 08:27:26 my doctor has been asking me lately if i find it difficult to do so.. and i am not sure if i do or if i'm just lazy 08:28:58 i can read comic books, but i don't think that counts 08:30:47 -!- azaq23 has quit (Remote host closed the connection). 08:31:53 Oh god help 08:31:58 I'm making a github account 08:32:15 basically i'm trying to build a map in my mind of programming languages 08:32:18 Help 08:32:30 itidus21, I've tried to do that 08:32:33 It's complicated 08:33:01 Taneb: github is useful 08:36:01 this might not be relevant, but i can't see any practical use of self-reproducing machines 08:36:31 except perhaps in the study of biology and manufacturing 08:39:09 * kmc head explode 08:39:19 YOU ARE A SELF-REPRODUCING MACHINE 08:39:27 ^ 08:39:52 * coppro enjoys tricking his body into believeing it's reproducing. 08:39:55 itidus21 is a robot sent from the future to explode heads 08:40:23 it has been proven long ago that there is no perfect body 08:41:11 fsvo proven :P 08:42:26 QUANTUM-LANGUAGE-PARSE-SYNTAX-GRAMMAR is the Correct Language, as it is based on fact. There is no ambiguity with anything Quantum, it is purely Mathematical. Have you ever thought of Language being Mathematical? 08:42:42 Taneb: Do you need help in making a Github account, or help in avoiding making one? 08:43:01 (I don't have help available for either, just curious.) 08:43:06 kmc: DON'T CALL ME A SELF-REPRODUCING MACHINE! 08:43:57 Also sounds like JUDGE :David-Wynn: Miller there. 08:45:11 kmc: based on what i have just said, it is perhaps best that " what do you get out of it" remains unanswered 08:45:14 I tried to watch some sovereign-citizen courtroom appearances once, but couldn't for more than a minute, due to acute embarrassment. 08:45:44 -!- DHeadshot has quit (Ping timeout: 246 seconds). 08:46:01 you're not being paid enough to be my therapist 08:46:03 -!- DHeadshot has joined. 08:46:04 -!- nooga has quit (Ping timeout: 255 seconds). 08:47:27 fizzie: are they online somewhere? 08:48:01 [09:44] what's windows? 08:48:02 [09:45] err, disregarding that due to cognitive dissonance due to meme from another channel 08:48:05 I'm sure you people will understand :) 08:48:09 a body implies a non-body.. is the perfection of a body a function of the non-body? 08:48:23 (there's a bit of relevant context but you can probably guess what it is from context) 08:48:34 well.. i always have some inane comment to add 08:48:42 -!- Vorpal has joined. 08:50:49 kmc: They were a couple of links from some blog posting. I'm sure similar stuff is findable by the usual means, though. 08:51:50 (Also easier to come by are plain transcripts, but I couldn't actually manage to read those either.) 08:51:54 i'm out of my programming depth... i spent longer than necessary at school towards a degree.. and yet i dropped out before completing it 08:52:29 anyone know if there is any development on k-meleon? 08:52:33 so what i get out of it is that i insist on treading water in the deep end of the pool 08:53:28 K-meleon sounds like a clustering algorithm. You know, k-means, k-medians, k-medoids, k-meleon. 08:54:03 well it is mozilla based browser with xul bullshit removed 08:54:03 It uses the meleons of the clusters somehow, probably. 08:54:18 like camino but for windows 08:54:39 No, I'm pretty sure it's a clustering algorithm, despite all evidence to contrary. 08:54:57 You associate each point with the closest meleon. 08:56:52 speaking of which is there mozilla-with-xul-bullshit-removed for linux? 08:58:08 -!- MoALTz_ has joined. 08:58:27 -!- asiekierka_ has changed nick to asiekierka. 08:59:13 "Web" (formerly Epiphany) 08:59:25 Wait, fuck, they switched to Webkit. 08:59:38 Fuck GNOME. 09:00:00 yeah. galeon uses webkit too, right? 09:00:17 Galeon is unmaintained. 09:00:30 But used Gecko. 09:00:34 lol at renaming it to "Web" 09:00:39 GUYS CAN WE BE APPLE TOO?? 09:00:40 yeah 09:01:00 -!- MoALTz has quit (Ping timeout: 246 seconds). 09:01:12 well at least they didn't rename in "My country" like in red star os 09:01:24 you know if you went back to 2000 and said that Konqueror's HTML engine was going to take over the world, people would laugh at you 09:02:26 If OOo made a browser, it'd probably be called "Browse". 09:03:52 Nah, Oracle took over. It'd be called "Oracle Browser" and have a per-seat license. 09:04:08 Oracle Unbreakable Enterprise Browser 09:04:54 And require a dedicated workstation, as well as a dedicated admin, for each user. 09:04:55 btw, did you know Oracle Linux is now freely available? 09:04:59 http://public-yum.oracle.com/ 09:05:14 oracle linux? 09:05:18 yes 09:05:28 oracle has a RHEL-based linux distro 09:06:01 like CentOS and SciLinux, it is largely built from redhat's sources 09:06:37 like Red Hat, they make money on support contracts 09:06:47 but unlike Red Hat, you can download the binaries for free without a support contract 09:08:08 kmc: i guess it's that i want to reject as much as possible, without rejecting too much. i am much interested in writing my own languages. with intended end applications of computer games 09:08:12 Didn't they just dump the whole thing to Apache? 09:08:24 I'm sure Apache could call it "Browse". 09:08:55 Though I'm annoyed that it has components like Draw, Impress, but then the word processing part is Writer. 09:08:58 BrowserFactory 09:09:58 -!- Phantom_Hoover has joined. 09:10:12 -!- oerjan has joined. 09:10:35 people doing the same things get the same results, people following the same paths find the same destinations. with such ideas in mind, i want to wander blindfolded and intoxicated! 09:11:36 Should be OpenOffice Writer (word processing), OpenOffice Artist (vector graphics), OpenOffice Accountant (spreadsheets), OpenOffice Orator (presentations), OpenOffice Mathematician (equation editor) and so on, to follow the lead of 'Writer'. 09:12:26 Also back when they still had that '.org' in the name, they could've abbreviated OpenOffice.org Orator as OOoO. 09:12:33 itidus21: there's a flip side to that, at least in mathematics - you need to know what others have done in order to avoid the same mistakes 09:12:49 oerjan: good thing programming has nothing to do with mathematics, am i rite? 09:13:07 Past fizzie, I don't know! 09:13:12 kmc: very good. hand me that curry-howard screwdriver, will you? 09:13:55 in programming it is ok to make the same mistakes over and over for decades 09:14:06 in fact this is industry standard and people will laugh at you if you propose to do otherwise 09:14:07 so i hear. 09:14:15 so i think itidus21 has picked a good field 09:14:45 don't worry, you just have to learn lisp, and then you can learn all the mistakes in their original form! 09:14:49 i'm not in the field yet though... i do not envision waking up one day to be paid to code 09:15:06 It's too late1 09:15:11 I know have a github account 09:15:22 Taneb: oh shit.. 09:15:26 Taneb: now you can post image macros on all those HILARIOUS javascript and ruby bugs! 09:15:48 Taneb: that's like knowing where the bottleshop is after emptying all your bottles of booze 09:16:01 *now 09:18:13 oerjan: well, programming will be saved by JVM and Microsoft's CLI 09:20:06 yeah right 09:20:33 What does a .gitignore do!? 09:20:43 tells git that certain files should not be tracked 09:20:49 meaning they won't show up as untracked in 'git status' 09:21:10 and also it warns if you try to 'git add' one 09:21:23 used for build products, editor droppings, etc 09:21:29 man gitignore 09:21:36 saved = trying to create API patenting law 09:22:01 itidus21: needs more dependent types 09:24:29 well, i believe that programming and even math isn't infact difficult. it's just that all real-world examples of programming and math are too complex or of low quality 09:25:42 * oerjan hits itidus21 with the saucepan ===\__/ 09:25:51 SORRY, YOU CROSSED A BORDER THERE 09:26:05 as i say this i begin to think about how i know what multiplication is 09:26:05 nearly lost to humanity 09:26:07 hoerjan 09:26:17 x==5 09:26:19 x=5 09:26:21 Oops! 09:26:22 and i learned at school obviously 09:26:36 hshchachaf 09:29:16 one thing i have realized is that one reason astronomy seems difficult is because i imagine the scale relative to my own scale 09:29:55 but if i imagine a planet being the size of an apple, then the whole question of scale seems silly 09:30:01 -!- edwardk has quit (Read error: Connection reset by peer). 09:30:45 -!- edwardk has joined. 09:30:48 -!- edwardk has quit (Client Quit). 09:30:54 just gotta plug in the numbers systematically 09:34:14 otherwise it's difficult for exactly the same reasons that to an unaided observer the sky looks like it's covered in white spots 09:35:57 goes quiet now 09:37:24 if (status = UNDER_ATTACK) launch_nuclear_missiles(); /* find the bug */ 09:38:12 well i can still see shachaf's text onscreen 09:38:25 I don't think that quite qualifies as a bug. 09:38:29 Though I suppose it might. 09:38:34 there is no bug! 09:38:37 lol 09:39:30 fizzie: perfectly valid conservative programming 09:40:10 the bug is in the language which allows such code to be valid 09:40:11 #define UNDER_ATTACK 0 09:40:25 :o shachaf u saved the world 09:41:06 Shachaf University saves the world again. 09:42:02 shachaf university always keeps proper backups 09:42:38 øh nø 09:43:02 im trying to figure out why i didn't spot that 09:43:32 øøps 09:43:46 i guess i always assuemed that in, if (a=b) c(); , that b!= 0 09:44:22 ^assumed 09:44:56 aßumed 09:44:57 Only if c is called 09:45:30 -!- nooga has joined. 09:45:31 subsumed 09:47:08 or i might have assumed that a status constant != 0 09:49:12 if (status = PARIAH) 09:57:52 AẞUMED. (Thank you, Unicode 5.1.) 09:58:36 (U+1E9E LATIN CAPITAL LETTER SHARP S was added in 5.1.) 09:59:34 AнA 10:01:28 Oh no, it's a вомв. 10:02:39 -!- AnotherTest has joined. 10:05:44 Аге ше шгітіиб іи сугілліc? 10:08:25 I think Ѩ. 10:11:12 vodka 10:13:59 horse ebooks 10:14:32 horse devours 10:14:54 And if you haven t noticed, crepes have come a long way 10:15:28 kmc: Are you playing itidus21? 10:15:39 itidus21 ebooks 10:15:46 it's best to let itidus21 play itidus21 10:16:02 whoa, dude 10:16:07 Did you see what itidus21 just said? 10:16:23 It's a sensible and true statement! 10:16:29 I like how adverts for Internet Explorer are "We do stuff that pretty much every other major browser also does, but you've heard of us!" 10:16:41 Admittedly this statement wouldn't be necessary if it weren't for all of itidus21's other statements. 10:17:01 i'm working on such a statement as we speak 10:17:36 While Sitting In Your Most Comfortable Chair, Quickly Discover The Missing Links That Rapidly Catapults Your Ability to Devastate, Humiliate 10:17:59 Are we Playing the capitalization Game Now 10:18:02 Faithfully As An Oil Rig 10:18:08 what i do.. is guaranteed to blow your mind 10:18:12 Fan Fan Fan Local Local Horse Steam Jet Fan Room and pillar- Room and pillar. Shaft Shaft What Cheer What Cheer Holliday 10:18:17 theres no ifs or buts about it 10:19:25 one integer has as much meaning as the next, but it is such a small subset of english expressions which have a discernable meaning, that i wonder if we intentionally leave room for meaningless expressions in order to create new meanings 10:20:36 but such an intention would be reifying the processes of language development 10:21:44 -!- aloril has quit (Ping timeout: 244 seconds). 10:23:04 but then again, we already create new meanings upon existing expressions 10:24:59 so where does this take me.. we could interpret a single symbol nondeterministically 10:25:14 well sometimes language needs cromulent embiggening 10:27:53 -!- aloril has joined. 10:28:44 Error: encountered non-deterministic expression. please be an oracle. your choices are 1)increment 2)decrement 3)set to 17 10:30:16 logging "user itidus21 has selected increment." 10:36:57 Is there a programming language that modifies it syntax to be correct yet? 10:36:57 *its 10:41:38 does /// count? 10:47:06 Well it seems that in /// there is little syntax 10:47:58 If you mean "modifies itself to do what the programmer meant", no; if you mean "does something regardless of what you type in", sure. 10:49:14 I mean the latter, that is, everything will be considered as correct syntax and will have a meaning 10:49:34 hm didn't oklotalk do something like that 10:49:55 or wait, was it oklopol's Clue 10:50:13 * oerjan isn't remembering 10:50:36 http://esolangs.org/wiki/Clue 10:50:42 Befunge. 10:50:44 It seems there are 2 Clue languages 10:50:53 yes, there are 10:51:29 Malbolge, I think. 10:52:19 no, malbolge has strict restrictions on which characters can go in which positions 10:52:35 Ah, okay. 10:52:58 The language should have unicode as the alphabet 10:53:26 There's UniCode, which is obviously unfinished. 10:53:38 /// has no problem using utf-8 i think :P 10:53:51 Deewiant: And Uniquode, too. 10:54:11 (It's even more unfinished.) 10:54:13 Befunge-98 can use Unicode fine if the interpreter supports it, but it's not very interesting because most characters will just reflect the IP. 10:54:27 You can put in larger data values, though. 10:58:40 I wouldn't be surprised if many of the "2D" languages were in that sense syntax-free. 10:58:47 2L seems to, for example. 11:01:47 one of Iota and Jot, i think... 11:01:50 * itidus21 bounces back in. 11:02:40 oerjan: Jot, I think. 11:02:57 yeah, it seems i have more ego left than i thought in relation to programming. 11:04:08 i think dijkstra might be conflicted about devoting his life's work to computers but opting not to use one 11:04:39 and apparently it's becoming a theme in silicon valley for people to send their kids to computer-less schools 11:05:00 maybe there is a wave of computer scientists who abhor computers on the horizon 11:06:04 +[+[+<]>>-<]+> (14, 5) for 223 11:07:17 and -[-[-<]>>-<]+> for 175, but there are already 14b solutions for 175 11:08:10 computers good for the economy though, but anything which is good for the economy is bad for the environment 11:08:34 oh wow. 11:08:40 * kmc head explode 11:09:02 it takes electricity to power the internet after all. 11:09:43 +[>+>[+<]>+]>> sadly runs through the whole tape to produce 64 :( 11:18:38 argh 11:18:48 david.werecat accidentaly removed 223 :( 11:19:28 * oerjan thought he had checked such things... 11:20:30 oh todya 11:21:33 -!- ais523 has quit. 11:22:25 ^bf ++[+[>]<-<++]>. 11:22:25 H 11:22:53 That's some very freaky program I found there :) 11:23:05 And It consumes 7 cells. 11:23:09 But it's 1B shorter :D 11:24:29 Wow. 11:24:33 That is a very good range :) 11:25:09 >+[+[>]<-<++]> (14, 8) wrapping for 59 11:25:19 ^bf >+[+[>]<-<++]>. 11:25:20 ; 11:27:47 the [>] actually looks very suspicios. 11:27:55 but it's not :) 11:28:54 -!- AnotherTest has quit (Ping timeout: 244 seconds). 11:29:00 What is a "range"? 11:29:14 mroman: i agree with david_werecat that initial >'s should be used instead of solutions going to the left of start 11:31:28 oh. 11:31:30 I see. 11:32:01 well then most of them are not valid in your terms. 11:32:06 as they go way below zero 11:32:20 especially the solution consuming up to 9 cells ;) 11:32:25 your new ones you mean? 11:32:28 Yes. 11:32:30 My new ones. 11:33:18 they do seem to stretch the format 11:33:32 The wiki did not specify that. 11:33:42 I just presumed that wrapping applies to the tape as well ;) 11:33:59 oh, that's not assumed no. 11:34:10 however, I added a comment to all my solution that they go below zero 11:34:24 *solutions 11:35:25 My list is not even complete 11:35:33 I have around 10 more solutions like the previous ones. 11:35:54 it's more that these solutions are intended to be usable as subroutines in programs, which means there should be enough information to tell what surrounding cells are needed. and preferable in a machine-readable format (i've extracted it before, e.g. for pikhq_'s BFM system) 11:35:56 Because solutions with a wrapping tape are way shorter. 11:36:10 i suppose the page should actually _say_ that somewhere :P 11:36:21 Well, it should have :) 11:37:01 -!- Patashu has joined. 11:37:24 oerjan: There's that discussion about a proposed format from 2010 but nothing seems to have come out of it. 11:40:03 "Surprisingly, [Hollerith] did not get the idea from the work of Babbage, but rather from watching a train conductor punch tickets." -- this is how one arrives at good ideas, watching train conductors 11:40:44 So staring at a superconductor must logically result in superb ideas. 11:41:16 * itidus21 dies from the pun. 11:41:56 a very cold hearted pun 11:44:38 http://codepad.org/ETZz4afE 11:44:46 ^- That's the output of the first 16 ranges. 11:44:57 There are DOZENS of shorter solutions in that output 11:45:04 but I assume they all need tape wrapping. 11:46:11 mroman: tape wrapping should be probably be mentioned specifically 11:46:37 A seperate list? 11:46:42 or in the comment? 11:46:53 I already mentioned it in the comment for the corresponding entry 11:47:02 *entries 11:47:12 But If you say that you won't allow it 11:47:13 http://www.youtube.com/watch?v=MP_rNaJ1vOw I could cry of happiness 11:47:18 I won't even bother checking the output anymore 11:47:21 you mentioned it went to the left, but not that it went all the way _around_ the tape 11:47:21 This song was in a game I used to play 11:47:27 because it's of no use then ;) 11:47:29 Never thought I'd find it independtly 11:47:36 A google, just a few minutes ago, found it 11:47:43 http://www.indiegamer.com/archives/t-208.html 11:47:44 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 11:48:36 mroman: i interpreted your comment as saying that some of the cells used were to the left of the start, not that it used a circular tape 11:49:07 oerjan: A room-temperature pun would would be a very beneficial discovery indeed. 11:49:46 (wrapping cells, tape) could be the format, assuming they wrap on values as well 11:50:10 oerjan: Yes. 11:50:25 Cells to the left and to the right are used. 11:50:37 Which means that cell 0 < -> cell 255 11:50:52 but of course, if you're at cell 100, it does not need wrapping, yes. 11:50:58 mroman: there's no assumption a tape has _length_ 256 11:51:08 oerjan: Yes. 11:51:10 Ok. 11:51:19 They don't require circular tape. 11:51:27 They just consume cells to the left and to the right. 11:51:35 in fact if there is no mention, i would assume the tape needs to be no longer than the number of cells used 11:51:56 mroman: oh. well then inserting >'s at the beginning would be enough to disambiguate. 11:52:01 Because all solutions actually requiring a circular tape only produce the right number with the same tape length :D 11:52:14 oerjan: Yes, but then the solution is not shorter anymore ;) 11:52:23 yeah i guess... 11:52:34 I'd have to add >>>>>>>> to some solution 11:52:41 which would make them 7 B longer :) 11:53:01 I mean 11:53:09 I could check if some solutions would still be shorter. 11:53:19 perhaps a different format for cell no. then? -7..2 11:53:35 -[-[-<]>>+<]+> is 5B shorter 11:53:38 and requires 5 cells 11:53:43 so it might actually still be shorter. 11:54:14 mroman: it should say somewhere how _many_ cells to the left it uses 11:54:19 >-[-[-<]>>+<]+> does not drop below zero anymore 11:54:22 but is still shorter 11:54:24 in some way 11:55:36 Ok. 11:55:38 I'll do that. 11:55:48 I'll add as many > as required to not drop below zero 11:58:12 Awesome is awesome. 12:05:33 ok 12:05:38 so far 33 and 200 can stay 12:07:44 223 can stay. 12:10:02 oh. 12:10:14 106 is new. 12:10:28 Ok, there are still shorter solutions in the output to find with > added to the start \o/ 12:12:12 -!- Phantom_Hoover has joined. 12:28:26 ^bf -[>+[+<+]->+]>. 12:28:29 . 12:28:39 does not even require me to add > 12:34:35 -!- oerjan has quit (Quit: leaving). 12:37:41 -!- AnotherTest has joined. 12:40:34 -!- nooga has quit (Ping timeout: 245 seconds). 12:43:33 -!- Phantom__Hoover has joined. 12:45:09 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 12:53:58 -!- VorpalPhone has joined. 13:05:56 -!- cheater__ has joined. 13:07:06 Not bad though. 13:07:30 22 new shorter non-drop-below-zero wrapping brainfuck constants 13:07:39 -!- boily has joined. 13:08:03 I have to automate this process though. 13:08:18 I'm only at 1/3 of results yet :( 13:09:02 -!- cheater_ has quit (Ping timeout: 252 seconds). 13:10:30 The smaller a program is, it consumes more cycles and more cells. 13:12:35 Why is there no information included AT which cell a constant stops? 13:13:23 Maybe if it uses three cells it might stop at the second 13:14:12 Which would not be that convenient :) 13:16:20 -!- AnotherTest1 has joined. 13:16:21 -!- AnotherTest has quit (Read error: Connection reset by peer). 13:16:55 -!- cheater__ has quit (Ping timeout: 264 seconds). 13:20:40 -!- AnotherTest1 has quit (Ping timeout: 246 seconds). 13:43:12 -!- VorpalPhone has quit (Ping timeout: 265 seconds). 13:45:01 wow I found a huge beetle (approx 2.5 cm in length) on the stairs outside. Iridescent... Never seen anything like it 13:48:25 -!- Patashu has changed nick to Patashu[Zzz]. 13:53:18 Vorpal, let it bite you, you may get superpowers! 13:53:23 hah 13:53:34 I'll upload some photos in a second 13:56:27 uploading atm 13:57:07 taking some time... 13:57:40 The weather looks ominous 13:58:15 I wish my upload speed was higher than 1 Mbit/s... 13:58:56 Heh, that's like, one eighth of mine 13:59:04 Except I think I've reached my data limit 13:59:13 Taneb, I have 8 mbit/s down and 1 mbit/s up 13:59:15 (ADSL) 13:59:19 Okay 13:59:31 8 mbit/s down, barely anything up 14:00:05 at least you have 1 mbit/s up :) 14:00:10 only one image left to upload now 14:00:35 http://www.dropbox.com/gallery/87474461/1/Beetle?h=516644 14:00:37 there 14:00:54 the beetle in question was approximately 2 cm 14:00:58 maybe 2.5 14:01:03 about there anyway 14:01:10 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 14:01:17 Are there many spiders in Sweden? 14:01:38 Taneb, well the usual ones, no poisonous ones though. 14:01:48 How large do they get? 14:01:53 but probably less than some parts of the world, and more than others 14:02:11 Taneb, not sure. I tend to kill the ones I see (I don't like spiders) 14:02:28 (I may have to warn an arachnophobic Swedenophile) 14:02:40 Taneb, how large to they get in UK? 14:03:08 Vorpal: nice beetle! 14:03:14 Vorpal, the largest could fit easily into the bottom of a pint glass 14:03:23 boily, yeah, right on my doorstep a few minutes ago 14:03:35 Taneb, how large is a pint glass? 14:03:43 Half a litre? 14:04:06 right, what about the dimensions though? You could have a very narrow and tall one for example 14:04:18 or a very wide and low one 14:05:46 http://en.wikipedia.org/wiki/File:Pint_Glass_(Pub).svg 14:06:04 Taneb, I don't see any scale on that? 14:06:17 just give me the diameter or something (metric) 14:06:29 15 cm tall 14:06:40 and diameter? Since that is what is relevant here 14:06:56 2.5 centimetres wider in diameter at the top than the bottom 14:07:17 that still doesn't help 14:07:29 Comfortable to hold in your hand? 14:07:32 He's just reading the wikipedia article, give him some time 14:07:42 right 14:07:48 (Although it doesn't look like it has the diameter measurement) 14:08:04 well then, in that case I don't know if there are spiders larger than that 14:08:18 I have seen some with very long legs (and very small body usually) 14:08:41 anyway I wonder which species that beetle I found is 14:08:41 Harvestmen 14:08:50 They're not spiders 14:08:53 -!- edwardk has joined. 14:08:56 Deewiant, oh? 14:09:05 https://en.wikipedia.org/wiki/Harvestmen 14:09:09 huh 14:09:19 right 14:09:30 too spidery for my taste anyway 14:09:31 :P 14:09:56 but yeah I would really like to know the species of http://www.dropbox.com/gallery/87474461/1/Beetle?h=516644 14:10:00 no idea how to find out 14:10:13 I've seen those 14:10:20 oh? I never seen them before 14:10:26 very pretty, also really large 14:11:05 it pulled in it's legs when I got close, so that is why it is curled up in the photos 14:11:18 (btw, I think for a phone camera that was fairly good) 14:12:09 https://en.wikipedia.org/wiki/Cotinis_mutabilis ? 14:12:29 Not quite 14:12:57 it was not dull green 14:13:01 And heh, US/Mexico 14:13:12 it was strongly iridescent green on the back 14:14:37 * Sgeo whats at the existence of .rmi 14:14:48 Sgeo, .rmi being? 14:15:03 A MIDI in a RIFF thingy 14:15:06 http://www.fileinfo.com/extension/rmi 14:15:16 Vorpal: Are those little protrusions legs? 'cuz if so, that ain't a beetle... 14:15:17 Gregor: You have 1 new message. '/msg lambdabot @messages' to read it. 14:15:24 @messages 14:15:25 quintopia said 12h 32m 28s ago: bfjoust is broke. maybe my attempted replacement for the bash script is broke? I DON'T KNOW ENOUGH TO FIX IT GREGOR D: 14:15:31 !bfjoust suicide < 14:15:37 I didn't change anything... 14:15:51 Gregor, hm? What protursions? It had legs out, but it pulled them in when I got near. I think it wants to be a turtle when it grows up ;) 14:16:01 http://en.wikipedia.org/wiki/Resource_Interchange_File_Format#Initial_difficulties_with_MIDI_Files 14:16:18 Gregor, you can see the legs by the side in the 5th image 14:16:40 Vorpal: Oh, I didn't realize it was a series X_X 14:16:46 Gregor, right 14:18:13 Gregor, didn't the link go to some overview album page or something? It does for me, though I'm logged into my dropbox account 14:18:29 !bfjoust suicide < 14:18:48 Vorpal: It went to a particular image, with a series of images at the top in a menubar. 14:18:50 -!- copumpkin has joined. 14:18:57 Vorpal: https://en.wikipedia.org/wiki/Cetonia_aurata 14:19:37 DAMN. IT. WEB. ARCHIVE. 14:19:50 Deewiant, looks like it, mine was more yellow green than the wikipedia picture though 14:19:56 If I search for a URL, I do NOT want to be redirected based on the existence of present-day redirects 14:20:15 Vorpal: I think it depends a bit on viewing angle :-P 14:20:21 also they say 20 mm, kind of fits. Looked like slightly more than that though 14:20:27 !bfjoust suicide < 14:20:32 Deewiant, didn't see the underside 14:20:34 ​Score for Gregor_suicide: 0.0 14:20:35 Vorpal: But it does say that the colour varies 14:20:52 hm yeah 14:20:58 anyway, how did you manage to find it? 14:21:00 ... dahell 14:21:05 Ah, there we go. 14:21:28 Deewiant, also compared to https://en.wikipedia.org/wiki/File:Cetonia_aurata_%28Linnaeus_1761%29.jpg mine seemed to have thinner legs 14:21:31 not sure though 14:21:40 Vorpal: After a bunch of googling I ended up with the search terms 'shiny yellow green beetle europe' and http://www.memidex.com/cetonia-aurata was the fifth result 14:21:46 ah 14:21:50 impressive 14:22:08 (google and you) 14:22:35 Vorpal: The Finnish wikipedia has more pictures: https://fi.wikipedia.org/wiki/Kultakuoriainen 14:22:57 As does the Swedish: https://sv.wikipedia.org/wiki/Gr%C3%A4sgr%C3%B6n_guldbagge 14:23:25 I've looked those up before, I recognize that Finnish name :-P 14:23:39 the beetle I found didn't seem inclined to fly away btw. 14:23:48 very pedestrian 14:24:22 the .fi one didn't have that many pictures 14:24:27 the Swedish one does though 14:24:29 Yeah I don't think I've seen them fly much 14:24:46 but the V shape thingy mentioned is indeed there 14:24:49 Well it had at least the one main picture with two of them 14:24:54 guess I'll add some metadata to the image locally 14:25:36 As I went futher back in the archive, I found more games 14:25:46 I guess game publishers started pulling out from Dexterity? 14:26:42 Sgeo, what are you talking about? 14:26:57 Vorpal, dexterity.com 14:27:03 Used to have a bunch of shareware games 14:27:56 lets see how good dropbox is at syncing if I just add metadata to the images 14:28:12 looks like it is uploading a lot, takes some time. But not as much time as the original upload 14:28:20 so a somewhat smart algorithm I guess 14:28:51 not that dropbox seems to show image metadata, oh well 14:30:04 seems to handle a name change well though 14:31:35 Deewiant, also wikipedia seems to indicate it likes sunny warm spots, while I found it in the shadow on the north side of the house 14:32:02 I like sleeping; doesn't mean I'm always in my bed. 14:32:16 hah 14:34:38 -!- AnotherTest has joined. 14:34:58 -!- AnotherTest has changed nick to AnotherTet. 14:35:03 -!- AnotherTet has changed nick to AnotherTest. 14:44:09 -!- edwardk has quit (Quit: Computer has gone to sleep.). 14:51:32 -!- derdon has joined. 15:19:24 http://gawker.com/5532226/swat-team-raids-house-shoots-dogs-over-small-amount-of-marijuana 15:41:50 -!- MDream has changed nick to MDude. 16:05:02 -!- Taneb has quit (Quit: Leaving). 16:05:47 -!- FoREALien has joined. 16:10:45 -!- Taneb has joined. 16:12:13 Hello 16:12:55 As if! 16:16:39 nortti: They seem to have a sort of a well-established policy of shooting as many dogs as possible; there's been quite a few stories like that. 16:16:53 http://www.huffingtonpost.com/2012/04/27/cop-shoots-dog-puppycide_n_1446841.html "A search of news articles from the past year shows more than 100 separate incidents." 16:17:04 I suppose in some of those there's been some amount of self-defence going on. 16:17:17 But e.g. the dog in the article's picture does not look incredibly threatening. 16:17:51 -!- john_metcalf has joined. 16:17:54 "In recent years, police officers have shot and killed chihuahuas, miniature dachshunds, Wheaton terriers, and Jack Russell terriers. Last month, a California police officer shot and killed a boxer puppy and pregnant chihuahua, claiming the boxer had threatened him. The chihuahua, he said, got caught in the crossfire." 16:17:59 That sort of stuff. 16:38:42 Let's just say that If a dog attacks me and I had a gun... 16:38:49 I might be really tempted to shoot him. 16:39:11 If a dog attacks me and I had a gun 16:39:18 And by attacking I mean "coming at me" 16:39:21 I'd be panicking so much about me having a gun 16:39:27 I'd forget about the dog 16:39:28 because if he is just in front of me, it's too late to react. 16:39:45 So obviously you either should him while he's charging at you or you don't. 16:40:02 *shoot 16:40:03 What if the dog just wants to lick you in the face 16:40:10 Taneb: There is no way of knowing that. 16:40:15 He might as well bite you in the face. 16:40:53 which is exactly the point. 16:41:00 You have to stop a dog before he reaches you. 16:41:30 Common sense when dealing with animals. 16:42:03 Small dogs ARE NOT less dangerous then big dangerous looking dogs. 16:42:08 *than 16:42:28 well the kids shouldn't have let their marijuana use escalate to police involvement 16:42:47 -!- Guest34050 has changed nick to oklopol. 16:42:48 maybe i should read the article before commenting 16:42:52 Even if a small dog bites you the wound is still very serious. 16:43:01 except it is a very very small dog. 16:43:15 but still, infection is not unlikely. 16:43:39 Taneb: There is no way of knowing that. 16:43:40 He might as well bite you in the face. 16:43:40 which is exactly the point. 16:43:58 Well there is, the article even mentions that the American Humane Society offers courses on it. 16:44:15 Well 16:44:32 If I have to take courses on how to "mind read" dogs in order to be safe on the streets 16:44:48 that's just plain weird. 16:44:54 It is *not* acceptable for police to kill domestic animals engaging in perfectly normal domestic animal behaviour just because it could possibly be dangerous. 16:45:17 Well. 16:45:22 Oh sorry, I didn't realise you live somewhere full of aggressive feral dogs. 16:45:23 If a police officers tells you to stop 16:45:26 and you just keep walking to him 16:45:28 hey if you didn't want your dog to get shot, you shouldn't have become possibly falsely suspected of owning a small amount of a fairly harmless plant 16:45:30 What would he do? 16:45:37 mroman, then it is not acceptable for him to shoot you. 16:45:52 Unless you are armed with a knife. 16:45:53 There are plenty of reasons someone could do that without being a threat. 16:46:28 Phantom__Hoover: depends who is the judge of acceptability 16:46:47 Phantom__Hoover: Only if he can't hear or understand you. 16:46:48 But yes. 16:46:49 fwiw it's not me 16:46:57 He shouldn't shoot him just for that. 16:47:14 But still... 16:47:26 That's why police officers are always in a dangerous position. 16:47:47 next they'll say that if you elect the right mayors, governors and presidents and prime ministers/premiers, that the laws would somehow be magically fixed 16:48:06 But consider that a very dangerous looking dog with fletching teeth is charging at you 16:48:10 What would you do? 16:48:14 and that the people are somehow responsible.. maybe they are... but in order to be responsible for the police you really need to have the power to stop them 16:48:16 He still just might want to lick your face ;) 16:48:57 If it's me? Then yes, I would try to defend myself, especially as we're assuming I'm in a public place. 16:49:20 Exactly. 16:49:31 Police -are not meant to react like I would-. 16:49:35 well you can't "win" 16:49:38 No swap the dangerous looking dog with a regular dog. 16:49:48 You probably wouldn't consider him a threat. 16:49:57 you're certainly not allowed to kill the police in self-defence 16:50:10 I would. 16:50:14 itidus21, that's pretty hazy, actually. 16:50:16 because to me he's still a threat. 16:50:19 >_> 16:50:28 Also I have a dog phobia. 16:50:31 it's probably not a good place to be 16:50:33 So every dog is a threat to me 16:51:17 Also.. I wan't to be able to walk on the streets with my hungry lion. 16:51:19 mroman, and as I keep telling you, this is not comparable to the situation with police. 16:51:27 Because she's such a nice cat. 16:51:29 Please stop making ridiculous analogies. 16:51:48 Phantom__Hoover: well i'm not brave.. i endure days in life where i have let the bad people win... 16:51:58 i dunno whats best really 16:52:12 Are we talking about dogs? I'm scared. 16:52:13 considering a turtle lives longer than 120 years 16:52:14 They are not ridiculous. 16:52:19 They just don't involve flexible moral. 16:52:35 As kmc pointed out, there is no reasonable course of action for a dog owner to take to avoid their dog getting killed. 16:53:04 Other than maybe keep it in a cage. 16:53:32 i think kmc was being sarcastic 16:53:32 Well, yes. 16:53:34 I agree. 16:53:35 :D 16:53:39 But that counts for every animal. 16:54:09 the bad kind of sarcasm where truth is sarcasm 16:54:24 Your point seems to simply be that *you* have an irrational fear of dogs and thus it's completely justified to kill them on the spot if they look at you funny. 16:54:41 Not exactly. 16:55:00 My point is you shouldn't treat dogs different than other animals. 16:55:34 I don't know about you but I don't automatically assume all animals want to gore me. 16:55:43 So... you shouldn't shoot them as a matter of protocol? I mean, I don't think they have a habit of shooting anything else. 16:56:16 Phantom__Hoover: don't dogs want to protected their owner. If you happen to be trying to arrest the owner, they would attack you? 16:56:47 AnotherTest, in several of those cases the owner wasn't even present at the time. 16:57:06 Well, the property of the owner then? 16:57:17 I'm just not a big fan of "subjective views" when it comes to laws. 16:57:40 or policies. 16:57:46 Either they count or they don't. 16:57:52 I'm guessing you don't live in a common-law country. 16:58:10 also the police can break the law whenever they want 16:58:14 they are rarely punished for it 16:58:16 I mean. 16:58:28 "You may shoot dangerous dogs when they attack you" 16:58:33 "You may not shoot harmless dogs" 16:58:38 cops have a code of honor which says they will lie to protect fellow cops 16:58:38 kmc: I don't agree. Well, maybe they can, but they shouldn't be able to(trias politicas?) 16:58:40 Um... 16:58:48 That would leave the question WHEN a dog is dangerous. 16:58:51 and they understand the criminal justice system obviously 16:58:54 and have connections 16:59:01 basically like any other organized crime 16:59:04 but with massive state funding 16:59:13 That's just too subjective @dangerous or not. 16:59:22 Meanwhile as it stands you just want it to be legal to... well, kill any dog if it looks at you funny? 16:59:24 kmc: well they lie over the most trivial things. i learned this once 16:59:27 No. 16:59:33 I take no joy in killing animalas. 16:59:35 *animals 16:59:45 I said nothing about joy. 17:00:09 some cops told my neighbours i confessed to stealing underwear off their clothesline.. 17:00:14 mroman: dogs /are/ not dangerous/not-dangerous, they can all become dangerous 17:00:33 But the way you've said it it's legal to kill a dog so long as you thought it was a threat with no effort at all to define what a reasonable definition of threat is. 17:00:39 and, well i didn't steal them, and i didn't confess 17:00:54 Phantom__Hoover: If he does not charge at you he's not dangerous at that point. 17:01:01 If he charges at you he's dangerous. 17:01:03 mroman: Dogs are not delicious/non-delicious, they can all become delicious. 17:01:44 You can't kill a cow you do not own. Maybe you shouldn't be allowed to kill a dog you do not own? 17:01:54 AnotherTest, no, that doesn't work either. 17:02:03 You can kill a cow you don't own if the cow is attacking you. 17:02:07 AnotherTest, what happens if a cow charges at you? 17:02:10 You can kill a person you don't own if they're attacking you. 17:02:11 (cows are really scary) 17:02:15 Because for one thing police /do/ need to be able to defend themselves against guard dogs. 17:02:29 Well, you can't really kill another person even if he does attack you. 17:02:33 The problem is when they can get away with killing any dog that moves towards them. 17:02:37 mroman, ...yes you can? 17:02:45 If he just hits you in the face you can't. 17:02:51 I don't know of any legal system which outlaws self-defence. 17:03:01 Phantom__Hoover: self-defence is restricted to 17:03:05 "reasonable defence" 17:03:21 Killing an opponent just because he hit you in the face is not reasonable. 17:03:22 Gregor(" You can kill a person you don't own if they're attacking you."): that depends of the time we are in 17:03:29 and county! 17:03:35 at least in my country it is restricted. 17:03:52 You probably are not even allowed to break his arm or something like that. 17:04:18 You would definitely be allowed to break their arm. 17:04:28 In some countries you can kill a woman if you sleep with another woman.(well that was in the newspaper...) 17:04:42 At least, if it constituted a defence from further assault. 17:04:54 mroman: "Reasonable" is again pretty vague. I mean, I think in the states people can and do shoot regular burglars. There was this one guy who had his car stolen, and then when the thief was driving away, shot and killed him. If I'm not mistaken, that was considered reasonable. 17:04:54 Well no. 17:04:56 Technically 17:04:59 Where the line is actually drawn is determined, at least here, by a jury. 17:05:00 mroman: self-defense is allowed I think 17:05:01 If he hit you in the face 17:05:02 The states being the united ones. 17:05:06 you are NOT ALLOWED to do anything. 17:05:32 So it's basically impossible to actually say what they are ahead of time. 17:05:33 Because then you would be hitting him. 17:05:35 and that's illegal. 17:05:43 ...except when it's in self-defence. 17:06:08 self-defence only counts while he's attacking. 17:06:14 ...which he is. 17:06:16 mroman: if somoen had a gun, and he was about to shoot you. Would you be allowed to kill or not?(if you coul) 17:06:17 If he hit you in the face once 17:06:19 *someone 17:06:28 and then just stands there 17:06:33 you can't just go and hit him too. 17:06:48 dogs could kill 17:06:58 but you couldn't 17:07:00 I don't like that 17:07:07 mroman, except like I said it's up to the jury to decide whether it was reasonable to assume they would continue to attack. 17:07:14 You are allowed to defend yourself before an attack, or while he's still attacking. 17:07:17 but not after he attacked. 17:07:27 because that's not defending anymore of course. 17:07:32 So yes, if they punched you in the face then ran away it would probably be illegal to run them down and break their arm. 17:07:33 "A Castle Doctrine (also known as a Castle Law or a Defense of Habitation Law) is an American legal doctrine that designates a person's abode (or, in some states, any place legally occupied, such as a car or place of work) as a place in which the person has certain protections and immunities and may in certain circumstances use force, up to and including deadly force, to defend against an ... 17:07:40 ... intruder without becoming liable to prosecution." I mean, they have that thing. 17:08:28 mroman: What broken country do you live in where self defense is illegal X_X 17:08:43 Gregor, /whois says Switzerland. 17:08:49 "mroman: You are allowed to defend yourself before an attack, or while he's still attacking." Seems like it's legal. 17:08:50 ... SWITZERLAND? 17:08:55 WHERE THEY FORCE YOU ALL TO BE ARMED 17:08:56 Anyway, self-defense is rather tightly controlled in Finland too. 17:09:02 (I did that earlier to see if he did live in a common-law country.) 17:09:05 I believe that your interpretation of the law is probably broken. 17:09:10 I'm gonna do an elliott and part until conversation improves 17:09:11 -!- Taneb has left ("Leaving"). 17:09:12 in Belgium, you can get around any law really 17:09:22 AnotherTest, how? 17:09:24 Gregor: They're armed to repel foreign intruders, you know. 17:09:32 fizzie: That's besides the point ;) 17:09:38 Waiting 'til there's no government again? 17:09:51 Phantom_Hoover: it's full of back-doors 17:09:52 Gregor: Well. 17:09:59 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 17:10:04 That's not very uncommon @you have to go to the army 17:10:14 in european countries. 17:10:20 not belgium! 17:10:20 And that's not it. 17:10:25 fizzie, but that's, like, self-defence against foreigners. 17:10:27 I mean 17:10:37 You have to be a soldat, and you have to be a fire-fighter in switzerland. 17:10:38 If a Russian immigrated illegally and then robbed you 17:10:49 Would that allow you to shoot them in self-defence? 17:11:05 hopefully not. 17:11:17 depends on how he robbed you. 17:12:03 mroman, that was purely a joke aimed at fizzie. 17:13:10 "olice officers have also recently shot dogs that were chained, tied, or leashed -- obviously posing no real threat to officers who killed them. " 17:13:15 ^- Ok. That is SICK. 17:13:25 but understandable. 17:13:30 :P 17:13:31 Understandable? 17:13:36 hey there needs to be a grossly disproportionate punishment for being suspected of owning a small amount of a plant 17:13:38 You'd have to recognize first that he's on a leash. 17:13:46 but police officers should be trained to do so. 17:13:50 which makes it sick. 17:14:03 also you have to make assumptions about the length of the leash. 17:14:09 kmc, calling it 'a plant' as if that's so ultra-reasonable is disingenuous. 17:14:12 Even if he's on a leash he still might reach you. 17:14:23 Phantom_Hoover: everyone knows what i'm talking about 17:14:33 There were also some stories like this one guy to whom the police said that "we won't harm your dog if you put him in the bathroom and close the door", then (after he had done so) went and opened the door, shot the dog, for no other apparent reason than to get some water to drink. 17:14:36 As you see. It is not that easy for a police officer. 17:14:42 Is that also understandable? 17:14:48 I mean, they could've been in danger of thirst. 17:14:49 Of course; I'm saying that you're making out that it's completely ridiculous to regulate posession of a plant. 17:15:00 not really 17:15:04 fizzie: Well, no. 17:15:08 @understandable 17:15:08 Unknown command, try @list 17:15:14 Anyway, regarding shooting someone who just tries to rob you, here's some Florida statutes: "a person is justified in the use of deadly force -- if: He or she reasonably believes that such force is necessary to prevent imminent death or great bodily harm -- A person is presumed to have held a reasonable fear of imminent peril of death or great bodily harm -- if: (a) The person against whom the ... 17:15:20 ... defensive force was used was in the process of unlawfully and forcefully entering, or had unlawfully and forcibly entered, a dwelling, residence, or occupied vehicle, -- and (b) The person who uses defensive force knew or had reason to believe that an unlawful and forcible entry or unlawful and forcible act was occurring or had occurred." 17:15:32 That really sounds quite much like you can shoot people who aren't directly in the process of attacking you personally. 17:15:47 FWIW killing burglars is definitely not legal in the UK. 17:16:00 It's very much not legal here too. 17:16:19 As for US, I am under the impression that how legal it is varies quite much depending on the state in question. 17:16:42 I don't think it's allowed in switzerland @killing burglars. 17:16:46 It would be legal here if you caused an error in the investigation(causing you not to get any punishment) 17:17:07 (you'd need just 1 person on the inside to do that) 17:17:08 It's even technically your fault if a burglar falls down your staircaise. 17:17:19 *case 17:17:19 AnotherTest, well come on, any legal system can be subverted from the inside. 17:17:44 anyway 17:17:44 That's just "it would be legal here if you had a corrupt policeman on your side", which is true basically everywhere. 17:17:47 in finnish law, is it less wrong to kill a burglar than a random guy? (assuming that you say you did not consider yourself to be in danger.) 17:17:58 Phantom_Hoover: true, but here you could just leak a single sentence of the documents and it would be fine 17:18:03 I'm all for "not killing the dogs" if you pay the money to train police officers for such situations. 17:18:22 mroman, it says /in the article/ that they've been offered free training multiple times. 17:18:32 For every police officer? 17:18:36 And it's the police's own damn fault to ensure the safety of the public from the police. 17:18:41 Then they are idiots. 17:18:44 Then it seems like they were just having some sadistic fun. 17:18:50 oklopol: I don't think there's a difference. The bit about "hätävarjelu" just says: "Aloitetun tai välittömästi uhkaavan oikeudettoman hyökkäyksen torjumiseksi tarpeellinen puolustusteko on hätävarjeluna sallittu, jollei teko ilmeisesti ylitä sitä, mitä on pidettävä kokonaisuutena arvioiden puolustettavana, kun otetaan huomioon hyökkäyksen laatu ja voimakkuus, puolustautujan ja ... 17:18:56 ... hyökkääjän henkilö sekä muut olosuhteet." I haven't seen anything that would let you use more force when you're defending your home or some-such. 17:19:13 fizzie, how do Finnish sentencing laws work though. 17:20:10 oklopol: Oh, well, there's also 5§ pakkotila: "Muun kuin edellä 4 §:ssä tarkoitetun, oikeudellisesti suojattua etua uhkaavan välittömän ja pakottavan vaaran torjumiseksi tarpeellinen teko on pakkotilatekona sallittu, jos teko on kokonaisuutena arvioiden puolustettava, kun otetaan huomioon pelastettavan edun ja teolla aiheutetun vahingon ja haitan laatu ja suuruus, vaaran alkuperä sekä ... 17:20:16 ... muut olosuhteet." So I guess you could argue something related to that if you were repelling a burglar, but not if you were just killing some random dude who hadn't done anything. 17:20:31 Except I doubt they'd ever considered deadly force "reasonable". 17:20:41 okay 17:23:42 Also even if you do something unreasonable, you can't get punished if it's not possible to reasonably expect you to have behaved otherwise in the situation, considering element of surprise etc. (I think that bit is there to give some leniency where you can't really make a full analysis of legality before acting.) 17:24:20 interesting 17:25:15 Also if e.g. the attacker has a fake gun and you hurt him trying to defend yourself, even though you weren't actually in any danger. 17:25:51 Apparently supplementary materials clarify it so that you have more wiggle room when defending your person than your property. 17:26:09 So here you shouldn't probably shoot after a car thief. 17:28:06 Actually that case was mostly interesting because the original car owner killed the thief, then afterwards the car hit someone else, and the someone else's insurance company argued the "acts of uninsured motorists" insurance won't cover it, because the car wasn't operated by an uninsured motorist (the thief), because he was dead at the time, and therefore could not be operating a vehicle. 17:28:15 I don't recall how it actually went in the end. 17:28:33 I don't think anyone was blaming the car owner of anything, though. 17:29:04 :D 17:30:04 What if he had died at the wheel and then it had hit someone>? 17:30:23 I don't really know. I think it should be an analoguous case. 17:30:38 "The fact that the jury came back with a verdict of $450,000 probably tells us something about what it thought of the insurer's position." 17:31:00 are those finn moneys 17:31:17 No, this was a US blog. 17:32:32 -!- Taneb has joined. 17:32:43 Hello 17:32:52 yay taneb, quick everyone talk about dogs again 17:33:10 My dog got attacked by a different dog a while back 17:33:20 That dog later killed a third dog 17:33:28 did it shoot the third dog 17:33:33 On the other hand, apparently in New Zealand you shouldn't throw a spear into the head of someone who stole your wallet: http://www.nzherald.co.nz/nz/news/article.cfm?c_id=1&objectid=10502759 17:33:37 was the third dog coming right for it 17:42:58 oklopol: I found you four cases that illustrate self-defense, you can refer to these next time when you think whether you should kill a dude or not: http://sprunge.us/XIVh 17:43:26 fizzie: I would never kill someone 17:43:31 fizzie: I wouldn't dare to 17:43:56 (and I don't understand finish) 17:44:08 (but alright that wasn't for me) 17:45:39 (For non-Finns, in the last case someone guarding a a gas station had shot a burglar to the leg, causing permanent injury, and was fined 10000 FIM (about 1700 EUR, 2100 USD) because a gun was considered a too dangerous means for primary defense purposes for a private individual. 17:47:55 (But in #3 someone had shot dead a dude that had broken in his house and threatened everyone there with a shotgun; apparently due to "fast escalation of the situation" it wasn't reasonable to expect him to be able to aim away from vital spots, so he wasn't convicted.) 17:49:04 (So you can in fact kill people here and get away with it, it just requires a very legitimate-looking threat and you probably should mostly be focusing on saving yourself and not especially much on killing the other guy.) 17:49:15 It's probably not that easy to know where you can "safely" shoot someone. 17:49:25 I'd probably go for the calves? 17:49:47 No such thing as safely shooting someone 17:49:56 Well 17:50:01 In this context safely means 17:50:06 "No permanent injury, not dead" 17:50:18 and "not bleeding to death within reasonable time" 17:50:42 How much of an area of error are we allowing? 17:51:04 "Regular guy aim"-tolerance? 17:51:14 5 cm probably. 17:51:25 but I have absolutely no idea 17:51:48 I never shot a gun. 17:52:03 I've shot an unloaded air pistol. 17:52:06 Does that count? 17:52:16 But I assume someone who can is able to hit a circle with 5cm radius? 17:52:32 I'd go for butt 17:52:53 But I only heard that was the safest in the context of stabbing 17:53:02 mroman: I would really assume that depends on the distance. 17:53:17 Well 17:53:26 In case of a robbery 10m is probably the maximum distance. 17:53:33 I've shot one of those air "rifle" things too. It had a bit of an issue that when you made it go from the loading mode "L" shape into the firing mode "|" shape, it had about 80% chance of automatically firing. In retrospect, it perhaps wasn't the safest device around? 17:54:17 10m means he's standing in the living room and you're in the next room but can shoot him through the open door 10m 17:54:33 In this context safely means 17:54:33 "No permanent injury, not dead" 17:54:35 and he's just thinking of shooting your dog. 17:54:38 No such place. 17:54:44 (It was very old.) 17:54:57 I've heard so too. 17:55:04 You can never guarantee you won't sever a nerve, for one thing. 17:55:10 Aparently shooting someone in the leg creates a pressure in the veins 17:55:27 which kill you even if its just a grazing shot. 17:55:29 Shooting someone in the leg carries a high risk of opening an artery. 17:56:43 In #3, the chosen place -- well, according to the text he didn't have a chance to aim at all -- was the chest. Even given that no place is safe, that was maybe not the optimal place. 17:57:20 It's complicated by the fact that he was threatening people with a shotgun. 17:57:25 But I've seen that in movies! @chest 17:57:35 'Salt' maybe :) 17:57:51 No idea 17:58:15 fizzie: I tried OOo Base. It wasn't very good. 17:58:25 Shooting someone in the chest is extremely dangerous but it's also far from a quick or even definite kill. 17:58:31 tswett, why would you 17:58:40 -!- Gregor has set topic: #esoteric: Where we decide just how much you can shoot someone. | http://codu.org/logs/_esoteric/ | This is what the bfjoust hill will look like under the new scoring system: http://pastebin.com/raw.php?i=XEWnVMg8. 17:59:08 tswett: *pretending to look surprised here* 17:59:10 augur_: I think Proce has a really weird paradigm. One of these days, I need to rewrite the spec so that it actually makes sense. 17:59:26 What's your underlying database, anyway? My? 17:59:46 So we're all in agreement that you should at least not shoot people a lot? 18:01:43 Phantom_Hoover, it's this sort of thing why I suggested we form a superhero team in Glasgow 18:01:50 That, and we can both get there by train 18:02:58 So we can shoot people? 18:03:10 fizzie: my underlying database is whatever I feel like installing. 18:03:14 I don't feel like installing anything. 18:03:37 But Sqlite is already installed. 18:03:46 Oh, okay. I had somehow assumed administration of an existing database. 18:04:08 I think there's a Firefox extension for that. 18:04:42 So it's kind-of half-self-contained. 18:06:06 -!- nortti has quit (Quit: leaving). 18:06:21 What I have is a personal database, containing tables that are just to-do lists or such things. 18:06:40 -!- nortti has joined. 18:07:03 Since I am not a computer program, I don't particularly feel like writing a SQL query every time I want to do something. 18:07:54 So you're implying that the matrix does not exist, eh? 18:08:36 Let me rephrase that. I am not a computer program whose source code I can feasibly rewrite. 18:08:48 Or, if I can, I don't know how. 18:11:32 Phantom_Hoover, no, so we can stop other people shooting yet other people 18:11:52 I had a database like that once, and I made it out of sqlite and a quick-and-dirty UI using some scripting language and a curses-like package. But that's of course a hassle. 18:12:27 Okay, it wasn't exactly like that, and had some things for which a program was handy. 18:16:17 -!- Taneb has quit (Quit: Leaving). 18:18:06 We don't have much gun crime in the UK... 18:19:35 And all of our crime is gun crime in the states. 18:19:36 So we balance out. 18:22:55 We do have shitloads of knife crime and, increasingly, sword crime, so there's that. 18:23:04 we don't have any crime in finland 18:24:41 There's no crime in Murdertopia! 18:24:47 Because everything's legal in Murdertopia! 18:25:13 i don't count victimless crimes and finns are not people 18:25:25 What about beating up swedes 18:25:30 is that a crime in finland 18:31:48 The traditional Finnish crime is axe crime. 18:33:09 s/crime/pastime/ 18:33:48 Phantom_Hoover, sword crime? really? 18:34:42 "Työttömyys, viina, kirves ja perhe / lumihanki, poliisi ja viimeinen erhe", they sing in a well-known song. (Butchering the lyrics, that's something like "unemployment, booze, an axe and the family / a snowbank, the police and the final mistake".) 18:37:00 (The song also has parts that are not just listing related words.) 18:38:25 would you cry out of happiness? 18:38:57 That's not a work-safe song. 18:39:19 oklopol, why do you ask? 18:39:26 Vorpal: It's a translated song title too. 18:39:28 oh 18:39:29 right 18:39:36 Does it mention an axe later? I only know the first bit. 18:39:38 i didn't know those lyrics, because i've always stopped listening after would you cry out of happiness if i fucked you real nice. 18:40:02 oklopol: Yeah, it apparently goes to rather different themes afterwards, fancy that. 18:40:03 (the first few seconds, iirc the song has no repetition) 18:40:18 -!- AnotherTest has quit (Quit: Leaving.). 18:40:33 -!- AnotherTest has joined. 18:40:37 (i guess i accidentally admitted i have heard the whole song) 18:40:38 oklopol: Actually in a rather non-Finnish turn of events, it seems to be about gun crime instead. 18:41:21 Also they repeat the bit about how unfairly luck is shared among people. 18:41:31 oh. 18:41:48 But not the part about fucking. 18:41:50 okay that does sound chorusy. 18:42:20 well i got the album when i was something like 10 so that was the only part i cared about. 18:44:34 Should I work on SICP a little despite being sleep deprived? 18:45:29 i didn't quite get this song. 18:45:31 Also, a lyrics site has done the ä/ae translation, resulting in the song "Ei Saeaestae Perheen Koiraakaan". (That song, incidentally, also includes an axe. Or at least refers to one.) 18:45:53 'saeaestae' makes quite a word. 18:46:14 erm 18:46:37 yeah when i said would you cry out of happiness, i tried to ask if the line was from that. 18:46:44 Oh. 18:46:46 Okay. 18:46:48 No, it wasn't. 18:46:52 because a google search had those in the same entry 18:47:01 *my 18:47:25 It's from The Land of Mournful Songs. 18:48:27 In the second stanza, the protagonist is all set to never even get an axe; in the fifth, well... 18:48:31 (The quote was from that.) 18:48:32 i just have a random collection of their songs 18:49:42 -!- edwardk has joined. 18:49:49 I only know the songs that they play on the radio. Or played, I guess. 18:51:50 we used to play some of the songs with a couple of friends (a bit over 10 years ago) 18:52:01 Also I think there was a parody version of that "voi kuinka me sinua kaivataan" song. 18:53:38 Phantom_Hoover, sword crime? really? 18:54:20 Yeah; IIRC they were becoming more and more popular amongst organised criminals. 18:54:46 Mainly because nobody bothered to regulate them at first, although that changed fairly quickly. 18:55:42 I think I actually saw something about that somewhere. 18:56:00 In the context of setting up some sword regulation laws. 18:56:57 I think it was just extending the existing knife laws to swords, admittedly. 19:00:57 was it legal to kill with a sword? 19:01:14 -!- AnotherTest has quit (Quit: Leaving.). 19:01:43 I don't think so. 19:02:32 Dexterity Software > Personal Development for Smart People 19:02:35 There is that thing with the crossbow and the hill in Wales (or is it York)? 19:03:00 That's very helpful Sgeo now you might want to say that to some people who know what either of those things are. 19:03:41 Phantom_Hoover, a blog post on Personal Development for Smart People: http://www.stevepavlina.com/blog/2009/02/1111/ 19:03:48 i'm not even sure i know what Smart People means 19:04:09 Phantom_Hoover, I'd link you to Dexterity Software, but Steve took it down to focus on... the blog I just linked 19:04:11 my guess is dexterity software is a product for smart people made by an eponymous copany 19:04:23 ^company 19:04:54 yeah... ieponymous i spell correctly 19:04:57 eddiewdjiewdjiewjioewjdiewjiowe 19:05:07 now i feel a proper prat 19:07:53 -!- edwardk has quit (Read error: Connection reset by peer). 19:08:35 Phantom_Hoover, web archive of Dexterity Software http://web.archive.org/web/20031218062802/http://www.dexterity.com/ 19:08:56 yeah Phantom_Hoover here's the info you were requesting. 19:09:12 oh 19:09:14 -!- oerjan has joined. 19:09:18 thank you sgeo now i can enjoy this even more 19:09:31 ......I was able to actually download one of the game demos o.O 19:09:59 what is the name of that firefox add-on that allows you to modify how pages display, overriding parts of them. SomethingMonkey iirc? 19:10:17 GreaseMonkey, after the esolanger 19:10:30 heh 19:10:40 haven't seen him in a while 19:10:53 Why is there no information included AT which cell a constant stops? <-- i think until recently there were no examples without balanced loops so it was easy to deduce. 19:10:58 now is there a GreaseMonkey for chrome I wonder.. 19:11:50 nope, esolangers are incompatible with chrome. see: Gregor 19:12:00 what does Gregor have against chrome? 19:12:35 allergy. 19:12:43 why? 19:13:01 * oerjan notes strong winds in the sky today 19:13:13 There's some sort of a semi-compatible thing, I believe. 19:13:13 Vorpal: http://www.greasemonkeyforchrome.com/ 19:13:17 I switched off my humor engine for today 19:13:20 Deewiant, thanks 19:14:25 support built in or what? Huh 19:15:09 Vorpal: chrome refers to colors, and Gregor is allergic to certain colors 19:15:20 Deewiant, well all I want to do is actually override some CSS. 19:15:36 (only some really obscure ones, and it's just a slight eye rash, but still) 19:16:05 http://www.dropbox.com/gallery/87474461/1/Beetle?h=516644 <-- i am reminded of the book Tordyveln flyger i skymningen 19:16:06 -!- FoREALien has quit (Ping timeout: 246 seconds). 19:16:31 (that's the original swedish title, of course i read it in norwegian) 19:16:36 oerjan, that title sounds slightly familiar. No clue what it is about though 19:17:32 afair it's a children's mystery with mystical elements. the namesake tordivel is an omen... 19:17:45 I see 19:18:04 and i think there were egyptian mummies involved, or something like that 19:19:00 I don't think I ever read that 19:19:10 * oerjan thinks of one more thing but that would be a major spoiler. 19:19:22 oerjan, anyway the thing was not a tordyvel 19:19:43 no, but the tordyvel in the book was a stand-in for an egyptian scarab 19:19:53 uhu 19:20:53 not that your picture looks like the one on wikipedia for that, but anyway the exact species is flexible for this :P 19:21:53 Since when am I anti-Chrome. 19:22:03 -!- Taneb has joined. 19:22:03 I use Firefox, but I hate every browser. 19:22:06 Hello 19:22:08 wtf check the first picture of http://en.wikipedia.org/wiki/Scarabaeidae#Gallery :P 19:22:22 winds are indeed strong today 19:24:25 (and by that i mean, compare to Vorpal's pictures at https://www.dropbox.com/gallery/87474461/1/Beetle?h=516644) 19:24:48 it may of course just be similar. 19:24:50 i once found a scarab beetle in the garden 19:25:27 it was dead, but i won't go on 19:25:50 those are not only the same type of beetle, they are actually the _same beetle_ 19:26:00 oklopol: PLAUSIBLE 19:26:17 i'd have liked a picture that was from the same angle... 19:27:10 well you can see his face 19:27:16 and you can't mistake those eyes 19:27:29 oklopol: kind of like if turtles took photos of humans and 2 different turtles uploded it to different websites and my eyes are so tired i am typing with my eyes shut 19:27:47 :D 19:27:50 exactly 19:28:18 All the channels I've on have gone crazy today. 19:28:49 which wouldn't be much of an achievement except my touch typing style is all a,s,space k,o,shift 19:29:12 http://www.google.no/search?hl=no&safe=off&biw=1071&bih=594&tbm=isch&sa=1&q=chiloloba+acuta&oq=chiloloba+acuta&gs_l=img.3...14015.21281.0.21703.17.7.1.9.9.0.297.1000.0j1j3.4.0...0.0.I15OjvwskpQ has some such pictures, they don't look convincingly _that_ similar. 19:30:28 http://commons.wikimedia.org/wiki/File:Green_Scarab_Beetle_(Chiloloba_acuta)_W_IMG_3433.jpg in particular 19:32:40 Vorpal: hey wait your pictures are named "Cetonia Aurata" 19:33:33 oh, that's also a scarabaeid 19:37:57 oh right you discussed it in channel 19:38:23 Vorpal: i think the chiloloba is a better fit to your pictures than the cetonia, even if it's still not perfect 19:40:36 Vorpal: http://en.wikipedia.org/wiki/Cetonia_aurata#In_popular_culture XD 19:43:35 I've just updated family-tree 19:43:36 * oerjan is going to guess the swedish book was _inspired_ by that Jung story 19:48:17 here are a bunch of related candidates http://en.wikipedia.org/wiki/File:Cetoniinae50.jpg 19:49:06 21:48 < mroman> I'm tempted to create Beamjoust :) 19:49:28 I should read in which channel I am than just assume in which channel I left the computer :D 19:49:34 -!- Patashu[Zzz] has quit (Ping timeout: 265 seconds). 19:51:15 -!- edwardk has joined. 19:52:04 -!- nortti has quit (Quit: leaving). 19:52:27 -!- nortti has joined. 19:57:25 "As far as I've learned from my time on the Internet, First Amendment rights are violated whenever any of the following happen:" 19:57:28 "1. A person is told to shut up by a moderator or administrator." 19:57:31 "2. A person is told to shut up by an ordinary community member." 19:57:33 "3. A person is told their ideas are stupid." 19:57:48 What is the first amendment? 19:57:57 US law 19:58:05 US free speech law 19:58:28 Basically says Congress can't outlaw religion or speech 19:58:31 it says you are allowed to speak 19:58:36 second is that you are allowed to walk 19:58:37 As far as I'm concerned there is no such thing as free speech 19:58:51 I don't know any country that allows free spech. 19:58:55 Yeah, but you live in an isolationist, far right country 19:59:18 where he lisev? 19:59:21 *lives 19:59:28 Switzerland, I believe 19:59:33 I'm pretty sury there is no free speech in the US. 19:59:35 *sure 19:59:55 They have to at least pretend there is 19:59:57 If you can't say whatever the heck you wan't it's not *really* _free_ speech. 20:00:16 It's free speech, but you can not say that, this nor that thing. 20:00:41 mroman: like if you walk to a shop and say you have a gun and are going to start killing if they don't give you everything 20:00:52 No. 20:00:55 oh. 20:01:03 wtf check the first picture of http://en.wikipedia.org/wiki/Scarabaeidae#Gallery :P <-- it has more hair around the edges? 20:01:12 You are not allowed to deny the holocaust. 20:01:20 It's forbidden to say that. 20:01:23 you aren't? 20:01:25 There are racism laws. 20:01:25 o_O 20:01:35 Which means that it is forbidden to say certain things. 20:01:37 It's not forbidden to deny the holocaust 20:01:39 I'll demonstrate 20:01:47 Taneb: It is in my country. 20:01:47 The holocaust never happened 20:01:54 in israel it is 20:01:55 Vorpal: hey wait your pictures are named "Cetonia Aurata" <-- Deewiant figured out what they were, so I renamed the files 20:02:01 mroman, you live in a far-right isolationist country 20:02:06 (the confusion of log reading! yay) 20:02:16 But you still have racism laws in the US? 20:02:23 I dunno, I'm in the UK 20:02:33 Vorpal: i think the chiloloba is a better fit to your pictures than the cetonia, even if it's still not perfect <-- hm? Which one is that? 20:02:57 You can't publicly say that "$Those-People are $Bad-Thing" 20:03:14 i suppose there's racism laws in finland as well, but they are about as meaningful as piracy laws unless you're famous. unless it's a direct insult ofc. 20:03:15 Vorpal: the one in the gallery. actually i'm not sure any more. 20:03:24 Which completely busts free speech. 20:03:32 oerjan, that one seems to exist in India, not Sweden 20:03:36 oerjan, get a grip 20:03:38 -!- olsner has joined. 20:03:38 Free speech means to me, that you can state your opinion, no matter what opinion you have. 20:03:47 Nobody has to agree with your opinion, but you are allowed to say it. 20:03:59 and thats just not allowed in most (european) countries. 20:04:02 Free speech does not mean you must be allowed to act on your opinion 20:04:19 It doesn't, yes. 20:04:20 oerjan, anyway mine had the faint white streaks that the Swedish wikipedia on the type we went for mentioned 20:04:35 but "speech" somehow implies to me, that you can say your opinion publicly 20:04:56 I think you are allowed to say "I don't like those people" 20:05:08 But you're not allowed to say "Kill those people whenever you see them" 20:05:16 Unless you're a government 20:05:18 Exactly. 20:05:22 @Kill those people 20:05:23 Consider it noted. 20:05:30 What? 20:05:38 lambdabot just noted to kill those people. 20:05:39 -!- Taneb has changed nick to those. 20:05:41 That's sick! 20:05:41 Hello 20:05:41 those: You have 1 new message. '/msg lambdabot @messages' to read it. 20:05:42 heh 20:05:46 @messages 20:05:46 mroman said 24s ago: people 20:05:52 -!- those has changed nick to Taneb. 20:05:55 mroman, it does fuzzy matching on command 20:05:58 commands* 20:06:04 so it went kill -> tell I guess 20:06:10 the hamming distance is just 2 after all! 20:06:12 so is @kill really @tell 20:06:33 @Kill nortti maybe? 20:06:34 Consider it noted. 20:06:38 Taneb: And what does that mean for free speech if I can't say "Kill those people" 20:06:44 not that somebody ever should say something like that 20:06:55 olsner: why? 20:06:55 mroman, because it's provocative of violence 20:06:55 nortti: You have 1 new message. '/msg lambdabot @messages' to read it. 20:07:03 @messages 20:07:03 olsner said 29s ago: maybe? 20:07:08 @kill all humans 20:07:09 Maybe you meant: keal kind tell 20:07:15 wat 20:07:20 oh hm 20:07:25 @kill oerjan bwahahaha 20:07:25 Maybe you meant: keal kind tell 20:07:30 Taneb: It is. 20:07:33 @Kill all humans 20:07:34 Consider it noted. 20:07:39 @kill oerjan foo 20:07:40 Maybe you meant: keal kind tell 20:07:47 @Kill oerjan foo 20:07:47 Consider it noted. 20:07:57 But the fact that you are not allowed to *say* that sentence somehow tells me that the idea of "free speech" is not that "free". 20:07:58 AAAAAAAAA 20:07:58 oerjan: You have 1 new message. '/msg lambdabot @messages' to read it. 20:08:01 @messages 20:08:02 nortti said 15s ago: foo 20:08:21 if "free speech" really meant that you can say absolutely anything you like in any possible situation, then free speech could naturally never be allowed. 20:08:24 it's more or less "You can say what you want, except what we don't whant you to say" 20:08:25 mroman, what sentence? 20:08:31 mroman, you're allowed to say it, just not where a lot of people who view you as a leader can listen? 20:08:33 I dunnoi 20:08:55 My knowledge of the legal procedure in my own country is limited, much less in the US and Switzerland 20:09:03 oklopol: Which is why "free speech" does not exist to me ;) 20:09:16 i guess what it boils down to is you can say what you like, but people can also react how they like to what you say 20:09:25 mroman: well okay, but then that's kind of a stupid definition 20:09:27 free speech in it's purest form at least. 20:09:40 which means that the concept of free is moot in the case i describe 20:09:46 I don't agree with the name of it. 20:10:03 In German its "Meinungsfreiheit: Jeder hat das Recht seine Meinung frei zu äussern" 20:10:03 because most important things in life happen via speech 20:10:07 there's that famous "shouting fire in a crowded theater" example which i think some us supreme court judge came up with 20:10:12 which means in english: Everyone has the right to state his opinion. 20:10:23 But the fact is: He can not. 20:10:26 oerjan, and what did they conclude on that? 20:10:45 and that means the sentence "Everyone has the right to state his opinion" is bogus. 20:10:50 Because it is not true. 20:10:53 mroman: ahh rights.. i don't know what a right is fundamentally. i tried asking my mum once. she didn't give me a clear answer 20:11:13 itidus21, so read up on it instead? 20:11:13 The same applies to the freedom of religion thingy 20:11:18 whatever you call that ;) 20:11:26 It does not exist either. 20:11:28 Vorpal: well this was years ago :P 20:11:39 okay 20:11:39 It has a fancy name like "free speech" but that's it. 20:11:42 but, honestly i don't think anyone could define precisely what a right is 20:11:49 "The most stringent protection of free speech would not protect a man falsely shouting fire in a theater and causing a panic." http://en.wikipedia.org/wiki/Shouting_fire_in_a_crowded_theater 20:12:04 i think a right at it's most fundamental level is beyond analysis 20:12:04 it's just i don't think it's the stating the opinion that's outlawed, you can tell it to your friends and if a cop finds out he won't care. 20:12:28 fair enough 20:12:33 hehe 20:12:34 saying you hate niggers is just, i suppose, a weak version of telling someone to kill someone 20:12:45 ahh 20:13:07 FBI: for the record, I do not hate niggers, do do I deny the holocaust happened 20:13:12 CIA: ditto 20:13:18 -!- itidus20 has joined. 20:13:27 gah 20:13:32 mroman, you can probably still say that you think saying "I like to kill black people" should be allowed though 20:13:33 ahh 20:13:36 what i believe is.. 20:13:52 Taneb, "do do"? 20:14:04 s/do do/nor do/ 20:14:09 [...] i tried asking my mum once. she didn't give me a clear answer <-- did it end with "but you still have to clean your room"? 20:14:10 I don't even know what's wrong with me 20:14:11 heh, weird typo 20:14:21 FBI and CIA: i hate niggers, the holocaust did not happen, and my hd is full of snuff, child pornography and secret al qaeda documents. 20:14:26 oerjan, :D 20:14:28 Vorpal: I have nothing against these laws 20:14:37 but they should be defined in other words, so that they actually are true. 20:14:42 that, ideally if someone claims to hold a racist view, it would be nice if they could actually be exposed to experiences of living and working alongside the race they claim to hate 20:14:47 everyone else: j/k 20:14:48 mhm 20:14:50 else there just a sharade. 20:15:32 like 20:15:36 basically i think for the most part segregation itself gives rise to racist views 20:15:53 but, i think there are also racists who are much more deeply racist 20:15:54 Everyone has the right to state his opinion, unless it interferes with the general public opinion of the corresponding topic. 20:16:03 Wow, I managed to here sharade as faade 20:16:07 Can... 20:16:18 or something like that ;) 20:16:26 Can someone recommend a psychiatrist? 20:16:29 oklopol: so you're not really up to snuff? 20:16:35 *charade 20:16:47 oerjan: is there a pun i'm missing? 20:16:51 itidus20, I believe it is a fear of the unknown, so yes segregation doesn't help. But then why did that segregation happen originally? 20:16:54 snuff is not a victimless crime 20:17:02 snuff? 20:17:07 unlike the rest 20:17:08 oklopol: yes there is 20:17:16 Snuff is in the stuff you stick up your nose 20:17:17 oerjan: what's the pun? 20:17:19 I'm currently playing a trumpet with oboe fingering. 20:17:20 It's surreal. 20:17:24 Taneb, don't you need an ear doctor instead then? 20:17:24 Is a victimless probably non-crime 20:17:30 erm okay cp i guess can be a bit victimful now that i look at my list :D 20:17:31 -!- itidus21 has quit (Ping timeout: 264 seconds). 20:17:41 Vorpal, not if I heard it on the inside of my head 20:17:43 "up to snuff" is a phrase, meaning something like competent 20:17:43 Gregor: That is super surreal o_O 20:17:55 -!- itidus20 has changed nick to itidus21. 20:18:04 Taneb, hearing things on the inside of your head is in general a bad thing 20:18:08 btw, where is elliott? 20:18:41 Vorpal, dunno, I don't exactly have any contact with him outside this channel and occasionally private messages and #haskell and #esoteric-minecraft 20:18:49 oerjan: okay did not know that one 20:18:52 Gregor, can you record it? A video preferably 20:19:12 i guess the saying only makes sense if you think snuff is the greatest form of entertainment in the world. 20:19:15 Vorpal, mroman: I /just/ got this electronic wind instrument yesterday, gimme a break 20:19:15 Taneb, isn't hexham like a small village kind of deal? 20:19:35 Vorpal, almost 12000 people 20:19:39 I play a Flugelhorn. 20:19:49 It's not /tiny/ 20:19:56 Gregor, electronic wind instrument? That explains it. Also it sounds awesome 20:20:03 does it have a midi port on the side? 20:20:08 in fact, what does it look like? 20:20:10 What's the electronic part of it? 20:20:12 Vorpal: well especially the case where it might be claimed i am racist.. i would at least like exposure to the group i hate 20:20:32 Vorpal, I have never met elliott, nor do I plan to 20:20:34 or it would seem they get some great deal of joy out of labelling my hate 20:20:41 itidus21, eh? Are you a racist? 20:20:46 Taneb, good for you 20:20:47 By mutual agreement 20:20:51 Taneb: Are you some sort of elliott-racist! 20:20:56 Taneb, why? 20:21:16 All the discussion occured in this channel 20:21:22 I see 20:21:22 Vorpal: http://www.akaipro.com/ewiusb 20:21:27 Vorpal: It's a standard USB MIDI device. 20:21:37 * oerjan recalls back in the 90s or so reading that snuff in the strict sense wasn't proved to exist, and vaguely wonders if that's still true. 20:21:40 The main reason is that we're ridiculously similar in terms of tastes and location that meeting will destroy the universe 20:21:48 Gregor, does it have a speaker built in? 20:21:51 Which would be a Bad Thing 20:22:30 Vorpal: my point is, i am aware of no benefit derived of being racist.. so i would expect the majority of racists would like the chance to remedy their racism 20:22:45 perhaps that is hugely wishful thinking 20:22:49 itidus21, I don't think the world works that way... 20:22:50 fizzie, I'm descended from the elliott clan on my mother's side! 20:23:02 (actually sort of true) 20:23:06 otherwise, why would the Bible belt in US still exist? 20:23:10 also if racism is a symptom of some other problem 20:23:19 "The existence of for-profit snuff films is generally considered an urban legend.", so still the same i guess 20:23:48 then it wouldn't go away 20:23:50 Gregor, what is the ground plate for on those screenshots? Electrical ground? 20:24:01 (I never played a wind instrument, I don't know the terminology) 20:24:53 Vorpal: No speaker, it's just a MIDI device. It has nothing to do with either electrical grounding or wind instruments. Well, maybe it does have to do with electrical grounding, it has something to do with how it does touch-detection of the pitch bend area. 20:25:09 ah 20:25:29 i suppose the benefits for the racist are the same as those of the bully.. having someone to pick on and blame for things and exploit 20:26:04 Gregor, does it work well (the instrument in general, not the ground plate in specific) 20:26:16 Extremely, actually. 20:26:23 are you surprised? 20:26:38 Well, I paid $250 for it, so my expectations weren't low, but I'm not disappointed. 20:26:48 i think my habit of sticking to a topic years after it has been dropped is awkward in such cases 20:26:56 Gregor, what happens if you try to suck air in instead? 20:27:03 Vorpal: You die. 20:27:13 Gregor, seriously though? 20:27:16 Vorpal: It has near zero airflow, so that's mostly just very unpleasant. 20:27:19 It doesn't hurt anything. 20:27:20 ah 20:27:31 Gregor, how can it work with near zero airflow?! 20:27:39 that doesn't make sense to me 20:28:18 Vorpal: It doesn't produce sound, it just needs a pressure sensor. In principle it could have no airflow whatsoever, but it does have a little bit. 20:28:38 right, it must be very different to play then from normal wind instruments 20:28:52 I'm told that it's most similar to an oboe, which also has very low airflow. 20:29:03 But yes, real woodwind players apparently complain about its low airflow. 20:29:06 since instead of stopping breathing out you need to breath in to stop the tone? 20:29:13 -!- Taneb has quit (Quit: Leaving). 20:29:18 ... no, you don't X-D 20:29:22 oh? 20:29:24 You just need to stop applying pressure. 20:29:49 I guess that is why it has a tiny bit of airflow then 20:29:55 So no electric flutes then? 20:29:58 Yes, just enough to be possible ^^ 20:30:13 Phantom_Hoover: Naw, they all simulate direct-blown instrument, no transverse. 20:30:26 Pfft/ 20:30:31 I think there are electric brass too, but those are crazy-expensive and I'm no lip buzzing expert anyway. 20:30:52 Phantom_Hoover: Naw, they all simulate direct-blown instrument, no transverse. <-- not all flutes are transverse afaik? 20:31:04 The term "flute" usually refers to concert flutes, which are. 20:31:12 Other kinds of flutes are lame and everybody hates them. 20:31:54 oh right English calls "blockflöjt" "recorder" 20:32:04 in Swedish "flute" is part of the name of that instrument 20:32:20 In some English dialects, recorders are considered a type of flute. 20:32:28 right 20:32:28 But usually the word "flute" refers to concert flutes, which are transverse. 20:32:30 -!- asiekierka has quit (Remote host closed the connection). 20:32:59 Gregor, what about pan flutes, they are transverse still 20:33:05 but not the same as concert flute 20:33:22 or is that not called a flute in English either 20:33:23 * Vorpal checks 20:33:45 well the article name is Pan flute, but the intro text reads "pan pipe". 20:33:56 that's confusing 20:35:22 -!- edwardk has quit (Read error: Connection reset by peer). 20:43:39 That's called a pan flute, yes X-D 20:43:50 Pretty much any woodwind that doesn't have a reed is a kind of flute. 20:44:01 Just the only one you mean when you don't specify is a concert flute. 20:44:27 If someone said "I play a flute" and then pulled out their recorder or pan flute, you'd call them a dirty liar and punch them in the face. 20:45:54 I know I would. 20:46:18 I would say "Indeed you do", because all flutes are flutes 20:46:24 -!- monqy has joined. 20:46:37 Gregor, I see 20:47:10 Gregor, I don't think there is such a strong connotation of concert flute in the Swedish word "flöjt", though I 20:47:25 I'm* not a professional musician 20:47:35 so maybe in those circles that connotation exists 20:49:47 "Vorpal I guess that is why it has a tiny bit of airflow then" erm, you do know that air tends to balance its pressure? you don't need any airflow. 20:50:41 if there was no airflow, it would be even easier to blow forever (ofc not very hard anyway) 20:51:01 yes obviously, the issue was stopping, not continuing 20:51:52 http://xkcd.com/1073/ 20:51:57 I actually have no idea how you could blow a wind instrument forever though. I know there is a way to do it, I just don't know how 20:52:10 yeah but why the heck would you need to breathe in to stop it o_O 20:52:13 Can we? 20:52:39 oklopol, to reduce the absolute pressure on the pressure sensor so it stops making sound? 20:52:56 you think the air pressure increases when you blow and then stays that way until someone explicitly reduces the pressure by sucking? 20:53:00 Can one revoke his citizen ship and live in the next forrest for the rest of his live where every day would be saturday? 20:53:01 oklopol, I assume the sound making is a linear function of the applied pressure compared to ambient pressure? 20:53:24 oklopol, I think if you don't allow it to flow back out then it will stay? 20:53:48 oklopol, of course you could just let it flow back in 20:53:54 as opposed to actively sucking 20:54:26 erm. okay so yeah if it was a fucking balloon with a one-way valve which somehow still lets stuff out when it's being sucked on i guess. 20:54:52 okay i think we're imagining some details very differently 20:55:08 that is quite probably the issue yes 20:55:15 I have no idea how the actual sensor work 20:55:19 you are imagining some sort of insane flabberfleming and i'm imagining something sensible. 20:55:29 oklopol, a what? 20:55:34 what is a "flabberfleming"? 20:55:35 a flabberfleming 20:55:43 which is? 20:55:56 it's exactly what it sounds like. 20:56:03 and I have no idea what that is 20:56:23 nor does google 20:56:49 it's a balloon with a one-way valve that is actually only one-way when one atmosphere of pressure is on the outside, but when less, it lets air out (not depending on pressure inside) 20:56:59 which is also an instrument 20:57:17 that's a flabberfleming. 20:57:42 ... 20:58:33 oklopol, anyway I'm basically modelling it as a cavity with a small pipe, which you put in your mouth. I was not implying a value, nor was I implying that you would need to actively suck, just that you would need to let air flow back in your mouth to release the pressure. You can't just stop increasing the pressure, the pressure must be reduced to match ambient pressure outside the instrument 20:58:34 no? 20:58:42 also when you suck on it, almost no air flows, so i suppose the balloon doesn't empty through the mouthpiece when you suck 20:59:11 okay, i see what you mean. 20:59:48 i preferred my flabberfleming interpretation though 21:00:32 oklopol, while an instrument where air flows through would over time go back to ambient pressure, depending on how much air is allowed to flow through (and the size of the cavity) this may take a long time or happen very quickly 21:00:42 so... i have seen the future of gaming. but i do like this topic of flabberfleming 21:01:00 you probably want it to be rather slow to work properly though, since it is not the air flow as such that is creating the sound 21:01:03 it's a balloon with a one-way valve that is actually only one-way when one atmosphere of pressure is on the outside, but when less, it lets air out (not depending on pressure inside) 21:01:11 the plural is flabberflemma btw. 21:01:43 Isn't that... just an open aperture? 21:02:40 idgi 21:02:48 Phantom_Hoover, huh I thought he described a one-way valve that can electronically be overriden. It would need three pressure sensors and a micro controller chip I think... 21:03:33 basically you need one to detect ambient pressure, and one on either side of the one-way valve 21:03:44 yes 21:03:56 so i would be a bit surprised if this gadget had a name 21:03:58 might not need the one on the inside (except for the music part) 21:04:11 well apart from "flabberfleming mouthpiece" ofc 21:06:54 oklopol, yeah I doubt that word has any synonyms 21:07:49 -!- copumpkin has changed nick to graphene. 21:08:04 -!- graphene has changed nick to copumpkin. 21:29:37 -!- derdon has quit (Remote host closed the connection). 21:30:03 -!- derdon has joined. 21:34:20 -!- derdon has quit (Ping timeout: 246 seconds). 21:46:22 -!- azaq23 has joined. 21:46:30 -!- azaq23 has quit (Read error: Connection reset by peer). 22:08:02 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 22:11:38 tswett: whats proce 22:14:04 -!- edwardk has joined. 22:14:16 Phantom_Hoover, there? 22:14:25 where /is/ elliott? 22:14:47 Left because he finds the level of discourse beneath his standards, as usual. 22:14:56 oh right 22:15:10 yeah he is still connected 22:15:58 not in any channels from what I can see (so he doesn't share any with me and has +s set, or if +s is not set, is not in any channels that are not +s) 22:25:44 -!- copumpkin has joined. 22:30:08 -!- boily has quit (Quit: AAAAAAAAAAAAAAAAAAAAAAAAAAH!). 22:30:57 augur_: http://esolangs.org/wiki/Proce 22:35:32 ah 22:35:34 meh 22:35:48 * tswett starts rewriting ye spec. 22:36:00 ihope? Haven't seen that guy for ages, did he switch nick or something 22:36:06 I think so. 22:36:25 * oerjan swats Vorpal -----### 22:36:39 ? 22:36:43 Who's ihope? 22:36:46 * oerjan swats tswett too for good measure-----### 22:37:04 Didn't he change his nick to "kerlo" or something? 22:37:05 oerjan: Ha! 22:37:10 "measure-----###"! 22:37:15 That's your new swatter. 22:37:20 oops 22:37:27 So does this mean I've been swatted for good? 22:37:38 oerjan, what? 22:37:55 oerjan, I don't remember were he went 22:37:57 seriously 22:38:06 I think he used to change nick a lot 22:38:14 you don't say XD 22:38:15 but that is all I remember 22:38:25 and I have no clue who he is currently 22:38:33 oerjan, who is he currently 22:38:36 I'm changing the page for Proce to say it was invented by Tanner Swett. 22:38:38 rofl 22:39:09 i remember ihope 22:39:10 tswett, so you are ihope? 22:39:28 Let's just say ihope had a tendency to take credit for my work. 22:39:59 well I have the complete clogs logs I should be able to do a query to the database I stored it in and track who he currently is 22:40:08 oh wait, that is on a computer that is currently booted to windows 22:40:09 forget it 22:40:20 I don't think it really matters. 22:40:31 thwarted my microsoft 22:41:00 Although, come to think of it, I hope he's doing all right... 22:41:05 ...erm, no pun intended. 22:41:58 oerjan, thwarted by computer games :P 22:42:16 I guess we could email him. I think his email address is ihope127@gmail.com or something. 22:42:22 (yes I'm kind of bored of nethack, wesnoth, neverwinter nights 1 and uh... 22:42:25 yeah that's it) 22:43:12 `pastlog tswett.*ihope 22:43:36 oerjan, might have gone through more nicks in between 22:43:50 No output. 22:43:53 `pastlog tswett.*ihope 22:44:15 2011-05-16.txt:10:23:17: tswett!~Warrigal@unaffiliated/ihope 22:44:25 warrigal, right 22:44:34 That's a lot of pseudonyms. 22:44:48 I mean, "tswett" isn't a pseudonym. It's just a nym. 22:45:05 i don't really remember that unaffiliated guy 22:45:09 heh 22:45:24 *sigh* 22:45:26 oerjan, yes his work is apparent everywhere 22:45:38 oerjan, he even messed up my whois! 22:45:44 ah 22:45:48 reddit has a post voted to +3 advocating the genocide of the Palestinians. 22:46:00 Does anyone know what school ihope is going to nowadays? 22:46:03 Phantom_Hoover, be happy it isn't more than +3 22:46:13 reddit's normally anti-Israel! 22:46:17 I thought I heard a rumor he was going to Stanford or something. 22:46:20 tswett: he probably dropped out long ago 22:46:27 Phantom_Hoover, anyway surely that is against the TOS (advocating genocide) 22:46:33 so you could report it 22:46:40 I honestly wouldn't be surprised... 22:46:48 I have this sinking feeling it's because they dressed it up as anti-Islamism which reddit is very fond of. 22:46:54 no spamming, no vote buying, and no advocating genocide. 22:47:20 Phantom_Hoover, heh 22:49:32 i've frequently been thinking what we need is for some mad scientist to grow a volcano right at the temple mount. 22:49:36 a big one. 22:49:47 I'm playing a sawtooth wave with oboe fingerings. 22:49:50 MY LIFE IS COMPLETE. 22:50:17 Gregor: you should start auditing for scifi movies 22:50:22 er 22:50:32 *auditioning 22:50:33 so there is this youtube channel of a really amazing violinist that I'm subscribed to, but I can't figure out why the most watched video of her is dubstep violin with over 19 000 000 views, compared to the usual average of 5 000 000... 22:50:39 that just doesn't make sense to me. 22:50:44 Gregor: what does that mean? 22:50:50 but then I don't understand popular culture very well 22:50:51 tswett: More or less exactly what it says. 22:50:58 so can anyone enlighten me on this 22:51:02 -!- john_metcalf has left. 22:56:13 "Unary operations (including multiplication) take precedence over binary operations." 22:56:23 I have a feeling there's something stupid about that sentence. 22:56:27 Gregor: what are you playing it on? 22:56:30 tswett, ... unary multiplication? 22:56:31 what 22:56:47 The syntax for multiplication is number "*" . 22:57:04 Since "*" only takes one function as an argument, not two, it is clearly a unary operation. 22:57:19 ... which language is this? 22:57:24 Proce. 22:57:38 tswett, you wrote that language, you should know what is going on 22:57:46 I do, yes. 22:58:14 tswett, so * returns a function that multiplies by something? 22:58:46 "function" is really a silly word for what that syntax element represents. It should be "signal". 22:58:53 riiight 22:59:06 tswett, so how is number "*" evaluated? 22:59:25 Well, it multiplies the signal by a constant. 23:11:07 -!- ais523 has joined. 23:22:48 Woo. The spec for Proce is now something reasonable. 23:22:54 I should implement it one of these days. 23:23:54 huh I was looking at the sensors of my phone. Amongst the expected accelerometer, magnetic, gyro, proximity and so on there is a rather odd pressure sensor. Air pressure that is according to the documentation 23:24:19 why 23:25:45 -!- copumpkin has quit (Ping timeout: 246 seconds). 23:26:00 I think those are more commonly called "microphones". 23:26:22 -!- copumpkin has joined. 23:26:49 pikhq_, this isn't though from what I can tell. It is an LPS331AP which is sold as a pressure sensor, not microphone. From the specs it doesn't look useful as a mic 23:27:11 pikhq_, iirc mics give you the relative changes in pressure? This one gives you absolute values 23:27:45 unless I completely misremember how mics work 23:27:51 which is a possibility 23:29:06 Vorpal: That's a fairly good point. 23:29:25 pikhq_, you can google the product in question. It makes no sense as a mic 23:29:34 Well, I have no idea then. 23:29:40 right 23:30:02 pikhq_, there are no temperature sensors or such. So they obviously didn't go for a mobile weather station approach 23:30:05 -!- Nisstyre has quit (Read error: Connection reset by peer). 23:30:08 clearly it is to detect if the phone is falling out of a plane, so that it can shut down safely. 23:30:17 (man imagine that, if apple added that and gps, the weather data they could sell) 23:30:25 (it could improve the weather forcasts quite a bit 23:30:35 (with lots and lots of measurements from all over the place) 23:31:37 that would actually be kind of cool. In combination with GPS, a pressure sensor and a temperature sensor provides some useful data for weather forcast, sure there is no wind sensor or rain sensor or such, but still extra data! 23:33:22 -!- Nisstyre has joined. 23:37:05 -!- Slereah_ has joined. 23:39:53 -!- Slereah has quit (Ping timeout: 260 seconds). 23:45:21 -!- oerjan has quit (Quit: Calibrating morphogenetic field). 23:46:35 Vorpal: maybe they *are* trying to make it somewhat of a mobile weather station. 23:46:49 I would expect it to be hard to put a useful thermometer on a mobile phone. 23:46:55 Since the phone itself generates heat. 23:48:28 -!- nortti- has quit (Quit: ZNC - http://znc.in). 23:52:00 Vorpal: Some handheld GPSen have barometers for altitude guessing. (Sure, you can get a 3D reading from the GPS, but that can be pretty inaccurate too, and needs more visible satellites than just location.) 23:53:01 "Says John Celenza, the lead meteorological developer at Weather Underground, "the barometer is probably used on the phone to aid in correcting altitude measurements by the GPS." In other words, the barometer is more likely than not intended to be a source of supplemental data for the GPS sensor, adding altitude measurements for increased accuracy. The atmospheric pressure is directly related ... 23:53:07 ... to elevation, so a barometer can very easily be used as an altimeter, measuring your altitude." 23:53:11 fizzie, ah 23:53:41 fizzie, it is also related to weather though 23:53:47 -!- nortti- has joined. 23:53:51 fizzie, where is that quote from? 23:54:28 Random google page, http://m.popsci.com/gadgets/article/2011-10/so-um-why-does-new-google-phone-have-barometer-it 23:56:10 -!- edwardk has quit (Quit: Computer has gone to sleep.). 23:56:16 IIRC, the N900 has a readable temperature sensor in the battery, but I doubt it generally has much to do with ambient temperature. 23:57:36 $ cat /sys/devices/platform/omap34xx_temp/temp1_input 23:57:36 -40 23:57:40 Dunno if it's weird units or just not working. 23:57:58 fizzie, speaking of batteries. Any idea why the NFC antenna is generally in the battery? 23:58:03 (It's not -40 degrees Celsius inside, here.) 23:58:14 Is it just to prevent people from buying non-OEM batteries? 23:58:15 (Nor outside, for that matter.) 23:58:50 No clue, but could be.