Logs: liberachat/#haskell
| 2026-04-22 20:57:10 | × | michalz quits (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-04-22 20:59:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 21:02:52 | digitteknohippie | is now known as Digit |
| 2026-04-22 21:04:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 21:05:31 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) |
| 2026-04-22 21:05:31 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a56a:4a91:e4ea:bb3f) (Changing host) |
| 2026-04-22 21:05:31 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 21:14:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 21:16:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-22 21:20:53 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:21:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-22 21:26:39 | → | pavonia joins (~user@user/siracusa) |
| 2026-04-22 21:28:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 21:32:35 | <haskellbridge> | <Liamzee> does anyone know if Discord mirrors are now legal? |
| 2026-04-22 21:32:42 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 21:33:09 | <haskellbridge> | <Liamzee> man, this webdev stuff is nuts, you can have Haskell be a secure backend over multiple clients, and vibecode the client |
| 2026-04-22 21:34:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 21:38:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 21:47:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 21:49:45 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-22 21:51:05 | <monochrom> | EvanR: Yeah I thought about saying "I'm going to be facetious, html and css have no bottoms either, are you happy now?" :) |
| 2026-04-22 21:51:56 | <monochrom> | (facetious in implying "html is a programming language too" and starting WW3) |
| 2026-04-22 21:52:10 | <EvanR> | HTML is just a dumb programming language |
| 2026-04-22 21:54:07 | × | craunts795335385 quits (~craunts@152.32.100.66) (Ping timeout: 276 seconds) |
| 2026-04-22 21:54:24 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-22 21:54:49 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Ping timeout: 248 seconds) |
| 2026-04-22 21:55:42 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-22 21:56:19 | <EvanR> | this ought to satisfy either camp |
| 2026-04-22 21:56:48 | <monochrom> | No I think it angers both camps. :) |
| 2026-04-22 21:57:18 | <monochrom> | one side is like "whadayamean programming language", the other "whadayamean dumb" |
| 2026-04-22 21:58:35 | <EvanR> | lol |
| 2026-04-22 21:58:55 | × | yin quits (~zero@user/zero) (Ping timeout: 245 seconds) |
| 2026-04-22 22:02:38 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-22 22:04:21 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-04-22 22:05:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 22:10:05 | → | yin joins (~zero@user/zero) |
| 2026-04-22 22:10:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-22 22:10:53 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-22 22:14:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-22 22:17:02 | × | ephapticpulse quits (~user@user/ephapticpulse) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2026-04-22 22:22:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 22:27:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-22 22:34:57 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-22 22:38:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 22:40:50 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 2026-04-22 22:41:56 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-22 22:43:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 22:52:46 | × | Pozyomka_ quits (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |
| 2026-04-22 22:53:04 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-04-22 22:53:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-22 22:54:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 22:54:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-22 22:56:30 | → | troojg joins (~troojg@user/troojg) |
| 2026-04-22 22:57:48 | <dibblego> | newtype Prism'' a b = Prism'' (Prism' a b) -- does anything like this exist as a data type around a type synonym? |
| 2026-04-22 23:01:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 23:05:17 | → | Guest12 joins (~Guest78@2a02:8084:1:3f80:4ad3:165:cd50:2b7a) |
| 2026-04-22 23:12:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 23:14:47 | × | Guest12 quits (~Guest78@2a02:8084:1:3f80:4ad3:165:cd50:2b7a) (Ping timeout: 245 seconds) |
| 2026-04-22 23:15:05 | × | tremon quits (~tremon@83.80.159.219) (Ping timeout: 265 seconds) |
| 2026-04-22 23:15:16 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:206f:300b:1ef9:5293) |
| 2026-04-22 23:15:16 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:206f:300b:1ef9:5293) (Changing host) |
| 2026-04-22 23:15:16 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 23:15:44 | hadronized | is now known as hadronizedd |
| 2026-04-22 23:16:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 23:17:21 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 23:19:10 | → | hadronized joins (2d33342fd7@2a03:6000:1812:100::14e0) |
| 2026-04-22 23:21:37 | × | hadronizedd quits (~hadronize@2001:41d0:a:fe76::1) (Quit: WeeChat 3.8) |
| 2026-04-22 23:22:57 | <jackdk> | dibblego: what is that thing? |
| 2026-04-22 23:25:07 | <dibblego> | a wrapper around Prism' so that I can use it in a data type position |
| 2026-04-22 23:26:30 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-22 23:27:13 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-04-22 23:28:53 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-04-22 23:29:20 | <haskellbridge> | <ozkutuk> dibblego: ReifiedPrism |
| 2026-04-22 23:32:05 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 272 seconds) |
| 2026-04-22 23:42:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 23:46:59 | <dibblego> | thanks! |
| 2026-04-22 23:47:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 23:47:52 | × | arkeet quits (arkeet@moriya.ca) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-22 23:49:13 | → | arkeet joins (~arkeet@moriya.ca) |
| 2026-04-22 23:52:25 | <dibblego> | wait, they are still four argument data types |
| 2026-04-22 23:53:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-22 23:53:17 | → | czan joins (~czan@user/mange) |
| 2026-04-22 23:56:28 | × | tok quits (~user@user/tok) (Remote host closed the connection) |
| 2026-04-22 23:58:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 23:59:55 | × | jreicher quits (~joelr@user/jreicher) (Ping timeout: 264 seconds) |
| 2026-04-23 00:01:31 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-23 00:08:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 00:13:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 00:14:28 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kjabckjas) |
| 2026-04-23 00:14:51 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2026-04-23 00:21:45 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 00:21:58 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:24:09 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-23 00:24:13 | → | Googulator25 joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:24:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 00:27:42 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 00:29:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-23 00:37:01 | → | tt1231607019785 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) |
| 2026-04-23 00:37:11 | → | degraafk_ joins (sid71464@2a03:5180:f:2::1:1728) |
| 2026-04-23 00:37:13 | → | aristid_ joins (sid1599@id-1599.uxbridge.irccloud.com) |
All times are in UTC.