←2024-02-23 2024-02-24 2024-02-25→ ↑2024 ↑all
00:44:37 -!- amby has quit (Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement).
01:52:11 -!- Lord_of_Life has quit (Ping timeout: 264 seconds).
01:53:47 -!- Lord_of_Life has joined.
01:56:52 <esolangs> [[User talk:/w/wiki/index.php/Talk:index.php/Main page]] https://esolangs.org/w/index.php?diff=123904&oldid=123893 * Qawtykit * (+50) added the instruction
02:44:29 -!- PoserKiller has quit (Quit: Client closed).
03:53:11 -!- ^[ has joined.
04:02:04 <Sgeo> https://en.wikipedia.org/wiki/Extended_natural_numbers 0 * infinity = 0???????
04:13:25 <int-e> that way you get a semiring.
04:31:42 <shachaf> Think of it as elements of the type [()] in Haskell.
04:32:11 <shachaf> plus a b = a ++ b
04:32:21 <shachaf> times a b = [() | _ <- a, _ <- b]
04:32:52 <int-e> > let inf = repeat (); zero = []; times a b = [() | _ <- a, _ <- b] in (zero `times` inf, inf `times` zero)
04:32:58 <lambdabot> mueval-core: Time limit exceeded
04:33:03 <int-e> > let inf = repeat (); zero = []; times a b = [() | _ <- a, _ <- b] in zero `times` inf
04:33:04 <lambdabot> []
04:33:31 <int-e> (it's not a great model for this)
04:35:23 <shachaf> Oh man, you're completely right.
04:37:00 <int-e> doing this with cardinalities works though
04:37:25 <int-e> (up to aleph_0)
04:38:30 <shachaf> Hmm, so multiplication is computable, right? It's just not the thing I said?
04:38:45 <shachaf> But I'm wondering whether there's a nice way to write it that makes it clear this is the right behavior.
04:40:16 <int-e> Well you can use your favorite enumeration of N^2.
04:41:00 <shachaf> Ugh, it's been so long since I even did any Haskell things.
04:42:07 <int-e> > let times [] _ = []; times (_:as) bs = bs ++ times bs as; zero = []; inf = repeat () in (zero `times` inf, inf `times` zero)
04:42:09 <lambdabot> ([],[])
04:42:39 <shachaf> times bs as
04:42:44 <int-e> (not an enumeration of NxN but good enough for this)
04:42:45 <shachaf> Too sneaky.
06:38:00 <esolangs> [[User talk:EvyLah]] https://esolangs.org/w/index.php?diff=123905&oldid=123903 * EvyLah * (+109)
07:00:46 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123906&oldid=123891 * EvyLah * (+242) add a few more basic commands, nothing too special
07:43:32 -!- tromp has joined.
08:06:53 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:12:34 -!- tromp has joined.
08:12:57 <esolangs> [[User:Tev27]] https://esolangs.org/w/index.php?diff=123907&oldid=97326 * Tev27 * (-344) Replaced content with "me"
08:50:40 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
08:55:03 -!- tromp has joined.
09:18:53 -!- Everything has joined.
09:26:05 <esolangs> [[Brainfuck Assembly Language]] M https://esolangs.org/w/index.php?diff=123908&oldid=98108 * Olus2000 * (-8) /* Ternary variation */ typo
10:15:29 <esolangs> [[Talk:Extended Brainfuck]] https://esolangs.org/w/index.php?diff=123909&oldid=48997 * Tromp * (+267) suggest simplification
10:16:35 <esolangs> [[Talk:Extended Brainfuck]] M https://esolangs.org/w/index.php?diff=123910&oldid=123909 * Tromp * (+3)
10:41:14 -!- Koen_ has joined.
11:01:19 -!- FreeFull has quit.
11:04:24 -!- ais523 has joined.
11:41:20 -!- Sgeo has quit (Read error: Connection reset by peer).
12:24:24 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123911&oldid=123906 * 97202 * (+199)
12:24:59 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123912&oldid=123911 * 97202 * (-199) Undo revision 123911 by [[Special:Contributions/97202|97202]] ([[User talk:97202|talk]])
12:28:38 -!- sprout_ has joined.
12:30:53 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123913&oldid=123912 * 97202 * (+200)
12:32:08 -!- sprout has quit (Ping timeout: 256 seconds).
12:45:36 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123914&oldid=123913 * 97202 * (-3)
13:11:19 -!- sprout_ has changed nick to sprout.
13:31:12 -!- Thelie has joined.
14:39:00 -!- Koen_ has quit (Remote host closed the connection).
14:41:34 -!- Koen_ has joined.
14:49:40 -!- Thelie has quit (Ping timeout: 255 seconds).
14:53:10 -!- Thelie has joined.
15:04:31 -!- Thelie has quit (Quit: Leaving.).
15:23:55 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
16:30:28 -!- tromp has joined.
17:03:19 -!- Koen_ has quit (Quit: Leaving...).
17:43:37 -!- Thelie has joined.
18:00:24 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
18:09:32 <esolangs> [[Mascarpone]] https://esolangs.org/w/index.php?diff=123915&oldid=122702 * * (+5246)
18:30:42 <esolangs> [[Spin4]] https://esolangs.org/w/index.php?diff=123916&oldid=123826 * Michael * (+19)
18:32:54 <esolangs> [[Talk:No.]] N https://esolangs.org/w/index.php?oldid=123917 * EvyLah * (+281) /* Brainfuck interpreter */ new section
18:45:56 <esolangs> [[Spin4]] https://esolangs.org/w/index.php?diff=123918&oldid=123916 * Michael * (+1323)
18:47:15 <esolangs> [[Spin4]] https://esolangs.org/w/index.php?diff=123919&oldid=123918 * Michael * (+8)
18:49:52 -!- sprout_ has joined.
18:50:17 <esolangs> [[Spin4]] https://esolangs.org/w/index.php?diff=123920&oldid=123919 * Michael * (-9)
18:52:43 -!- sprout has quit (Ping timeout: 260 seconds).
19:00:09 -!- ais523 has quit (Quit: quit).
19:03:58 -!- sprout_ has changed nick to sprout.
19:11:48 -!- tromp has joined.
19:11:54 -!- Everything has quit (Remote host closed the connection).
19:12:01 -!- sprout has quit (Ping timeout: 255 seconds).
19:13:35 -!- sprout has joined.
20:34:54 -!- Sgeo has joined.
21:00:53 -!- sprout_ has joined.
21:02:47 -!- sprout__ has joined.
21:04:02 -!- Thelie has quit (Remote host closed the connection).
21:04:04 -!- sprout has quit (Ping timeout: 255 seconds).
21:06:06 -!- sprout_ has quit (Ping timeout: 256 seconds).
21:18:27 -!- sprout__ has changed nick to sprout.
21:37:05 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
21:52:47 -!- tromp has joined.
22:21:15 -!- tromp has quit (Quit: My iMac has gone to sleep. ZZZzzz…).
23:19:36 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123921&oldid=123914 * Qawtykit * (+190) added an examples section and a hello world program
23:20:33 <esolangs> [[Everyonelang]] M https://esolangs.org/w/index.php?diff=123922&oldid=123921 * Qawtykit * (+1)
23:32:53 <esolangs> [[Everyonelang]] https://esolangs.org/w/index.php?diff=123923&oldid=123922 * Qawtykit * (+120) LOOPING!!!!! WAHOO????
23:34:46 <esolangs> [[Everyonelang]] M https://esolangs.org/w/index.php?diff=123924&oldid=123923 * Qawtykit * (+26)
←2024-02-23 2024-02-24 2024-02-25→ ↑2024 ↑all