Logs: liberachat/#haskell
| 2026-05-01 21:02:08 | → | kimiamania40 joins (~67ff9c51@user/kimiamania) |
| 2026-05-01 21:18:43 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 244 seconds) |
| 2026-05-01 21:20:48 | layline_ | is now known as layline-away |
| 2026-05-01 21:22:29 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2026-05-01 21:24:45 | → | yin joins (~zero@user/zero) |
| 2026-05-01 21:32:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 21:33:06 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2026-05-01 21:34:10 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2026-05-01 21:36:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-01 21:38:56 | × | layline-away quits (~layline@149.154.26.170) (Quit: ZZZzzz…) |
| 2026-05-01 21:41:27 | × | mniip quits (mniip@libera/staff-emeritus/mniip) (Ping timeout: 246 seconds) |
| 2026-05-01 21:44:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2026-05-01 21:45:54 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 2026-05-01 21:48:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 21:50:35 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-05-01 21:51:25 | → | mniip joins (mniip@libera/staff-emeritus/mniip) |
| 2026-05-01 21:52:19 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2026-05-01 21:53:53 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-05-01 21:54:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-01 22:04:58 | → | layline_ joins (~layline@149.154.26.170) |
| 2026-05-01 22:08:56 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-05-01 22:12:12 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-05-01 22:15:09 | × | koraynilay quits (~koraynila@user/koraynilay) (Ping timeout: 255 seconds) |
| 2026-05-01 22:17:55 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-05-01 22:17:55 | ChanServ | sets mode +v haskellbridge |
| 2026-05-01 22:23:09 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-01 22:23:23 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-05-01 22:26:16 | × | Googulator25 quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-01 22:26:30 | → | Googulator25 joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 22:48:40 | × | tromp quits (~textual@2001:1c00:340e:2700:3014:1d91:d127:9421) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-01 22:50:29 | → | puke joins (~puke@user/puke) |
| 2026-05-01 22:50:58 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-05-01 22:55:20 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 244 seconds) |
| 2026-05-01 23:13:36 | → | potatoes joins (~AdminUser@user/potatoes) |
| 2026-05-01 23:15:51 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-01 23:19:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 23:21:13 | × | r1bilski quits (~r1bilski@user/r1bilski) (Ping timeout: 272 seconds) |
| 2026-05-01 23:22:49 | layline_ | is now known as layline-away |
| 2026-05-01 23:26:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 23:29:44 | layline-away | is now known as layline_ |
| 2026-05-01 23:34:31 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2026-05-01 23:41:09 | → | alter2000 joins (~alter2000@user/alter2000) |
| 2026-05-01 23:41:34 | → | Googulator81 joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-01 23:44:47 | × | Googulator25 quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-05-01 23:45:22 | × | alter2000 quits (~alter2000@user/alter2000) (Ping timeout: 248 seconds) |
| 2026-05-01 23:46:56 | <mra> | quick question: given some fixed type Foo, the type Foo -> a is a monad, with return a = \_ -> a and bind a f = \foo -> f (a foo) foo. does this monad have a name? |
| 2026-05-01 23:47:35 | <int-e> | @unmtl Reader r a |
| 2026-05-01 23:47:35 | <lambdabot> | r -> a |
| 2026-05-01 23:48:46 | <int-e> | mra: If you've ever encountered "The Monad Reader", it's a pun on this monad, the reader monad. |
| 2026-05-01 23:49:58 | <mra> | oh, cool! that makes sense. i see it's also called the environment monad, which is basically what i'm using it for |
| 2026-05-01 23:52:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-01 23:53:02 | <EvanR> | that's a good monad! |
| 2026-05-01 23:53:26 | <EvanR> | ReaderT over IO is also clutch |
| 2026-05-01 23:57:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-01 23:57:24 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-02 00:00:10 | → | koraynilay joins (~koraynila@user/koraynilay) |
| 2026-05-02 00:00:26 | × | vetkat quits (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2026-05-02 00:00:43 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) |
| 2026-05-02 00:00:43 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:d5eb:812b:99c3:2aef) (Changing host) |
| 2026-05-02 00:00:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-05-02 00:00:56 | → | vetkat joins (~vetkat@user/vetkat) |
| 2026-05-02 00:04:25 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-05-02 00:09:31 | → | koraynil1 joins (~koraynila@user/koraynilay) |
| 2026-05-02 00:10:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-02 00:14:07 | × | koraynilay quits (~koraynila@user/koraynilay) (Quit: WeeChat 4.9.0) |
| 2026-05-02 00:14:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-02 00:18:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-02 00:23:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-02 00:23:48 | × | Googulator81 quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 00:24:05 | → | Googulator81 joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 00:28:00 | → | straybits joins (~straybits@d205-206-131-33.abhsia.telus.net) |
| 2026-05-02 00:28:00 | × | straybits quits (~straybits@d205-206-131-33.abhsia.telus.net) (Changing host) |
| 2026-05-02 00:28:00 | → | straybits joins (~straybits@user/straybits) |
| 2026-05-02 00:30:38 | koraynil1 | is now known as koraynilay |
| 2026-05-02 00:33:46 | → | acidjnk_new joins (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) |
| 2026-05-02 00:35:03 | × | acidjnk_new quits (~acidjnk@p200300d6e700e502fcdfc9aba4dec970.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2026-05-02 00:35:20 | → | acidjnk_new joins (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) |
| 2026-05-02 00:36:56 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-05-02 00:36:58 | × | acidjnk quits (~acidjnk@p200300d6e700e502a809cbb305ffb279.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:39:19 | × | bkani_ quits (~bkani@user/bkani) (Ping timeout: 264 seconds) |
| 2026-05-02 00:46:04 | × | acidjnk_new quits (~acidjnk@p200300d6e700e50266a6dc0fb4f32b33.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-05-02 00:46:38 | × | _\_ quits (~o@user/offon) (Quit: ___) |
| 2026-05-02 00:47:05 | → | _\_ joins (~o@user/offon) |
| 2026-05-02 00:53:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-05-02 00:54:30 | → | LdyIQ joins (~SaintGena@user/SaintGenavieve) |
| 2026-05-02 01:01:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-02 01:02:50 | × | Googulator81 quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-02 01:03:07 | → | Googulator81 joins (~Googulato@84-236-65-50.pool.digikabel.hu) |
| 2026-05-02 01:04:22 | → | ystael joins (~ystael@user/ystael) |
| 2026-05-02 01:12:08 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-05-02 01:16:52 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-02 01:17:16 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-02 01:42:27 | → | pyook joins (~puke@user/puke) |
| 2026-05-02 01:42:27 | puke | is now known as Guest8083 |
| 2026-05-02 01:42:27 | pyook | is now known as puke |
| 2026-05-02 01:43:30 | × | Guest8083 quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-05-02 02:00:02 | × | Flow quits (~none@gentoo/developer/flow) (Quit: WeeChat 4.7.2) |
| 2026-05-02 02:01:09 | → | Flow joins (~none@gentoo/developer/flow) |
| 2026-05-02 02:02:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-05-02 02:08:22 | × | Googulator81 quits (~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed) |
All times are in UTC.