←2018-06-26 2018-06-27 2018-06-28→ ↑2018 ↑all
00:01:05 -!- variable has quit (Ping timeout: 245 seconds).
00:16:12 -!- xkapastel has joined.
00:16:19 -!- oerjan has joined.
00:18:54 -!- Remavas has quit (Read error: Connection reset by peer).
00:19:24 -!- Remavas has joined.
00:21:43 -!- Remavas has quit (Read error: Connection reset by peer).
00:21:51 -!- Remavas has joined.
00:27:56 -!- Remavas has quit (Quit: Leaving).
00:31:12 <oerjan> . o O ( andrew doesn't like puns? he's doomed in this channel... )
00:31:23 -!- variable has joined.
00:33:51 -!- trout has quit (Ping timeout: 240 seconds).
00:35:03 <boily> he's either doomed, or sane.
00:41:37 -!- MDude has quit (Ping timeout: 248 seconds).
01:03:24 -!- trout has joined.
01:06:14 -!- variable has quit (Ping timeout: 260 seconds).
01:11:57 -!- MDude has joined.
01:14:43 <oerjan> helloily. wait, you don't like puns?
01:35:03 -!- variable has joined.
01:36:45 <oerjan> > error "test" `seq` print "hello"
01:36:47 <lambdabot> <IO ()>
01:37:44 <oerjan> > error "test" `seq` ()
01:37:46 <lambdabot> *Exception: test
01:38:14 -!- trout has quit (Ping timeout: 255 seconds).
01:41:08 <boily> bonsøœirjan. I suffer them like a hot chili.
01:52:50 -!- boily has quit (Quit: NUTRIMENT CHICKEN).
02:09:45 -!- trout has joined.
02:12:21 -!- variable has quit (Ping timeout: 240 seconds).
02:16:05 -!- nfd9001 has joined.
02:18:14 <nfd9001> yo!
02:18:28 <nfd9001> i don't think this counts as a discrete language, really, but
02:18:29 <nfd9001> https://github.com/nfd9001/LiterallyRunYourCode
02:19:18 <nfd9001> location-based BF machine. walk into geofences to input characters, then one step of the program is run every 20 or so meters you walk
02:19:22 <nfd9001> or run
02:20:50 <nfd9001> i just saw the kinect brainfuck thing and thought "hey i can make this, but worse"
02:20:58 <imode> there's a kinect brainfuck thing?
02:21:09 <nfd9001> yeah, think it was called bodyfuck?
02:21:13 <imode> oh wow.
02:21:23 <imode> programming through interpretive dance?
02:21:26 <nfd9001> exactly
02:22:23 <nfd9001> also part of this was an excuse to put "fuck" several times on a poster that would end up on the wall at my uni
02:22:28 <nfd9001> and get away scott free
02:22:56 <nfd9001> afaik it's still hanging there
02:33:34 -!- Sgeo has quit (Read error: Connection reset by peer).
02:34:58 -!- Sgeo has joined.
02:43:38 -!- variable has joined.
02:46:05 -!- trout has quit (Ping timeout: 245 seconds).
03:04:28 -!- aloril__ has joined.
03:06:22 -!- aloril_ has quit (Ping timeout: 264 seconds).
03:16:16 -!- trout has joined.
03:19:29 -!- variable has quit (Ping timeout: 276 seconds).
03:49:18 -!- variable has joined.
03:52:38 -!- trout has quit (Ping timeout: 265 seconds).
04:28:05 -!- trout has joined.
04:31:05 -!- variable has quit (Ping timeout: 245 seconds).
04:50:59 -!- Hoolootwo has changed nick to Hooloovo0.
05:00:19 -!- variable has joined.
05:03:41 -!- trout has quit (Ping timeout: 265 seconds).
05:06:40 <imode> anybody know of any _practical_ languages based on string rewriting? the only thing I'm aware of is metamath.
05:32:34 -!- trout has joined.
05:35:15 -!- variable has quit (Ping timeout: 245 seconds).
06:04:14 -!- variable has joined.
06:06:18 -!- trout has quit (Ping timeout: 260 seconds).
06:08:41 -!- xkapastel has quit (Quit: Connection closed for inactivity).
06:17:45 -!- oerjan has quit (Quit: Nite).
06:19:28 -!- SopaXorzTaker has joined.
06:35:25 -!- trout has joined.
06:38:16 -!- doesthiswork has quit (Quit: Leaving.).
06:38:30 -!- variable has quit (Ping timeout: 260 seconds).
07:06:37 -!- variable has joined.
07:10:14 -!- trout has quit (Ping timeout: 276 seconds).
07:43:13 -!- AnotherTest has joined.
07:43:46 -!- PinealGlandOptic has joined.
07:44:19 -!- trout has joined.
07:47:41 -!- variable has quit (Ping timeout: 255 seconds).
08:02:10 -!- imode has quit (Ping timeout: 264 seconds).
08:06:54 <esowiki> [[1argasm]] N https://esolangs.org/w/index.php?oldid=56135 * Zero * (+997) a 1 argument assembly
08:07:53 <esowiki> [[1argasm]] https://esolangs.org/w/index.php?diff=56136&oldid=56135 * Zero * (+18)
08:10:00 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=56137&oldid=55974 * Zero * (+14)
08:16:23 -!- variable has joined.
08:19:47 -!- trout has quit (Ping timeout: 276 seconds).
08:22:14 -!- PinealGlandOptic has quit (Quit: leaving).
08:44:41 -!- andrew360_ has joined.
08:48:03 -!- trout has joined.
08:51:05 -!- variable has quit (Ping timeout: 276 seconds).
09:19:06 -!- variable has joined.
09:22:50 -!- trout has quit (Ping timeout: 276 seconds).
09:24:23 <andrew360_> imagine an efghij os
09:53:50 -!- trout has joined.
09:56:05 -!- variable has quit (Ping timeout: 245 seconds).
10:10:00 -!- andrew360_ has quit (Quit: Page closed).
10:18:19 <int-e> wtf were the mercurial authors thinking when they implemented the default behavior of 'hg add'?
10:21:38 <int-e> and is there a better way to undo that command than the overapproximation hg forget "set:added()"?
10:25:01 <int-e> For those who don't know, 'hg add' adds all untracked files that are not ignored. I'm hard pressed to imagine that this is ever a useful behavior for nontrivial repos.
10:25:27 <int-e> (the behavior is not even scoped by the current working directory)
10:25:37 -!- variable has joined.
10:28:10 -!- trout has quit (Ping timeout: 245 seconds).
10:56:59 -!- trout has joined.
11:00:08 -!- variable has quit (Ping timeout: 256 seconds).
11:24:05 -!- doesthiswork has joined.
11:28:51 -!- variable has joined.
11:32:50 -!- trout has quit (Ping timeout: 276 seconds).
11:39:28 -!- doesthiswork has quit (Quit: Leaving.).
12:00:46 -!- trout has joined.
12:04:08 -!- variable has quit (Ping timeout: 276 seconds).
12:23:32 <int-e> (I was hoping for shachaf to come to mercurial's defense ;-) )
12:32:18 -!- variable has joined.
12:35:15 -!- trout has quit (Ping timeout: 245 seconds).
13:06:01 -!- trout has joined.
13:09:47 -!- variable has quit (Ping timeout: 276 seconds).
13:09:56 -!- arseniiv has joined.
13:39:37 -!- variable has joined.
13:42:20 -!- trout has quit (Ping timeout: 245 seconds).
13:42:50 -!- variable has quit (Client Quit).
15:24:47 -!- xkapastel has joined.
15:39:22 -!- doesthiswork has joined.
16:12:16 -!- SopaXorzTaker has quit (Remote host closed the connection).
16:18:27 -!- moony has quit (Ping timeout: 240 seconds).
16:18:43 -!- moony has joined.
16:18:55 -!- ATMunn_ has joined.
16:18:56 -!- ATMunn has quit (Read error: Connection reset by peer).
16:19:10 -!- Bowserinator has quit (Ping timeout: 268 seconds).
16:19:23 -!- andrew_ has joined.
16:19:31 -!- Bowserinator has joined.
16:21:01 <shachaf> int-e: But I've hardly used mercurial
16:23:20 * moony is finally managing to understand haskell
16:25:37 <andrew_> i dont understand brainf@@K
16:29:32 <Taneb> Is brainf@@k the same thing as brainfuck
16:30:04 <andrew_> yes
16:30:07 <andrew_> i just censored it
16:30:50 -!- andrew_ has quit (Quit: Page closed).
17:02:53 -!- sprocklem has quit (Ping timeout: 265 seconds).
17:08:00 -!- sprocklem has joined.
17:28:29 -!- ATMunn_ has changed nick to ATMunn.
17:32:51 -!- imode-desktop has joined.
17:33:14 -!- imode has joined.
17:51:14 -!- Remavas has joined.
18:32:01 -!- Naergon has quit (Ping timeout: 248 seconds).
18:39:19 <imode> solutions for symbol conflicts in systems with multiple sets of conflicting rewrite rules: 1. prefix every symbol with a unique ID indicating which ruleset the symbol belongs to, or 2. use a cursor/head-based approach.
18:41:10 -!- Naergon has joined.
18:43:33 <imode> the first approach bloats the string and the rules. the second requires a semi-nontrivial rewrite of all the rules.
18:44:16 <imode> the second still requires a prefix, but only on the cursors.
18:46:16 <imode> the first is attractive despite the bloat, but I have a feeling a relatively smart compiler can make a reasonable choice between conflict resolution strategies.
18:49:37 -!- Remavas-Hex has joined.
18:50:52 -!- Remavas has quit (Ping timeout: 268 seconds).
18:54:48 -!- nfd has joined.
18:54:58 -!- erkin has joined.
18:57:44 -!- Remavas-Hex has quit (Read error: Connection reset by peer).
18:58:11 -!- nfd9001 has quit (Ping timeout: 255 seconds).
18:58:20 -!- erkin has quit (Client Quit).
19:00:13 -!- erkin has joined.
19:45:07 -!- Remavas has joined.
19:53:12 -!- GautamS has joined.
19:53:24 -!- GautamS has quit (Client Quit).
19:53:38 -!- GautamS has joined.
19:53:46 -!- GautamS has changed nick to S_Gautam.
20:04:18 <imode> it works!
20:05:22 <imode> https://ptpb.pw/Rl2J/text the input, and... https://ptpb.pw/vI5w/text the resulting ruleset.
20:06:07 <imode> still working on how I'm going to signify how I want the initial string symbols represented. manually inserting prefixes sucks.
20:06:19 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:07:49 <imode> maybe an alternate separator. something like ;;=;; to signify the split between rules and the set of initial input strings.
20:11:56 <imode> the next step would probably be to generate rules for random walks when symbols from other rulesets conflict.
20:12:47 <imode> i.e if I see a symbol from ruleset 0 in the middle of ruleset 1, I'd like for it to perform a random walk, left or right, until it can be assimilated by its appropriate ruleset.
20:39:09 -!- variable has joined.
21:11:13 -!- trout has joined.
21:14:02 -!- variable has quit (Ping timeout: 276 seconds).
21:31:00 -!- Phantom_Hoover has joined.
21:42:56 -!- variable has joined.
21:45:51 -!- trout has quit (Ping timeout: 240 seconds).
21:58:30 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
22:14:09 -!- AnotherTest has quit (Ping timeout: 265 seconds).
22:14:21 -!- trout has joined.
22:17:38 -!- variable has quit (Ping timeout: 276 seconds).
22:25:57 -!- xkapastel has joined.
22:27:44 <imode> something in me says I should stop messing with this and go make my own model of computation.
22:28:55 <imode> but really, what's out there that isn't just a derivative of what's already been discovered?
22:33:54 <imode> we have things based on linear sequences of characters in multiple dimensions, we have things based on multiple stacks of single symbols (counter machines), we have random access variants of all of that..
22:34:30 -!- Remavas-Hex has joined.
22:34:41 <imode> we have variations based on rewriting, along with different structures we do rewrites over.
22:36:55 <imode> what's left?
22:37:47 -!- Remavas has quit (Ping timeout: 276 seconds).
22:38:19 -!- Remavas-Hex has changed nick to Remavas.
22:45:44 -!- variable has joined.
22:48:42 -!- trout has quit (Ping timeout: 260 seconds).
22:55:52 -!- clog has quit (Ping timeout: 260 seconds).
23:13:56 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
23:16:57 -!- Remavas has quit (Read error: Connection reset by peer).
23:17:42 -!- Remavas has joined.
23:17:46 -!- trout has joined.
23:20:40 -!- variable has quit (Ping timeout: 245 seconds).
23:49:18 -!- variable has joined.
23:52:56 -!- trout has quit (Ping timeout: 255 seconds).
23:58:52 <nfd> i wonder if there's any interesting languages that could be constructed with atomic reads/writes from a pool of tuples
←2018-06-26 2018-06-27 2018-06-28→ ↑2018 ↑all