00:00:55 <shachaf> I don't remember how Conspiracy cards work.
00:02:15 <zzo38> How it works is if you have drafted that card you may include it in your command zone at the beginning of the game. If it has hidden agenda, then it is face-down and secretly chosen a card name, and then it can be turned face-up as a special action.
00:02:47 <shachaf> You may turn it face-up whenever you want?
00:03:09 <zzo38> Yes, any time you have priority.
00:03:33 <shachaf> I like cards that let you do things even when you don't have priority.
00:05:04 <zzo38> When you don't have priority, you still might do stuff during a mana step or when some effect requires you to make a choice, other than that you can concede at any time, I think.
00:05:37 -!- oerjan has joined.
00:05:55 <shachaf> What about cards that let you cast spells while you're searching your library?
00:06:01 <shachaf> Can that happen when you don't have priority? I don't remember.
00:08:34 <zzo38> Some effects have you cast a spell or do other stuff as part of an effect, but normally, if it is not a part of the effect, it cannot be done unless you have priority (except that you can still activate mana abilities during a mana step, and state-based actions will be deferred until someone does get priority).
00:10:08 -!- erkin has quit (Quit: Leaving).
00:13:58 <oerjan> aww my ppcg answer got unaccepted
00:14:40 -!- sleffy has quit (Ping timeout: 255 seconds).
00:15:53 -!- tromp has joined.
00:16:22 <oerjan> what, despite it _still_ being the only one...
00:18:42 <oerjan> it was an old answer...
00:18:44 -!- hppavilion[1] has joined.
00:28:44 -!- tromp has quit (Remote host closed the connection).
00:30:25 <lambdabot> Maybe you meant: hoogle hoogle+ do
00:30:53 <HackEgo> 1/2:something-that-isn't-in-hackego's-wisdom//It is now. \ russia//Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. \ mathematimu//A mathematimu is a quantum of mathematics. If you observe it, its codepoint can change. \ irc//IRC is short for "I
00:30:57 <HackEgo> 2/2:nternet Relay Chat". It is named so because all the servers are constructed from relays. \ delaware//Delaware is a US state in which everybody speaks German.
00:33:40 -!- jaboja has joined.
00:33:41 <prooftechnique> The antecedent of "it" is ambiguous in that wisdom entry
00:34:10 <prooftechnique> One makes Reagan a political juggernaut; the other, a literal one
00:34:38 <rdococ> I present my brand new chatting system
00:34:44 <rdococ> the Internet Transistor Chat :P
00:36:38 <prooftechnique> Internet Resistor Chat is so much more militant, though
00:38:01 <oerjan> Internet Relay Capacitors
00:38:42 <oerjan> Internet Tube Chat, obviously.
00:51:46 -!- Marcela_Gandara1 has joined.
00:51:57 -!- Destructible has joined.
00:57:39 <Marcela_Gandara1> quien sabe como instalar una impresara HP Deskjet 1000 a mi canaima(linux)?
00:58:59 <zzo38> Sorry I am not so good at Spanish, this is the English IRC. Try the Spanish IRC.
01:00:04 <zzo38> Yes I know that much of Spanish at least
01:00:13 <zzo38> But I reply to Marcela_Gandara1
01:01:10 <shachaf> `bienvenido Marcela_Gandara1
01:01:12 <HackEgo> Marcela_Gandara1: ¡Bienvenido al centro internacional para el diseño y despliegue de lenguajes de programación esotéricos! Por desgracia, la mayoría de nosotros no hablamos español. Para obtener más información, echa un vistazo a nuestro wiki: <http://esolangs.org/>. (Para el otro tipo de esoterismo, prueba #esoteric en EFnet o DALnet.)
01:06:47 <Destructible> so, I have made two esolangs. would these be appreciated on the wiki
01:07:11 <Destructible> they aren't bf derivatives, though the second one is kind of similar
01:07:51 <zzo38> You can post so that we can see.
01:11:11 <Destructible> https://github.com/Destructible-Watermelon/turtl-d/
01:11:48 <Destructible> https://github.com/Destructible-Watermelon/Woefully
01:12:08 <Destructible> that one is a mega tarpit with a different kind of control flow than I have encountered before
01:13:06 <Destructible> the closest thing to a conditional is multiplying a value by 1 or zero and then moving that many to get to a different state
01:15:44 <zzo38> I looked; perhaps example should be added on, too
01:15:55 <zzo38> And then these two thing can be posted on wiki.
01:16:03 <Destructible> The woefully is actually such a tarpit that I haven't made anything more complex than a repunit generator
01:17:47 <zzo38> Unless you have a proof you should not add category to specify is TC.
01:17:49 <Destructible> you could emulate a minsky machine with the state moving the pointer
01:18:08 <Destructible> I can't sketch an absolute proof, but I can explain why it is TC
01:18:38 <Destructible> If I made a bf interpreter in this I would be very surprised with myself
01:18:53 <zzo38> Then you can add such a explanation to wiki. This program is MIT license; you can link to such program, but the test you will add into wiki should be public domain. OK
01:19:27 -!- pledis has quit (Ping timeout: 246 seconds).
01:21:16 <zzo38> I am working on making Z-machine implementation in MMIX; do you like this?
01:22:39 <zzo38> This is a part of the program so far: http://sprunge.us/McGB (there may be some mistakes in it, maybe, though)
01:23:07 <\oren\> https://www.youtube.com/watch?v=HnQSdlbw3es
01:23:37 -!- tromp has joined.
01:38:29 -!- electrolex has quit (Quit: Leaving).
01:38:42 -!- Marcela_Gandara1 has quit (Ping timeout: 260 seconds).
01:41:38 -!- Marcela_Gandara1 has joined.
01:43:38 -!- Destructible has quit (Ping timeout: 260 seconds).
01:44:23 <\oren\> the first episode of pokemon aired in 1997
01:47:29 -!- Marcela_Gandara2 has joined.
01:47:39 -!- Destructible has joined.
01:48:15 -!- Marcela_Gandara1 has quit (Read error: Connection reset by peer).
01:50:06 <Destructible> I might try making an esolang page... but I'm kind of lazy
01:50:13 -!- doesthiswork has joined.
01:51:21 <zzo38> Do you know any MMIX programming and/or any Z-machine programming? I wrote a document about Z-machine programming actually.
02:03:26 -!- Sprocklem has quit (Ping timeout: 260 seconds).
02:03:57 -!- tromp has quit (Remote host closed the connection).
02:04:28 -!- atslash has quit (Ping timeout: 255 seconds).
02:07:14 <oerjan> rdococ is secretly a relative of `words
02:07:23 <HackEgo> Argument "spanish" isn't numeric in int at /hackenv/bin/words line 148.
02:07:39 <HackEgo> Argument "english" isn't numeric in int at /hackenv/bin/words line 148.
02:07:51 <HackEgo> sistaparo detud disch panadamerla invió avigine sacári tli pana dícultar disen aber estia bras los graus estica ador protel bon palmarchlanar oeriento envir oresicia hernitab
02:08:18 <oerjan> `words 50 --canadian-english-insane
02:08:19 <HackEgo> ira chic infustrate agedamen cutchalockin dorsed kozuwainirogogue supernic humated ency headator lenacensel int explancram bologill stryophylar isosod dultitlinic gainewscal ichrobri flate serabolime port kolksikhay counderstor
02:08:42 <rdococ> `words --british-english
02:08:43 <HackEgo> Unknown option: british-english
02:08:55 <HackEgo> valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M
02:09:13 <rdococ> what would the difference be between -gb and -us?
02:09:17 <HackEgo> abad homo grierpenned crucle aflf num spaien bria fartil onftc mech copol peda illa coudeter crentur machich hyda form malike hofstrue ate pyn ched remen
02:09:23 <HackEgo> that neffuserang bayshi toodbner esch brain bout oka tsystra adent stur conic buku bartgan svigate ovea kelinaia faut jiere repubilior insuno kathion sticallgl circhical gram
02:09:30 <oerjan> rdococ: the datasets they're generated from, presumably.
02:10:21 <HackEgo> rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. Additionally, almost all of his wisdom entries are bad.
02:10:46 <rdococ> `le//rn rdococ//rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. He is a complex relative of `words.
02:10:49 <HackEgo> Relearned 'rdococ': rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. He is a complex relative of `words.
02:13:58 <rdococ> internet has gone to siht
02:14:05 <HackEgo> rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. He is a complex relative of `words.
02:14:08 <rdococ> `le//rn rdococ//rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. He is a relative of `words.
02:14:10 <HackEgo> Relearned 'rdococ': rdococ is apparently from Budapest, but he is actually on Mars. Thanks to boily he is approaching permanent boredom & mapoledom. He is a relative of `words.
02:22:28 <zzo38> I have looked at Marc LeBrun's "Computist Quiz", and some of the stuff listed there is stuff that I have used before anyways, so I will already know the answer. This includes the (x&-x) and the numeric sorting of text (without converting the text into numbers at first), and also the "alternating series of 0 and 1".
02:23:31 <zzo38> (The other questions I do not know the answer of though.)
02:24:56 -!- tromp has joined.
02:25:03 -!- Destructible has quit (Ping timeout: 260 seconds).
02:48:02 -!- hppavilion[1] has quit (Ping timeout: 260 seconds).
02:56:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:13:52 -!- Zarutian has quit (Quit: Zarutian).
03:14:34 -!- tromp has quit (Remote host closed the connection).
03:15:36 -!- jaboja has quit (Ping timeout: 272 seconds).
03:19:12 <zzo38> I invented "SET->BCOM optimization" for Z-machine codes. It is used when a SET instruction sets a local or global variable to a constant value. For ZIP/EZIP, it remains SET if the number is 0 to 255 and is converted to BCOM otherwise.
03:20:14 <zzo38> For XZIP/YZIP, it remains SET if the number is 0 to 255, becomes BCOM if the number is -256, otherwise becomes ADD if the number is 256 to 510, otherwise becomes MUL if the number is a product of two numbers in range 3 to 255, otherwise remains SET.
03:20:29 <zzo38> (O, and also becomes SUB if the number is -255 to -1.)
03:42:28 <oerjan> ooh, i was afraid my computer had rebooted, but it only hibernated
03:44:57 <oerjan> just as i was posting today's magnum PPCG opus.
03:51:10 -!- jaboja has joined.
03:53:43 -!- tromp has joined.
03:55:01 -!- tromp has quit (Remote host closed the connection).
03:58:43 -!- tromp has joined.
04:08:55 -!- tromp has quit (Remote host closed the connection).
04:30:18 -!- Marcela_Gandara2 has quit (Read error: Connection reset by peer).
04:50:06 <\oren\> oerjan: I hate when computers hibernate
04:50:59 <HackEgo> 1/2:shiasdayviaerqjjjjjjjj//shiasdayviaerqjjjjjjjj is the reason why the USA don't use the metric system. \ culprits//c[uw]lprits lists the nicks responsible for a file or wisdom entry. Usage: `culprits FILE or `cwlprits ENTRY \ croissont supplier//See misspellings of croissant \ oops//OOPS (Obligatory Oblivious PunS) is a variant of OOP. \ typoerj
04:51:09 <HackEgo> 2/2:an//typoerjan is oerjan's clumsy twin.
04:51:34 <shachaf> How many twins does oerjan have?
04:51:52 <HackEgo> * \ ☾_ \ c# \ myname \ orin \ örjan \ ørjan \ pico \ sewerjan \ twint-e \ typoerjan \ אrjan
04:52:08 <shachaf> `` grwp twin | grwp rjan | wc -l
04:52:17 <shachaf> `` grwp twin | grep rjan | wc -l
05:06:41 <oerjan> `dowg shiasdayviaerqjjjjjjjj
05:06:50 <HackEgo> 3457:2013-08-21 <boil̈y> learn shiasdayviaerqjjjjjjjj is the reason why the USA don\'t use the metric system.
05:07:35 <oerjan> @ask boily is `? shiasdayviaerqjjjjjjjj another thing you won't admit to?
05:11:02 -!- tromp has joined.
05:40:56 -!- augur has joined.
05:56:31 <HackEgo> 1/2:second wisdom//The second wisdom is that wisdom can never be complete or consistent. \ brontosaurus//A brontosaurus is an ancient mythological creature. They were well known for having mapoles for teeth. \ eliot//Eliot inverted cats, then Taneb stole his inversion. \ userweps//boily has the mapole, oerjan has the swatter \ itidus20//itidus20's
05:56:40 <HackEgo> 2/2:entry has been censored.
06:07:02 -!- Lymia has left ("Hug~♪").
06:08:00 -!- Lymia has joined.
06:10:24 -!- tromp has quit (Remote host closed the connection).
06:15:39 -!- jaboja has quit (Ping timeout: 268 seconds).
06:17:42 <HackEgo> 1/2:glass//I can eat glass and it doesn't hurt me. -- http://www.savagechickens.com/2016/05/new-diet.html \ sat solving technique//There are many SAT solving techniques, but none are completely satisfactory. \ death//Death is known to be a major health hazard, causing complete decomposition of the body in many cases. \ fnord//? ¯\(°_o)/¯ \ ta
06:17:46 <HackEgo> 2/2:nebvention//Tanebventions include automatic squirrel feeders, necessity, Go, submarine jousting, Fueue, the universe, special relativity, metar, weetoflakes, sand, dragons, persistence, the BBC, _46bit, cognac, progress, sanity, the Oxford comma, and this sentence. See also tanebventions: maths. He never invents anything involving sex.
06:19:24 -!- doesthiswork has quit (Quit: Leaving.).
06:23:11 <HackEgo> If necessity did not exist, it would be necessary for Taneb to invent it.
06:23:34 <HackEgo> If possibility did not exist, it would not be possible for Taneb not to invent it.
07:10:58 -!- tromp has joined.
07:13:52 <HackEgo> 10992:2017-06-02 <wob_jonäs> `` echo >> wisdom/certainly; echo >> wisdom/certainty; head wisdom/certain*y \ 9201:2016-10-09 <shachäf> slwd certainly//s#at least it#it certainly# \ 2418:2013-03-12 <ellioẗt> revert 2416 \ 2417:2013-03-12 <Sgëo> revert 2243 \ 2372:2013-03-04 <Jafët> cp wisdom/certain{t,l}y && sed -i \'s/ty/ly/\' wisdom/certa
07:14:15 <HackEgo> We don't know what certainly is for sure, but it certainly isn't a functor.
07:14:22 <HackEgo> 10992:2017-06-02 <wob_jonäs> `` echo >> wisdom/certainly; echo >> wisdom/certainty; head wisdom/certain*y \ 9202:2016-10-09 <oerjän> slwd certainty//s/at least/we have certainty that/ \ 2418:2013-03-12 <ellioẗt> revert 2416 \ 2417:2013-03-12 <Sgëo> revert 2243 \ 2371:2013-03-04 <boil̈y> echo -n "We don\'t know what certainty is for sure, b
07:14:48 <oerjan> hm it was boily who used -n for some reason.
07:16:05 -!- tromp has quit (Ping timeout: 268 seconds).
07:18:25 <HackEgo> wob_jonäs b_jonäs b_jonäs b_jonäs
07:18:28 <HackEgo> wob_jonäs b_jonäs b_jonäs b_jonäs
07:18:45 <HackEgo> wob_jonäs b_jonäs b_jonäs
07:21:13 <oerjan> `4 `\? "rules of wisdom"
07:21:14 <HackEgo> /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file \ /hackenv/bin/`: eval: line 4: unexpected EOF while looking for matching ``' \ /hackenv/bin/`: eval: line 5: syntax error: unexpected end of file \ /hackenv/bin/`: eval: line 4: unexpected EOF while lo
07:21:21 <oerjan> `4 \? "rules of wisdom"
07:21:24 <HackEgo> 1/3:unless essential for the entry‘s humor, should: be understandable without the lookup key, be single spaced and end in a newline with no space before that, and use proper capitalization and punctuation unless essential for the entry‘s humor, should: be understandable without the lookup key, be single spaced and end in a newline with no spa
07:21:58 <oerjan> shachaf: he deleted the others today
07:22:15 <HackEgo> Burritos are like Monads, according to Joe. See https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
07:29:11 <oerjan> `learn Covfefe is how you speak when you've had *way* too much coffee.
07:29:13 <HackEgo> Learned 'covfefe': Covfefe is how you speak when you've had *way* too much coffee.
08:03:08 <HackEgo> [wiki] [[///]] https://esolangs.org/w/index.php?diff=52040&oldid=51992 * Zzo38 * (+107) Implementation in JavaScript
08:16:56 <HackEgo> [wiki] [[Woefully]] N https://esolangs.org/w/index.php?oldid=52041 * Destructible watermelon * (+3691) Created page with "Woefully is a programming language based on lines made of spaces. It uses a unique type of control flow, featuring no explicit conditionals, and is believed TC, though it is t..."
08:17:39 -!- Destructible has joined.
08:24:24 -!- Destructible has quit (Ping timeout: 260 seconds).
09:11:28 -!- tromp has joined.
09:13:22 -!- hppavilion[1] has joined.
09:13:38 <HackEgo> Russell's Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show?
09:14:10 <hppavilion[1]> `slwd Russell's Teapot//s/Russell's Teapot/Russell's little Teapot/
09:14:16 <HackEgo> Russell's Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show?
09:14:51 <hppavilion[1]> `le/rn Russell's Teapot//Russell's little Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show?
09:14:54 <HackEgo> Relearned 'russell's teapot': Russell's little Teapot / Short and stout / Orbits near Mars / Or thereabout. / If you see it / Let us know / If you don't / What does that show?
09:15:21 <rdococ> I'm working on a fictional material suitable for my hypercomputational idea
09:15:50 -!- tromp has quit (Ping timeout: 258 seconds).
09:17:27 <rdococ> "Multium". Unusual material which technically resides outside of any universes, in the multiverse - but can be seen and interacted with in every universe. As a result, it has proven handy for communication with other universes.
09:19:48 <oerjan> clearly what Multivac is made of.
09:25:11 <rdococ> though I feel like there's problems with it
09:26:45 <rdococ> if one device wants to spread an infinite amount of computational load across infinite universes, it could send a signal through to them.
09:27:06 <rdococ> but every other device in every universe which is semi-indistinguishable from them also wants to do that.
09:28:54 <rdococ> and what if other devices want a different computational problem solving and get the wrong answer?
09:29:57 <rdococ> hm, what I think I need for it to work is a whole server which resides outside of any of these universes
09:31:20 <rdococ> we need the ability to 1) target a specific universe and 2) allow that universe to target us back
09:51:53 -!- augur has quit (Remote host closed the connection).
10:05:21 -!- oerjan has quit (Quit: Nite).
10:12:12 -!- tromp has joined.
10:17:23 -!- tromp has quit (Ping timeout: 268 seconds).
10:24:13 -!- danieljabailey has joined.
10:34:21 -!- Destructible has joined.
10:41:26 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
10:50:49 -!- Destructible has quit (Ping timeout: 260 seconds).
12:02:27 <zzo38> I thought of a kind of variant syntax of Kangaroo esolang, which is "nameless syntax", where the example program becomes: ,1;2
12:05:33 -!- sdhand has quit (Excess Flood).
12:05:42 -!- sdhand has joined.
12:05:56 -!- sdhand has quit (Changing host).
12:05:56 -!- sdhand has joined.
12:13:06 -!- tromp has joined.
12:17:30 -!- tromp has quit (Ping timeout: 255 seconds).
12:20:42 -!- APic has changed nick to ASM17Pic.
12:47:57 -!- Phantom_Hoover has joined.
12:47:57 -!- Phantom_Hoover has quit (Changing host).
12:47:57 -!- Phantom_Hoover has joined.
12:52:58 -!- augur has joined.
12:57:33 -!- augur has quit (Ping timeout: 255 seconds).
13:26:11 -!- tromp has joined.
13:59:08 -!- tromp has quit (Remote host closed the connection).
14:00:30 -!- doesthiswork has joined.
14:13:45 -!- tromp has joined.
14:21:24 <HackEgo> [wiki] [[Deadfish]] https://esolangs.org/w/index.php?diff=52042&oldid=52037 * Timtomtoaster * (+83) /* eWagon2 */
14:35:57 -!- lukeoftheaura has joined.
14:53:13 <lukeoftheaura> my brother had an idea for an esolang recently based on the capchalog(?) system
14:53:34 <zzo38> I don't know how that is working
14:53:34 -!- augur has joined.
14:53:42 <zzo38> You can figure out how to make, though.
14:58:36 -!- augur has quit (Ping timeout: 268 seconds).
15:00:05 -!- tromp has quit (Remote host closed the connection).
15:03:16 -!- augur has joined.
15:03:42 -!- tromp has joined.
15:07:29 -!- augur has quit (Ping timeout: 255 seconds).
15:17:03 -!- tromp has quit (Remote host closed the connection).
15:21:37 -!- wob_jonas has joined.
15:22:45 -!- jaboja has joined.
15:26:18 -!- erkin has joined.
15:31:55 -!- Guest72713 has quit (Changing host).
15:31:55 -!- Guest72713 has joined.
15:32:11 -!- Guest72713 has changed nick to JX7P.
15:45:44 -!- lukeoftheaura has quit (Quit: Leaving).
16:00:44 -!- pledis has joined.
16:14:21 -!- tromp has joined.
16:34:07 -!- tromp has quit (Remote host closed the connection).
16:39:51 -!- atslash has joined.
16:41:44 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:01:31 -!- tromp has joined.
17:04:34 -!- guardianx has joined.
17:07:57 -!- guardianx has quit (Read error: Connection reset by peer).
17:13:15 -!- tromp has quit (Remote host closed the connection).
17:19:02 -!- electrolex has joined.
17:29:11 -!- erkin has quit (Ping timeout: 240 seconds).
17:34:12 <zzo38> Apparently iPhone has its own PNG format, which adds a "CgBI" chunk (I don't know what its contents are), and swaps red and blue, and uses premultiplied alpha.
17:35:24 -!- tromp has joined.
17:35:30 <zzo38> (I don't know what the letters stand for either, although the initial uppercase "C" would indicate that programs that do not know about it will not try to read it anyways, and the lowercase "g" indicates that it is an unofficial extension.)
17:40:39 -!- erkin has joined.
18:01:38 -!- tromp has quit (Remote host closed the connection).
18:12:20 -!- tromp has joined.
18:15:50 -!- jaboja has quit (Ping timeout: 240 seconds).
18:24:21 -!- tromp has quit (Remote host closed the connection).
18:29:07 <pikhq> That's odd, but it sounds like they're doing it to more closely match their GPU texture formats.
18:38:48 <int-e> http://iphonedevwiki.net/index.php/CgBI_file_format has (very little) further information.
18:38:48 <\oren\> konosuba is a good amine
18:39:10 <int-e> premultiplied alpha makes a lot of sense in context.
18:39:29 -!- erkin has quit (Quit: Leaving).
18:40:30 -!- jaboja has joined.
19:06:50 -!- hppavilion[1] has joined.
19:18:50 -!- Remavas has joined.
19:18:50 -!- Remavas has quit (Changing host).
19:18:50 -!- Remavas has joined.
19:19:36 -!- augur has joined.
19:24:23 -!- augur has quit (Ping timeout: 268 seconds).
19:25:19 -!- tromp has joined.
19:26:45 -!- jaboja has quit (Remote host closed the connection).
19:29:57 -!- tromp has quit (Ping timeout: 240 seconds).
20:01:06 <shachaf> Taneb: do you want this listed as a Tanebvention hth
20:18:49 -!- Zarutian has joined.
20:22:17 -!- erkin has joined.
20:22:38 -!- sdhand has quit (Excess Flood).
20:22:47 -!- sdhand has joined.
20:23:11 -!- sdhand has changed nick to Guest53845.
20:27:00 <HackEgo> 2177:2013-02-19 <olsnër> learn this is a word
20:36:48 <HackEgo> 1/2:¯\_(ツ)_/¯//¯\_(ツ)_/¯ is the ¯\(°_o)/¯ of urbandictionary \ myndzi//myndzi used to keep us all on our feet. \ brontosaurus//A brontosaurus is an ancient mythological creature. They were well known for having mapoles for teeth. \ 10//10 = 10 in every base. \ lem//Stanisław Lem was a Polish logician who discovered the law of exclude
20:58:34 -!- erkin has quit (Ping timeout: 240 seconds).
21:04:23 -!- erkin has joined.
21:10:17 <fungot> \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/
21:10:27 <int-e> . o O ( the first third is still there )
21:17:34 -!- Guest53845 has quit (Changing host).
21:17:34 -!- Guest53845 has joined.
21:17:34 -!- Guest53845 has changed nick to sdhand.
21:19:41 -!- Remavas-Hex has joined.
21:21:27 -!- Remavas has quit (Ping timeout: 240 seconds).
21:24:58 -!- tromp has joined.
21:30:00 -!- tromp has quit (Ping timeout: 272 seconds).
21:35:33 -!- Sprocklem has joined.
21:38:17 -!- jaboja has joined.
21:52:41 -!- tromp has joined.
22:03:47 -!- tromp has quit (Remote host closed the connection).
22:06:31 <fungot> olsner: you're the real user plof. :p hee. eli terveisiä! :p? predicate
22:34:36 -!- hppavilion[1] has quit (Ping timeout: 272 seconds).
22:38:40 <zzo38> Now I do have JPEG encoder and decoder with my Farbfeld Utilities, although it isn't a very good encoder (although this may be corrected later on).
22:44:37 -!- tromp has joined.
22:45:06 -!- electrolex has quit (Quit: Leaving).
22:57:56 -!- tromp has quit (Remote host closed the connection).
23:04:28 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:08:27 -!- hppavilion[1] has joined.
23:12:46 -!- tromp has joined.
23:14:51 -!- Phantom_Hoover has joined.
23:22:39 -!- tromp has quit (Remote host closed the connection).
23:34:35 -!- atslash has quit (Quit: This computer has gone to sleep).
23:37:00 -!- Sprocklem has quit (Ping timeout: 255 seconds).
23:44:35 <izabera> a language has no recursion and the only kind of loops are for loops over an arbitrarily large but bounded range of integers
23:44:43 -!- atslash has joined.
23:44:45 <izabera> how do you prove that it's not turing complete?
23:47:55 <alercah> show that computation always halts
23:48:07 -!- augur has joined.
23:49:28 -!- atslash has quit (Client Quit).
23:56:37 -!- tromp has joined.