00:08:07 -!- DarkPants has joined.
00:08:24 -!- GreaseMonkey has quit (Nick collision from services.).
00:08:30 -!- DarkPants has changed nick to GreaseMonkey.
00:42:32 -!- olsner has quit ("Leaving").
01:06:24 -!- Jarocks has joined.
01:06:29 -!- Jarocks has left (?).
01:18:52 -!- Corun has quit (Remote closed the connection).
01:19:06 -!- Corun has joined.
01:33:47 -!- Corun has quit ("Leaving").
01:43:42 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)).
02:00:13 <warrie> I didn't eat turkey today.
02:23:56 <GregorR> Of all the times for the MPFR web page to be down >_>
02:37:46 <GregorR> Oh, it's the maximum value of the maximaly-sized int.
02:45:34 <GregorR> Hahaha, I just thought of a great way to effectively break the GPL.
02:45:58 <GregorR> Distribute your source in GPL ... along with hundreds of megs of irrelevant (but compiling) source, which is all incompatible and functions slightly different purposes.
02:46:12 <GregorR> Nobody will be able to disect the part that actually corresponds to the binaries you distribute :P
02:52:18 <Azstal> hmm "The source code for a work means the preferred form of the work for making modifications to it."
02:52:39 <Azstal> you just have to convince them that that's your preferred method ;)
02:54:09 <GregorR> Well this is a weird thing to see in any C file:
02:54:11 <GregorR> #define unsigned bogus_type
02:56:18 <Azstal> it's from GCC? I suppose that makes a little more sense.
02:56:48 <GregorR> Yeah, it's in libgcc2.c :P
02:58:26 -!- Sgeo has joined.
03:10:09 -!- GreaseMonkey has quit ("I'm a thaasophobic.").
03:14:08 <GregorR> vi gives shockingly useful error messages.
03:14:22 <GregorR> I didn't realize a directory could be unsupported.
03:32:15 -!- Corun has joined.
03:39:15 <GregorR> I have vi about 1/3 working :P
03:49:26 -!- Corun has quit ("This computer has gone to sleep").
03:51:04 <pgimeno> it'd be great to have a bignum calculator handy
03:52:06 <GregorR> Oh, it just doesn't work? :P
03:52:10 <pgimeno> part of...? the unix utilities?
03:52:26 <GregorR> In this case, heirloom toolkits.
03:55:28 <GregorR> It loads termcap ... and does nothing with it ...
03:58:08 -!- psygnisfive has quit (Read error: 104 (Connection reset by peer)).
03:58:15 -!- psygnisfive has joined.
04:03:01 <GregorR> bsmntbombdood: dc works :P
04:03:14 <GregorR> bsmntbombdood: bc is just an absurdly-complicated wrapper for dc anyway.
04:04:24 <GregorR> It opens /etc/termcap ... and doesn't read a single effing byte!!!
04:34:18 <Slereah> Orc seems interesting, but the interpreter is so shitty
04:41:04 <Slereah> The one that was recently deleted fromthe wiki
04:41:21 <Slereah> There's three interpreters.
04:41:34 <Slereah> One that requires that I open Eclipse to run it
04:41:39 <Slereah> And one that only works on Linux
04:44:35 <GregorR> That's pretty sucktacular.
04:45:02 <Slereah> It's hard to find a concurent language.
04:45:23 <Slereah> I'm trying Spico here, even though it's supposed to be used for biological simulations.
04:49:10 <Slereah> Well, it requires Mozart Oz.
04:49:20 <Slereah> And I can't find a Windows version.
04:49:27 <Slereah> I hate OS-dependant programs
04:49:50 <Slereah> Yes, my face also hates it.
04:49:59 <GregorR> And that's why I'm making JSMIPS! Every program is suddenly non-platform-dependent ... or some such bullshit :P
04:50:31 <Slereah> But will I want programs that runs on JSMIPS?
04:51:54 <Slereah> The Stochastic Pi Machine (SPiM) is a simulator for the stochastic pi-calculus that can be used to execute models of biological systems. The machine has been formally specified, and the specification has been proved correct with respect to the calculus
04:52:15 <Slereah> Although I doubt that it will help me a lot with such a specific purpose
04:53:38 -!- Slereah_ has joined.
04:53:50 <Slereah_> Yeah, it's pretty much only pi calculus
04:54:01 <Slereah_> Although it would be nice to try it a bit
04:56:17 <Slereah_> Maybe I should reinstall Linux.
04:59:50 <Slereah_> The Transterpreter is a small, portable, open-source runtime for exploring concurrency.
04:59:51 <Slereah_> Desktop Explore programming in a concurrent language on the Mac, Windows, or Linux.
04:59:51 <Slereah_> On your robot Concurrency and little robots! We currently support the LEGO Mindstorms RCX, and the Surveyor Corporation SRV-1.
04:59:52 <Slereah_> Everywhere else The Transterpreter was developed to be portable and run from as little as 10KB of flash with mere bytes of RAM. Interested developers may grab the source and enquire within.
04:59:58 <GregorR> Ooooh, vi is deliciously close to working 8-D
05:00:05 <Slereah_> I want an interpreter on my robot D:
05:02:41 <Slereah_> Ah, finally, an interpreter for occam-pi!
05:04:38 * bsmntbombdood pets your tail as she gently licks your fuzzy anus
05:12:30 -!- Slereah has quit (Read error: 110 (Connection timed out)).
05:13:01 <Slereah_> Well, let's see how this occam pi works.
05:13:12 <Slereah_> Unless you want to lick my fuzzy anus. I'm down with that.
05:18:41 -!- GreaseMonkey has joined.
05:29:03 <GregorR> vi is so close to working >_>
05:32:58 <Slereah_> Occams seems to be what I need.
05:33:17 <GregorR> GreaseMonkey: I'm not sure ... I think it's just the input is limited.
05:33:28 <Slereah_> Doing once again lambdas without lambdas is a boring prospect
05:33:59 <GreaseMonkey> GregorR: are you having issues getting the arrow keys to work?
05:34:17 <GregorR> GreaseMonkey: I'm not attempting to get the arrow keys to work, this is classic vi :P
05:34:45 <Slereah_> In Occam expressions, there is no operator precedence! Therefore, you must use
05:34:45 <Slereah_> parentheses to specify the order of operation.
07:16:45 -!- Sgeo has quit (Remote closed the connection).
07:43:11 -!- olsner has joined.
07:45:28 <pgimeno> except in INTERCAL, the grouping is done with symbols other than parentheses
07:45:37 <pgimeno> the lack of operator precedence
07:47:00 <Slereah_> It's hard to find shit on Occam, because most results are about Occam's razor.
07:47:58 <pgimeno> i.e. http://www.google.com/search?q=Occam+-razor
07:48:43 <pgimeno> http://www.muppetlabs.com/~breadbox/intercal-man/s03.html#4.3
07:49:07 <pgimeno> you have to use sparks or rabbit-ears
07:49:13 <Slereah_> I'm not sure Occam has some functional part.
07:50:06 <GregorR> pgimeno: There are some other wonky issues I have to fix before I can figure out what's wrong with it.
07:51:34 <pgimeno> hope some of the fixes to vi help bc as well :P
07:54:00 <GregorR> Thinks like du and cp are failing in truly bizarre ways.
07:54:21 <GregorR> I suspect it's some kind of problem with the I/O subsystem, which is probably affecting keyboard I/O just as much as file I/O
07:56:53 <Slereah_> Does anyone know a concurent language with lambdas in it?
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:01:11 <Slereah_> "In parallel computing, an embarrassingly parallel workload (or embarrassingly parallel problem) is one for which little or no effort is required to separate the problem into a number of parallel tasks."
08:04:57 <GregorR> This one I don't know if I can fix ...
08:05:11 <GregorR> It seems that something deep in the ABI isn't passing long long's correctly to functions.
08:06:49 <GregorR> I have nothing whatsoever to do with those parts of the ABI.
08:10:18 <GregorR> No, never mind ... seems that's a problem with printf specifically.
08:10:25 <GregorR> Then that's probably just newlib.
08:11:50 <Slereah_> "While this is theoretically possible, it's obvious that Mr. Stephenson's never actually programmed them himself. If he had, he would quickly have realized that no one programs Turing machines in the real world."
08:12:37 <GregorR> It's not real-world until there's a Visual Turing Machine Enterprise Edition 2010
08:27:40 <Slereah_> But what of the LOVE MACHINE 9000?
08:27:47 <Slereah_> It's like way higher than 2010
08:29:19 <fizzie> I just reread The Diamond Age a couple of days ago, and actually it was rather real-worldish in the way that after encountering Turing machines, there are successively more "high-level" systems (including that one where stuff was programmed with a language that was "extremely pithy and made heavy use of parentheses") that are just said to be computationally equivalent to Turing machines.
08:29:48 <fizzie> Admittedly there's that one bit of programming Turing machines, but it makes for a good story.
08:32:41 <Slereah_> Then yeah, a Turing machine is probably a bad idea
08:35:06 <fizzie> It's "Turing machines in a storybook", not "Turing machines actually used in the future".
08:36:40 <fizzie> A large part of the book is about an "interactive" educational story book thing.
08:36:52 <fizzie> Turing machines are just used in that book to teach about computing.
08:37:51 <Slereah_> Well, I guess that makes sense. Of sort.
08:38:08 <Slereah_> Even though they're more useful in a math setting than a computer setting
08:38:19 <Slereah_> Since they're pretty terrible to implement on anything, really
08:38:38 <fizzie> They are mechanical Turing machines, anyway.
08:39:01 <fizzie> Long pieces of chain (with two-position toggle switches in each link) work as the tape.
08:39:01 <Slereah_> How can they be mechanical, if they're in a book
08:39:43 <fizzie> In the story told by the book.
08:42:34 <fizzie> Curious, that book is in scribd.com, claiming creative commons attribution non-commercial license. That's surprising, and not even sure if it's actually true.
08:47:59 <Slereah_> "In my previous post I talked a bit about Alex Smith's proof that the Wolfram Prize 2 state, 3 symbol Turing machine was universal"
08:51:18 <GregorR> Hahahah, I love retardedly-retarded problems.
08:51:30 <GregorR> CAN YOU SPOT THE ERROR HERE:
08:51:38 <GregorR> if (flags | O_APPEND) { /* stuff for append mode */ }
08:53:06 <GregorR> To check if a flag is set, you use &. To set a flag, you use |
08:53:30 <fizzie> With |, that will be always true as long as O_APPEND is nonzero.
08:55:43 <fizzie> That's still not as common as "if (mode = MODE_BLAH) { ... }"... although I guess that one tends to give some warnings.
08:56:52 <GregorR> Slereah_: No, but screwing up two languages at once is far more stupid than screwing up one :P
08:58:19 <GregorR> One quick way to access the source for dir.php ... cat it X-P
09:02:24 <pgimeno> GregorR: you probably confused it with the | that goes when ORing flags together as in: if (flags & (O_APPEND | O_WRONLY)) ...
09:02:58 <GregorR> That's precisely what I did.
09:03:10 <GregorR> Doesn't make it any less stupid :P
09:05:56 <AnMaster> <Slereah_> Does anyone know a concurent language with lambdas in it? <-- hm, erlang is concurrent, and for "funs" which is just lambdas with a different name really
09:08:12 <AnMaster> Slereah_, anyway I hope you find that useful
09:08:39 <AnMaster> Slereah_, erlang is not an esolang btw
09:08:51 <Slereah_> I saw it on my concurent cruise
09:09:08 <pgimeno> speaking of fun, what happened to humour in recently created languages?
09:09:24 <Slereah_> We saw Esme, and we said "Never again"
09:09:25 <AnMaster> Slereah_, however iirc "normal" functions are slightly faster in erlang.
09:09:34 <AnMaster> since it can optimize those better
09:09:39 <Slereah_> Well, I'm not looking for speed.
09:09:49 <Slereah_> I want to try doing the goddamn Limp.
09:10:03 <AnMaster> Slereah_, there is a lisp for erlang iirc
09:10:49 <AnMaster> http://github.com/rvirding/lfe/tree/master
09:11:25 <AnMaster> Slereah_, anyway lfe is at very early development stage
09:11:43 <AnMaster> and you need to know normal erlang to be able to use it really
09:11:58 <Slereah_> Well, considering that I want to combine the most basic functional languages.
09:12:05 <Slereah_> I'm not worried about it being finished.
09:12:19 <Slereah_> If it has lambdas, arithmetics and concurrent programming, I'll see what I can do.
09:12:23 <AnMaster> Slereah_, also are you on *nix?
09:12:36 <AnMaster> since the build system seems to be a single Makefile currently
09:12:39 <Slereah_> That might be a bigger problem
09:12:44 <AnMaster> erlang itself works on windows
09:12:56 <AnMaster> lfe doesn't have a non-*nix build system currently
09:13:03 <AnMaster> Slereah_, as I said, erlang itself exists for windows
09:13:24 <AnMaster> and I assume you can build lfe by hand on windows
09:14:00 <AnMaster> yes the makefile seem very basic
09:15:03 <AnMaster> Slereah_, oh and I can recommend the book "Programming Erlang - Software for a concurrent world" by Joe Armstrong (one of the designers of Erlang)
09:15:27 <Slereah_> ... but your query looks similar to automated requests from a computer virus or spyware application. To protect our users, we can't process your request right now.
09:15:49 <AnMaster> http://www.erlang.org/ http://en.wikipedia.org/wiki/Erlang_(programming_language)
09:16:07 <AnMaster> http://www.pragprog.com/titles/jaerlang
09:16:58 <Slereah_> Joe Armstrong is a pretty awesome name.
09:17:06 <Slereah_> They should make an action figure with that name
09:17:11 <AnMaster> Slereah_, for the last one I wouldn't be surprised if the ebook can be found in some torrent or such
09:17:48 <Slereah_> Hence it would be awesome to get the torrent of it
09:18:01 <AnMaster> Slereah_, I think it is worth paying for
09:18:25 <Slereah_> I'm not sure paying for something I'm not sure to follow through is worth it.
09:18:36 <Slereah_> Hell, I bought enough video games and had the same problem!
09:19:06 <AnMaster> well are you going to buy it if you end up liking the language?
09:19:22 <AnMaster> Slereah_, also iirc the first chapter is available for free online
09:19:44 <Slereah_> Technically, I should need it only for one application.
09:19:50 <AnMaster> Slereah_, look a bit further down at http://www.pragprog.com/titles/jaerlang/programming-erlang
09:20:06 -!- GreaseMonkey has quit ("I'm a thaasophobic.").
09:22:54 <Slereah_> ... ?? ??? ?????? ????? ?? ???????, ????????????? ??????????? ???????????? ??????? ??? ??????????? ??????????? ????????????. ? ????? ?????? ????? ????????????? ?? ?? ????? ?????????? ??? ?????? ??????????.
09:23:12 <Slereah_> Maybe I should turn off the proxy.
09:23:42 <Slereah_> Ah, it was the proxy apparently
09:29:02 -!- olsner has quit ("Leaving").
09:48:53 -!- Slereah has joined.
09:54:57 -!- Slereah_ has quit (Read error: 60 (Operation timed out)).
11:06:23 <AnMaster> idea: come up with valid/reasonable/funny meanings for this expression:
11:07:11 * AnMaster has been pondering a dynamically typed language where every operation is valid
11:07:23 <AnMaster> such as dividing any type by any other type and so on
11:07:59 -!- Slereah_ has joined.
11:08:32 <oklopol> not sure what 3 will do with [/ "Hello, World], but it'll probably try to convert the string to its own type, by default.
11:08:47 <AnMaster> anyway "string" / 3 would be a list like "st" "ri" "ng"
11:09:00 <oklopol> i think that's what i've specced
11:09:22 <AnMaster> oklopol, nice, how would you convert ""Hello, World" to an integer?
11:09:31 <oklopol> and "string" % 3 would be "si" "tn" "rg" i think
11:10:32 <AnMaster> ""Hello, World" turns into the whatever you get interpreting the byte sequence as a arbitrary precision integer
11:11:02 <oklopol> i think "Hello, World" would become its length when told to be converted to an integer
11:11:26 <AnMaster> oklopol, what other types does oklotalk have?
11:11:33 <oklopol> oklotalk is very high-level, you shouldn't even have to know whether it's a list or a hashmap, byte sequences don't make much sense.
11:11:45 <AnMaster> oklopol, so it have structs and such?
11:11:48 <oklopol> it basically has just objects.
11:12:01 <oklopol> an object can be given messages, and it can return things
11:12:21 <AnMaster> oklopol, hm what would "string" / 10 do?
11:12:54 <oklopol> it just splits it in pieces of size N, and has the modulo as the last one
11:13:25 * AnMaster waits for oklopol to work out that one
11:13:28 <oklopol> i don't know. not necessarily anything sensible.
11:13:45 <oklopol> but i'd probably just split from the end.
11:14:02 <AnMaster> oklopol, and divided by a floating point number...
11:14:12 <oklopol> one of oklotalk's design goals is to make the standard objects as clever as possible.
11:14:23 <oklopol> that is, make them able to handle pretty much anything.
11:14:46 <oklopol> and not in a demand-driven fashion, just that there's a meaning for most things you can try.
11:15:05 <AnMaster> oklopol, "string" / "string" == 1 then I guess.
11:15:29 <oklopol> AnMaster: i think that's "split", so no.
11:15:29 <AnMaster> while "string" / "somethingelse" ? no idea
11:15:59 <oklopol> AnMaster: as for flaots you'd probably just have the first [N] pieces in the first substring, then [N+1]..[2N] in the next, and so on.
11:16:06 <AnMaster> oklopol, where is the spec and/or implementation?
11:16:11 <oklopol> so if it's 1.5, you'd have 2 chars in the first, then 1, then 2, then 1...
11:16:28 <oklopol> AnMaster: i've only implemented oklotalk--, which is very simplified and quite boring.
11:17:11 <oklopol> well not sure about boring, it's pretty high-level, and useful if you don't mind it doesn't have that much stuff in the stdlib.
11:17:26 <oklopol> AnMaster: you can search @ vjn.fi's articles, i don't have it anywhere in one piece.
11:17:37 <AnMaster> oklopol, ah and the oklotalk-- interpreter?
11:17:55 <oklopol> and thanks for reminding me about my languages, i think i have enough knowledge now to get my noprob interp done today
11:18:15 <AnMaster> oklopol, is the -- one at vjn too?
11:18:27 <oklopol> AnMaster: it's a python interp, but i'm not sure where it is, and it may be on a broken hard drive :|
11:18:41 <AnMaster> oklopol, and I got python installed
11:19:10 <AnMaster> oklopol, great! upload the source :)
11:19:39 <oklopol> i guess i could. don't expect to be able to read it though.
11:19:52 <AnMaster> oklopol, indeed I only know basic python
11:21:52 <oklopol> www.vjn.fi/oklopol/oklotalk.rar do you open that?
11:22:07 <AnMaster> just need to read unrar man page
11:22:37 <oklopol> so i have no idea how that thing works, if you seriously want to try it, i can check to source for what you need to be calling.
11:23:33 <AnMaster> oklopol, and specs for this -- variant? *hopeful smile*
11:24:00 <oklopol> i guess i could up the specs too.
11:25:29 -!- Slereah has quit (Read error: 110 (Connection timed out)).
11:25:45 <oklopol> didn't work it seems, wait a sec
11:26:17 <oklopol> k, now. except it's .rtf, is that proprietary or do you open it?
11:26:28 <AnMaster> I suspect open office can open it
11:26:39 <AnMaster> http://www.vjn.fi/oklopol/oklotalk.rtf ?
11:26:55 <oklopol> i just blobbed it in there
11:28:14 <oklopol> now i really need to go to sleep. if you're really interested in trying to make something in that, bug me aboug bugs, i will probably happily fix them for you.
11:29:16 <oklopol> although i doubt there'll be any, because i don't make mistakes. but seriously, that code is very badly structured, because i tend to refactor without removing old code, and just fixing it by adding random lines in the middle, you know, the way all the cool kids do it.
11:29:54 <oklopol> and i refactored a lot, was my first time implementing static scoping, so both static and dynamic required a bit of mental exorcism.
11:30:49 <oklopol> oklotalk--'s scoping is probably the most differentiating thing from other languages.
11:31:54 <AnMaster> "Static scoping overrides dynamic scoping, meaning that a thing first checks its own closure, and only then looks for variables in the contents of closures of things above it in the call stack.
11:32:12 <AnMaster> isn't that what common lisp does?
11:32:19 <oklopol> see "setcar" in ehird's list implementation
11:32:27 <oklopol> is it now? i thought no language has that, but yeah maybe.
11:32:50 <AnMaster> oklopol, where is the setcat implementation?
11:33:08 <oklopol> the scoping is very weird because you use "things", those {}-thingies as both objects and functions
11:33:18 <oklopol> AnMaster: www.vjn.fi/oklopol/oklotalk.txt
11:33:26 <oklopol> also it's there in that rtf i think
11:33:58 <AnMaster> "A pages you tried to acess does no exist on this servers."
11:34:28 <oklopol> AnMaster: also "page", "access" and "server" :D
11:34:38 <AnMaster> oklopol, oh intentional then I guess
11:34:49 <AnMaster> no one would typo that much by mistake
11:34:50 <oklopol> that's deliberate, the guy who wrote that is excellent at english
11:35:55 <AnMaster> someone should create an esolang called "ya"
11:36:03 <AnMaster> so you could make jokes about "see ya"
12:13:34 -!- Slereah has joined.
12:19:31 -!- Slereah_ has quit (Read error: 148 (No route to host)).
13:38:30 <ehird> 01:11:06 <AnMaster> Slereah_, I'm not homosexual
13:38:36 <ehird> even if you were you couldn't procreate with Slereah.
13:56:45 <Slereah> I need full access to your butt.
13:59:01 <ehird> it was about AnMaster.
14:11:20 -!- Corun has joined.
14:53:47 -!- GregorR has quit (Read error: 110 (Connection timed out)).
15:04:19 -!- Slereah_ has joined.
15:11:57 -!- Slereah2 has joined.
15:22:04 -!- Slereah has quit (Read error: 110 (Connection timed out)).
15:25:59 -!- Slereah_ has quit (Read error: 110 (Connection timed out)).
15:34:52 -!- Slereah2 has quit (Read error: 113 (No route to host)).
15:34:53 -!- Slereah_ has joined.
15:37:48 -!- sebbu has quit ("reboot").
15:49:50 -!- Corun has quit ("This computer has gone to sleep").
15:53:32 -!- sebbu has joined.
16:42:50 -!- Slereah has joined.
17:01:06 -!- Slereah_ has quit (Read error: 110 (Connection timed out)).
17:14:22 -!- GregorR has joined.
17:30:12 -!- Corun has joined.
17:35:06 -!- Slereah_ has joined.
17:43:49 <warrie> Hmm, an esolang called "ya".
17:52:59 -!- Slereah has quit (Read error: 110 (Connection timed out)).
17:53:17 -!- Slereah has joined.
17:57:20 -!- Slereah_ has quit (Read error: 110 (Connection timed out)).
17:58:55 -!- Mony has joined.
18:17:15 -!- olsner has joined.
18:32:17 -!- trave has joined.
18:38:45 -!- trave_ has joined.
18:38:56 -!- trave has quit (Nick collision from services.).
18:39:05 -!- trave_ has changed nick to trave.
18:39:11 -!- trave has changed nick to travis.
18:39:33 -!- travis has changed nick to trave.
18:46:16 -!- oerjan has joined.
19:00:34 -!- Slereah has quit (Read error: 60 (Operation timed out)).
19:45:51 -!- trave_ has joined.
19:46:16 -!- trave_ has quit (Remote closed the connection).
19:48:47 -!- jayCampbell has quit ("using sirc version 2.211+ssfe").
19:51:52 -!- trave has quit (Read error: 145 (Connection timed out)).
19:59:59 <oklopol> which character would be best for a prefix for variables that are kinda returned?
20:00:33 <ehird> borrowed from smalltalk
20:00:38 <ehird> which uses ^ for return
20:00:55 <ehird> it represents going one level up in the stack
20:01:11 <oklopol> except there's no stack here, but anyway
20:05:52 <oklopol> basically i want something that lets me use a probability as a number, the problem is i can't really find a reversible operation.
20:08:08 -!- sebbu has quit (Read error: 60 (Operation timed out)).
20:08:28 <oklopol> maybe i should just implement what i have and think about how it actually works later... :D
20:10:59 <oklopol> btw. the semantics of "cut" are very weird, basically, you can do A = B & C to make A's probability 0.25, roughly because 0.5*0.5 is 0.25, and B and C are originally true with probability 0.5
20:11:42 <oklopol> now, a semicolon at the end of line is a cut, it simply forgets all relations between variables, and only leaves the probabilities
20:12:01 <oklopol> which you can use as conditions for entering problotures
20:12:31 <oerjan> if you are sufficiently insane
20:13:07 <oklopol> actually i'd also like something that *doesn't* cut, so you *can* have these long-term relations between variables
20:13:17 -!- sebbu has joined.
20:13:47 <oklopol> if i'm not insane now, i will be pretty soon if i keep trying to get noprob to make sense.
20:14:20 <oklopol> olsner: yes! it's a mix of procedure + block + oklopolitan word-scrambling
20:14:55 <oklopol> basically i have a while loop, except the semantics are it's a prolog-style tail-recursive procedure :)
20:15:03 <olsner> this sounds interesting
20:15:28 <oklopol> the idea was to make a tarpit over it
20:15:41 <oklopol> the problem is storage, so i had the idea to make the variables kinda have probabilities.
20:15:56 <oklopol> this was where i went horribly wrong (not that i'm going back!)
20:16:47 <oklopol> basically, a variable's probability is, as far as problotures / IO are concerned, the portion of satisfying models for the 3sat expression where that variable is true.
20:17:40 <oklopol> but it's kinda hard to manipulate that as a value, because, well, it just is.
20:18:36 <oklopol> a probloture is of the form (expression)[variables]{body}, which is while(expression){body}, variables have to do with the kinda parameters for the "recursion"
20:19:27 <oklopol> when the body ends, it's as if there were an infinite amount of those in a row, each depending on the last one by the probloture's body setting the special variables of form ^var
20:19:51 <oklopol> meh, it's impossible to explain.
20:20:01 <olsner> something like a fixpoint then?
20:21:03 <oklopol> hmm actually. i think i originally didn't have the expression there... (got overwhelmed, scrapped everything and started over like 15 minutes ago :D)
20:21:11 <oklopol> in that case it would be a fixpoint
20:21:41 <oklopol> basically, you'd make, say, A depend on ^A through some formula
20:22:02 <oklopol> and because ^A would have to be known, the next cycle of the probloture would be run
20:22:18 <oklopol> yeah that's much better, i'll reinstate that.
20:23:41 <oklopol> then again now i'll need some other kinda conditional if i want numberssss...
20:25:49 * oklopol ponders using 8< for "cut"
20:27:23 -!- warrie has quit (Read error: 104 (Connection reset by peer)).
20:27:36 <oklopol> maybe i should try writing like a fibonacci, maybe things would get clearer.
20:29:13 <oerjan> Azstal: you seem to have developed a slight nick disorder
20:29:40 <Azstal> it normally changes back by magic
20:29:43 -!- Azstal has changed nick to Asztal.
20:30:12 <oklopol> oerjan: how did you notice that? :P
20:31:15 <oklopol> hihihiiii :DDDDDDDDDDDDDDDDDDDDDDDd
20:31:29 <Asztal> it's quite impressive actually... someone once asked how there are two of me with the exact same name
20:32:08 <oklopol> for a second there i was about to ask why freenode showed a nickchange that didn't change the nick...
20:33:26 <oerjan> nothing escapes my x-ray vision (WARNING: Do not use while pregnant. Avoid frequent exposure. Consult your doctor if you have a family history of cancer.)
20:37:41 -!- nooga has joined.
20:48:26 -!- sebbu2 has joined.
20:51:38 -!- kar8nga has joined.
20:55:00 -!- nooga_ has joined.
21:06:20 -!- sebbu has quit (Connection timed out).
21:09:50 <GregorR> vi is so close to working I can (still) taste it.
21:09:56 <GregorR> But there's still something wonky X_X
21:10:03 <GregorR> I think it thinks that my screen has 1 row :P
21:12:52 -!- nooga has quit (Read error: 110 (Connection timed out)).
21:14:05 <ehird> GregorR: link link link
21:21:06 <nooga_> i just found a naked photo of a girl exactly simmilar to my ex gf on 4chan O_o
21:22:30 <nooga_> http://cgi.4chan.org/r/src/1227904327552.jpg
21:22:32 <ehird> Today, we observe the main topic of #esoteric.
21:23:00 <nooga_> even the piercing is in the same place
21:23:14 * oerjan didn't expect nooga_ to give the link. must have been a nasty breakup.
21:23:18 <nooga_> but i do not remember that tatoo
21:23:45 <nooga_> ah, she was cute but extremely fucking crazy bitch
21:23:46 <GregorR> nooga_: It's a tattoo of the name of her new boyfriend.
21:24:00 <nooga_> GregorR: i wish him luck
21:26:31 <nooga_> i guess i'll need to buy some alcohol then
21:33:15 -!- nooga_ has quit ("Lost terminal").
21:52:26 -!- LinuS has joined.
22:11:33 <LinuS> full of great scientist there
22:11:43 <LinuS> i'm connecting to a server on a not well known port
22:11:45 <LinuS> it says WDN@KHC'E^lbn-X>>!"3YXAdjo:'%$)'
22:14:01 <psygnisfive> speaking of APL, does anyone here know it?
22:14:12 <psygnisfive> its got to be the most esoteric "mainstream" language ever
22:19:14 -!- Mony has quit ("Join the Damnation now !").
22:20:31 <psygnisfive> i want to try and build on. specifically, one that uses jeff hawkins' concepts.
22:24:23 <GregorR> Well that's a new error :P
22:24:25 <GregorR> cat: cannot open dirs.php: File exists
22:55:41 -!- nooga has joined.
22:56:16 -!- kar8nga has left (?).
22:56:45 <nooga> i am truly crushed :D
22:57:47 <nooga> 'cause the whole case is so riddiculous that it makes me laugh
22:58:45 <nooga> everywhere but not 4chan!
23:00:04 <nooga> and those swarms of fapping faggots
23:00:27 <GregorR> nooga: im gonna go fap to ur ex kthx
23:18:30 <GregorR> It's still fucked up in some obscure way though :P
23:21:43 -!- LinuS has quit ("Puzzi. S, parlo proprio con te. Puzzi.").
23:22:06 -!- nooga has quit ("Lost terminal").
23:35:04 <psygnisfive> anyone interested in a little reverse engineering challenge? :)
23:37:10 <psygnisfive> function 1: buildStructure takes two arguments, P a set of parameters, and W a set of input items, and constructs a structure S that includes all (tho not necessarily only) the items in W
23:38:09 <psygnisfive> function 2: linearize takes one argument, a structure produced by buildStructure, and linearizes the items in that structure somehow
23:39:25 <psygnisfive> the nature of buildStructure is such that, for a set W = {A, B, C, X}
23:39:57 <psygnisfive> the only possibly linearizations, for all possible parameters, are ones that satisfy the following:
23:40:23 <psygnisfive> (or rather, they show the following patterns)
23:40:38 <ehird> psygnisfive: my solution: butts
23:40:59 <psygnisfive> any items linearized /before/ the X item will be lineared with the following ordering: A then B then C
23:41:22 <psygnisfive> any items linearized /after/ the X item will be linearized without constraint.
23:41:51 <psygnisfive> the exact linearization depends on the structure produced by buildStructure, and the nature of that structure depends on the parameters
23:42:22 <psygnisfive> what kind of structures does buildStructure produce, what kind of parameters does it take, and how does linearize work?
23:42:59 * oerjan declares that there are an infinite number of solutions. DUH.
23:44:05 <psygnisfive> im interested in what solutions you come up with
23:44:55 <oerjan> but he won't, because thin, yet extremely verbose disguises over problems he has already declared interesting yesterday are still not interesting
23:46:19 <oerjan> well it's clearly your noun phrase problem.
23:46:34 <psygnisfive> i just didnt realize i told you guys about it :)
23:47:53 <ehird> oerjan: what was it yesterday?
23:48:59 <oerjan> oklopol: then don't do that
23:50:43 <oerjan> ehird: relative placement of demonstratives(?) (A), numbers (B), and adjectives (C) relative to nouns (X) in the world's languages
23:50:56 <ehird> it's just a transposition of that?
23:51:00 <ehird> nice try psygnisfive
23:51:01 -!- nooga has joined.
23:51:10 <psygnisfive> ehird: well, i wasnt sure i'd mentioned it here!
23:51:54 <oklopol> i didn't really read that yesterday or today. still it was hardly possibly not to know psygnisfive was talking about the same thing
23:51:59 <nooga> is specially trained neural network able to recognize naked pics of my gf?
23:52:19 <oklopol> i mean. after he'd asked if we want to reverse-engineer something
23:52:24 <oklopol> i was like "oh god not this again!"
23:52:44 <oklopol> (i'm just going by oerjan's "not interesting")
23:53:08 <psygnisfive> well give it a try, oklopol. see if you can figure something out
23:53:25 -!- warrie has joined.
23:53:38 <oerjan> nooga: it may have trouble distinguishing it from YOUR MOM
23:54:06 <warrie> Does the mention of NOOGA'S MOM mean I'm allowed to say that I just lost The Game?
23:54:08 <oerjan> (sorry, on a run here)
23:54:59 <oklopol> nooga: i doubt it (professional opinion)
23:55:11 <nooga> how about any naked person?
23:56:04 <oerjan> don't they do something like that in some net nanny programs? i have this very vague recall
23:56:41 <oklopol> nooga: they might recognize your mother, but that's as far as they go. (professional object)
23:56:53 <nooga> i would like to create something reverse to that
23:57:10 <oklopol> you want naked pictures of your mother.
23:57:27 <oerjan> oklopol: his mother is a professional object?
23:58:09 <oklopol> oerjan: well that was actually a weird typo, but if you find something sensible there, go for it
23:58:22 <nooga> my irssi throws away lines containing phrase "your mother"
23:58:32 <oklopol> not really a typo, one of those brain diarrhea thingies
23:59:10 <oerjan> nooga: are we that bad? i think i'll have to join Mom Jokers Anonymous soon...
23:59:22 <nooga> oklopol: and so's your mom