00:09:20 -!- Soni has quit (Ping timeout: 260 seconds).
00:12:21 <esolangs> [[User:Salpynx/Galveston]] M https://esolangs.org/w/index.php?diff=97511&oldid=97510 * Salpynx * (+45) formatting
00:18:33 <esolangs> [[User:Salpynx/Galveston]] https://esolangs.org/w/index.php?diff=97512&oldid=97511 * Salpynx * (+121) /* External resources */ link to omega-word comiler and interactive engine
00:20:50 <esolangs> [[Special:Log/move]] move * Salpynx * moved [[User:Salpynx/Galveston]] to [[Galveston]]: spec is as complete as it'll ever be and interpreter works well enough to prove the basic concept
00:26:21 <esolangs> [[Galveston]] https://esolangs.org/w/index.php?diff=97515&oldid=97513 * Salpynx * (+108) /* External resources */ Some categories, but this doesn't fit into many of the current ones.
00:27:52 <esolangs> [[Language list]] https://esolangs.org/w/index.php?diff=97516&oldid=97472 * Salpynx * (+16) /* G */ add Galveston -language
00:31:53 -!- sprout has quit (Ping timeout: 244 seconds).
00:42:29 -!- Lord_of_Life has quit (Ping timeout: 255 seconds).
00:43:21 -!- Lord_of_Life has joined.
00:45:00 -!- sprout has joined.
00:49:03 -!- monoxane4 has joined.
00:49:43 -!- sprout has quit (Ping timeout: 258 seconds).
00:50:35 -!- monoxane has quit (Ping timeout: 255 seconds).
00:50:35 -!- monoxane4 has changed nick to monoxane.
00:52:37 -!- Soni has joined.
01:01:44 -!- sprout has joined.
01:06:07 -!- sprout has quit (Ping timeout: 240 seconds).
01:06:27 -!- Soni has quit (Ping timeout: 240 seconds).
01:07:23 -!- Soni has joined.
01:18:22 -!- sprout has joined.
01:23:12 -!- sprout has quit (Ping timeout: 260 seconds).
01:47:10 -!- sprout has joined.
01:53:00 -!- sprout has quit (Ping timeout: 244 seconds).
02:02:39 -!- sprout has joined.
02:09:39 -!- monoxane4 has joined.
02:10:01 <esolangs> [[Special:Log/newusers]] create * Poobob * New user account
02:11:22 -!- monoxane has quit (Ping timeout: 258 seconds).
02:11:23 -!- monoxane4 has changed nick to monoxane.
02:12:13 <esolangs> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=97517&oldid=97506 * Poobob * (+143)
02:12:28 <esolangs> [[User:Poobob]] N https://esolangs.org/w/index.php?oldid=97518 * Poobob * (+2) Created page with "hi"
02:51:10 <zzo38> Some unofficial Magic: the Gathering cards might be interesting making puzzles involving them (in addition to official cards too). While, other puzzles can be made using only official cards.
03:35:46 -!- monoxane3 has joined.
03:36:20 -!- monoxane has quit (Ping timeout: 244 seconds).
03:36:21 -!- monoxane3 has changed nick to monoxane.
03:39:42 -!- sprout has quit (Ping timeout: 260 seconds).
03:52:07 -!- littlebobeep has joined.
04:16:32 -!- littlebo1eep has joined.
04:17:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
04:21:34 -!- littlebo1eep has quit (Ping timeout: 240 seconds).
04:32:21 -!- littlebobeep has joined.
05:13:41 -!- Thedarkb-Desktop has quit (Ping timeout: 246 seconds).
05:34:20 -!- sprout has joined.
05:38:42 -!- sprout has quit (Ping timeout: 260 seconds).
05:51:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
05:55:08 -!- Oshawott has joined.
05:55:56 -!- littlebobeep has joined.
06:08:45 -!- monoxane has quit (Ping timeout: 244 seconds).
06:09:23 -!- monoxane has joined.
06:24:34 <zzo38> (For example, the card I had made which is "Two target permanents copy each other, and then exchange control of those permanents.")
06:29:21 <shachaf> You could also make puzzles using only unofficial cards, and ban all official cards.
06:39:29 <zzo38> Yes, that is possible too, but would usually not be the way to do.
06:46:03 -!- monoxane2 has joined.
06:47:30 -!- monoxane has quit (Ping timeout: 246 seconds).
06:47:30 -!- monoxane2 has changed nick to monoxane.
06:57:04 <shachaf> You could also make a puzzle using only unofficial rules and unofficial cards, without any official rules or cards.
07:01:56 -!- tromp has joined.
07:17:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
07:22:37 -!- Sgeo has quit (Read error: Connection reset by peer).
07:29:08 -!- littlebobeep has joined.
07:42:13 -!- littlebo1eep has joined.
07:43:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
08:02:04 -!- littlebo1eep has quit (Remote host closed the connection).
08:02:36 -!- littlebobeep has joined.
08:04:01 <esolangs> [[User:Masalt]] https://esolangs.org/w/index.php?diff=97519&oldid=97229 * Masalt * (+52) /* Coming Soon */
08:05:42 -!- monoxane has quit (Ping timeout: 260 seconds).
08:06:48 -!- monoxane has joined.
08:07:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
08:07:45 -!- littlebo1eep has joined.
08:42:42 <int-e> So... unofficial puzzles?!
08:44:57 <esolangs> [[User:Masalt]] https://esolangs.org/w/index.php?diff=97520&oldid=97519 * Masalt * (-16) /* Languages */
08:45:20 <esolangs> [[User:Masalt/]] https://esolangs.org/w/index.php?diff=97521&oldid=97212 * Masalt * (+51) /* masalt's top languages: */
08:50:13 <esolangs> [[Path]] https://esolangs.org/w/index.php?diff=97522&oldid=97467 * Masalt * (+31)
08:53:34 -!- Guest66 has joined.
08:54:56 -!- Guest66 has quit (Client Quit).
08:59:47 -!- __monty__ has joined.
09:07:23 -!- monoxane5 has joined.
09:08:54 -!- monoxane has quit (Ping timeout: 246 seconds).
09:08:54 -!- monoxane5 has changed nick to monoxane.
09:16:55 -!- monoxane5 has joined.
09:17:18 -!- monoxane has quit (Ping timeout: 246 seconds).
09:17:18 -!- monoxane5 has changed nick to monoxane.
09:18:04 -!- littlebo1eep has quit (Ping timeout: 240 seconds).
09:20:33 -!- littlebobeep has joined.
09:25:31 <esolangs> [[Path]] https://esolangs.org/w/index.php?diff=97523&oldid=97522 * Masalt * (-6) /* Truth Machine */
09:27:46 -!- monoxane5 has joined.
09:28:42 -!- monoxane has quit (Ping timeout: 244 seconds).
09:28:43 -!- monoxane5 has changed nick to monoxane.
09:35:33 -!- sprout has joined.
09:36:52 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=97524&oldid=97498 * Lanksy * (+88)
09:39:23 <esolangs> [[Bundle]] M https://esolangs.org/w/index.php?diff=97525&oldid=97524 * Lanksy * (+9) whoops
09:40:12 -!- sprout has quit (Ping timeout: 260 seconds).
09:41:47 <esolangs> [[Esolang:Introduce yourself]] M https://esolangs.org/w/index.php?diff=97526&oldid=97517 * Nick-1666 * (-143)
09:42:40 <esolangs> [[User:Nick-1666]] N https://esolangs.org/w/index.php?oldid=97527 * Nick-1666 * (+7) Created page with "Bonjour"
09:54:19 -!- monoxane8 has joined.
09:55:35 -!- monoxane has quit (Ping timeout: 260 seconds).
09:55:35 -!- monoxane8 has changed nick to monoxane.
10:04:38 -!- monoxane9 has joined.
10:05:34 -!- monoxane has quit (Ping timeout: 258 seconds).
10:05:34 -!- monoxane9 has changed nick to monoxane.
10:30:22 -!- monoxane0 has joined.
10:31:07 -!- monoxane has quit (Ping timeout: 240 seconds).
10:31:07 -!- monoxane0 has changed nick to monoxane.
10:31:52 <esolangs> [[Idego]] https://esolangs.org/w/index.php?diff=97528&oldid=97405 * ChuckEsoteric08 * (-12)
10:38:52 <esolangs> [[Schwa]] https://esolangs.org/w/index.php?diff=97529&oldid=97411 * ChuckEsoteric08 * (+68)
10:47:26 -!- b_jonas has joined.
10:47:45 <b_jonas> for how long does Debian 10 get security updates?
10:48:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
10:50:28 <int-e> it'll ender LTS this July: https://wiki.debian.org/LTS
10:54:17 -!- littlebobeep has joined.
10:54:26 <b_jonas> I should figure out when to upgrade to 11
11:01:30 -!- j-bot has joined.
11:01:40 -!- kspalaiologos has joined.
11:02:28 <kspalaiologos> having messed with BLC a little it's a really cool esolang
11:03:40 <kspalaiologos> i wonder how feasible would it be to have BCL with more combinators. the presence of the I combinator often makes programs smaller even when accounting for the additional encoding cost.
11:06:20 <int-e> Use BLC instead, programs tend to be a fair bit smaller there.
11:06:59 <river> binary combinatory logic?
11:07:11 -!- definitelya has joined.
11:07:15 <river> ah that's a way to say SK
11:07:32 <int-e> 1 = apply, 00 = S, 01 = K, or some permutation thereof.
11:07:37 <kspalaiologos> re using blc: yeah, i am aware, i just like combinators a bit more.
11:07:46 <river> i find combinators incredibly awkward
11:08:17 <river> of course thisis all just an O(1) factor
11:08:24 <int-e> I can't use them directly. I write code in lambda calculus and then do abstraction elimination, which blows things up considerably.
11:08:34 <b_jonas> BLC is bacon lattice comato, right?
11:08:42 <b_jonas> or bacon lettuce cheese maybe
11:08:54 <int-e> Is it O(1)? I thought the blowup tends to be quadratic if you don't do some serious extra legwork.
11:09:10 <river> fungot: is comato a sruit or iegetable?
11:09:11 <fungot> river: he is in my mind, the government welcomed the first and only time the article, the north currently faces the worst and the fnord secretaries, the other being my first night of the year, as the start of the debate.
11:09:11 <int-e> (serious extra legwork: pack arguments into tuples)
11:09:21 <kspalaiologos> there's some optimisations you could do while doing abstraction elimination
11:09:30 <river> int-e: i was thinking of interpreters
11:09:33 <int-e> sure, we're doing that
11:09:42 <river> but honestly im not even sure how you write an AST in SK combinators
11:10:13 <int-e> unlambda notation? i = ``skk
11:10:28 <river> if you have a lambda term
11:10:34 <int-e> not a good word for that, too many meanings
11:10:36 <river> you need a way to write that out in SK combinators
11:10:49 <int-e> yes, that's what abstraction elimination does
11:11:19 <river> abstraction elimination translates the term into sk comabintors, not quite what i mean - although it solves the problem
11:11:28 <int-e> it takes a lambda term with a single abstraction, lambda x. <applications of s, k, i, and x>, and turns it into one without.
11:11:36 <river> basically hte issue is that SK combinators don't have a way to write string constants
11:11:57 <int-e> The key rule is (lambda x. AB) = S (lambda x. A) (lambda x. B)
11:12:13 <river> its easy enough to make one up since you can encode lists and booleans
11:12:19 <kspalaiologos> you usually use something similar to church encoding yeah.
11:12:30 <kspalaiologos> but this also translates to SKI, just not very obviously
11:13:03 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=97530&oldid=97525 * Lanksy * (+26) /* Commands */
11:13:43 <int-e> So you can push lambdas inside until you have a constant term (lambda x. A) = K A when A has no x), a variable (lambda x. x = I = S K K), or an eta-expansion (lambda x. A x = A, when there's no x in A)
11:15:04 <int-e> And then there's a couple of peephole optimizations and that tends to give tolerable results when your programs aren't too complex (in terms of how many arguments are in scope simultaneously).
11:15:43 <int-e> BLC is far more pleasant.
11:16:20 <int-e> While still interesting for golfing...
11:16:50 <kspalaiologos> the adjacent technicalities are quite interesting too.
11:17:07 <kspalaiologos> my BLC interpreter in malbolge uses monadic i/o and has a crude garbage collector
11:17:47 <int-e> anyway tromp brought up some work on using different combinator bases recently... so that's definitely a thing people work on.
11:18:33 <kspalaiologos> so say, if you did 00000111010 it'd work as a cat program
11:18:38 <int-e> (with an eye on self-interpreter size)
11:19:05 <kspalaiologos> malbolge is comically slow though and to plot a hilbert curve it took around 2 hours
11:20:05 <int-e> Yeah I don't see the appeal in actually *using* Malbolge for anything, once there is a compiler from some higher level language.
11:20:29 <int-e> (That's the end of the intellectual challenge for me.)
11:21:43 <kspalaiologos> i still write my code in an assembly-adjacent language that is particularly tricky to make optimal
11:23:04 <kspalaiologos> the more ambitious attempt would be something made by Nagoya a while ago which resembles a HLA
11:23:54 <kspalaiologos> but from my tests it can generate up to 20MB of Malbolge that barely runs for some simple programs, while my malbolge code can actually be ran on bad (contemporary) hardware and is pretty small.
11:24:15 <kspalaiologos> the BLC interpreter for comparison is 40MB and compresses pretty well using my general-purpose codec down to 1MB
11:35:12 <esolangs> [[PATH]] M https://esolangs.org/w/index.php?diff=97531&oldid=75039 * PythonshellDebugwindow * (+31) Distinguish confusion
11:39:38 <int-e> kspalaiologos: BLC or BCL?
11:41:45 <int-e> Yeah, there's a CBL here, a confusion of binary languages.
11:43:49 <esolangs> [[Language list]] M https://esolangs.org/w/index.php?diff=97532&oldid=97516 * PythonshellDebugwindow * (+12) /* S */ add
11:50:43 -!- sprout has joined.
11:54:43 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
11:55:32 -!- sprout has quit (Ping timeout: 260 seconds).
12:04:36 -!- __monty__ has quit (Ping timeout: 246 seconds).
12:06:06 -!- __monty__ has joined.
12:08:20 <esolangs> [[Universal Turing-completness Proof]] N https://esolangs.org/w/index.php?oldid=97533 * ChuckEsoteric08 * (+2340) Created page with "It is a Turing-completness Proof for various langugaes via translation of 3-cell [[BF]]([[ALWCIDFEC]]) in this languages. ==What needs to be in this languages== *At least 3 va..."
12:09:03 <esolangs> [[User:ChuckEsoteric08]] https://esolangs.org/w/index.php?diff=97534&oldid=95547 * ChuckEsoteric08 * (+43)
12:20:42 -!- perlbot has quit (Read error: Connection reset by peer).
12:21:03 -!- simcop2387 has quit (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in).
12:21:34 -!- simcop2387 has joined.
12:22:04 -!- perlbot has joined.
12:23:49 -!- tromp has joined.
12:24:09 -!- sprout has joined.
12:29:01 -!- sprout has quit (Ping timeout: 244 seconds).
12:30:07 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=97535&oldid=97530 * Lanksy * (+35) /* Commands */
12:34:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
12:36:29 -!- perlbot has quit (Read error: Connection reset by peer).
12:38:35 -!- perlbot has joined.
12:42:21 -!- littlebobeep has joined.
12:54:09 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=97536&oldid=97535 * Lanksy * (+991) More
12:58:16 -!- __monty__ has quit (Ping timeout: 272 seconds).
12:58:44 -!- sprout has joined.
13:00:19 -!- kspalaiologos has quit (Quit: Leaving).
13:03:47 -!- sprout has quit (Ping timeout: 260 seconds).
13:07:11 -!- sprout has joined.
13:11:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
13:11:36 <esolangs> [[Bundle]] https://esolangs.org/w/index.php?diff=97537&oldid=97536 * Lanksy * (-33) /* Commands */
13:18:28 -!- littlebobeep has joined.
13:23:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
13:27:58 <esolangs> [[Game of Life]] M https://esolangs.org/w/index.php?diff=97538&oldid=75918 * Yujh * (-19)
13:28:45 <esolangs> [[LaserFuck]] https://esolangs.org/w/index.php?diff=97539&oldid=97477 * CappyIsCrappy * (+5) /* Cat program (until NUL) */
13:31:46 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97540&oldid=97488 * CappyIsCrappy * (+107) /* [RE] Cat program */ new section
13:32:07 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97541&oldid=97540 * CappyIsCrappy * (+97) /* [RE] Cat program */
13:39:19 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97542&oldid=97541 * CappyIsCrappy * (+29)
13:40:46 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97543&oldid=97542 * CappyIsCrappy * (+0) Fixed
13:46:09 -!- b_jonas has quit (Quit: leaving).
14:00:14 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
14:08:02 -!- b_jonas has joined.
14:10:13 -!- tromp has joined.
14:14:12 <esolangs> [[LaserFuck]] https://esolangs.org/w/index.php?diff=97544&oldid=97539 * CappyIsCrappy * (+0) /* Cat program (until NUL) */
14:26:08 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97545&oldid=97543 * Bangyen * (+188)
14:53:31 <esolangs> [[Bundle]] M https://esolangs.org/w/index.php?diff=97546&oldid=97537 * Lanksy * (+3) /* Commands */
15:03:11 -!- razetime has joined.
15:08:42 -!- Sgeo has joined.
15:30:11 -!- __monty__ has joined.
15:44:25 -!- __monty__ has quit (Quit: leaving).
15:45:26 -!- __monty__ has joined.
16:07:18 <b_jonas> ``` \? Dantooine; \? battle of Danville commemorative dentures
16:07:22 <HackEso> Dantooine? ¯\(°_o)/¯ \ battle of Danville commemorative dentures? ¯\(°_o)/¯
17:13:25 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
17:18:26 -!- razetime has quit (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.).
17:33:45 <esolangs> [[Numberlist]] https://esolangs.org/w/index.php?diff=97547&oldid=91541 * A casual user * (+13) /* Notes */
18:25:12 -!- tromp has joined.
19:06:50 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:34:07 -!- tromp has joined.
19:47:13 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
19:50:36 <esolangs> [[Talk:LaserFuck]] https://esolangs.org/w/index.php?diff=97548&oldid=97545 * Bangyen * (-3)
19:50:58 -!- tromp has joined.
19:59:56 -!- littlebobeep has joined.
20:20:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
20:35:59 -!- littlebobeep has joined.
20:40:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
20:41:16 -!- littlebobeep has joined.
20:42:42 -!- Thedarkb-Desktop has joined.
20:55:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
20:58:25 -!- littlebobeep has joined.
21:05:34 -!- littlebobeep has quit (Ping timeout: 240 seconds).
21:07:08 -!- perlbot has quit (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in).
21:07:50 -!- perlbot has joined.
21:11:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:18:59 -!- definitelya has quit (Quit: h).
21:19:12 -!- littlebobeep has joined.
21:19:57 -!- tromp has joined.
21:30:16 -!- __monty__ has quit (Quit: leaving).
21:31:04 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
22:11:35 -!- tromp has joined.
22:50:01 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:30:04 -!- littlebobeep has quit (Ping timeout: 240 seconds).
23:51:55 -!- littlebobeep has joined.
23:53:02 <esolangs> [[BunnyBell]] https://esolangs.org/w/index.php?diff=97549&oldid=97483 * PixelatedStarfish * (+24) /* Considerations */
23:57:59 <esolangs> [[BunnyBell]] https://esolangs.org/w/index.php?diff=97550&oldid=97549 * PixelatedStarfish * (+133) /* Considerations */
23:58:39 <esolangs> [[BunnyBell]] https://esolangs.org/w/index.php?diff=97551&oldid=97550 * PixelatedStarfish * (-1)