Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 .. 5022
— 502,152 events total
2021-03-22 18:59:42 <ski> monochrom : ah. i was thinking of notations that were also unergonomic for the author (who presumably already knows something about what they're writing)
2021-03-22 18:59:47 <tomsmeding> ski: UWithoutT is a number of Lefts followed by Middle/Right and a U, so UWithoutT = N × {0,1} × U, where N = {0,1,2,...}. U = T + UWithoutT, so UWithoutT = N × {0,1} × (T + UWithoutT), so UWithoutT = (N × {0,1})^(N \ {0}) × T
2021-03-22 18:59:59 <tomsmeding> right?
2021-03-22 19:00:08 <tomsmeding> s/=/=~/g
2021-03-22 19:00:24 → John111 joins (~kvirc@109.252.72.161)
2021-03-22 19:00:58 John111 https://www.kryptex.org/?ref=67f397d3
2021-03-22 19:01:32 ChanServ sets mode +o monochrom
2021-03-22 19:01:37 monochrom sets mode +b *!*@109.252.72.161
2021-03-22 19:01:37 John111 is kicked by monochrom (John111)
2021-03-22 19:01:49 × nnm quits (~kvirc@109-252-72-161.nat.spd-mgts.ru) (K-Lined)
2021-03-22 19:02:10 → remal joins (~remal@d24-57-234-201.home.cgocable.net)
2021-03-22 19:02:12 monochrom sets mode -o monochrom
2021-03-22 19:02:52 <ski> tomsmeding : seems legit (apart from the ` \ {0}' part)
2021-03-22 19:03:37 → berberman_ joins (~berberman@unaffiliated/berberman)
2021-03-22 19:03:47 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2021-03-22 19:04:19 × xensky quits (~xensky@xengarden.xen.prgmr.com) (Quit: i quit)
2021-03-22 19:04:26 → xensky joins (~xensky@xengarden.xen.prgmr.com)
2021-03-22 19:04:28 <tomsmeding> ski: UWithoutT has at least one (possibly empty) sequence of Lefts and a Middle/Right before it can even get to the T right?
2021-03-22 19:04:45 × xensky quits (~xensky@xengarden.xen.prgmr.com) (Client Quit)
2021-03-22 19:04:55 <tomsmeding> and then U = T + UWithoutT = (N × {0,1})^N × T
2021-03-22 19:05:31 × a3f quits (~a3f@chimeria.ext.pengutronix.de) (Ping timeout: 272 seconds)
2021-03-22 19:05:51 <ski> oh, sorry. i'm confusing myself
2021-03-22 19:07:27 → a3f joins (~a3f@chimeria.ext.pengutronix.de)
2021-03-22 19:07:53 → xensky joins (~xensky@xengarden.xen.prgmr.com)
2021-03-22 19:08:09 × tsaka__ quits (~torstein@ppp-2-87-239-227.home.otenet.gr) (Read error: Connection reset by peer)
2021-03-22 19:08:11 → mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
2021-03-22 19:09:04 × frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Ping timeout: 265 seconds)
2021-03-22 19:09:15 → stree joins (~stree@68.36.8.116)
2021-03-22 19:11:44 × v01d4lph_ quits (~v01d4lph4@223.233.89.82) (Remote host closed the connection)
2021-03-22 19:12:08 × dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 245 seconds)
2021-03-22 19:13:15 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 246 seconds)
2021-03-22 19:19:00 → frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl)
2021-03-22 19:20:55 → hexagenic_ joins (~mattias@81-224-107-147-no71.tbcn.telia.com)
2021-03-22 19:21:06 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2021-03-22 19:21:54 → Mugfugha joins (57e3c46d@87.227.196.109)
2021-03-22 19:22:43 → ystael joins (~ystael@24.sub-174-196-202.myvzw.com)
2021-03-22 19:23:01 → lampowner joins (~xblow@broadband-90-154-73-166.ip.moscow.rt.ru)
2021-03-22 19:23:23 × hexagenic quits (~mattias@81-224-107-147-no71.tbcn.telia.com) (Ping timeout: 245 seconds)
2021-03-22 19:23:48 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-22 19:23:48 × hoobop1 quits (~hoobop@139.28.218.148) (Remote host closed the connection)
2021-03-22 19:24:13 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-22 19:25:50 × frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Ping timeout: 264 seconds)
2021-03-22 19:28:05 <tomsmeding> ski: huh, 3 * U = U works out also with U := (N * 2)^N * T, but I do need to use that N + 1 = N
2021-03-22 19:28:35 <tomsmeding> ( https://paste.tomsmeding.com/vhCcdmMJ )
2021-03-22 19:28:47 × marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli)
2021-03-22 19:29:40 → is_null_ joins (~jpic@pdpc/supporter/professional/is-null)
2021-03-22 19:30:02 → marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-03-22 19:30:32 <ski> tomsmeding : fwiw, <https://mathoverflow.net/questions/16180/formalizing-no-junk-no-confusion> btw
2021-03-22 19:30:33 → frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl)
2021-03-22 19:33:23 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 245 seconds)
2021-03-22 19:34:25 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-22 19:34:25 × jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-03-22 19:36:04 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 276 seconds)
2021-03-22 19:37:22 Lord_of_Life_ is now known as Lord_of_Life
2021-03-22 19:40:42 → heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc)
2021-03-22 19:43:53 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-22 19:44:56 × heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Ping timeout: 240 seconds)
2021-03-22 19:45:51 × hexagenic_ quits (~mattias@81-224-107-147-no71.tbcn.telia.com) (Quit: WeeChat 1.9.1)
2021-03-22 19:46:14 × coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-22 19:47:22 × pluze quits (5372161c@lfbn-idf3-1-428-28.w83-114.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2021-03-22 19:49:43 × ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 276 seconds)
2021-03-22 19:53:38 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-03-22 19:54:04 → stree joins (~stree@68.36.8.116)
2021-03-22 19:58:02 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 260 seconds)
2021-03-22 19:58:07 × ystael quits (~ystael@24.sub-174-196-202.myvzw.com) (Read error: Connection reset by peer)
2021-03-22 20:00:11 → ajc joins (~ajc@69.231.232.79)
2021-03-22 20:00:46 → jespada joins (~jespada@90.254.243.187)
2021-03-22 20:05:03 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 246 seconds)
2021-03-22 20:06:54 × idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-22 20:07:09 × frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 246 seconds)
2021-03-22 20:08:23 → petersen joins (~petersen@redhat/juhp)
2021-03-22 20:09:55 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-22 20:10:12 × mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 256 seconds)
2021-03-22 20:10:55 → ryxai joins (~textual@pool-71-183-41-241.nycmny.fios.verizon.net)
2021-03-22 20:11:49 → aarvar joins (~foewfoiew@2601:602:a080:fa0:75fb:cea1:4d26:9157)
2021-03-22 20:12:10 × marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds)
2021-03-22 20:12:32 → marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-03-22 20:16:43 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-22 20:17:58 → ystael joins (~ystael@24.sub-174-196-202.myvzw.com)
2021-03-22 20:18:14 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-22 20:19:20 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2021-03-22 20:22:17 → roconnor joins (~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-22 20:22:21 → Tario joins (~Tario@201.192.165.173)
2021-03-22 20:22:38 → benkolera joins (uid285671@gateway/web/irccloud.com/x-dcatnolngaaurwon)
2021-03-22 20:25:36 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-22 20:26:00 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-22 20:26:34 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1)
2021-03-22 20:27:47 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-22 20:28:45 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-22 20:28:57 → todda7 joins (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95)
2021-03-22 20:30:33 × todda7 quits (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95) (Remote host closed the connection)
2021-03-22 20:31:20 × supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-22 20:31:40 × RusAlex quits (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0)
2021-03-22 20:32:05 → todda7 joins (~torstein@2a02:587:1b19:7e00:c6c7:4f08:2883:aa95)
2021-03-22 20:32:25 × LogicUpgrade quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-22 20:32:28 × Mugfugha quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-22 20:32:39 → conal joins (~conal@64.71.133.70)
2021-03-22 20:32:45 × conal quits (~conal@64.71.133.70) (Client Quit)
2021-03-22 20:33:03 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-22 20:37:38 → frozenErebus joins (~frozenEre@94.128.81.87)
←Prev  Next→
Page 1 .. 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 .. 5022

All times are in UTC.