01:05:33 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=65598&oldid=65523 * Areallycoolusername * (+456) /* Ruby */
01:06:04 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=65599&oldid=65598 * Areallycoolusername * (+6) /* Ruby */
01:12:33 -!- esowiki has joined.
01:12:41 -!- j-bot has joined.
01:12:41 -!- jix has joined.
01:12:41 -!- shachaf has joined.
01:12:42 -!- dingwat has quit (Changing host).
01:12:42 -!- dingwat has joined.
01:12:43 -!- ProofTechnique has quit (Changing host).
01:12:43 -!- ProofTechnique has joined.
01:12:45 -!- tswett[m] has quit (Changing host).
01:12:45 -!- tswett[m] has joined.
01:12:52 -!- adu has joined.
01:12:52 -!- joast has joined.
01:12:52 -!- mniip has joined.
01:12:52 -!- howlands has joined.
01:12:52 -!- HackEso has joined.
01:12:52 -!- erdic has joined.
01:12:52 -!- paul2520 has joined.
01:12:54 -!- atslash has joined.
01:12:55 -!- diverger has joined.
01:12:55 -!- myname has joined.
01:12:55 -!- haavard has joined.
01:12:55 -!- hakatashi has joined.
01:12:55 -!- ocharles has joined.
01:12:55 -!- rickbutton has joined.
01:12:56 -!- mich181189 has quit (Changing host).
01:12:56 -!- mich181189 has joined.
01:13:26 -!- Melvar has joined.
01:13:26 -!- rain1 has joined.
01:13:26 -!- economicsbat has joined.
01:13:50 -!- ski has joined.
01:13:50 -!- sebbu has joined.
01:13:50 -!- catern has joined.
01:13:50 -!- Taneb has joined.
01:13:50 -!- APic has joined.
01:13:50 -!- rodgort has joined.
01:13:50 -!- sftp has joined.
01:13:50 -!- \oren\ has joined.
01:13:50 -!- olsner has joined.
01:13:50 -!- aji has joined.
01:13:50 -!- fizzie has joined.
01:14:06 -!- ski has quit (Max SendQ exceeded).
01:14:06 -!- APic has quit (Max SendQ exceeded).
01:14:20 -!- ski has joined.
01:14:23 -!- APic has joined.
01:14:55 -!- tswett[m] has quit (Ping timeout: 249 seconds).
01:15:48 -!- j-bot has quit (Ping timeout: 242 seconds).
01:15:48 -!- xylochoron[m] has quit (Ping timeout: 248 seconds).
01:21:07 -!- wmww has joined.
01:21:46 -!- Cale has joined.
01:21:47 -!- Effilry has joined.
01:21:48 -!- uplime has joined.
01:22:00 -!- moony has joined.
01:22:08 -!- Soni has joined.
01:23:22 -!- BWBellairs has joined.
01:23:42 -!- Effilry has changed nick to FireFly.
01:28:14 -!- xylochoron[m] has joined.
01:29:16 -!- tswett[m] has joined.
01:30:34 -!- 07IACCY0P has quit (Changing host).
01:30:34 -!- 07IACCY0P has joined.
01:30:38 -!- 07IACCY0P has changed nick to relrod.
01:50:00 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=65600&oldid=65533 * A * (+3176)
02:15:02 -!- j-bot has joined.
02:35:45 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=65601&oldid=65600 * Areallycoolusername * (+134) Questioning what looks like a bot shell
02:40:23 -!- Hooloovo0 has quit (Quit: Temporarily refracted into a free-standing prism.).
02:44:43 -!- Hooloovo0 has joined.
03:06:25 -!- oerjan has joined.
03:17:51 * oerjan looks at five days of logs and skips and jumps
03:31:47 -!- mich181189 has quit.
03:32:01 -!- mich181189 has joined.
03:47:10 -!- clog has quit (Ping timeout: 268 seconds).
03:50:12 -!- clog has joined.
04:00:02 -!- Lord_of_Life has quit (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine).
04:02:21 -!- Lord_of_Life has joined.
04:31:17 -!- Vorpal has quit (Ping timeout: 245 seconds).
04:49:00 -!- Vorpal has joined.
04:49:00 -!- Vorpal has quit (Changing host).
04:49:00 -!- Vorpal has joined.
08:09:31 <Taneb> Five days of skips and jumps is a lot of skips and jumps
08:19:13 <oerjan> well i mostly only skipped between mentions of my name so - not many.
08:19:17 -!- AnotherTest has joined.
08:21:32 <esowiki> [[User talk:Areallycoolusername]] M https://esolangs.org/w/index.php?diff=65602&oldid=65436 * A * (+3413) Reply
08:22:47 <esowiki> [[User talk:A]] M https://esolangs.org/w/index.php?diff=65603&oldid=65601 * A * (+3386)
08:29:01 <Taneb> oerjan: how have you been?
08:29:30 -!- wob_jonas has joined.
08:29:38 -!- Lord_of_Life has quit (Ping timeout: 272 seconds).
08:29:51 <wob_jonas> oerjan: there's an olist in it, but you probably don't skip over that
08:30:09 <oerjan> indeed, since it contains my nick
08:31:02 -!- Lord_of_Life has joined.
08:33:22 -!- cpressey has joined.
08:37:03 <cpressey> Taneb: do linear kinds ensure that a type is only used once?
08:39:43 <Taneb> cpressey: that's what kmc suggested
08:41:09 <cpressey> It's hard to read every line of the log
08:49:20 <HackEso> oerjan: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <https://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
09:32:08 -!- oerjan has quit (Quit: Later).
10:07:18 -!- arseniiv has joined.
11:25:20 -!- sebbu has quit (Quit: reboot).
11:28:51 <wob_jonas> apparently the Hungarian word "meztelen" has four different variations: "meztelen, mezítelen, mezítlen, mezitelen".
12:02:33 -!- cpressey has quit (Ping timeout: 245 seconds).
12:04:01 -!- cpressey has joined.
13:30:08 -!- moei has joined.
14:14:43 -!- atslash has quit (Ping timeout: 258 seconds).
14:15:23 -!- atslash has joined.
14:21:06 -!- atslash has quit (Ping timeout: 268 seconds).
14:22:10 -!- atslash has joined.
14:42:51 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=65604&oldid=65464 * PaniniTheDeveloper * (+25)
14:43:36 -!- PaniniTheDevelop has joined.
14:44:52 -!- lifthrasiir has quit (Ping timeout: 248 seconds).
14:45:07 -!- lifthrasiir has joined.
14:47:07 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=65605&oldid=65604 * PaniniTheDeveloper * (-12)
15:05:08 -!- Sgeo_ has quit (Ping timeout: 248 seconds).
15:19:09 -!- wob_jonas has quit (Remote host closed the connection).
15:25:09 -!- PaniniTheDevelop has quit (Remote host closed the connection).
15:41:41 -!- sebbu has joined.
15:56:53 -!- cpressey has quit (Quit: A la prochaine.).
16:08:29 -!- arseniiv has quit (Read error: Connection reset by peer).
16:08:39 -!- arseniiv has joined.
16:17:04 -!- xkapastel has joined.
16:49:22 -!- FreeFull has joined.
16:59:04 -!- arseniiv has quit (Quit: gone completely :o).
18:14:22 -!- b_jonas has joined.
18:36:48 -!- Phantom_Hoover has joined.
19:23:57 -!- rain2 has joined.
19:26:18 -!- rain1 has quit (Ping timeout: 245 seconds).
19:30:12 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:06:25 <HackEso> I'm sorry, #esoteric has regulars, not members. Who told you about members? There are definitely no members here, and you wouldn't be allowed to know about them, anyway.
20:06:50 <HackEso> homestuck:Homestuck is a cult religion for disaffected teens. Gamzee drives the bus. Best summarized by http://www.mspaintadventures.com/storyfiles/hs2/05743.gif \ iditarod:The Iditarod is a race so incredibly difficult that it has a prize for coming in last place. \ pineapple:Pineapple is a hybrid species descended from a cultivar of spinach and wild ivy, making it a class 6 vegetable. \ promise problem:A promise problem is one that happens because you pr
20:07:40 <HackEso> 2/3:ou promise too much. Their reduction to NP is p. difficult. \ subtle:The 'b' sound is pronounced in 'subtle', it's just difficult to hear. \ tea:Tea is concentrated fuel made by distilling occult herbs in a silver alambic. Americans attempted to reduce its potency by dumping some in the Ocean. \ tg:TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to h
20:08:11 <HackEso> 3/3:alt before losing or not.
20:08:38 <int-e> it's interesting that it miscounted by 5 initially?
20:09:11 <shachaf> You mean that `2 miscounted by 5?
20:10:05 <int-e> Yes. But maybe there's been a hostmask change between now and when `2/`1/`n were last tweaked.
20:13:15 <shachaf> Maybe there's some way it can be made more resilient.
20:13:34 -!- erisd has joined.
20:14:31 <int-e> best not to touch it
20:14:39 <int-e> at least it didn't lose any characters :)
20:28:37 -!- Lord_of_Life_ has joined.
20:31:00 -!- Lord_of_Life has quit (Ping timeout: 248 seconds).
20:31:31 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
20:33:33 <esowiki> [[User talk:A]] https://esolangs.org/w/index.php?diff=65606&oldid=65603 * Ais523 * (-6444) rm likely copyright infringement
20:43:46 -!- erisd has quit (Remote host closed the connection).
20:49:31 <shachaf> kmc: did you see that bolete
20:50:59 <b_jonas> lol, some of those wisdoms are actually good, not like the ones I write
21:24:21 -!- AnotherTest has quit (Ping timeout: 250 seconds).
21:39:03 -!- ARCUN has joined.
21:40:01 <ARCUN> So Linux has ELF, Windows has PE, and Mac has Mach-o. Would it be possible to create a new executable file format for a new OS?
21:42:04 -!- ARCUN has left.
21:58:43 -!- ARCUN has joined.
21:59:40 <ARCUN> shachaf: No, this is Areallycoolusername. I just put an acronym since my username is too long.
21:59:53 -!- ARCUN has quit (Remote host closed the connection).
22:00:58 <esowiki> [[BFC]] M https://esolangs.org/w/index.php?diff=65607&oldid=58053 * ZM * (+4) Adding backlink to main BF article for convenience
22:01:21 <shachaf> Why do you both do the thing where you join, write one message into the chat, and leave?
22:01:41 <shachaf> Gratuitous joins/quits are annoying.
22:39:28 -!- ARCUN has joined.
22:41:45 <ARCUN> shachaf: This is because there is no telling whether you'll get a response a few minutes after your message has been sent. So instead of waiting for a potentially long amount of time, I quit, and check back on the logs to see if anyone has responded.
22:43:30 -!- Sgeo has joined.
22:45:20 <shachaf> I recommend just staying in the channel.
22:45:55 <shachaf> You don't need to stare at the channel while you wait for an answer, if your computer supports multi-tasking.
22:46:57 <shachaf> Anyway, it would certainly be possible to make your own format. There are plenty of them out there already: https://en.wikipedia.org/wiki/Comparison_of_executable_file_formats
22:48:26 <shachaf> You could just use ELF, which is supported by many systems and fairly simple.
22:49:22 <ARCUN> I was thinking of a format that is automatically made whenever you make a program, so you dont have to run a command to get an executable.
22:49:50 <shachaf> What does that have to do with which format you use?
22:54:43 <ARCUN> No matter the format, you usually have to run a command that turns a program into a runnable executable.
22:55:09 <ARCUN> What if you make a format that is automatically made after making a program
22:55:32 <ARCUN> It's easier on the OS I'm trying to make
22:57:21 <shachaf> "automatically made" isn't a statement about the format but about the process of making.
23:02:10 <moony> I know that the halting problem is uncomputable, but is it possible to prove that a function is a Finite State Machine?
23:04:12 <shachaf> Sure? It's also possible to prove that a program halts.
23:04:14 -!- Phantom_Hoover has quit (Quit: Leaving).
23:05:03 -!- ARCUN has quit (Ping timeout: 260 seconds).
23:06:32 <moony> shachaf: Elaborate?
23:06:59 -!- moei has quit (Quit: Leaving...).
23:16:25 -!- FreeFull has quit.
23:22:22 <shachaf> It's possible to prove that a specific program halts, for example by running it until it halts.
23:22:43 <shachaf> Did you mean a decision procedure?
23:24:36 <moony> Yes, a decision procedure.
23:26:59 <moony> to test if a function is a FSM
23:27:06 <moony> or a lower class automata is that's not possible
23:29:03 <shachaf> I think you'll need to specify what you mean a bit more, but it sounds like the answer is no.
23:30:19 <moony> Is a given function of a program a Finite State machine. Yea, don't think it is.
23:30:34 * moony derp, didn't elaborate
23:31:49 <kmc> moony: you can define a subset of programs that are "obviously" FSMs and can be checked to be such
23:31:56 <kmc> for example by requiring all data structures have an explicit bound
23:32:53 <kmc> but if your language allows unbounded state, then determining whether a given program actually has a bound on how much state it uses should be undecidable
23:33:11 <kmc> that should be an easy reduction from the halting problem
23:34:13 -!- b_jonas has quit (Remote host closed the connection).
23:34:18 <moony> kmc: Thanks. Perfect reliability wasn't a requirement anyways, so just using tests to spot various "obvious" FSMs should be enough
23:34:26 <shachaf> In particular every program that halts is a finite state machine, and halting is decidable for finite state machines.
23:35:40 <moony> Could also augment in checks to catch common unhalting issues
23:35:51 <moony> (as a flag, as there'd be overhead from these kinds of checks)
23:42:20 -!- ais523 has joined.
23:43:25 <ais523> wow, there's one huge advantage to programming an SMT solver: when you want to test that your function does what you expect, you can simply write the properties it's supposed to have and the SMT solver proves that your function has those properties
23:44:13 <ais523> I think all programming languages should work like this
23:44:49 <kmc> that's also why quickcheck is so great, although of course it's not exhaustive
23:45:08 <kmc> it still gets you a huge test suite for very little effort
23:45:28 <shachaf> ais523: You can even ask it to synthesize a function for you!
23:45:51 <shachaf> Well, not quite trivially.
23:46:18 <kmc> i had a dream of a language where you can put arbitrary predicates on types (refinement types) and it will prove what it can at compile time, and quickcheck the rest, and then optionally check at runtime as well
23:46:19 <ais523> shachaf: how? even a nontrivial method, I'd be very interested in
23:47:02 <shachaf> I actually don't have the answer to your question, but my friend keeps telling me about the program synthesis things he was doing with SMT solvers.
23:49:29 <fizzie> Here's the overall structure of this website: <!DOCTYPE> <html> <head>...</head> <body> <form> <input type="hidden"> <!DOCTYPE> <html> <head>...</head> <body> ... </body> </html> </form> </body> </html>
23:49:43 <shachaf> I think this was the project: http://pl.eecs.berkeley.edu/projects/chlorophyll/
23:52:16 <ais523> fizzie: I'm wondering where that <input> tag ends
23:52:34 <ais523> this structure is so illogical that I don't think the normal inference rules would help
23:53:32 <ais523> shachaf: hmm, so pretty close to what I'm doing, just optimised for potato rather than x86
23:54:01 <kmc> that is madness
23:54:08 <kmc> you can parse it and then dump the DOM
23:54:41 <ais523> oh, btw, after answering a couple of Malbolge questions on StackOverflow I had ideas for a worse version of it
23:55:10 <ais523> but am not certain a) if it's TC, or b) letting people see the spec is remotely a good idea
23:55:26 <shachaf> somebody set up us the DOM
23:55:41 <ais523> (the possibilities if it becomes public are that it's ignored, in which case it's neutral as to whether it was released or not, or that people try to program in it, which may be a bad thing)
23:57:38 <shachaf> ais523: Isn't <input type="hidden"> a self-closing tag in HTML?