Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 .. 5022
— 502,152 events total
2021-03-24 03:40:48 × slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-03-24 03:40:51 × bitmagie quits (~Thunderbi@200116b806323f00a9345f0cd31bb1ac.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-24 03:41:01 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:41:20 × solidus-river quits (~fuag1@174.127.249.180) (Quit: Leaving)
2021-03-24 03:42:13 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:43:00 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:44:11 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:45:36 × theDon quits (~td@muedsl-82-207-238-243.citykom.de) (Ping timeout: 265 seconds)
2021-03-24 03:47:06 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 03:47:08 → theDon joins (~td@94.134.91.247)
2021-03-24 03:48:00 → raym joins (~ray@115.187.32.14)
2021-03-24 03:48:21 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 03:50:06 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:52:10 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 03:52:21 → notzmv joins (~zmv@unaffiliated/zmv)
2021-03-24 03:53:15 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:53:25 × nfd quits (~nfd9001@2601:602:77f:1820:144a:da71:587f:e0c7) (Ping timeout: 244 seconds)
2021-03-24 03:54:46 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:56:10 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 03:56:23 → Sathiana joins (~kath@185-113-98-38.cust.bredband2.com)
2021-03-24 03:57:12 × __minoru__shirae quits (~shiraeesh@46.34.207.185) (Ping timeout: 265 seconds)
2021-03-24 03:58:44 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-24 03:58:44 finn_elija is now known as Guest32817
2021-03-24 03:58:44 FinnElija is now known as finn_elija
2021-03-24 04:00:38 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-24 04:00:46 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:02:03 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-03-24 04:02:29 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-24 04:02:29 FinnElija is now known as finn_elija
2021-03-24 04:02:36 × Guest32817 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-03-24 04:02:59 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:04:04 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:04:21 → Rudd0 joins (~Rudd0@185.189.115.108)
2021-03-24 04:06:51 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 04:07:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 04:08:48 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-03-24 04:11:26 × Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.1)
2021-03-24 04:12:17 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2021-03-24 04:12:51 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:13:22 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 04:19:18 × alx741 quits (~alx741@186.178.108.164) (Quit: alx741)
2021-03-24 04:19:26 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds)
2021-03-24 04:19:50 × _Alleria quits (~AllahuAkb@2603-7000-3040-0000-e868-95dd-6dea-dfa1.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-03-24 04:20:28 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:20:34 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 04:21:00 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 04:22:09 × Noldorin quits (~noldorin@unaffiliated/noldorin) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2021-03-24 04:22:29 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 04:22:36 × ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 240 seconds)
2021-03-24 04:24:03 × darjeeling_ quits (~darjeelin@122.245.208.187) (Ping timeout: 246 seconds)
2021-03-24 04:26:15 <zebrag> I want to get rid of "represented" in "the representable functor represented by X" while not resorting to notation. And preferably keeping the "first" "representable".
2021-03-24 04:26:54 <Axman6> "the representable functor X"?
2021-03-24 04:26:57 × toorevitimirp quits (~tooreviti@117.182.183.55) (Ping timeout: 260 seconds)
2021-03-24 04:28:10 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:28:14 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 264 seconds)
2021-03-24 04:28:47 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:28:48 <zebrag> Not sure I, myself, would understand that, because X being an object... I would be confused for a while
2021-03-24 04:28:59 → geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-24 04:29:16 <Axman6> I don't understand the original sentense so that's the best I can do :)
2021-03-24 04:29:26 × azure1 quits (~azure@103.154.230.130) (Ping timeout: 264 seconds)
2021-03-24 04:29:36 <zebrag> thanks
2021-03-24 04:29:53 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:29:56 → ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2021-03-24 04:30:26 → azure1 joins (~azure@103.154.230.130)
2021-03-24 04:33:02 × aarvar quits (~foewfoiew@2601:602:a080:fa0:49ff:dc3d:e55f:8dd) (Ping timeout: 264 seconds)
2021-03-24 04:33:50 → __minoru__shirae joins (~shiraeesh@46.34.207.185)
2021-03-24 04:35:38 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:39:20 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 04:40:53 → Alleria_ joins (~AllahuAkb@69.202.254.168)
2021-03-24 04:42:22 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:42:41 → RusAlex joins (~Chel@unaffiliated/rusalex)
2021-03-24 04:43:10 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 04:44:05 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-03-24 04:44:35 × __minoru__shirae quits (~shiraeesh@46.34.207.185) (Ping timeout: 256 seconds)
2021-03-24 04:46:20 → tpefreedom joins (~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-24 04:49:43 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 260 seconds)
2021-03-24 04:50:05 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 04:50:25 → haritz joins (~hrtz@62.3.70.206)
2021-03-24 04:50:25 × haritz quits (~hrtz@62.3.70.206) (Changing host)
2021-03-24 04:50:25 → haritz joins (~hrtz@unaffiliated/haritz)
2021-03-24 04:52:52 → plutoniix joins (~q@node-uqb.pool-125-24.dynamic.totinternet.net)
2021-03-24 05:00:05 → Alleria joins (~textual@69.202.254.168)
2021-03-24 05:00:28 Alleria is now known as Guest65675
2021-03-24 05:01:27 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 05:02:08 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-03-24 05:02:44 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2021-03-24 05:03:26 → pfurla joins (~pfurla@216.151.180.226)
2021-03-24 05:03:37 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-24 05:03:41 × astroanax quits (astroanax@gateway/shell/ircnow/x-ugavefgpyfztxwoh) (Ping timeout: 244 seconds)
2021-03-24 05:04:59 × Guest65675 quits (~textual@69.202.254.168) (Ping timeout: 256 seconds)
2021-03-24 05:05:27 × carlomagno quits (~cararell@148.87.23.5) (Quit: Leaving.)
2021-03-24 05:05:42 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 05:06:19 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-24 05:07:37 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 05:11:26 → paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-03-24 05:13:26 → forgottenone joins (~forgotten@176.42.23.95)
2021-03-24 05:14:33 → fffff joins (7712037d@119-18-3-125.771203.syd.nbn.aussiebb.net)
2021-03-24 05:15:58 × MrMobius quits (~MrMobius@208.58.206.154) (Read error: No route to host)
2021-03-24 05:16:53 → frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-24 05:17:08 → MrMobius joins (~MrMobius@208.58.206.154)
←Prev  Next→
Page 1 .. 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 .. 5022

All times are in UTC.