00:29:34 -!- dcristofani has quit (Remote host closed the connection).
01:29:10 -!- sprocklem has quit (Ping timeout: 258 seconds).
02:51:47 -!- adu has joined.
03:55:30 -!- sprocklem has joined.
04:15:49 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
04:31:31 -!- adu has quit (Quit: adu).
04:32:42 -!- dcristofani has joined.
04:43:28 <int-e> fungot: Which one do you prefer, the Battle of Donkey Island, or the Secret of Monkey Island?
04:43:28 <fungot> int-e: mr president, like others, expect to ensure that the quantity of employment.
04:43:39 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
04:43:56 <int-e> fungot: say anything
04:43:56 <fungot> int-e: pikhq, go! go! gone! waah! my head is that logical?
04:48:40 <int-e> Oh, also, https://www.squakenet.com/game/donkey-island/
04:49:15 <int-e> "The game pretty much takes everything that made the Monkey Island games great, such as clever and inventive puzzles and a delightfully bonkers, but equally clever, sense of humour, and removes it so that what you're left with is an incomprehensible mess."
04:49:46 <int-e> What a wholesome endorsement :)
04:50:31 <int-e> Anyway, so much for that pun.
04:51:18 <int-e> (The aforementioned battle is real; it happened in 2007 as part of one of the Iraq wars.)
05:01:02 <shachaf> Wow, that's quite a rip-off.
05:03:01 <shachaf> So I think my idea for CDCL-as-a-theory nearly works but maybe not entirely.
05:03:17 <shachaf> For example, when you learn a clause, you just need a notion of adding it to the clause database, I think?
05:07:10 -!- sprocklem has quit (Ping timeout: 246 seconds).
05:17:27 -!- sprocklem has joined.
07:04:35 -!- dcristofani has quit (Ping timeout: 258 seconds).
07:09:37 -!- dcristofani has joined.
07:12:30 -!- cpressey has joined.
07:13:16 -!- Sgeo_ has quit (Read error: Connection reset by peer).
07:48:03 -!- cpressey has quit (Quit: WeeChat 1.9.1).
08:08:34 -!- hendursa1 has joined.
08:09:43 -!- cpressey has joined.
08:10:43 -!- hendursaga has quit (Ping timeout: 240 seconds).
08:35:41 -!- deltaepsilon23 has joined.
08:47:43 <cpressey> As I was trying to say a few days ago, Laczkovich's version of https://en.wikipedia.org/wiki/Richardson%27s_theorem (see "Extensions") looks pretty cute.
08:57:29 -!- deltaepsilon23 has quit (Quit: Leaving).
09:23:01 -!- imode has quit (Ping timeout: 264 seconds).
09:29:12 <shachaf> I still need to understand the whole "first-order theory of the real field is decidable" deal.
09:29:32 <Taneb> Any field whose first order theory isn't decidable must therefore be fake
09:31:37 <shachaf> how's everything in Tanebland
09:31:53 <Taneb> I have not seen any cats lately
09:32:38 <Taneb> And furthermore it looks like I'm going to be unemployed starting mid-next month
09:37:32 -!- sprocklem has quit (Ping timeout: 258 seconds).
09:51:14 -!- spruit11 has quit (Ping timeout: 256 seconds).
09:51:29 -!- spruit11 has joined.
10:12:49 -!- dcristofani has quit (Ping timeout: 260 seconds).
10:16:56 <esowiki> [[A.R.T.I.C.L.E. Lang]] M https://esolangs.org/w/index.php?diff=77989&oldid=77987 * SoicBR * (+5)
10:19:23 -!- aaaaaa has joined.
10:22:45 -!- dcristofani has joined.
10:26:28 <esowiki> [[A.R.T.I.C.L.E. Lang]] https://esolangs.org/w/index.php?diff=77990&oldid=77989 * SoicBR * (+64)
10:29:11 <esowiki> [[A.R.T.I.C.L.E. Lang]] M https://esolangs.org/w/index.php?diff=77991&oldid=77990 * SoicBR * (+22)
10:30:03 <esowiki> [[A.R.T.I.C.L.E. Lang]] M https://esolangs.org/w/index.php?diff=77992&oldid=77991 * SoicBR * (-37)
10:34:25 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=77993&oldid=77935 * SoicBR * (+26) /* A */
11:09:28 -!- t20kdc has joined.
11:10:16 <dcristofani> So I finally ended up writing the tic-tac-toe player in brainfuck that's been on my to-do list forever. http://www.hevanet.com/cristofd/brainfuck/tictactoe.b
11:13:05 <dcristofani> I mean. in terms of winning. It doesn't care about winning in the shortest number of moves.
11:16:39 <dcristofani> I saved processing time by having it prune branches once it's evaluated a position as a win, rather than looking farther for a shorter win.
11:20:52 <dcristofani> Also, after some feedback from the esolangs Discord, I've made it handle invalid input gracefully.
11:25:25 <shachaf> Oh, sure, I don't think shortest number of moves matters.
11:25:38 <shachaf> Especially since every game of tic-tac-toe is a draw so they all take 9 moves.
11:29:02 <dcristofani> Well, I made this one so it'll grab a win if its opponent slips up.
11:30:10 <shachaf> That reminds me that I should internalize negascot/principal variation search.
11:30:55 -!- cpressey has quit (Quit: Lunch).
11:39:13 <rain1> Did you know about misere knots and crosses?
11:39:24 -!- arseniiv has joined.
11:39:26 <rain1> both players do knots
11:39:30 <rain1> the aim is to lose
11:39:48 <rain1> it can be played on larger boards than 3x3
11:41:00 <arseniiv> btw did you try anticheckers when you can and must eat your own checkers too? In a variety where you may and must eat whole chains of checkers in one move if you’re able
11:44:57 <arseniiv> <rain1> the aim is to lose => now upon reading that knots and crosses is a game I actually well know, that seems baffling. Is it to make a draw, or how is it possible to lose then?
11:46:18 -!- wib_jonas has joined.
11:48:21 <wib_jonas> dcristofani: "the tic-tac-toe player in brainfuck that's been on my to-do list forever" => are you kspalaiologos under a different nickname?
11:49:07 <wib_jonas> rain1: is that noughts and crosses?
11:50:31 <arseniiv> are you kspalaiologos under a different nickname? => lool
11:51:35 <wib_jonas> arseniiv: I guess I can't accept how popular brainfuck is, and keep thinking only a few people write actual non-helloworld programs in it
11:51:58 <arseniiv> at first I imagined a game when one places some -|- intersecting paths and maybe curvy things like )( rotated 45°, and the aim is to make knot [diagram]s and something
11:52:39 <wib_jonas> dcristofani: does it use the 3x3 magic square encoding of tic-tac-toe at least internally for computations (not necessarily on the interface)?
11:53:43 <arseniiv> wib_jonas: yeah, that was funny is a truthy way, that’s why it was in need to appreciate explicitly :)
11:53:49 <wib_jonas> arseniiv: hmm. I bet searching for "Conway knot game" would find something relevant for that
11:54:11 <dcristofani> You weren't wrong about few people writing in brainfuck. And no, it doesn't. Not that that's a bad idea.
11:56:59 <arseniiv> btw a couple of days ago I realised I can do a Feynmann mug trick almost well enough (I keep checking if the mug is upright enough, and without practice, movements aren’t smooth enough)
11:57:40 <wib_jonas> it seems like there are more brainfuck variants than brainfuck programmers. see https://web.archive.org/web/20190814011410/http://www.bbspot.com/news/2000/4/linux_distros.html
11:57:44 <arseniiv> also I ended up scaring my relatives with it
12:05:27 <arseniiv> if someone uses Jupyter with VS Code, do know it doesn’t support audio playback. I was forced to use the ordinary browser version to hear what I was constructing
12:11:31 -!- cpressey has joined.
12:12:08 <rain1> I wrote a brainfuck to C translator in brainfuck
12:13:27 <dcristofani> (A long time ago. http://www.hevanet.com/cristofd/brainfuck/dbf2c.b)
12:14:42 <rain1> i feel like we did it the same way kinda
12:17:16 <wib_jonas> rain1, dcristofani: link them from https://esolangs.org/wiki/Brainfuck_implementations if appropriate
12:18:37 <wib_jonas> https://esolangs.org/wiki/Brainfuck#Notable_implementations claims that https://esolangs.org/wiki/Brainfuck_implementations is the complete list of brainfuck implementations, so these should be there
12:20:24 <myname> so if i make an implementation and don't publish it, i make the page lie?
12:21:30 <dcristofani> It'd be better to change it so it doesn't make that claim. I don't think any of my seven are on there.
12:22:05 <dcristofani> And at least some of them predate the esolangs wiki.
12:22:16 <wib_jonas> seven... yeah, at this point I shouldn't even be surprirsed
12:25:39 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=77994&oldid=77929 * DanielCristofani * (-2) /* Notable implementations */
12:53:09 -!- hendursa1 has quit (Remote host closed the connection).
12:53:58 -!- hendursa1 has joined.
13:21:33 -!- Arcorann has quit (Read error: Connection reset by peer).
13:24:19 -!- hendursa1 has quit (Quit: hendursa1).
13:24:57 -!- hendursaga has joined.
13:35:32 -!- dcristofani_ has joined.
13:35:33 -!- dcristofani has quit (Read error: Connection reset by peer).
13:35:42 -!- dcristofani_ has changed nick to dcristofani.
13:47:12 <wib_jonas> I hate these fucking agressive settings. enter the wrong password twice, bang, remote service locks you and your whole country out for a day. great for DOS to those who actually need to access the service.
13:51:22 <wib_jonas> at least it's symmetric, we have some in our company's mail server, but also at our clients where I have to log in to fix stuff remotely.
13:56:38 <myname> we have the problem that one of our customers seems to be responsible for putting our public ip address on a mailer blacklist. horrible problem to deal with
13:57:03 <esowiki> [[User:SunnyMoon/Expirements/Output in esolangs]] https://esolangs.org/w/index.php?diff=77995&oldid=77986 * SunnyMoon * (+2164) Added all languages I know (now)
13:57:26 <wib_jonas> the office network only has ipv4 and it's an 8 byte wide address range, and most of the workstation computers are turned off on the weekend. I wonder if anyone ever tries to lock out all ip addresses that aren't currently in use, scheduled for sunday night.
13:59:55 <wib_jonas> but it's possible that that lockout rule only triggers for accesses from external internet.
14:06:17 -!- Sgeo has joined.
14:38:55 -!- FreeFull has joined.
14:40:37 -!- MDude has joined.
15:14:54 -!- cpressey has quit (Quit: WeeChat 1.9.1).
15:40:33 -!- cpressey has joined.
16:00:13 -!- wib_jonas has quit (Quit: Connection closed).
16:07:56 -!- dcristofani has quit (Ping timeout: 272 seconds).
16:13:00 -!- LKoen has joined.
16:42:48 -!- 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.”).
16:46:32 -!- arseniiv has quit (Ping timeout: 256 seconds).
16:47:22 -!- dingwat has joined.
16:53:20 -!- arseniiv has joined.
16:59:29 -!- cpressey has quit (Quit: WeeChat 1.9.1).
17:31:51 -!- t20kdc has quit (Read error: Connection reset by peer).
17:33:00 -!- t20kdc has joined.
18:14:27 -!- imode has joined.
18:46:09 -!- imode has quit (Ping timeout: 260 seconds).
20:24:03 -!- sprocklem has joined.
20:52:37 -!- adu has joined.
21:28:36 <esowiki> [[PixelCode]] M https://esolangs.org/w/index.php?diff=77996&oldid=71554 * Voltage2007 * (+251)
21:44:04 -!- t20kdc has quit (Remote host closed the connection).
21:52:16 -!- imode has joined.
22:03:59 -!- aaaaaa has quit (Quit: leaving).
22:15:45 -!- adu has quit (Quit: adu).
23:16:01 -!- arseniiv has quit (Ping timeout: 246 seconds).
23:36:59 -!- dingwat has quit (Quit: Connection closed for inactivity).