00:31:00 -!- tromp has quit (Remote host closed the connection).
00:31:47 <esowiki> [[Gregorovich]] M https://esolangs.org/w/index.php?diff=67742&oldid=64483 * IFcoltransG * (-3) /* How It Works */ Typos
00:39:59 <esowiki> [[Treeng]] M https://esolangs.org/w/index.php?diff=67743&oldid=66191 * IFcoltransG * (+10) Fixed category
00:41:07 <esowiki> [[Treeng]] M https://esolangs.org/w/index.php?diff=67744&oldid=67743 * IFcoltransG * (-1) Fixed typo
00:42:05 <esowiki> [[Arch]] https://esolangs.org/w/index.php?diff=67745&oldid=67364 * IFcoltransG * (+17) Shifted from Concepts to Data Types and Structures category
00:51:43 <esowiki> [[Church numeral]] https://esolangs.org/w/index.php?diff=67746&oldid=13147 * IFcoltransG * (+214) Reorganised slightly, + added some info
00:52:08 <esowiki> [[Church numeral]] M https://esolangs.org/w/index.php?diff=67747&oldid=67746 * IFcoltransG * (-2) Fixed my category addition
01:09:26 -!- tromp has joined.
01:13:55 <esowiki> [[Punctree]] M https://esolangs.org/w/index.php?diff=67748&oldid=63903 * IFcoltransG * (+2) Fixed word conflation
01:14:23 -!- tromp has quit (Ping timeout: 276 seconds).
01:15:17 <esowiki> [[Punctree]] M https://esolangs.org/w/index.php?diff=67749&oldid=67748 * IFcoltransG * (-2) Undo revision 67748 by [[Special:Contributions/IFcoltransG|IFcoltransG]] ([[User talk:IFcoltransG|talk]]) I just realised it's a pun
01:19:46 <esowiki> [[Bubble]] https://esolangs.org/w/index.php?diff=67750&oldid=65420 * IFcoltransG * (+38) Added "not to be confused with Bubbles"
01:34:57 -!- xkapastel has quit (Quit: Connection closed for inactivity).
01:47:24 -!- kingoffrance has quit (Quit: x).
01:47:54 <HackEso> 1/2:nvg//NVG is a student computer club in Trondheim, whose servers are frequently infiltrated by oerjan. Not to be confused with nvd. \ rholypoly//A rholypoly is an edible Greek species of Armadillidiidae. Goes well with garlic! \ 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/ \ icbm//ICBMs are Crumbl
01:47:57 -!- Lord_of_Life_ has joined.
01:48:04 <HackEso> 2/2:ing Building Missiles. The I is currently classified. \ cream//Cream is what milk turns into once you beat it into submission.
01:48:09 <HackEso> nvd is what Taneb calls himself when he wants to feel professional.
01:49:46 -!- FreeFull has quit.
01:51:14 -!- Lord_of_Life has quit (Ping timeout: 265 seconds).
01:51:14 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
02:04:21 -!- tromp has joined.
02:08:59 -!- tromp has quit (Ping timeout: 276 seconds).
02:41:35 -!- 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:58:47 -!- tromp has joined.
03:03:19 -!- tromp has quit (Ping timeout: 252 seconds).
03:26:16 <zzo38> I played Scrabble and once accidentally put "A" where I meant to put "N", forming an invalid word (WIZEA instead of WIZEN). However, the error was not noticed until it was too late, so we didn't correct it, and the only word crossing it was AA (instead of AN; both words are valid), and I was left at the end with only my N unplayed, so the score comes out the same way anyways!
03:26:55 <zzo38> (I also won anyways, and would have done even if I had deducted the score for my error.)
03:39:47 -!- imode has joined.
03:47:47 -!- nfd9001 has joined.
04:30:57 -!- tromp has joined.
04:34:49 <shachaf> int-e: Oh, I see why I was getting duplicate clauses.
04:35:03 <shachaf> I was generating a new clause without verifying that both of its watched literals are actually unassigned.
04:35:44 -!- tromp has quit (Ping timeout: 246 seconds).
04:36:32 -!- imode has quit (Ping timeout: 265 seconds).
04:38:30 <shachaf> Oh, and I don't even handle unit clauses at all (since I never add them to watchlists), so there's no reason to expect learned unit clauses to work?
04:38:36 <shachaf> Man, this is completely broken.
05:07:06 <shachaf> Clause learning is trickier than I thought!
05:10:47 -!- imode has joined.
05:17:08 -!- imode has quit (Ping timeout: 265 seconds).
05:30:50 <shachaf> When you learn a unit clause, do people just backtrack all the way to the beginning, or what?
05:33:07 -!- imode has joined.
06:04:59 -!- nfd9001 has quit (Ping timeout: 265 seconds).
06:19:16 -!- tromp has joined.
06:23:32 -!- tromp has quit (Ping timeout: 246 seconds).
07:43:21 -!- kritixilithos has joined.
07:48:52 -!- tromp has joined.
07:49:45 -!- arseniiv has joined.
07:50:47 <kritixilithos> now is it possible without both s and y? you can only have newlines, so the data-string can be stored in unary representing a base-3 number that encodes the data-string (0=>nothing,1=>0,2=>1), and then you'd have to consider the endianness
07:53:21 -!- tromp has quit (Ping timeout: 252 seconds).
07:54:09 <kritixilithos> if it was first-bit = most-significant digit of base-3 number, then it can easily be multiplied by 3 and can be appended with the appropriate bits, but checking for the most-significant-bit is not possible (I think) using posix regexp
07:56:05 <kritixilithos> if the endianness was reversed, the first-bit can be checked by checking the residue of the number mod 3, trivial, but now appending bits requires you to find the smallest power of 3 larger than the number, which might not be possible with only the pattern and hold space
08:04:32 <kritixilithos> actually in the base-3 encoding, you need some way of storing the current production, so maybe it should be base-n, with n depending on the number of productions
08:06:34 -!- kritixilithos has quit (Quit: quit).
08:09:41 -!- imode has quit (Ping timeout: 265 seconds).
08:10:06 -!- tromp has joined.
08:34:18 <esowiki> [[Special:Log/newusers]] create * Rigidity * New user account
08:43:28 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=67751&oldid=67722 * Rigidity * (+257) /* Introductions */
08:45:12 -!- nfd9001 has joined.
09:03:17 -!- b_jonas has quit (Quit: leaving).
09:19:46 <esowiki> [[Zed]] N https://esolangs.org/w/index.php?oldid=67752 * Rigidity * (+1959) Created page with "== Zed Language == Zed is a language consisting of a total of 32 distinct symbols. A program consists of commands, as well as nested loops, scopes, threads, variables, and fun..."
09:20:40 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=67753&oldid=67740 * Rigidity * (+10) /* Non-alphabetic */
09:21:30 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=67754&oldid=67753 * Rigidity * (+10) /* Z */
09:46:21 -!- nfd9001 has quit (Ping timeout: 265 seconds).
10:04:17 -!- kspalaiologos2 has joined.
10:05:00 -!- kspalaiologos has quit (Remote host closed the connection).
10:05:09 -!- kspalaiologos2 has changed nick to kspalaiologos.
10:18:36 -!- wib_jonas has joined.
10:18:46 <HackEso> Tc is the abbreviation for Technetium, an element so sophisticated that it does not exist naturally.
10:20:15 <wib_jonas> TC is technically correct, it is the best kind of correct (ISBKC)
10:48:32 -!- LKoen has joined.
11:35:35 -!- LKoen has quit (Remote host closed the connection).
11:35:45 -!- LKoen has joined.
11:37:02 <esowiki> [[Zed]] M https://esolangs.org/w/index.php?diff=67755&oldid=67752 * IFcoltransG * (+6) Replaced "VERTICAL BAR" with actual properly escaped "|"
11:37:57 -!- rustik has quit (Read error: Connection reset by peer).
11:39:35 -!- LKoen has quit (Remote host closed the connection).
11:39:46 -!- LKoen has joined.
11:49:16 -!- LKoen has quit (Remote host closed the connection).
11:50:44 -!- LKoen has joined.
11:53:31 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=67756&oldid=67754 * IFcoltransG * (-10) /* Non-alphabetic */ "Zed" is alphabetic. Very alphabetic, in fact. Removed the duplicate.
11:56:49 <esowiki> [[Zed]] M https://esolangs.org/w/index.php?diff=67757&oldid=67755 * IFcoltransG * (+41) Added two appropriate categories.
12:02:29 <esowiki> [[LogOS]] M https://esolangs.org/w/index.php?diff=67758&oldid=67543 * IFcoltransG * (+27) Tentatively added Pseudonatural category
12:05:09 <esowiki> [[Esolang:Categorization]] https://esolangs.org/w/index.php?diff=67759&oldid=64873 * IFcoltransG * (+111) /* Source format */ Added reference to the Pseudonatural category (which already exists)
12:22:48 -!- wmww has quit (Quit: killed).
12:23:07 -!- ddmm_ has quit (Quit: killed).
12:23:18 -!- tswett[m] has quit (Quit: killed).
12:37:49 -!- ddmm_ has joined.
13:06:27 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
13:41:42 -!- tswett[m] has joined.
13:41:43 -!- wmww has joined.
13:43:04 <esowiki> [[Ttttt]] https://esolangs.org/w/index.php?diff=67760&oldid=67726 * Hex96 * (+317) /* Hello, world */
13:44:15 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67761&oldid=67713 * Hex96 * (+301) /* Hello, World! */
13:44:48 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67762&oldid=67761 * Hex96 * (+4)
13:45:40 <wib_jonas> there's probably a few bugs in this long-running program that I made. fungot, can you give a clue about where the bug is?
13:45:40 <fungot> wib_jonas: i don't follow
13:46:45 <esowiki> [[Talk:Burn]] https://esolangs.org/w/index.php?diff=67763&oldid=67717 * Hex96 * (+96) /* One-eyed representations */
13:51:03 -!- Lord_of_Life_ has joined.
13:51:37 -!- Lord_of_Life has quit (Ping timeout: 240 seconds).
13:52:25 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
13:56:18 -!- kritixilithos has joined.
14:24:55 -!- LKoen has quit (Remote host closed the connection).
14:26:06 -!- LKoen has joined.
14:30:56 -!- FreeFull has joined.
14:39:40 <esowiki> [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=67764&oldid=67710 * Palaiologos * (+54)
14:39:58 <esowiki> [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=67765&oldid=67764 * Palaiologos * (+104)
14:53:45 -!- ArthurStrong has joined.
15:11:01 <arseniiv> fungot: in P vs. NP rap battle, who wins?
15:11:01 <fungot> arseniiv: i think almost whole darkhive is 300m. a car is-a vehicle, a vehicle, such things
15:11:42 <arseniiv> I get it you don’t want to give spoilers
15:44:42 <esowiki> [[Zed]] https://esolangs.org/w/index.php?diff=67766&oldid=67757 * Rigidity * (+52) /* Zed Language */
15:57:36 -!- tromp has quit (Remote host closed the connection).
16:04:06 -!- tromp has joined.
16:30:14 -!- wib_jonas has quit (Remote host closed the connection).
16:39:45 -!- imode has joined.
17:01:28 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67767&oldid=67762 * Hex96 * (+104)
17:02:38 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67768&oldid=67767 * Hex96 * (+9)
17:12:52 <esowiki> [[User:Dart]] N https://esolangs.org/w/index.php?oldid=67769 * Dart * (+1025) Created page with "<div style="background-image:linear-gradient(to top right,#294,#AB7);height:200px;text-align:center;"><div style="-webkit-text-stroke:1px #000;color:#FFF;text-shadow:3px 3px 0..."
17:43:03 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67770&oldid=67715 * Hex96 * (+6)
17:48:55 -!- rain1 has joined.
17:51:26 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67771&oldid=67770 * Hex96 * (+13)
17:52:07 <esowiki> [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67772&oldid=67771 * Hex96 * (+7)
17:54:22 <esowiki> [[Tttt]] https://esolangs.org/w/index.php?diff=67773&oldid=67768 * Hex96 * (+128)
17:55:57 <esowiki> [[User:Hex96]] https://esolangs.org/w/index.php?diff=67774&oldid=67729 * Hex96 * (+65)
18:29:37 -!- LKoen has quit (Remote host closed the connection).
18:30:57 -!- nfd9001 has joined.
18:39:05 -!- LKoen has joined.
18:39:30 -!- LKoen has quit (Remote host closed the connection).
18:58:56 -!- b_jonas has joined.
19:05:16 <esowiki> [[Talk:Tttt]] M https://esolangs.org/w/index.php?diff=67775&oldid=67772 * Dart * (+127) /* Other Programs */
19:14:19 <imode> what small, resource-constrained portable devices can we run esolangs on.
19:16:45 -!- kritixilithos has quit (Quit: quit).
19:17:01 <kmc> i'm sure you could run brainfuck on an 8-bit microcontroller
19:17:26 <kmc> add 8 buttons, 8 LEDs, use those for the input and output commands
19:17:39 <kmc> and for programming it
19:17:40 <kmc> could fit on a keychain
19:17:42 <kmc> would be cute
19:18:21 <kmc> I know there are Schemes that run on micros as well
19:18:48 <kmc> not eso-, but gives you an idea of what's possible
19:19:11 <kmc> I always thought it would be cute to make a machine where the clock is a hand crank
19:19:22 <kmc> static micros can be clocked as low as you want
19:24:08 <imode> been looking at the arduboy for that dev fix. wanna run mode on something stupid small to make that reward loop more satisfying than "your program worked on a machine infinitely more powerful than the apollo guidance computer".
19:39:12 <fizzie> There's a pretty good Befunge-93 (with a few extensions, like a-f) interpreter for the TI-86.
19:39:27 <fizzie> With a single-stepping debugger and all that.
19:40:19 <fizzie> (I think that counts as "resource-constrained portable devices", though "small" is a little bit debatable.)
19:44:45 <arseniiv> I never had a programmable calculator when it was feasible *sniffs*
19:45:56 <arseniiv> it would be so nice. Now it’s pretty pointless (for me) to aquire. Though if it falls from the sky, I should use this idea of implemeting some small esolang in it
19:46:17 -!- nfd9001 has quit (Ping timeout: 240 seconds).
19:47:12 <arseniiv> as I agree this idea is very very cool. It would be a warm feeling. Pun intended
20:00:37 <imode> get an arduboy! they're cheap, use avrdude and avr-gcc (or whatever analogue for clang there is) and have a minimalist screen and speaker.
20:12:13 <zzo38> I have a TI-92 calculator. I use it; it has a full keyboard and is programmable, so it is good.
20:12:20 <fizzie> We also played quite a lot of the TI-86 two-player link-cable-enabled Tetris port.
20:13:15 <fizzie> The "problem" with TI-92 is that it's too good: it's got enough CAS-style features that you weren't allowed to use it in the Finnish math exams. The TI-86 was pretty much the fanciest thing you could.
20:13:49 <zzo38> That is true although I wasn't concerned about exams I just use it for my own use.
20:14:22 <fizzie> I got my TI-86 for... well, not for cheap, but with a good discount, as part of the school's big group-buy program.
20:34:45 <esowiki> [[Keg]] https://esolangs.org/w/index.php?diff=67776&oldid=67504 * JonoCode9374 * (+0) /* Command Glossary */
20:39:37 -!- kspalaiologos has quit (Quit: Leaving).
21:02:17 -!- rain1 has quit (Quit: leaving).
21:03:41 <Sgeo_> I keep giving my esolang stuff cool unique names and then get pressured into a rename, and the rename is more ambiguous
21:04:06 <Sgeo_> PESOX -> PSOX and Trustfuck -> Braintrust
21:16:48 -!- Frater_EST has joined.
21:34:21 -!- Frater_EST has quit (Read error: Connection timed out).
21:34:47 -!- Frater_EST has joined.
22:34:27 -!- Frater_EST has quit (Read error: Connection reset by peer).
22:35:58 -!- Frater_EST has joined.
22:56:26 <aji> 1915 kmc | I always thought it would be cute to make a machine where the clock is a hand crank
22:56:31 <aji> haha that'd be neat!
22:56:50 -!- arseniiv has quit (Ping timeout: 252 seconds).
23:22:16 <HackEso> 62) <Sgeo|web> Where's the link to the log? <lament> THERE'S NO LOG. YOUR REQUEST IS SUSPICIOUS AND HAS BEEN LOGGED. \ 947) <boily> it's raining in newcastle, therefore the elliotts are distinct. <tswett> boily's Newcastle Theorem.
23:23:49 <int-e> fungot: got any fun?
23:23:49 <fungot> int-e: nite nite nites
23:24:41 <int-e> ^8ball does this work?
23:30:21 -!- Frater_EST has quit (Remote host closed the connection).
23:30:32 <tswett[m]> That thing I said wasn't very funny. I'm going to request another one.
23:30:40 <HackEso> 860) <GreyKnight> Taneb: The other day on the channel I came up with BRAINLISPCODE, a LOLCODE-style LISP with an embedded bf derivative. I thought you should know. :-I \ 935) <groily> I stand by the argument that fungot is the one making the most sense in this channel.
23:31:26 <HackEso> https://hack.esolangs.org/repo/file/tip/bin/%22
23:39:33 <int-e> `mkx ../bin/"//\`^ 2 quote "$@"
23:39:42 <HackEso> 1/1:120) <AnMaster> cpressey, oh go to zzo's website. He is NIH <Phantom_Hoover> AnMaster, really? I was strongly under the impression that zzo was invented here. \ 802) <kmc> colemak is for people who think dvorak is too mainstream
23:39:49 <HackEso> Usage: /hackenv/bin/`^ n cmd
23:54:27 <int-e> `mkx ../bin/"//\`^ 2 "quote${1:+ }$1"
23:54:33 <HackEso> 1/1:905) <Sgeo> If that sexy_goats had some sort of namespace, so other things could add their own sexy_goats method to Object or whatever to do something different, I would have no complaint \ 343) <Sgeo> I used to be more irritated by alcohol <olsner> Sgeo: you're not supposed to put it in your eyes
23:54:37 <HackEso> 1/11:163) <tswett> That is the mark of Gregor right there. <ais523> tswett: except that Gregor didn't write that <tswett> It's still the mark of Gregor. \ 167) <tswett> elliott: just to bring you up to speed, you are now my baby nephew. <olsner> wtf, elliott is a nephew and his uncle is here? <nooga> what <tswett> Heck yes I'm elliott's uncle. \ 240) <tswett> There are white Africans out there, but, you know. A black swan in the hand doe
23:55:07 <int-e> Oh, that's why we don't support this, hmm
23:58:58 <int-e> `mkx ../bin/"//allquotes | grep -P -i -- "$1" | shuff -random-source=/dev/urandom -n 2 | sport
23:59:06 <HackEso> /hackenv/bin/": line 1: shuff: command not found \ 1/0:
23:59:30 <int-e> `sled ../bin/"//s=shuff=shuf=
23:59:32 <HackEso> ../bin/"//allquotes | grep -P -i -- "$1" | shuf -random-source=/dev/urandom -n 2 | sport
23:59:39 <HackEso> shuf: invalid option -- 'a' \ Try 'shuf --help' for more information. \ 1/0:
23:59:51 <b_jonas> fizzie fixed /dev/random by the way