Logs: liberachat/#haskell
| 2026-01-23 14:41:43 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-01-23 14:43:51 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:c49:b7ff:fe30:b590) (Read error: Connection reset by peer) |
| 2026-01-23 14:44:24 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:e02b:53ff:fe18:58a7) |
| 2026-01-23 14:44:24 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2026-01-23 14:44:43 | × | fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds) |
| 2026-01-23 14:44:47 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-23 14:44:59 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2026-01-23 14:45:13 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-23 14:46:19 | → | Core7076 joins (~Zemy@mobile-107-80-206-16.mycingular.net) |
| 2026-01-23 14:48:54 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:e02b:53ff:fe18:58a7) (Ping timeout: 260 seconds) |
| 2026-01-23 14:49:33 | × | Zemy_ quits (~Zemy@12.50.228.210) (Ping timeout: 265 seconds) |
| 2026-01-23 14:51:05 | → | nek0 joins (~nek0@user/nek0) |
| 2026-01-23 14:55:57 | → | st_aldini joins (~Thunderbi@136.48.46.187) |
| 2026-01-23 14:56:25 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:a4b2:14ff:fe15:3e1e) |
| 2026-01-23 14:56:39 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-23 14:57:47 | → | danza joins (~danza@user/danza) |
| 2026-01-23 15:00:40 | × | Core7076 quits (~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 265 seconds) |
| 2026-01-23 15:04:40 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-23 15:04:43 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-23 15:04:56 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-23 15:05:40 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-23 15:08:09 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:a4b2:14ff:fe15:3e1e) (Ping timeout: 260 seconds) |
| 2026-01-23 15:17:29 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:40a4:72ff:fef0:aeb0) |
| 2026-01-23 15:17:43 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-23 15:18:08 | Googulator63 | is now known as Googulator |
| 2026-01-23 15:18:23 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-23 15:21:46 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:40a4:72ff:fef0:aeb0) (Ping timeout: 246 seconds) |
| 2026-01-23 15:25:15 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-01-23 15:28:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 15:35:27 | → | danz33286 joins (~danza@user/danza) |
| 2026-01-23 15:35:58 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 2026-01-23 15:37:44 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:1c6f:88ff:fed8:ebd3) |
| 2026-01-23 15:37:45 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-23 15:37:54 | × | danza quits (~danza@user/danza) (Ping timeout: 260 seconds) |
| 2026-01-23 15:38:19 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-23 15:42:04 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:1c6f:88ff:fed8:ebd3) (Ping timeout: 246 seconds) |
| 2026-01-23 15:46:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2026-01-23 15:47:37 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-23 15:53:34 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 2026-01-23 15:54:37 | → | AndreiDuma_ joins (~AndreiDum@user/AndreiDuma) |
| 2026-01-23 15:55:36 | ← | AndreiDuma_ parts (~AndreiDum@user/AndreiDuma) () |
| 2026-01-23 15:56:28 | ← | AndreiDuma parts (~AndreiDum@user/AndreiDuma) () |
| 2026-01-23 15:58:54 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-23 15:59:56 | <mauke> | bwe: you might not even need the "modify" part. atomicWriteIORef is also an option, then |
| 2026-01-23 16:02:15 | <mauke> | for the "modify" version, you supply a function of type `a -> (a, b)` where the argument is the old value stored in the IORef, the first component of the result is the new value to be stored in the IORef, and the second component of the result is the value to return from the whole operation |
| 2026-01-23 16:03:59 | <mauke> | so if you can compute the new value without access to the old value, you can ignore the argument: atomicModifyIORef' myref (\_ -> (newvalue, ())) |
| 2026-01-23 16:04:33 | <mauke> | which is roughly equivalent to atomicWriteIORef myref newvalue (modulo strictness) |
| 2026-01-23 16:05:07 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-01-23 16:05:21 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 2026-01-23 16:20:02 | × | st_aldini quits (~Thunderbi@136.48.46.187) (Quit: st_aldini) |
| 2026-01-23 16:29:51 | <chromoblob> | Leary: i like your indentation, but code is hard to undersrand |
| 2026-01-23 16:31:15 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 272 seconds) |
| 2026-01-23 16:32:43 | × | Zemy_ quits (~Zemy@72.178.108.235) (Remote host closed the connection) |
| 2026-01-23 16:32:57 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-23 16:33:45 | <geekosaur> | that's normal 🙂 |
| 2026-01-23 16:39:08 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-23 16:47:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2026-01-23 16:47:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-23 16:48:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-23 16:50:11 | → | Psychotic1 joins (~Psychotic@2600:1007:b0a4:acff:921e:44c6:4ad9:edda) |
| 2026-01-23 16:54:35 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-23 17:00:08 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-01-23 17:00:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 17:01:35 | → | Zemy_ joins (~Zemy@2600:100c:b0a7:500d:ace7:8eff:fe84:f696) |
| 2026-01-23 17:03:57 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2026-01-23 17:04:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-01-23 17:07:00 | Digitteknohippie | is now known as Digit |
| 2026-01-23 17:07:50 | → | Zemy joins (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2026-01-23 17:09:06 | → | comerijn joins (~merijn@77.242.116.146) |
| 2026-01-23 17:09:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2026-01-23 17:09:55 | × | Zemy_ quits (~Zemy@2600:100c:b0a7:500d:ace7:8eff:fe84:f696) (Ping timeout: 246 seconds) |
| 2026-01-23 17:10:10 | <gentauro> | oskarw: how did the interview go? |
| 2026-01-23 17:10:12 | <gentauro> | :) |
| 2026-01-23 17:17:00 | → | Zemy_ joins (~Zemy@2600:100c:b0a7:500d:2c0a:a9ff:fe19:34cb) |
| 2026-01-23 17:17:06 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 17:17:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-23 17:20:25 | × | Zemy quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 246 seconds) |
| 2026-01-23 17:20:46 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-01-23 17:21:44 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 260 seconds) |
| 2026-01-23 17:30:01 | → | Zemy joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 17:32:51 | <oskarw> | gentauro: Hi, unfortunately after getting my CV to HR today I get email that they will not proceed with my application and I didn't have interview |
| 2026-01-23 17:32:53 | <oskarw> | :( |
| 2026-01-23 17:33:23 | <oskarw> | I will have more time with finishing SICP I guess |
| 2026-01-23 17:33:24 | × | Zemy_ quits (~Zemy@2600:100c:b0a7:500d:2c0a:a9ff:fe19:34cb) (Ping timeout: 260 seconds) |
| 2026-01-23 17:34:16 | × | Zemy quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Read error: Connection reset by peer) |
| 2026-01-23 17:34:28 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:1407:a3ff:fee3:4a48) |
| 2026-01-23 17:34:31 | trickard_ | is now known as trickard |
| 2026-01-23 17:35:00 | → | Zemy_ joins (~Zemy@mobile-107-80-206-24.mycingular.net) |
| 2026-01-23 17:35:11 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 17:35:52 | × | Zemy quits (~Zemy@2600:100c:b0a7:500d:1407:a3ff:fee3:4a48) (Read error: Connection reset by peer) |
| 2026-01-23 17:36:01 | → | Zemy joins (~Zemy@2600:100c:b0a7:500d:387b:fdff:feb0:4a62) |
| 2026-01-23 17:38:55 | × | Zemy_ quits (~Zemy@mobile-107-80-206-24.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-23 17:39:37 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Ping timeout: 250 seconds) |
| 2026-01-23 17:48:53 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-23 17:53:06 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 17:53:51 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 2026-01-23 17:53:52 | → | Square2 joins (~Square@user/square) |
| 2026-01-23 17:54:42 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-23 18:04:54 | <bwe> | mauke: that way I could actually union the delta from the new entries of the new state of the db with the old. |
| 2026-01-23 18:06:07 | <bwe> | tomsmeding, mauke: is there some minimum working example with IORef (and forkIO) that you can recommend? |
All times are in UTC.