00:02:59 <Sgeo_> "If you dont know, Fractran is an esoteric programming language. That means it is extraordinary difficult to write any program in Fractran."
00:03:08 <Sgeo_> I feel like it's immediately critical to disprove it.
00:03:19 <Sgeo_> HQ9+ depending on program desired?
00:03:57 <Sgeo_> Also it might say something not great about me that I instantly desired to nitpick the ascribed meaning of esoteric programming language
00:04:26 <Sgeo_> https://malisper.me/building-fizzbuzz-fractran-bottom/
00:05:01 -!- arseniiv has quit (Ping timeout: 264 seconds).
01:08:38 -!- 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.”).
02:08:39 <zzo38> The article about category theory on Wikipedia does not mention category of matrices, it look like to me.
02:37:26 <esowiki> [[Chicken]] https://esolangs.org/w/index.php?diff=71115&oldid=59475 * Watermelon3D * (+107)
02:38:31 <esowiki> [[Chicken]] https://esolangs.org/w/index.php?diff=71116&oldid=71115 * Watermelon3D * (+2)
02:43:34 -!- preston has quit (Ping timeout: 256 seconds).
02:55:41 -!- Elderberry has joined.
03:04:44 <esowiki> [[Chicken]] M https://esolangs.org/w/index.php?diff=71117&oldid=71116 * IFcoltransG * (+16) Swapped a few categories around
03:07:25 -!- imode has joined.
03:27:36 -!- Elderberry has quit (Ping timeout: 240 seconds).
03:38:34 -!- atslash has quit (Ping timeout: 240 seconds).
03:56:11 -!- atslash has joined.
03:58:18 -!- zzo38 has quit (Disconnected by services).
03:58:25 -!- zzo38 has joined.
04:09:36 <b_jonas> in English, is there a rude or taboo word matching /^([klmnrst][aiu]|[aiu][klmnrst]){2}/i , including a misspelled word that could still be considered rude like "fukc", but other than "kaka"? I'm trying to make a human-typable encoding for something, but want to make sure it won't result in words that people may consider insulting. "kaka" doesn't matter because repeated syllables are not allowed.
04:09:53 <b_jonas> If there is, I can change those set of letters (while keeping the cardinality).
04:12:21 <zzo38> I don't know, but does PCRE have a way to specify that this repetition is not allowed? Also, do you need the set of letters to be same regardless of the order?
04:14:27 -!- ArthurStrong has quit (Quit: leaving).
05:16:17 -!- oerjan has joined.
05:21:04 <esowiki> [[Babalang]] https://esolangs.org/w/index.php?diff=71118&oldid=70908 * RocketRace * (+56) Add external resources section
05:22:09 <esowiki> [[Babalang]] M https://esolangs.org/w/index.php?diff=71119&oldid=71118 * RocketRace * (+54) Fix link formatting
05:26:00 -!- zzo38 has quit (Disconnected by services).
05:26:05 -!- zzo38 has joined.
06:01:24 <lambdabot> spruit11 said 6d 10h 45m 19s ago: Could, or would, you be so kind to support an arxiv submission of a paper I wrote?
06:02:30 <oerjan> spruit11: i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible.
06:02:54 <oerjan> @tell spruit11 i have never submitted to arxiv, and haven't had an academic position in nearly two decades, so i don't think i'm eligible.
06:04:48 -!- rodgort has quit (Quit: Leaving).
06:12:13 -!- sprocklem has quit (Ping timeout: 264 seconds).
06:12:35 -!- kspalaiologos has joined.
06:13:47 -!- sprocklem has joined.
06:18:49 -!- sprocklem has quit (Ping timeout: 264 seconds).
06:18:58 <esowiki> [[Special:Log/newusers]] create * LorryWoodman * New user account
06:19:32 -!- sprocklem has joined.
06:24:07 -!- iczero has quit (Excess Flood).
06:24:40 -!- iczero has joined.
06:26:36 -!- rodgort has joined.
06:28:37 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71120&oldid=71102 * LorryWoodman * (+239) /* Introductions */
06:31:09 <esowiki> [[Subleq]] M https://esolangs.org/w/index.php?diff=71121&oldid=67339 * LorryWoodman * (+10) Correct TechTinkering URL
06:31:27 <oerjan> <Taneb> So, Agatha's being reminded of the waters of the Dyne in today's GG, right? <-- i thought so, i was basically expecting the next strips to suggest the Dyne _was_ the cause (assuming the true source of the Dyne is outside the time bubble, it can't flow through the castle's curse-extraction machinery anymore)
06:32:05 <oerjan> but that was several strips ago, and nothing said
06:33:25 -!- tromp has quit (Read error: No route to host).
06:36:54 -!- kmc has quit (Ping timeout: 240 seconds).
06:37:37 -!- kmc has joined.
06:58:34 -!- imode has quit (Ping timeout: 240 seconds).
07:06:38 -!- A-ee has joined.
07:07:36 <A-ee> Just like you can't fold a sheet of printing paper over 7 times.
07:08:05 <A-ee> But by the time you get to that, you are obviously doing something wrong. :)
07:08:47 -!- A-ee has quit (Remote host closed the connection).
07:12:06 -!- Sgeo__ has joined.
07:15:26 -!- Sgeo_ has quit (Ping timeout: 265 seconds).
07:20:05 <esowiki> [[FishScript]] https://esolangs.org/w/index.php?diff=71122&oldid=71114 * Watermelon3D * (+48) /* Commands */
07:46:52 -!- tromp has joined.
07:51:20 -!- tromp has quit (Ping timeout: 246 seconds).
07:54:15 -!- tromp has joined.
08:06:06 -!- kritixilithos has joined.
08:22:10 -!- Sgeo__ has quit (Read error: Connection reset by peer).
08:22:36 -!- Sgeo__ has joined.
08:48:51 <b_jonas> zzo38: I could write a regex that doesn't allow repetitions, but I wanted my question to be human-readable, so I didn't
08:51:42 <b_jonas> zzo38: same regardless the order: yes. this is for representing the moves in a board game, in a video game implementation. there's a board that is a square grid of size 7x3, a player chooses two distinct squares for their move. I want to label the columns and rows, and the players will represent that move towards my software by typing four letters. it's enough to always write the squares with the column
08:51:48 <b_jonas> consonant first and the row vowel after,
08:52:09 <b_jonas> and that's how I'll print moves, but I want the game to be easily usable without much of a learning curve, so I want to accept the other order too.
08:53:45 <b_jonas> so my current plan is to label the columns KLMNRST and the rows AIU, but I have a lot of freedom here
08:57:36 <kritixilithos> `grep -E '^([klmnrst][aiu]|[aiu][klmnrst]){2}$' /usr/dict/words|grep na|head -1
08:57:37 <HackEso> grep: invalid option -- ' ' \ Usage: grep [OPTION]... PATTERNS [FILE]... \ Try 'grep --help' for more information.
09:10:24 -!- ais523 has joined.
09:10:36 <ais523> b_jonas: is there any reason you can't use letter-digit pairs?
09:10:45 <ais523> that's the usual solution to this problem
09:11:21 <ais523> that said, I think most swearwords in English are consonant-heavy, but I think potentially offensive combinations are almost impossible to avoid because of all the languages they could be potentially offensive in
09:11:30 <ais523> (it's not enough to just avoid /English/ swearwords)
09:43:18 -!- Lord_of_Life_ has joined.
09:45:00 <b_jonas> ais523: I could use letter-digit pairs too, yes
09:45:40 -!- Lord_of_Life has quit (Ping timeout: 256 seconds).
09:45:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
09:47:07 <b_jonas> ais523: but some of the audience is fluent in leetspeak and replacing letters with digits, so even with digits you have to be careful. the move could spell K1K3 or something.
09:49:18 <b_jonas> I could even go with digits only, with 3456789 for the columns and 123 for the rows.
09:50:37 <ais523> surely you want 0 in there to avoid the duplicated 3?
09:51:05 <b_jonas> why? what's wrong with a duplicated 3?
09:54:03 <b_jonas> I could go with a boring ABCDEFG for columns and 123 for the rows. it works for chess so it can't be too offensive.
09:55:30 -!- Phantom_Hoover has joined.
09:55:30 -!- Phantom_Hoover has quit (Changing host).
09:55:30 -!- Phantom_Hoover has joined.
09:55:34 <ais523> b_jonas: you'd have an ambiguity if /two/ digits were duplicated; there's no ambiguity with one digit duplicated but it may be hard to mentally parse because you don't know what a 3 means without looking at the other one
09:56:27 <b_jonas> that's true. I plan to display the moves visually on the board, so mental parsing isn't too much of a problem, but it might still be better to avoid.
09:56:39 <ais523> and in chess you occasionally get ambiguites that need to be resolved as, say, Rcc3 and R3c3, a duplicated 3 would make that sort of ambiguity even more confusing to resolve
09:58:01 <b_jonas> in chess notation, yes. this isn't chess notation and there are no kings and rooks and bishops and knights.
10:30:11 -!- Melvar has quit (Quit: WeeChat 2.7.1).
10:41:44 <int-e> oh fungot is here, rejoice
10:41:44 <fungot> int-e: my parser doesn't do character classes, so harder for anyone but him why shouldn't he do that
10:55:12 -!- rain1 has joined.
11:09:23 -!- kritixilithos has quit (Ping timeout: 240 seconds).
11:18:38 -!- tromp has quit (Read error: Connection reset by peer).
11:18:54 -!- tromp has joined.
11:19:30 -!- ais523 has quit (Quit: quit).
11:34:57 -!- Frater_EST has joined.
11:40:14 -!- LKoen has joined.
12:00:53 -!- kritixilithos has joined.
12:29:02 <tromp> int-e: what output would you expect from print $ nf $ let lid = Abs (Var 0) in Abs (App (Var 0) (Abs lid)) `App` lid ?
12:29:35 <tromp> would you expect Nothing?
12:35:22 <tromp> or even simpler, from print $ nf $ App (Abs (App (Var 0) (Var 0))) (Abs (Var 0)) ?
12:36:54 -!- Elderberry has joined.
12:49:13 <Elderberry> Is the room usually active, or often dead?
12:52:38 <tromp> int-e: the problem is that simplify ends up doing the reduction that is later done by nf, and then nf seeing a repeating redex
12:53:24 <tromp> here's my debugging output for illustration:
12:53:29 <tromp> (\1 1) (\1) simplifies to \1
12:53:29 <tromp> r = \1 case \1 1 of
12:53:33 <tromp> (\1) (\1) simplifies to \1
12:53:37 <tromp> repeating redex \1
12:55:16 -!- pimlu has joined.
12:57:02 <pimlu> hey guys, for anyone who has an interest in FRACTRAN, I made a really fast FRACTRAN interpreter
12:57:29 <pimlu> it should make more classes of programs runnable than previously was possible
12:57:33 <pimlu> https://pimlu.github.io/fractran/
12:58:23 <int-e> tromp: I would not expect it to terminate on infinite terms, precisely because simplification is pretty eager
12:58:56 -!- Elderberry has quit (Ping timeout: 240 seconds).
12:59:02 <tromp> it mistakes a term with normal form for one without
12:59:35 <tromp> i'm gonna try to do the simplification at start of nf, before the case analysis
13:00:08 <int-e> I just should not IRC before waking up.
13:00:23 <int-e> (never mind that it's the middle of the afternoon)
13:00:45 <tromp> that seems to work better
13:01:00 <tromp> enjoy your coffee:-)
13:01:00 -!- Sgeo__ has quit (Read error: Connection reset by peer).
13:02:51 <int-e> So what you're saying is that I have a bug.
13:04:31 <tromp> yes. my bugfix produces lots more TODOs
13:04:40 <int-e> probably connected to simplifying redexrs before adding them to the list of seen redexes.
13:04:46 -!- Sgeo has joined.
13:05:47 <pimlu> ahhh man the font is messed up in the help menu. no such thing as releasing without bugs
13:09:19 -!- LKoen has quit (Remote host closed the connection).
13:10:49 <int-e> tromp: I undid the offending change (which I never intended to commit in the first place... but it happened and I thought the code was kind of okay at that point)
13:11:13 <int-e> the dangers of commit -a
13:17:07 <pimlu> okay, should be fixed now. anyway, the fast interpreter uses big integers for the register values
13:17:17 <pimlu> (and can actually run for example, 2^100 iterations of some programs)
13:22:50 <int-e> tromp: reverted the corresponding list in BB.txt as well
13:25:46 <int-e> tromp: Sorry about that. I had played with the code one very late evening and ended up with something I no longer understood.
13:27:07 <int-e> But I had no intention of committing it so I thought that was fine.
13:30:15 -!- LKoen has joined.
13:30:39 <tromp> the revert doesn't support B^V = W^V B^V anymore?
13:37:01 -!- preston has joined.
13:37:09 -!- arseniiv has joined.
13:39:01 <esowiki> [[TheSingularity]] M https://esolangs.org/w/index.php?diff=71123&oldid=65722 * PythonshellDebugwindow * (-6) /* Conditional statements */
13:42:10 <esowiki> [[Special:Log/newusers]] create * Elderberry * New user account
13:42:44 <tromp> int-e: your current BBx bombs with a BBx: BBx.lhs:(25,3)-(27,29): Non-exhaustive patterns in function size
13:43:23 <kspalaiologos> everytime I see a word elderberry, I automatically think of Monthy Python's "your mother was a hamster and your father smells of elderberries"
13:47:59 -!- oerjan has quit (Quit: Fetchez la vache!).
13:48:12 -!- Melvar has joined.
13:55:09 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=71124&oldid=71120 * Elderberry * (+273)
14:19:11 -!- Elderberry has joined.
14:22:10 -!- Elderberry has quit (Remote host closed the connection).
14:30:34 -!- pimlu has quit (Remote host closed the connection).
14:38:08 -!- imode has joined.
15:17:50 <esowiki> [[Talk:FishScript]] N https://esolangs.org/w/index.php?oldid=71125 * Willicoder * (+156) Created page with "What does "doubles the fish in front of it" mean? (with the tilde) ~~~~"
15:35:36 <esowiki> [[Asm2bf]] M https://esolangs.org/w/index.php?diff=71126&oldid=70992 * Palaiologos * (+79) newest instruction format
15:54:36 -!- kritixilithos has quit (Quit: quit).
16:05:54 <esowiki> [[Talk:FishScript]] M https://esolangs.org/w/index.php?diff=71127&oldid=71125 * PythonshellDebugwindow * (+441)
16:07:20 -!- LKoen has quit (Remote host closed the connection).
16:13:58 -!- kspalaiologos has quit (Remote host closed the connection).
16:14:18 -!- kspalaiologos has joined.
16:31:31 <int-e> tromp: there is no BBx.lhs
16:32:00 <int-e> tromp: or, if there is, it's yours, not mine.
16:36:23 <tromp> int-e: i had one, but renamed it. and now when i do ghc --make BBx.hs, it somehow compiles my other program and calls it ./BBx
16:37:44 <tromp> sorry for false alarm
16:42:12 <int-e> tromp: maybe it's a timestamp problem? BBx.hs older than BBx.hi and BBx.o...
16:44:36 <int-e> It's a possibility at least... which is kind of funny because nowadays, the recompilation check is intelligent enough to catch changes in optimization flags.
16:44:58 <int-e> But apparently the source file name is not on the list of criteria :)
16:45:35 <esowiki> [[Talk:2KWLang]] M https://esolangs.org/w/index.php?diff=71128&oldid=71045 * PythonshellDebugwindow * (-12) better wiki style
16:45:59 <esowiki> [[Talk:FishScript]] https://esolangs.org/w/index.php?diff=71129&oldid=71127 * Willicoder * (+160)
16:46:28 -!- Frater_EST has left.
16:59:15 <int-e> tromp: And right, the revert dropped all changes, including the (sound) extension to W.
16:59:59 <int-e> I'm not in a good mindset to think about this, so I just reverted to a known safe version.
17:14:03 <b_jonas> I'm happy, I may have found a deterministic reproduction of the frequent crashes of the software we use at work. Tomorrow I'll have to work to reduce it to as small as I can.
17:15:16 <b_jonas> sorry, wrong channel for the last line
17:19:06 <int-e> fungot: what beam was that?
17:19:06 <fungot> int-e: i think i'd prefer a way of thinking. be careful though... scheme is killin' me here!!
17:19:31 <int-e> that one was pretty good.
17:19:45 <HackEso> boily:“Sane Mapoleon” boily is monetizing a brotherhood scheme with the Guardian of Lachine. He is also a NaniDispenser, a Trigotillectomic Groan Man Eating Chicken, a METARologist, seriously lacking in the f-word department, a thwack doctor, a Quintopial antipodist, and a renowned Capitalist who helps keep the world kafkaesque. \ ciol:ciol is a language designed by moon_, it started as a scheme to annoy colleagues by making a programming
17:20:54 <HackEso> 2/3:ing language that has insults as commands. \ cipation:A cipation is an evil scheme that only works if no one is prepared for it. \ keming:Keming is a text compression scheme popular in Word processors. \ madbr:madbr alternates between making sense, and being logical. He doesn't monetize the brotherhood scheme. \ oregon:Oregon is the home of Oregano. Gregor used to take care of the color scheme, but then he left. \ taah:TaAH (Terrible and A
17:20:59 <HackEso> 3/3:d-Hoc) is the naming scheme used for HackEso commands. It is highly acronymous and portmantic.
17:21:34 -!- LKoen has joined.
17:23:10 <esowiki> [[AT]] https://esolangs.org/w/index.php?diff=71130&oldid=70100 * Hakerh400 * (+52) Add pronunciation
17:25:59 <esowiki> [[AT]] M https://esolangs.org/w/index.php?diff=71131&oldid=71130 * Hakerh400 * (-2)
17:26:47 <esowiki> [[AT]] M https://esolangs.org/w/index.php?diff=71132&oldid=71131 * Hakerh400 * (+16)
17:45:17 -!- MDead has joined.
17:45:19 -!- MDude has quit (Ping timeout: 258 seconds).
17:45:24 -!- MDead has changed nick to MDude.
17:51:49 -!- preston has quit (Ping timeout: 250 seconds).
17:55:39 -!- orbitaldecay has quit (Remote host closed the connection).
18:19:20 <arseniiv> there is a Rihanna song with this name
18:26:13 <spruit11> I wanted to submit some thingy I wrote to arxiv and need an endorser. But who?
18:26:29 <spruit11> Apparently not oerjan. Bummer.
18:26:54 <zzo38> Maybe try viXra if you cannot post on arXiv, I suppose.
18:28:43 <spruit11> Hmm. I'ld rather not, I guess.
18:29:01 <esowiki> [[FishScript]] M https://esolangs.org/w/index.php?diff=71133&oldid=71122 * PythonshellDebugwindow * (+125) /* Interpreters */ Added Willicoder's repo
18:33:18 -!- FreeFull has quit (Ping timeout: 256 seconds).
18:33:20 <zzo38> I don't konw if there is any prohibition against posting on viXra and then later post on arXiv too once you have an endorser.
18:35:15 <zzo38> O, I looked at the instructions and it says it is OK, apparently.
18:35:58 <spruit11> Yah, but it doesn't make sense to me.
18:36:06 <esowiki> [[User:PythonshellDebugwindow/Test]] M https://esolangs.org/w/index.php?diff=71134&oldid=71061 * PythonshellDebugwindow * (+59) Removed redirect to [[User:PythonshellDebugwindow/(Unnamed language)]]
18:36:27 <spruit11> I mean, I can post it on Facebook too.
18:36:57 <esowiki> [[User:PythonshellDebugwindow/Test]] M https://esolangs.org/w/index.php?diff=71135&oldid=71134 * PythonshellDebugwindow * (+164)
18:37:40 <spruit11> But then, there's nobody there who would really care.
18:39:36 <zzo38> What is the document about?
18:40:20 <spruit11> It's a bit of a lowbrow document about how my language, Egel, evaluates stuff.
18:41:08 <spruit11> https://github.com/egel-lang/egel-tex/blob/master/semantics/semantics.pdf
18:41:38 <zzo38> I see nothing about subset of PDF to use, except that it should not embed executable files, but I think that they should be limited to a better subset, because many of the features of PDF is no good.
18:43:26 <esowiki> [[User:PythonshellDebugwindow/Sandbox]] M https://esolangs.org/w/index.php?diff=71136&oldid=71112 * PythonshellDebugwindow * (+416)
18:47:07 -!- FreeFull has joined.
18:56:26 -!- rain1 has quit (Quit: leaving).
19:07:07 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=71137&oldid=70993 * PythonshellDebugwindow * (-2) /* Int literals */
19:07:17 <spruit11> Maybe I'll ask in #proglangdesign?
19:07:28 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=71138&oldid=71137 * PythonshellDebugwindow * (+15) /* Examples */
19:08:31 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=71139&oldid=71138 * PythonshellDebugwindow * (+17) /* Functions */
19:08:43 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=71140&oldid=71139 * PythonshellDebugwindow * (-8) /* Examples */
19:10:17 <esowiki> [[Indent]] M https://esolangs.org/w/index.php?diff=71141&oldid=71140 * PythonshellDebugwindow * (+118) /* Variables */
19:12:54 -!- FreeFull has quit (Ping timeout: 256 seconds).
19:15:05 <esowiki> [[String]] M https://esolangs.org/w/index.php?diff=71142&oldid=66282 * PythonshellDebugwindow * (-30) Fixed links
19:20:14 <esowiki> [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71143&oldid=56716 * PythonshellDebugwindow * (+1) fixed link; should this not be a concept article?
19:25:34 <esowiki> [[String rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71144&oldid=68285 * PythonshellDebugwindow * (+79) template + cats
19:25:44 <esowiki> [[String rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71145&oldid=71144 * PythonshellDebugwindow * (+0) template fix
19:31:37 <esowiki> [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71146&oldid=71143 * PythonshellDebugwindow * (+128)
19:32:25 <esowiki> [[String-rewriting paradigm]] M https://esolangs.org/w/index.php?diff=71147&oldid=71146 * PythonshellDebugwindow * (+22) /* Examples */
19:32:53 <esowiki> [[User:Willicoder]] N https://esolangs.org/w/index.php?oldid=71148 * Willicoder * (+188) Created page with "Hi! I'm Willicoder and I love to code! I made an interpreter for [[FishScript]], and I might make an esolang someday. If you want to contact me, use User_talk:Willicoder|my..."
19:51:40 -!- Phantom_Hoover has quit (Remote host closed the connection).
19:58:49 -!- kspalaiologos has quit (Quit: Leaving).
20:40:38 -!- Phantom_Hoover has joined.
20:45:43 <esowiki> [[Strvar]] N https://esolangs.org/w/index.php?oldid=71149 * PythonshellDebugwindow * (+1838) Created page with "'''Strvar''' is an esolang by [[User:PythonshellDebugwindow]] based on [[string]] [[rewriting]]. ==Syntax== Every line in a Strvar program is either a variable definition or..."
20:46:47 <esowiki> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=71150&oldid=71077 * PythonshellDebugwindow * (+202) /* Strvar */
20:47:08 -!- FreeFull has joined.
20:49:30 <esowiki> [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=71151&oldid=70960 * PythonshellDebugwindow * (+13) /* Languages */
20:50:12 <esowiki> [[Language list]] M https://esolangs.org/w/index.php?diff=71152&oldid=71100 * PythonshellDebugwindow * (+13) /* S */
21:15:51 <zzo38> What is the most number of pieces to give check at once in xiangqi? I made up a quadruple check.
21:20:12 <Sgeo> proc lambda {arguments body args} {
21:20:12 <Sgeo> return [list ::apply [list $arguments $body] {*}$args]
21:20:35 <zzo38> What programming language is it?
21:32:04 -!- preston has joined.
21:43:22 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
21:44:22 -!- Lord_of_Life_ has joined.
21:46:14 -!- preston has quit (Ping timeout: 240 seconds).
21:46:26 -!- Lord_of_Life has quit (Ping timeout: 258 seconds).
21:46:26 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
22:32:15 <tromp> int-e: my current BB.lhs has only 1 TODO at 32, 2 at 33 and 34 each
22:33:14 <tromp> using generalized W rule, triple loop detection, and argument reduction on strict functions
22:33:46 <tromp> also found no slowdown of lists instead of S.Set
22:34:37 <tromp> will try 35 tomorrow, after dental visit
23:20:50 -!- ineiros has quit (Ping timeout: 240 seconds).