00:18:33 [ 1880%99 00:18:33 b_jonas: 18.9899 00:31:00 -!- tromp has quit (Remote host closed the connection). 00:31:47 [[Gregorovich]] M https://esolangs.org/w/index.php?diff=67742&oldid=64483 * IFcoltransG * (-3) /* How It Works */ Typos 00:39:59 [[Treeng]] M https://esolangs.org/w/index.php?diff=67743&oldid=66191 * IFcoltransG * (+10) Fixed category 00:41:07 [[Treeng]] M https://esolangs.org/w/index.php?diff=67744&oldid=67743 * IFcoltransG * (-1) Fixed typo 00:42:05 [[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 [[Church numeral]] https://esolangs.org/w/index.php?diff=67746&oldid=13147 * IFcoltransG * (+214) Reorganised slightly, + added some info 00:52:08 [[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 [[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 [[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 [[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:49 `t 5 t w 01:47:54 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:01 `n 01:48:04 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:06 `? nvd 01:48:09 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 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 (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 int-e: Oh, I see why I was getting duplicate clauses. 04:35:03 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 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 Man, this is completely broken. 05:07:06 Clause learning is trickier than I thought! 05:07:10 So many fidgety details. 05:10:47 -!- imode has joined. 05:17:08 -!- imode has quit (Ping timeout: 265 seconds). 05:30:50 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:46:30 sed is tc without s, http://sprunge.us/Hi59cv 07:48:52 -!- tromp has joined. 07:49:45 -!- arseniiv has joined. 07:50:47 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 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 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 07:58:20 or choose a better reduction/more clever encoding 08:04:32 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 [[Special:Log/newusers]] create * Rigidity * New user account 08:43:28 [[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 [[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 [[Language list]] https://esolangs.org/w/index.php?diff=67753&oldid=67740 * Rigidity * (+10) /* Non-alphabetic */ 09:21:30 [[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:04:36 wait a second, why my nickname is used 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:44 `? TC 10:18:46 Tc is the abbreviation for Technetium, an element so sophisticated that it does not exist naturally. 10:20:15 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 [[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 [[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 [[Zed]] M https://esolangs.org/w/index.php?diff=67757&oldid=67755 * IFcoltransG * (+41) Added two appropriate categories. 12:02:29 [[LogOS]] M https://esolangs.org/w/index.php?diff=67758&oldid=67543 * IFcoltransG * (+27) Tentatively added Pseudonatural category 12:05:09 [[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 [[Ttttt]] https://esolangs.org/w/index.php?diff=67760&oldid=67726 * Hex96 * (+317) /* Hello, world */ 13:44:15 [[Tttt]] https://esolangs.org/w/index.php?diff=67761&oldid=67713 * Hex96 * (+301) /* Hello, World! */ 13:44:48 [[Tttt]] https://esolangs.org/w/index.php?diff=67762&oldid=67761 * Hex96 * (+4) 13:45:40 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 wib_jonas: i don't follow 13:46:45 [[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 [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=67764&oldid=67710 * Palaiologos * (+54) 14:39:58 [[User talk:Hex96]] https://esolangs.org/w/index.php?diff=67765&oldid=67764 * Palaiologos * (+104) 14:53:45 -!- ArthurStrong has joined. 15:11:01 fungot: in P vs. NP rap battle, who wins? 15:11:01 arseniiv: i think almost whole darkhive is 300m. a car is-a vehicle, a vehicle, such things 15:11:42 I get it you don’t want to give spoilers 15:44:42 [[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 [[Tttt]] https://esolangs.org/w/index.php?diff=67767&oldid=67762 * Hex96 * (+104) 17:02:38 [[Tttt]] https://esolangs.org/w/index.php?diff=67768&oldid=67767 * Hex96 * (+9) 17:12:52 [[User:Dart]] N https://esolangs.org/w/index.php?oldid=67769 * Dart * (+1025) Created page with "
dang xD 17:33:49 that's cool 17:43:03 [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67770&oldid=67715 * Hex96 * (+6) 17:48:55 -!- rain1 has joined. 17:51:26 [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67771&oldid=67770 * Hex96 * (+13) 17:52:07 [[Talk:Tttt]] https://esolangs.org/w/index.php?diff=67772&oldid=67771 * Hex96 * (+7) 17:54:22 [[Tttt]] https://esolangs.org/w/index.php?diff=67773&oldid=67768 * Hex96 * (+128) 17:55:57 [[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 [[Talk:Tttt]] M https://esolangs.org/w/index.php?diff=67775&oldid=67772 * Dart * (+127) /* Other Programs */ 19:10:58 hi 19:14:19 what small, resource-constrained portable devices can we run esolangs on. 19:16:45 -!- kritixilithos has quit (Quit: quit). 19:17:01 i'm sure you could run brainfuck on an 8-bit microcontroller 19:17:26 add 8 buttons, 8 LEDs, use those for the input and output commands 19:17:39 and for programming it 19:17:40 could fit on a keychain 19:17:42 would be cute 19:18:21 I know there are Schemes that run on micros as well 19:18:43 and Forth 19:18:48 not eso-, but gives you an idea of what's possible 19:19:11 I always thought it would be cute to make a machine where the clock is a hand crank 19:19:22 static micros can be clocked as low as you want 19:24:08 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 There's a pretty good Befunge-93 (with a few extensions, like a-f) interpreter for the TI-86. 19:39:27 With a single-stepping debugger and all that. 19:40:19 (I think that counts as "resource-constrained portable devices", though "small" is a little bit debatable.) 19:44:45 I never had a programmable calculator when it was feasible *sniffs* 19:45:56 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 as I agree this idea is very very cool. It would be a warm feeling. Pun intended 20:00:37 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:01:02 port asm2bf to ti83 20:01:19 I'll have some fun on boring lectures 20:12:13 I have a TI-92 calculator. I use it; it has a full keyboard and is programmable, so it is good. 20:12:20 We also played quite a lot of the TI-86 two-player link-cable-enabled Tetris port. 20:13:15 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 That is true although I wasn't concerned about exams I just use it for my own use. 20:14:22 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 [[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 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 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 1915 kmc | I always thought it would be cute to make a machine where the clock is a hand crank 22:56:31 haha that'd be neat! 22:56:50 -!- arseniiv has quit (Ping timeout: 252 seconds). 23:22:14 `" 23:22:16 62) Where's the link to the log? THERE'S NO LOG. YOUR REQUEST IS SUSPICIOUS AND HAS BEEN LOGGED. \ 947) it's raining in newcastle, therefore the elliotts are distinct. boily's Newcastle Theorem. 23:23:49 fungot: got any fun? 23:23:49 int-e: nite nite nites 23:24:41 ^8ball does this work? 23:24:41 Yes. 23:30:21 -!- Frater_EST has quit (Remote host closed the connection). 23:30:32 That thing I said wasn't very funny. I'm going to request another one. 23:30:39 `" tswett 23:30:40 860) 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) I stand by the argument that fungot is the one making the most sense in this channel. 23:31:25 `url ../bin/" 23:31:26 https://hack.esolangs.org/repo/file/tip/bin/%22 23:34:56 Oh, that's terrible. 23:35:09 (I mean the "pun".) 23:37:01 `cblprits " 23:37:05 shachäf 23:39:33 `mkx ../bin/"//\`^ 2 quote "$@" 23:39:35 ​../bin/" 23:39:41 `" 23:39:42 1/1:120) cpressey, oh go to zzo's website. He is NIH AnMaster, really? I was strongly under the impression that zzo was invented here. \ 802) colemak is for people who think dvorak is too mainstream 23:39:48 `" tswett 23:39:49 Usage: /hackenv/bin/`^ n cmd 23:39:58 :-( 23:45:06 `? t 23:45:07 t? ¯\(°​_o)/¯ 23:45:08 `? `t 23:45:09 ​`t? ¯\(°​_o)/¯ 23:54:27 `mkx ../bin/"//\`^ 2 "quote${1:+ }$1" 23:54:29 ​../bin/" 23:54:31 `" 23:54:33 1/1:905) 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) I used to be more irritated by alcohol Sgeo: you're not supposed to put it in your eyes 23:54:35 `" tswett 23:54:37 1/11:163) That is the mark of Gregor right there. tswett: except that Gregor didn't write that It's still the mark of Gregor. \ 167) elliott: just to bring you up to speed, you are now my baby nephew. wtf, elliott is a nephew and his uncle is here? what Heck yes I'm elliott's uncle. \ 240) There are white Africans out there, but, you know. A black swan in the hand doe 23:55:07 Oh, that's why we don't support this, hmm 23:58:58 `mkx ../bin/"//allquotes | grep -P -i -- "$1" | shuff -random-source=/dev/urandom -n 2 | sport 23:59:00 ​../bin/" 23:59:05 `" tswett 23:59:06 ​/hackenv/bin/": line 1: shuff: command not found \ 1/0: 23:59:14 meh 23:59:29 shuf with one f 23:59:30 `sled ../bin/"//s=shuff=shuf= 23:59:32 ​../bin/"//allquotes | grep -P -i -- "$1" | shuf -random-source=/dev/urandom -n 2 | sport 23:59:38 `" tswett 23:59:39 shuf: invalid option -- 'a' \ Try 'shuf --help' for more information. \ 1/0: 23:59:51 fizzie fixed /dev/random by the way 23:59:52 ...