Logs: liberachat/#haskell
| 2026-01-18 19:11:16 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-18 19:13:14 | DetourNe- | is now known as DetourNetworkUK |
| 2026-01-18 19:14:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:18:18 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-18 19:22:31 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-18 19:23:39 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-18 19:24:22 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-18 19:24:30 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-18 19:25:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 19:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:31:14 | → | acidjnk joins (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) |
| 2026-01-18 19:38:35 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-01-18 19:39:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-01-18 19:41:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 19:41:23 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-01-18 19:45:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 19:51:16 | → | superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net) |
| 2026-01-18 19:56:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 20:01:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:04:24 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-18 20:12:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 20:13:15 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-18 20:13:58 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 20:18:13 | → | pavonia joins (~user@user/siracusa) |
| 2026-01-18 20:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:23:55 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-18 20:25:45 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-01-18 20:25:59 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-18 20:26:47 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 20:27:00 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 20:30:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 20:35:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-18 20:35:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 20:37:20 | <thenightmail> | so I'm taking physics 2 and discrete math this semester. I plan on using haskell for checking work / implementing some stuff. Is there any obvious libraries I ought to know of or is this stuff built into the language? I'll get the syllabus in a couple of days to know for sure what I need, but it seems like these entire courses are trivialized by using haskell. |
| 2026-01-18 20:38:45 | <thenightmail> | specifically with physics I found the learn-physics library which I think goes along with the book Learn Physics with Functional Programming, guess I'm looking for something of the sorts for discrete mathematics, but it is probably just built into the language from what I've seen |
| 2026-01-18 20:40:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-18 20:41:28 | <thenightmail> | there is the book Discrete Mathematics Using a Computer which might be what I'm looking for. hmm |
| 2026-01-18 20:46:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 20:50:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 21:01:41 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:01:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 21:01:55 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:05:36 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-01-18 21:07:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 21:08:49 | <thenightmail> | alright I'm finding lots of books now, never mind https://wiki.haskell.org/index.php?title=Books |
| 2026-01-18 21:09:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-18 21:16:41 | × | michalz_ quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-01-18 21:17:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 21:19:10 | → | Zemy joins (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) |
| 2026-01-18 21:20:17 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-18 21:21:24 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2026-01-18 21:21:34 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-01-18 21:21:54 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:5a54:82cc:d405:8239) |
| 2026-01-18 21:22:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 21:24:15 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2026-01-18 21:27:12 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2026-01-18 21:27:27 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-01-18 21:30:50 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:31:04 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:33:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 21:38:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 21:43:11 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-18 21:48:25 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:48:38 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:49:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 21:53:09 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-18 21:55:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-18 21:56:43 | × | Zemy quits (~Zemy@2600:100c:b04a:4ffa:497:59ff:fed0:974a) (Ping timeout: 246 seconds) |
| 2026-01-18 21:56:51 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-18 22:00:45 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-18 22:07:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 22:07:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-18 22:11:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 22:17:55 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-18 22:22:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 22:23:07 | → | spew joins (~spew@user/spew) |
| 2026-01-18 22:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 22:27:31 | × | malte quits (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-01-18 22:27:38 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-18 22:28:39 | × | lisq_ quits (~quassel@lis.moe) (Ping timeout: 252 seconds) |
| 2026-01-18 22:30:24 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-01-18 22:30:56 | → | mange joins (~mange@user/mange) |
| 2026-01-18 22:31:39 | → | st_aldini1 joins (~Thunderbi@136.48.46.187) |
| 2026-01-18 22:35:29 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7426:e89f:cd5f:b143:6c97) (Ping timeout: 260 seconds) |
| 2026-01-18 22:35:29 | st_aldini1 | is now known as st_aldini |
| 2026-01-18 22:38:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 22:43:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 22:54:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 22:54:56 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-18 22:55:10 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Ping timeout: 246 seconds) |
| 2026-01-18 22:56:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:f96f:f7c1:9b58:4be8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-18 22:56:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2026-01-18 22:58:01 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 244 seconds) |
| 2026-01-18 22:59:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-18 23:09:36 | trickard_ | is now known as trickard |
| 2026-01-18 23:10:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 23:11:39 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2026-01-18 23:14:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 23:16:45 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-18 23:18:45 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.