Logs: liberachat/#haskell
| 2026-02-12 07:17:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-12 07:20:11 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-12 07:24:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-12 07:30:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-02-12 07:34:54 | → | Adran joins (~adran@botters/adran) |
| 2026-02-12 07:35:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-12 07:35:54 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2026-02-12 07:36:33 | × | Enrico63 quits (~Enrico63@host-79-22-157-220.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-12 07:39:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-12 07:46:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2026-02-12 07:49:44 | × | ft quits (~ft@p4fc2afab.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-12 07:51:11 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-12 07:56:48 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-12 08:00:55 | → | trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-12 08:01:30 | → | oskarw joins (~user@user/oskarw) |
| 2026-02-12 08:02:37 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-12 08:03:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-12 08:04:45 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-02-12 08:05:17 | → | frio joins (~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) |
| 2026-02-12 08:06:23 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Ping timeout: 252 seconds) |
| 2026-02-12 08:07:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-12 08:12:55 | → | AlexNoo joins (~AlexNoo@85.174.182.59) |
| 2026-02-12 08:17:24 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-12 08:17:42 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 08:18:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-12 08:22:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-12 08:37:06 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-12 08:37:06 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2026-02-12 08:37:06 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-12 08:37:35 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2026-02-12 08:37:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-02-12 08:37:43 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-02-12 08:38:37 | × | w00ter quits (~w00ter@user/w00ter) (Read error: Connection reset by peer) |
| 2026-02-12 08:38:51 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-12 08:39:10 | → | w00ter joins (~w00ter@user/w00ter) |
| 2026-02-12 08:40:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-12 08:44:42 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-12 08:45:37 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-12 08:54:41 | → | Lears joins (~Leary@user/Leary/x-0910699) |
| 2026-02-12 08:56:25 | × | Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 264 seconds) |
| 2026-02-12 08:57:05 | <dutchie> | (^ 2) vs -Wtype-defaults :( |
| 2026-02-12 09:00:32 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-12 09:01:05 | <haskellbridge> | <Morj> The bane of my mathematical code |
| 2026-02-12 09:01:05 | <haskellbridge> | <Morj> When i make my own prelude, maybe i'll make it less polymorphic |
| 2026-02-12 09:04:31 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 2026-02-12 09:04:33 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-12 09:04:41 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-12 09:05:00 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-12 09:05:20 | × | wickedjargon quits (~user@2605:8d80:5431:6065:7b8a:6513:6c7e:c79c) (Ping timeout: 245 seconds) |
| 2026-02-12 09:07:06 | <tomsmeding> | whenever I use (^) and care about how my code looks I go `import Prelude hiding ((^)); import qualified Prelude; (^) :: Num a => a -> Int -> a ; (^) = (Prelude.^)` |
| 2026-02-12 09:07:30 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-12 09:07:49 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-12 09:10:01 | <Lears> | I usually just write `x * x`. |
| 2026-02-12 09:10:02 | → | akegalj joins (~akegalj@78-3-67-163.adsl.net.t-com.hr) |
| 2026-02-12 09:10:40 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2026-02-12 09:10:49 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 264 seconds) |
| 2026-02-12 09:13:37 | → | fgarcia joins (~lei@user/fgarcia) |
| 2026-02-12 09:16:59 | × | frio quits (~frio@2001:4450:49e5:4b00:8dd7:7de8:24ff:3397) (Quit: bye guys!) |
| 2026-02-12 09:21:41 | → | mange joins (~mange@user/mange) |
| 2026-02-12 09:22:28 | × | trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-12 09:22:41 | → | trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2026-02-12 09:28:55 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-12 09:29:10 | → | Googulator joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 09:32:19 | → | Googulator86 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 09:32:36 | × | Googulator quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-12 09:33:25 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-12 09:34:28 | → | Enrico63 joins (~Enrico63@host-82-63-21-32.business.telecomitalia.it) |
| 2026-02-12 09:39:38 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 2026-02-12 09:47:07 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 2026-02-12 09:47:19 | × | foul_owl quits (~kerry@94.156.149.97) (Read error: Connection reset by peer) |
| 2026-02-12 09:49:24 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-12 09:49:41 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-12 09:52:12 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2026-02-12 09:54:05 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 2026-02-12 09:55:28 | → | Alex_delenda_est joins (~al_test@85.174.182.59) |
| 2026-02-12 09:55:32 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-02-12 09:57:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-02-12 09:58:35 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 09:59:07 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 2026-02-12 09:59:24 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-12 09:59:41 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 10:00:01 | → | castan joins (~castan@2a02:2f0f:8210:d800:da5c:bad1:bc6a:32c0) |
| 2026-02-12 10:02:35 | <castan> | hi! is this thing on |
| 2026-02-12 10:03:00 | → | Alex_delenda_est joins (~al_test@85.174.182.59) |
| 2026-02-12 10:03:19 | <chromoblob> | hi castan |
| 2026-02-12 10:03:25 | <[exa]> | castan: always |
| 2026-02-12 10:03:57 | → | AlexZenon joins (~alzenon@85.174.182.59) |
| 2026-02-12 10:03:58 | → | foul_owl joins (~kerry@94.156.149.92) |
| 2026-02-12 10:04:24 | → | Googulator88 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-12 10:04:26 | × | Googulator86 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-12 10:05:25 | × | mud quits (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2026-02-12 10:05:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-12 10:06:05 | trickard_ | is now known as trickard |
| 2026-02-12 10:06:26 | → | mud joins (~mud@user/kadoban) |
| 2026-02-12 10:07:23 | × | Alex_delenda_est quits (~al_test@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 10:07:37 | <castan> | great, I'm a bit confused as to why 1 == 1 typechecks, since Num does not inherit Eq |
| 2026-02-12 10:08:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:5913:697:5f95:d198) |
| 2026-02-12 10:08:29 | × | AlexZenon quits (~alzenon@85.174.182.59) (Ping timeout: 252 seconds) |
| 2026-02-12 10:08:34 | <Lears> | % :seti -Wtype-defaults |
| 2026-02-12 10:08:34 | <yahb2> | <no output> |
All times are in UTC.