←2018-01-06 2018-01-07 2018-01-08→ ↑2018 ↑all
00:00:14 <zzo38> Now I managed to write a program that can read RPG Maker XYZ picture files. Since I do not use RPG Maker, the only file I have found is, I found a copy of RPG_RT.EXE, and then extract the file ".rsrc/XYZ/LOGO1" from it using 7-Zip; that is the only one I have.
00:01:41 -!- Lord_of_Life has quit (Read error: Connection reset by peer).
00:03:39 -!- boily has joined.
00:11:38 * boily pokes fungot
00:11:38 <fungot> boily: that's really all chez's modules are, interesting. how do you do that? and as i understand, sicp is at http://mitpress.mit.edu/ sicp/
00:14:05 <zzo38> This program uses LodePNG even though it isn't PNG; LodePNG also includes a zlib decoder. The format is simple: Starts by "XYZ1" and then small-endian 16-bit width and then height, and then a zlib stream, when decompressed results in the 256 colours palette (three bytes per entry, RGB), and then the raster data.
00:14:50 <zzo38> I have a Christmas tree one of the birds is missing; the other bird is too big for that small Christmas tree.
00:16:39 -!- Guest6549 has joined.
00:17:17 -!- Slereah has quit (Ping timeout: 252 seconds).
00:17:40 -!- Lord_of_Life has joined.
00:29:00 -!- oerjan has joined.
00:36:31 <ATMunn> fungot: poke
00:36:32 <fungot> ATMunn: formicidae is the entirety of the command to put before the output.
00:36:40 <ATMunn> ^source
00:36:40 <fungot> https://github.com/fis/fungot/blob/master/fungot.b98
00:55:39 -!- digitalcold has quit (Remote host closed the connection).
01:01:08 -!- erdic has joined.
01:19:40 <oerjan> > a^2
01:19:43 <lambdabot> a * a
01:20:01 <oerjan> good, good
01:21:19 <int-e> > a^23
01:21:25 <lambdabot> mueval-core: Time limit exceeded
01:21:31 <int-e> > a^23
01:21:34 <lambdabot> a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ...
01:21:42 <int-e> > a^21
01:21:45 <lambdabot> a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ...
01:22:17 <boily> symbolambdabot?
01:22:22 <boily> > b^4
01:22:25 <int-e> :t a
01:22:26 <lambdabot> b * b * (b * b)
01:22:27 <lambdabot> Expr
01:22:33 <int-e> :t f
01:22:36 <lambdabot> FromExpr a => a
01:22:41 <boily> > a + b
01:22:44 <lambdabot> a + b
01:22:47 <int-e> > foldr f a [b,c,d]
01:22:53 <lambdabot> f b (f c (f d a))
01:23:04 <int-e> typeclass magic
01:23:30 <int-e> (In particular, Expr has a Num instance that isn't quite law-abiding)
01:25:40 <int-e> boily: this isn't entirely pointless; similar type class tricks allow automated differentiation
01:27:18 <shachaf> int-e: I'm reading Concrete Mathematics and it talks about Rayleigh's theorem
01:28:40 <int-e> @google Rayleigh's theorem
01:28:40 <lambdabot> https://en.wikipedia.org/wiki/Parseval%27s_theorem
01:29:08 <shachaf> Not that one
01:29:17 <shachaf> What's this theorem called?
01:29:23 <ATMunn> can someone here explain to me fingerprint semantics in funge-98? the official documentation thing is a bit confusing to me
01:29:54 <shachaf> h@google Beatty sequence
01:30:04 <shachaf> @google Beatty sequence
01:30:05 <lambdabot> https://en.wikipedia.org/wiki/Beatty_sequence
01:30:36 <int-e> I remember that one
01:31:38 <int-e> And it makes much more sense to have that theorem in this particular book than the DFT one.
01:31:43 -!- Guest6549 has quit (Ping timeout: 248 seconds).
01:31:49 <shachaf> It calls these sequences "spectra"
01:31:51 -!- Slereah has joined.
01:32:05 <shachaf> Or rather it calls the multisets that
01:32:15 -!- Slereah has changed nick to Guest10238.
01:33:07 <int-e> Is the spectral test nearby?
01:34:38 <fizzie> ATMunn: Which bit is unclear?
01:35:23 <ATMunn> the main thing that confuses me is what a semantic actually is
01:35:44 <ATMunn> and also
01:35:52 <fizzie> Approximately "the thing that an instruction will do".
01:36:17 <ATMunn> when it says that ( pushes "the new fingerprint" onto the stack on a successful load
01:36:25 <fizzie> (I think the use of the term is likely Forth-inspired.)
01:37:03 <ATMunn> what does it mean there by "the new fingerprint"? just like, the number of the fingerprint?
01:37:08 <fizzie> ATMunn: If you mean the bit that goes "the new fingerprint, then a 1, are pushed onto the stack", that means the number, yes.
01:37:21 <ATMunn> ok
01:37:29 <ATMunn> yeah thats what i was referring to
01:37:44 <ATMunn> now
01:37:58 <ATMunn> i was looking at the fungot source
01:37:58 <fungot> ATMunn: http://research.microsoft.com/ users/ simonpj/ papers/ fnord
01:38:11 <ATMunn> i noticed it using the FING fingerprint
01:38:20 <ATMunn> but i don't quite understand what that does
01:38:46 <fizzie> It's used for having multiple fingerprint that have otherwise conflicting assignments conveniently available at the same time.
01:39:02 <fizzie> For example, both STRN and FILE define semantics for instructions G and P.
01:39:21 <fizzie> So fungot uses the FING fingerprint to remap the G and P of one of them to K and B instead.
01:39:22 <fungot> fizzie: i'm glad they broke with the format of token stream? ick!)
01:39:34 <ATMunn> ohh ok
01:40:02 <fizzie> That's the 'G'KZ'P'BZ'L'IZ sequence before it loads FILE.
01:40:12 <ATMunn> ohk
01:40:17 <ATMunn> thanks :)
01:41:05 <fizzie> It also flat out drops the A and L instructions from SOCK, so that the instructions from STRN that were "below" them in the per-instruction binding stack become visible.
01:41:20 <fizzie> (With 'AY'LY after loading SOCK.)
01:41:54 <ATMunn> ah
01:42:37 <fizzie> The fun fact about fingerprint unloading in Funge-98 is that, per the spec, unloading something like STRN will just blindly pop off one binding from each instruction specified in STRN, even if those bindings weren't currently those *set* by STRN in the first place.
01:43:06 <ATMunn> oh lol
01:46:35 <zzo38> Are creatures that drink blood allowed to drink water too or not?
01:53:42 <fizzie> ATMunn: Now that I read the spec, I guess it might not actually specify the stacks used by "save"/"restore" are per instruction. But that's how everyone interprets it.
01:53:49 -!- jaboja has quit (Remote host closed the connection).
01:54:15 <ATMunn> ah
01:59:09 <fizzie> (Wonder if Mycology tests for that.)
02:38:45 -!- variable has joined.
02:56:11 -!- boily has quit (Quit: CHAOTIC CHICKEN).
02:59:19 -!- moony has quit (Disconnected by services).
02:59:49 -!- moony__ has joined.
03:13:06 <zzo38> Are creatures that drink blood allowed to drink water too or not?
03:21:15 <fizzie> I believe blood is more than half water, so I'd think so? But not an expert.
03:21:41 <zzo38> That is what I thought too, but I am also not an expert and therefore wouldn't know, that is why I ask.
03:23:12 -!- doesthiswork has quit (Quit: Leaving.).
03:24:44 -!- jaboja has joined.
03:25:16 <zzo38> Do you know any expert?
03:26:03 -!- jaboja has quit (Remote host closed the connection).
03:26:05 -!- moony__ has quit (Ping timeout: 265 seconds).
03:30:05 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
03:35:31 -!- erkin has joined.
03:36:52 -!- digitalcold has joined.
03:42:21 -!- variable has quit (Quit: Found 1 in /dev/zero).
03:51:59 <oerjan> <int-e> (In particular, Expr has a Num instance that isn't quite law-abiding) <-- i don't think Num has laws hth
03:52:20 -!- contrapumpkin has joined.
03:57:34 -!- sdfgsdfg has joined.
04:05:38 -!- iovoid has quit (Quit: *).
04:06:05 -!- ATMunn has quit (Read error: Connection reset by peer).
04:06:05 -!- Bowserinator has quit (Read error: Connection reset by peer).
04:09:00 <oerjan> @metar ENVA
04:09:01 <lambdabot> ENVA 070350Z 24011KT 9999 VCSH FEW049 BKN064 M01/M06 Q1014 RMK WIND 670FT 22015KT
04:09:34 -!- augur has joined.
04:11:27 <oerjan> `? urbandictionary
04:11:46 <oerjan> hum
04:11:48 <HackEgo> Urban Dictionary is an alternative, inferior wisdom database.
04:11:54 <oerjan> ah
04:31:40 -!- variable has joined.
05:16:28 -!- sdfgsdf has joined.
05:16:29 -!- sdfgsdfg has quit (Remote host closed the connection).
05:44:46 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
07:00:37 -!- oerjan has quit (Quit: Nite).
07:13:41 -!- ATMunn has joined.
07:16:02 -!- variable has quit (Quit: Found 1 in /dev/zero).
07:16:57 -!- Bowserinator has joined.
07:17:21 -!- Bowserinator has changed nick to Guest81012.
07:47:06 <shachaf> Cale: generating functions are p. neat
08:31:52 -!- sleffy has quit (Ping timeout: 255 seconds).
11:12:17 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
11:37:45 <fizzie> There's a book about generating functions with a great name: Generatingfunctionology.
11:38:02 <fizzie> (Was a course book on a math course once.)
11:39:27 <fizzie> Even in lowercase on the cover: https://books.google.co.uk/books/about/Generatingfunctionology.html
11:39:58 <fizzie> Oh, I trimmed that URL too much. :/
11:40:19 <fizzie> https://books.google.co.uk/books/about/Generatingfunctionology.html?id=bVFuBwAAQBAJ
11:51:52 -!- wob_jonas has joined.
12:01:11 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
12:06:27 -!- FreeFull has quit.
12:07:31 -!- wob_jonas has joined.
12:11:41 <wob_jonas> Everyone: two important pieces of news. The 25th IOCCC is open from 2017-Dec-29 05:38:51 UTC to 2018-Feb-28 05:29:15 UTC, see http://www.ioccc.org
12:14:49 -!- FreeFull has joined.
12:15:06 <wob_jonas> Sorry, I think that's just one, not two.
12:42:29 <fizzie> @tell shachaf You'll be happy to know that the sources for the logs and wiki-to-IRC stuff can now be found at https://github.com/fis/esolangs
12:42:29 <lambdabot> Consider it noted.
13:08:30 <wob_jonas> zzo38: you'll have to ask someone who knows dnethack. that game has the ability to drink water, and vampire as a playable race.
13:11:30 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
13:25:13 <tromp> test
13:27:19 <int-e> ... I'm almost surfing at the speed of light! ...
13:29:02 <int-e> let ?M = "{(1, Dec v2 1 2), (2, Dec v3 2 3), (3, Dec v1 4 0), (4, Inc v2 5), (5, Inc v3 3)}" -- so readable!
13:35:59 -!- Guest10238 has changed nick to Slereah.
13:42:10 -!- quintopia has quit (Remote host closed the connection).
13:43:31 <esowiki> [[Numberwang/Implementations]] M https://esolangs.org/w/index.php?diff=53763&oldid=53757 * Unt * (+8) 2 bugs solved
13:56:50 -!- boily has joined.
13:57:19 -!- FreeFull has quit (Ping timeout: 265 seconds).
13:59:44 -!- LKoen has joined.
13:59:51 <esowiki> [[Numberwang/Implementations]] M https://esolangs.org/w/index.php?diff=53764&oldid=53763 * Unt * (+1) Another bug
14:01:18 -!- FreeFull has joined.
14:22:08 -!- quintopia has joined.
14:37:08 -!- Guest81012 has changed nick to Bowserinator.
14:37:12 -!- Bowserinator has quit (Changing host).
14:37:12 -!- Bowserinator has joined.
14:47:59 -!- sdfgsdf has quit (Ping timeout: 248 seconds).
14:57:42 <shachaf> @messages-gouda
14:57:42 <lambdabot> fizzie said 2h 15m 12s ago: You'll be happy to know that the sources for the logs and wiki-to-IRC stuff can now be found at https://github.com/fis/esolangs
14:58:03 <shachaf> fizzie: Did I ask for the sources? I don't remember.
15:26:06 <fizzie> shachaf: I thought you did, but I can't find the comment.
15:26:15 <esowiki> [[Numberwang/Implementations]] M https://esolangs.org/w/index.php?diff=53765&oldid=53764 * Unt * (+0) Some optimization
15:28:41 <int-e> in any case it's fulfilling a promise that has been on the website since its inception (it was there when I first saw it)
16:03:28 -!- wob_jonas has joined.
16:03:31 <wob_jonas> ``` echo wisdom/leg*
16:03:47 <HackEgo> wisdom/leg*
16:03:56 <wob_jonas> ``` echo wisdom/{wor,cow,come,lau}*
16:03:59 <HackEgo> wisdom/word wisdom/word salad detector wisdom/works for me wisdom/cow wisdom/comedogenic wisdom/laughed
16:04:10 <wob_jonas> `? word salad detector
16:04:11 <wob_jonas> `? word
16:04:12 <HackEgo> Our only word salad detectors before fungot proposed bright full speed under the mediterranean guadalope a light sauce impertinent used the best brains of codeine fragments emerge from the red arrow shark-repellant housewife a smattering and yes I said yes I will Yes.
16:04:12 <HackEgo> Word (Microsoft Word) was a text-editor for animated texts but not anymore.
16:04:13 <wob_jonas> `? works for me
16:04:14 <HackEgo> Error: unable to read wisdom database. try again later.
16:04:16 <wob_jonas> ` cow
16:04:16 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found
16:04:20 <wob_jonas> `? comedogenic
16:04:21 <HackEgo> comedogenic is something that causes comedy when applied to the skin, e.g. an accelerated cream pie in parabolic motion.
16:04:22 <wob_jonas> `? laughed
16:04:23 <HackEgo> They laughed when I said I wanted to be a comedian. They're not laughing now!
16:04:51 <int-e> ... weak version
16:05:28 <wob_jonas> What's better? Legions of doom or legions of terror?
16:05:52 <wob_jonas> For an evil lord who wants to rule the world that is.
16:05:53 <int-e> "When I told my family how I wanted to be a comedian when I grew up, they all laughed at me. Well I showed them; nobody's laughing now!"
16:05:57 <wob_jonas> `? peter
16:05:58 <HackEgo> peter? ¯\(°​_o)/¯
16:06:23 -!- contrapumpkin has joined.
16:07:52 <wob_jonas> http://www.eviloverlord.com/lists/overlord.html only considers Legions of Terror
16:08:09 <int-e> hmm, still mangled. https://www.theguardian.com/uk/2003/dec/29/arts.artsnews1 has the original
16:10:04 <wob_jonas> that says "When I first said I wanted to be a comedian, everybody laughed. They're not laughing now."
16:10:13 <wob_jonas> are you all planning to submit a program for the IOCCC?
16:10:16 <wob_jonas> it's open
16:10:19 <wob_jonas> `? ioccc
16:10:20 <HackEgo> The IOCCC is the Industrial Ordovician COBOL Conference Circuit. Not to be confused with OIC. See also ioccclist.
16:12:51 <boily> wellob_jonas. legions of doom hth
16:15:37 <boily> `? oic
16:15:39 <HackEgo> OIC, OIC means Oh I see.
16:19:48 <fizzie> shachaf: https://esolangs.org/logs/2017-12-12.html#lgc I think I took that as an implicit request.
16:20:04 <wob_jonas> And should the population tremble in fear when the evil overlord takes over, or should they instead cower in fear?
16:26:54 -!- jaboja has joined.
16:27:38 -!- jaboja has quit (Read error: Connection reset by peer).
16:28:47 <boily> wob_jonas: tremble htah
16:33:02 -!- contrapumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
16:33:28 <boily> you want to maximize agony and cognitive dissonance. you want your people to show up, if only because alternatives are worst, by only a slight margin.
16:42:22 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
16:50:32 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
16:52:04 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53766&oldid=35944 * Unt * (+1849) Proven that Numberwang is Turing-complete.
16:57:50 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53767&oldid=53766 * Unt * (-15) Changed categories to reflect Turing-completeness proof
17:02:45 -!- variable has joined.
17:06:33 -!- sprocklem has quit (Ping timeout: 246 seconds).
17:08:56 -!- sprocklem has joined.
17:12:26 -!- ais523 has joined.
17:16:09 -!- wob_jonas has joined.
17:16:20 <wob_jonas> ais523: have you noticed that an IOCCC contest has started near the start of this year?
17:16:32 <wob_jonas> http://www.ioccc.org
17:16:43 <ais523> wob_jonas: no
17:17:02 <ais523> until February, that might be enough time to come up with something
17:17:39 <wob_jonas> ais523: well, the IOCCC rules are constant enough that you can just come up with something at any time and later adjust it to the IOCCC rules
17:17:41 <wob_jonas> but sure
17:17:59 -!- ais523 has quit (Quit: sorry for my connection).
17:18:11 -!- ais523 has joined.
17:24:37 <ais523> hmm, I wonder if I can fit an Incident interpreter into the IOCCC size limit
17:24:41 <ais523> that's pretty obfuscated in its own right :-)
17:24:53 <wob_jonas> heh
17:25:20 -!- ais523 has quit (Quit: sorry for my connection).
17:25:32 -!- ais523 has joined.
17:25:57 <wob_jonas> even if you can, I don't see why that would be a good task an entry program would want to do
17:26:19 <wob_jonas> but that's just my take, the IOCCC judges might think otherwise
17:27:29 <ais523> wob_jonas: because it lets you write a C/Incident polyglot and have it read itself by default, which is basically impossible to figure out if you don't know the language
17:28:03 <wob_jonas> ais523: ah!
17:28:09 <wob_jonas> a polyglot might be better
17:28:26 <wob_jonas> at least if the incident does something more useful than just a nop
17:28:31 <wob_jonas> an incident nop is not that hard to write
17:29:12 <wob_jonas> but incident is a very verbose language, so you can't fit too much useful things in 4 kilobytes of source code
17:31:11 <ais523> yes, that's a problem
17:31:45 <ais523> maybe it'd work better with some esolang that has a really weird paradigm
17:31:48 <ais523> declarative, perhaps
17:31:56 <ais523> I wonder if anyone's submitted a prolog interpreter to the IOCCC
17:32:18 <wob_jonas> and you know what the guideline says: "People who are considering to just use some complex mathematical function or state machine to spell out something such as "hello, world!" really really, and we do mean really, do need to be more creative.
17:32:29 <ais523> apparently none have won, at least
17:32:39 <wob_jonas> ais523: hmm, that could be possible
17:33:15 <wob_jonas> obviously you won't have a full library, but you could get a decently usable interpreter
17:48:14 -!- variable has quit (Quit: Found 1 in /dev/zero).
17:56:32 -!- honigkuchen has joined.
17:58:20 <esowiki> [[Numberwang]] M https://esolangs.org/w/index.php?diff=53768&oldid=53767 * Unt * (+44) Made explanation less ambiguous.
18:03:35 -!- garit has quit (Ping timeout: 260 seconds).
18:08:08 -!- garit has joined.
18:08:10 -!- garit has quit (Excess Flood).
18:08:45 -!- garit has joined.
18:08:45 -!- garit has quit (Changing host).
18:08:45 -!- garit has joined.
18:14:34 <wob_jonas> `? gdq
18:14:36 <HackEgo> gdq? ¯\(°​_o)/¯
18:14:39 <wob_jonas> `? agdq
18:14:40 <HackEgo> AGDQ is Awesome Games Done Quick, an annual video games speedrunning event for charity every winter, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/
18:15:20 <FireFly> ´? sgdq
18:15:22 <FireFly> er
18:15:25 <FireFly> `? sgdq
18:15:26 <HackEgo> SGDQ is Summer Games Done Quick, an annual video games speedrunning event for charity ever summer, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/
18:15:46 <FireFly> that should read 'every', but I forget how slwd works
18:15:48 <FireFly> hm.
18:15:52 <FireFly> `? slwd
18:15:53 <HackEgo> ​`slwd <wisdom name>//<sed script>
18:15:58 <FireFly> easy enough
18:16:13 <FireFly> `slwd sgdq//s/ever/&y/
18:16:17 <HackEgo> sgdq//SGDQ is Summer Games Done Quick, an annual video games speedrunning event for charity every summer, see http://gamesdonequick.com and https://gamesdonequick.com/tracker/events/
19:01:22 <boily> FíréllóFlý.
19:03:15 <\oren\> guten morgen, for a given meaning of "morgen"
19:04:01 <wob_jonas> `? internet time
19:04:02 <HackEgo> internet time? ¯\(°​_o)/¯
19:04:06 <wob_jonas> `? irc time
19:04:07 <HackEgo> irc time? ¯\(°​_o)/¯
19:05:43 <boily> ヘ\\オレン\。
19:07:29 <\oren\> I recently got back to adding characters to my font
19:07:40 <wob_jonas> \oren\: good
19:09:38 -!- honigkuchen has quit (Quit: Leaving).
19:29:07 -!- iovoid has joined.
19:29:07 -!- iovoid has quit (Changing host).
19:29:07 -!- iovoid has joined.
19:30:48 <boily> \oren\: good
19:31:02 -!- boily has quit (Quit: SNORING CHICKEN).
19:47:35 -!- Phantom_Hoover has joined.
19:57:58 -!- sleffy has joined.
20:15:42 -!- jaboja has joined.
20:22:20 <esowiki> [[Dogescript]] https://esolangs.org/w/index.php?diff=53769&oldid=51830 * Camto * (+134) Fixed broken links and added link to homepage.
20:23:11 <esowiki> [[Dogescript]] https://esolangs.org/w/index.php?diff=53770&oldid=53769 * Camto * (-86) Removed dead link.
20:30:03 -!- wladz_ has joined.
20:33:39 -!- sftp_ has joined.
20:35:04 -!- sftp has quit (*.net *.split).
20:35:08 -!- wladz has quit (*.net *.split).
20:35:08 -!- sftp_ has changed nick to sftp.
20:38:10 -!- lambdabot has quit (Ping timeout: 260 seconds).
20:41:29 -!- ais523 has quit (Quit: quit).
20:41:46 -!- lambdabot has joined.
20:56:43 -!- ais523 has joined.
20:57:57 -!- jaboja has quit (Ping timeout: 264 seconds).
21:04:13 -!- ais523 has quit (Quit: quit).
21:05:18 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53771&oldid=53768 * Taneb * (+110) Clarification
21:25:37 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53772&oldid=53771 * Unt * (-110) Undo revision 53771 by [[Special:Contributions/Taneb|Taneb]] ([[User talk:Taneb|talk]])
21:25:49 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53773&oldid=53772 * Unt * (+110) Undo revision 53772 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]])
21:26:24 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53774&oldid=53773 * Unt * (-44) Undo revision 53768 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]])
21:26:37 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53775&oldid=53774 * Unt * (+15) Undo revision 53767 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]])
21:26:46 <esowiki> [[Numberwang]] https://esolangs.org/w/index.php?diff=53776&oldid=53775 * Unt * (-1849) Undo revision 53766 by [[Special:Contributions/Unt|Unt]] ([[User talk:Unt|talk]])
21:31:44 <esowiki> [[Numberwang/Implementations]] https://esolangs.org/w/index.php?diff=53777&oldid=53765 * Unt * (+17) This should conform to the standard.
22:09:21 -!- sprocklem has quit (Ping timeout: 265 seconds).
22:09:25 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
22:11:10 -!- sprocklem has joined.
22:18:00 -!- boily has joined.
22:19:11 -!- sleffy has quit (Ping timeout: 248 seconds).
22:25:24 <boily> @metar CYUL
22:25:24 <lambdabot> CYUL 072219Z 15010KT 3SM -SN FEW008 OVC020 M14/M18 A3019 RMK SF1SC8 SF TR PRESFR SLP228
22:30:00 <int-e> ice chicken?
22:30:19 <int-e> @metar lowi
22:30:20 <lambdabot> LOWI 072220Z AUTO 26004KT 210V300 9999 FEW170 SCT180 BKN190 02/01 Q1021
22:31:07 -!- sprocklem has quit (Ping timeout: 256 seconds).
22:31:21 <int-e> ^8ball Is this goal provable?
22:31:22 <fungot> Yes.
22:31:52 <int-e> ^8ball Will I figure out how?
22:31:52 <fungot> No.
22:31:59 <int-e> Thought so :)
22:32:48 -!- sprocklem has joined.
22:35:14 -!- sleffy has joined.
22:52:56 <int-e> fungot: well turns out it wasn't provable
22:52:57 <fungot> int-e: first step into a greater world. but if you use a macro??? can you provide any examples of code that can help
22:53:28 <int-e> fungot: I'm afraid you're no help at all
22:53:29 <fungot> int-e: looks more " logical" to me...
23:09:17 <boily> fungot is logical. He Knows All.
23:09:18 <fungot> boily: god is known as " but sometimes, i just almost-never use it.
23:17:34 <int-e> Okay, maybe it's provable now but it will have to wait for another day.
23:18:54 <int-e> (I'm trying to prove something primitive. More precisely, I'm trying to show that Minsky machines are powerful enough to do primitive recursion, on the way to proving that they are TC.)
23:25:20 -!- wob_jonas has joined.
23:25:49 <wob_jonas> int-e: three-counter, or in general with the number of counters chosen by the translation?
23:26:04 <int-e> general
23:27:21 <wob_jonas> int-e: I think the proof for turing-completeness simulates a machine with multiple stacks, with elements from a finite alphabet stored of each, represented by a bignum in some radix.
23:27:53 <wob_jonas> But I'm not sure what you mean when you want just primitive recursion first.
23:30:22 <int-e> Right, I shouldn't be so sloppy. I really want some undecidability stuff and there's an existing Isabelle formalization of Rice' theorem for recursive functions.
23:30:33 <int-e> So that's my target, not Turing machines.
23:30:56 <int-e> But anyway, that's my Minsky machine definition: http://downthetypehole.de/paste/xsuC8D36
23:31:49 <int-e> (in addition to deterministic, they are also assumed to be finite)
23:32:36 <int-e> But later... good night.
23:32:44 <wob_jonas> night
23:41:59 <zzo38> Are any other file formats and/or special effects I should add into Farbfeld Utilities?
23:50:02 -!- oerjan has joined.
23:53:32 <boily> hej hej hemskt mickerjan hej.
23:53:59 <zzo38> What it means?
23:54:18 <wob_jonas> probably some sort of norwegian porthello for oerjan
23:54:28 <wob_jonas> dunno really
23:57:07 <boily> hezzo38. https://youtu.be/-b4-h9-s2g8
23:57:35 <boily> wellob_jonas. it's norwegian, and his fault for having shown me that damned earworm many years ago.
23:57:54 <wob_jonas> haha
23:58:21 <wob_jonas> I mean, it's not hard to guess that it's norwegian from "hej hej"
←2018-01-06 2018-01-07 2018-01-08→ ↑2018 ↑all