Logs: liberachat/#haskell
| 2026-04-20 07:46:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 265 seconds) |
| 2026-04-20 07:53:55 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 07:56:04 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 07:56:24 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 07:56:48 | × | Ekho quits (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2026-04-20 07:59:46 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 08:00:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 08:03:16 | × | archking1 quits (~archking@wlan-napt-001.u-aizu.ac.jp) (Ping timeout: 276 seconds) |
| 2026-04-20 08:03:39 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-04-20 08:05:35 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 08:05:40 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-04-20 08:06:34 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:7c7a:8bee:35c7:3ab6) |
| 2026-04-20 08:06:34 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:7c7a:8bee:35c7:3ab6) (Changing host) |
| 2026-04-20 08:06:34 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-20 08:08:07 | → | Ekho joins (~Ekho@user/ekho) |
| 2026-04-20 08:10:03 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-20 08:13:15 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-04-20 08:13:55 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-04-20 08:15:27 | × | xal quits (~xal@mx1.xal.systems) (Read error: Connection reset by peer) |
| 2026-04-20 08:15:35 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2026-04-20 08:15:46 | → | xal joins (~xal@mx1.xal.systems) |
| 2026-04-20 08:21:25 | → | archking1 joins (~archking@2404:7a83:23e1:9700:f47e:47ff:fe8c:91f4) |
| 2026-04-20 08:22:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-20 08:24:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2026-04-20 08:27:30 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-20 08:30:59 | × | ft quits (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-20 08:31:52 | × | archking1 quits (~archking@2404:7a83:23e1:9700:f47e:47ff:fe8c:91f4) (Ping timeout: 276 seconds) |
| 2026-04-20 08:32:40 | <gentauro> | do we have a similar function like this one -> https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-List.html#v:isPrefixOf that instead of returning a Bool, returns the index of the first occurence? |
| 2026-04-20 08:32:57 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Read error: Connection reset by peer) |
| 2026-04-20 08:33:09 | gentauro | if no occurence exists, the returned values should be -1 |
| 2026-04-20 08:33:20 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-04-20 08:34:18 | <gentauro> | oh, I guess it's this one -> https://hackage-content.haskell.org/package/MissingH-1.6.0.3/docs/Data-List-Utils.html#v:subIndex (Maybe type insted of Int) |
| 2026-04-20 08:43:34 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-20 08:43:59 | → | puke joins (~puke@user/puke) |
| 2026-04-20 08:44:08 | → | archking joins (~archking@2404:7a83:23e1:9700:9c39:afff:feeb:79e) |
| 2026-04-20 08:49:45 | × | archking quits (~archking@2404:7a83:23e1:9700:9c39:afff:feeb:79e) (Ping timeout: 248 seconds) |
| 2026-04-20 08:54:27 | × | koz_ quits (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-04-20 08:55:14 | → | koz joins (~koz@121.99.240.58) |
| 2026-04-20 08:56:22 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-04-20 09:01:22 | → | kuribas joins (~user@2a02-1810-2825-6000-8fe3-9553-464-1f7d.ip6.access.telenet.be) |
| 2026-04-20 09:08:50 | × | doyoueee quits (~duduonmy@2405:4803:c803:e7f0:f5ab:34e5:bb70:4792) (Quit: Leaving) |
| 2026-04-20 09:11:00 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2026-04-20 09:11:25 | × | jmct quits (sid160793@2a03:5180:f::2:7419) (Ping timeout: 245 seconds) |
| 2026-04-20 09:12:04 | → | archking joins (~archking@2404:7a83:23e1:9700:4417:bff:fe77:7fb8) |
| 2026-04-20 09:14:29 | → | jmct joins (sid160793@id-160793.tinside.irccloud.com) |
| 2026-04-20 09:14:38 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 2026-04-20 09:19:14 | × | archking quits (~archking@2404:7a83:23e1:9700:4417:bff:fe77:7fb8) (Ping timeout: 248 seconds) |
| 2026-04-20 09:27:33 | → | fp1 joins (~Thunderbi@wireless-86-50-141-149.open.aalto.fi) |
| 2026-04-20 09:33:02 | → | archking joins (~archking@2404:7a83:23e1:9700:1cc6:bff:fe8c:df07) |
| 2026-04-20 09:40:09 | × | archking quits (~archking@2404:7a83:23e1:9700:1cc6:bff:fe8c:df07) (Ping timeout: 246 seconds) |
| 2026-04-20 09:43:37 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 248 seconds) |
| 2026-04-20 09:44:33 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-20 09:50:33 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5655d8f1f6a4acafa55.dip0.t-ipconnect.de) |
| 2026-04-20 09:50:35 | × | dpk quits (~dpk@jains.nonceword.org) (Ping timeout: 245 seconds) |
| 2026-04-20 09:53:14 | × | acidjnk_new quits (~acidjnk@p200300d6e700e528fc1f390accc80343.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-04-20 09:53:36 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-04-20 09:54:05 | → | archking joins (~archking@2404:7a83:23e1:9700:ec83:3ff:fe20:5a7e) |
| 2026-04-20 10:01:25 | × | archking quits (~archking@2404:7a83:23e1:9700:ec83:3ff:fe20:5a7e) (Ping timeout: 245 seconds) |
| 2026-04-20 10:14:16 | → | archking joins (~archking@2404:7a83:23e1:9700:a812:17ff:fe6e:b27) |
| 2026-04-20 10:16:59 | × | fp1 quits (~Thunderbi@wireless-86-50-141-149.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2026-04-20 10:21:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2026-04-20 10:22:22 | × | archking quits (~archking@2404:7a83:23e1:9700:a812:17ff:fe6e:b27) (Ping timeout: 276 seconds) |
| 2026-04-20 10:23:19 | <probie> | gentauro: my intuition says you that you're probably doing the "wrong thing" if you want this function for lists (arrays, vectors, bytestrings and possibly text it makes some sense for) |
| 2026-04-20 10:23:48 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-20 10:31:13 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 2026-04-20 10:32:24 | × | CloneOfN- quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds) |
| 2026-04-20 10:34:12 | → | archking joins (~archking@2404:7a83:23e1:9700:34ce:6eff:fea6:7b59) |
| 2026-04-20 10:41:24 | × | archking quits (~archking@2404:7a83:23e1:9700:34ce:6eff:fea6:7b59) (Ping timeout: 246 seconds) |
| 2026-04-20 10:43:38 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-04-20 10:45:15 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 265 seconds) |
| 2026-04-20 10:45:29 | divlamir_ | is now known as divlamir |
| 2026-04-20 10:51:50 | <[exa]> | is there some nice way to have type-level marks on various events that come to a program? I |
| 2026-04-20 10:53:20 | <[exa]> | ...I'm writing a network app, each single thing has to manage like 10 different timeouts. I don't want to completely rely on green threads (instead I'd love to have actual event handlers etc.), so I'd have once somewhat central place where all timeouts and events would get processed and dispatched. Now, scheduled alarms to time-outs are the same "type" of event and I'd love to have them somehow |
| 2026-04-20 10:53:22 | <[exa]> | distinguished |
| 2026-04-20 10:53:49 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 2026-04-20 10:54:06 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 244 seconds) |
| 2026-04-20 10:54:40 | divlamir_ | is now known as divlamir |
| 2026-04-20 10:55:28 | → | archking joins (~archking@2404:7a83:23e1:9700:9c9e:3aff:fe7a:ed82) |
| 2026-04-20 11:02:45 | × | archking quits (~archking@2404:7a83:23e1:9700:9c9e:3aff:fe7a:ed82) (Ping timeout: 246 seconds) |
| 2026-04-20 11:03:12 | → | Freakie joins (~Freakie@185.45.22.133) |
| 2026-04-20 11:04:00 | <Freakie> | does anyone have suggestions for profiling compact regions? |
| 2026-04-20 11:08:20 | × | oats quits (~oats@user/oats) (Read error: Connection reset by peer) |
| 2026-04-20 11:08:35 | → | oats joins (~oats@user/oats) |
| 2026-04-20 11:16:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:e1c6:2577:bdda:cb20) |
| 2026-04-20 11:19:19 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-20 11:21:01 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-20 11:24:12 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-04-20 11:28:41 | × | jreicher quits (~joelr@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-20 11:29:36 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-20 11:31:48 | → | gawen joins (~gawen@user/gawen) |
| 2026-04-20 11:32:15 | × | gawen_ quits (~gawen@user/gawen) (Ping timeout: 245 seconds) |
| 2026-04-20 11:34:09 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-20 11:35:03 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-20 11:44:41 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-20 11:45:38 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-04-20 11:50:45 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2026-04-20 11:52:24 | <merijn> | Freakie: Profiling in what way? |
| 2026-04-20 11:52:30 | <merijn> | Memory usage, you mean? |
| 2026-04-20 11:52:37 | → | socksbuny5 joins (~socks@oberon.raccoon.fun) |
| 2026-04-20 11:52:41 | × | socksbuny quits (~socks@oberon.raccoon.fun) (Read error: Connection reset by peer) |
All times are in UTC.