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 fungot: Which one do you prefer, the Battle of Donkey Island, or the Secret of Monkey Island? 04:43:28 int-e: mr president, like others, expect to ensure that the quantity of employment. 04:43:39 ^style irc 04:43:39 Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams) 04:43:56 fungot: say anything 04:43:56 int-e: pikhq, go! go! gone! waah! my head is that logical? 04:44:06 lol 04:48:40 Oh, also, https://www.squakenet.com/game/donkey-island/ 04:49:15 "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 What a wholesome endorsement :) 04:50:31 Anyway, so much for that pun. 04:51:18 (The aforementioned battle is real; it happened in 2007 as part of one of the Iraq wars.) 05:01:02 Wow, that's quite a rip-off. 05:03:01 So I think my idea for CDCL-as-a-theory nearly works but maybe not entirely. 05:03:17 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:46:26 Hi 08:47:43 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 I still need to understand the whole "first-order theory of the real field is decidable" deal. 09:29:32 Any field whose first order theory isn't decidable must therefore be fake 09:31:22 hi Taneb 09:31:28 Hi shachaf 09:31:37 how's everything in Tanebland 09:31:45 Not so good 09:31:47 see any good cats lately? 09:31:48 oh no 09:31:53 I have not seen any cats lately 09:32:38 And furthermore it looks like I'm going to be unemployed starting mid-next month 09:32:51 oh no 09:33:41 are you in italy? 09:33:50 No :( 09:33:56 triple oh no 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 [[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 [[A.R.T.I.C.L.E. Lang]] https://esolangs.org/w/index.php?diff=77990&oldid=77989 * SoicBR * (+64) 10:29:11 [[A.R.T.I.C.L.E. Lang]] M https://esolangs.org/w/index.php?diff=77991&oldid=77990 * SoicBR * (+22) 10:30:03 [[A.R.T.I.C.L.E. Lang]] M https://esolangs.org/w/index.php?diff=77992&oldid=77991 * SoicBR * (-37) 10:34:25 [[Language list]] https://esolangs.org/w/index.php?diff=77993&oldid=77935 * SoicBR * (+26) /* A */ 11:09:28 -!- t20kdc has joined. 11:10:16 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:10:44 Currently 963 commands long. 11:11:48 Does it play optimally? 11:12:36 Yeah. 11:13:05 I mean. in terms of winning. It doesn't care about winning in the shortest number of moves. 11:16:39 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 Also, after some feedback from the esolangs Discord, I've made it handle invalid input gracefully. 11:25:25 Oh, sure, I don't think shortest number of moves matters. 11:25:38 Especially since every game of tic-tac-toe is a draw so they all take 9 moves. 11:29:02 Well, I made this one so it'll grab a win if its opponent slips up. 11:30:10 That reminds me that I should internalize negascot/principal variation search. 11:30:55 -!- cpressey has quit (Quit: Lunch). 11:39:04 dcristofani, good 11:39:13 Did you know about misere knots and crosses? 11:39:16 actuall 11:39:21 misere knots? 11:39:24 -!- arseniiv has joined. 11:39:26 both players do knots 11:39:30 the aim is to lose 11:39:48 it can be played on larger boards than 3x3 11:41:00 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:41:09 s/when/where also 11:41:33 I mean where additionally 11:44:57 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:45:28 wait or not 11:46:18 -!- wib_jonas has joined. 11:48:21 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:48:44 No. Daniel Cristofani. 11:49:07 rain1: is that noughts and crosses? 11:50:31 are you kspalaiologos under a different nickname? => lool 11:51:35 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 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 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 wib_jonas: yeah, that was funny is a truthy way, that’s why it was in need to appreciate explicitly :) 11:53:49 arseniiv: hmm. I bet searching for "Conway knot game" would find something relevant for that 11:54:11 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 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 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 also I ended up scaring my relatives with it 12:05:27 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:24 hi 12:11:31 -!- cpressey has joined. 12:12:08 I wrote a brainfuck to C translator in brainfuck 12:12:37 Me too! 12:13:27 (A long time ago. http://www.hevanet.com/cristofd/brainfuck/dbf2c.b) 12:14:29 nice one! 12:14:42 i feel like we did it the same way kinda 12:17:16 rain1, dcristofani: link them from https://esolangs.org/wiki/Brainfuck_implementations if appropriate 12:18:37 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 so if i make an implementation and don't publish it, i make the page lie? 12:21:30 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:21:50 myname: no, it's already a lie 12:22:05 And at least some of them predate the esolangs wiki. 12:22:16 seven... yeah, at this point I shouldn't even be surprirsed 12:25:39 [[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 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:49:27 agree 13:51:22 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 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 [[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 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 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. 15:41:44 Projects tho, amirite 15:41:50 u no i am 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:54:01 projects and learnings 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 [[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).