Logs: liberachat/#haskell
| 2025-11-11 15:35:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-11-11 15:37:50 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-11 15:40:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 15:41:23 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-11-11 15:42:08 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-11 15:49:13 | → | karenw joins (~karenw@user/karenw) |
| 2025-11-11 15:54:22 | <haskellbridge> | <Morj> Thanks to links shared above and some googling, I found some really good exercises, but not really any that utilize lazyness meaningfully. Does anyone have tasks specifically for implementing algorithms using lazy evaluation? |
| 2025-11-11 15:56:44 | × | Googulator70 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 15:57:04 | → | Googulator70 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-11 15:57:37 | → | tromp joins (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) |
| 2025-11-11 16:02:02 | <merijn> | Morj: I'm not sure if there's any good exercises for that |
| 2025-11-11 16:02:03 | <lucabtz> | what does haskellbridge bridge to? |
| 2025-11-11 16:02:11 | <merijn> | lucabtz: matrix |
| 2025-11-11 16:02:13 | <haskellbridge> | <Morj> To matrix |
| 2025-11-11 16:02:21 | <lucabtz> | ah i see |
| 2025-11-11 16:03:19 | <haskellbridge> | <Morj> Ok, I guess I'll have to put a mental checknote to start gathering real life problems to create a set of such tasks... |
| 2025-11-11 16:03:41 | <haskellbridge> | <Morj> But I'm pretty sure I've seen a small set of such when I was studying myself. I just lost it now |
| 2025-11-11 16:05:37 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 16:05:37 | × | Googulator70 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 16:06:32 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-11 16:07:15 | <merijn> | Morj: You can have a look at the reverse state monad and tardis monads to get your mind broken |
| 2025-11-11 16:07:36 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-11 16:12:24 | → | Zemyla83 joins (~Zemyla@72.178.108.235) |
| 2025-11-11 16:13:57 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-11 16:15:07 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-11 16:15:20 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-11 16:15:53 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-11 16:22:59 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.6.3) |
| 2025-11-11 16:27:28 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-11-11 16:28:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-11-11 16:29:32 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-11-11 16:30:35 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-11-11 16:32:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 16:34:30 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 16:35:06 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 16:35:19 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-11 16:35:23 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-11 16:36:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-11 16:36:25 | ljdarj1 | is now known as ljdarj |
| 2025-11-11 16:43:58 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-11-11 16:44:18 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-11-11 16:45:45 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-11 16:47:53 | × | Sidney quits (~Sidney@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-11 16:50:53 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-11-11 16:54:29 | Zemyla83 | is now known as Zemyla |
| 2025-11-11 16:55:21 | <Zemyla> | I've got a matrix.org account, but when I try to join the rooms, I can't find them. How do I join? |
| 2025-11-11 16:58:31 | → | Jackneill_ joins (~Jackneill@188-143-82-63.pool.digikabel.hu) |
| 2025-11-11 16:59:47 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:00:36 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:00:53 | → | Zemyla9 joins (~Zemyla@72.178.108.235) |
| 2025-11-11 17:00:54 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-11 17:01:12 | × | Zemyla quits (~Zemyla@72.178.108.235) (Killed (NickServ (GHOST command used by Zemyla9))) |
| 2025-11-11 17:01:15 | Zemyla9 | is now known as Zemyla |
| 2025-11-11 17:01:27 | × | Jackneill quits (~Jackneill@188-143-82-32.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2025-11-11 17:05:35 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:05:38 | <haskellbridge> | <sm> Zemyla : all the haskell rooms can be found under https://matrix.to/#/#haskell-space:matrix.org |
| 2025-11-11 17:05:49 | → | Googulator joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:15:36 | × | Googulator quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:15:38 | → | Googulator77 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:20:56 | → | Googulator28 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:21:26 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-11 17:22:43 | × | Googulator77 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:24:02 | <haskellbridge> | <Zemyla> Thanks! |
| 2025-11-11 17:25:32 | × | Googulator28 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Client Quit) |
| 2025-11-11 17:25:39 | → | Googulator28 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-11 17:27:41 | Googulator28 | is now known as Googulator |
| 2025-11-11 17:30:05 | <geekosaur> | search is disabled on matrix.org still |
| 2025-11-11 17:30:49 | <haskellbridge> | <sm> the matrix.org room directory is still locked to a small subset of rooms, to be precise |
| 2025-11-11 17:30:51 | × | Googulator quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:30:52 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 17:39:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-11-11 17:40:13 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-11-11 17:40:50 | → | Googulator26 joins (~Googulato@80-95-87-101.pool.digikabel.hu) |
| 2025-11-11 17:40:54 | × | Googulator39 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 17:45:01 | <EvanR> | trapped in the matrix |
| 2025-11-11 17:56:59 | <haskellbridge> | <sm> I hope they'll get it together and open the darn thing by 2026 >:/ |
| 2025-11-11 17:57:17 | × | Zemyla quits (~Zemyla@72.178.108.235) (Ping timeout: 250 seconds) |
| 2025-11-11 18:05:09 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-11 18:06:11 | → | ft joins (~ft@p4fc2aaeb.dip0.t-ipconnect.de) |
| 2025-11-11 18:10:43 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 18:11:46 | × | Googulator26 quits (~Googulato@80-95-87-101.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 18:16:13 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 264 seconds) |
| 2025-11-11 18:26:42 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-11 18:26:42 | × | synchromesh quits (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) (Read error: Connection reset by peer) |
| 2025-11-11 18:27:47 | → | synchromesh joins (~john@2406:5a00:2412:2c00:ed84:4ebe:de81:99a2) |
| 2025-11-11 18:30:39 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-11 18:30:45 | → | Googulator8 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-11 18:31:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-11 18:33:58 | <tomsmeding> | should I expend the effort to have the logs be in UTC |
| 2025-11-11 18:34:20 | <haskellbridge> | <Zemyla> How much effort would it be to rewrite old logs? |
| 2025-11-11 18:36:14 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-11 18:38:55 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-11-11 18:40:26 | <EvanR> | what timezone are they in now? |
| 2025-11-11 18:48:18 | × | tromp quits (~textual@2001:1c00:3487:1b00:bd50:5f58:be67:a48d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-11 18:48:51 | <tomsmeding> | EvanR: whatever my VPS was already in, which is Europe/Amsterdam, which even has DST in summer |
| 2025-11-11 18:49:26 | <EvanR> | lovely |
| 2025-11-11 18:49:48 | <EvanR> | I vote to convert it to aztec calendar |
| 2025-11-11 18:50:15 | <tomsmeding> | and I now see that means that we lose one hour of logs every october? |
| 2025-11-11 18:50:22 | <EvanR> | what |
| 2025-11-11 18:50:37 | × | Googulator8 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.