Logs: liberachat/#haskell
| 2026-01-23 06:03:54 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-23 06:04:06 | → | Googulator joins (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-23 06:05:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 06:07:29 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-23 06:14:00 | → | notzmv joins (~umar@user/notzmv) |
| 2026-01-23 06:15:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 06:18:07 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-23 06:20:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-23 06:22:59 | <Leary> | chromoblob: https://gist.github.com/LSLeary/0247b813ad063409d4d09eccc5b077e0 |
| 2026-01-23 06:24:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 06:25:14 | trickard_ | is now known as trickard |
| 2026-01-23 06:28:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-23 06:31:30 | <haskellbridge> | <Bowuigi> Related https://github.com/sellout/no-recursion |
| 2026-01-23 06:39:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 06:46:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 06:47:43 | <probie> | recursion-schemes gives you general recursion anyway |
| 2026-01-23 06:49:49 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 06:50:02 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 06:50:10 | <Leary> | "recursion schemes" /= "recursion-schemes" |
| 2026-01-23 06:57:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 07:02:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-23 07:06:24 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-23 07:12:54 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 07:13:07 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 07:13:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 07:18:32 | × | trickard_ quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 07:18:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-23 07:21:45 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2026-01-23 07:23:24 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 07:23:28 | <ncf> | if you're not allergic to general recursion you can do the exact same thing using just one data type and no impredicative encodings https://gist.github.com/ncfavier/d42d077745c73dfb2e2c58592b1cd7e1 |
| 2026-01-23 07:24:04 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-01-23 07:24:51 | <ncf> | (note that general recursion is used rather controlledly here, in `fold` and `unfold`, so you could make those abstract and pretend they are primitives) |
| 2026-01-23 07:25:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 07:29:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 07:40:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 07:44:06 | → | danza joins (~danza@user/danza) |
| 2026-01-23 07:45:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-23 07:48:32 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-23 07:53:02 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-23 07:56:21 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-01-23 07:56:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 07:56:46 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-23 08:01:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 08:03:40 | → | oskarw joins (~user@user/oskarw) |
| 2026-01-23 08:06:01 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2026-01-23 08:08:04 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-23 08:08:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 08:10:49 | × | FANTOM quits (~fantom@87.75.185.177) (Read error: Connection reset by peer) |
| 2026-01-23 08:13:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 08:21:24 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-23 08:24:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 08:31:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 08:35:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 08:40:57 | × | AlexZenon quits (~alzenon@94.233.241.51) (Ping timeout: 252 seconds) |
| 2026-01-23 08:42:04 | <Leary> | ncf: That fails to encapsulate general recursion since it's easily recoverable in the form of `fix :: (a -> a) -> a`, though perhaps if we also disallowed bottoms that wouldn't be the case. |
| 2026-01-23 08:42:25 | × | AlexNoo quits (~AlexNoo@94.233.241.51) (Ping timeout: 246 seconds) |
| 2026-01-23 08:42:36 | × | Alex_delenda_est quits (~al_test@94.233.241.51) (Ping timeout: 252 seconds) |
| 2026-01-23 08:43:43 | trickard_ | is now known as trickard |
| 2026-01-23 08:50:04 | <gentauro> | jackdk: thx for links and info. It's a bit sad that `eXchange` lost all their IP when they went bankrupt and now the few surviving videos look like they were recorded with a toaster :'( |
| 2026-01-23 08:50:34 | <jackdk> | Yeah it's such a shame. Though I don't think that particular talk ever had a good recording |
| 2026-01-23 08:50:55 | <gentauro> | I actually tried to "re-spawn" the hole concept of `eXchange` again as they were bought by Trifork. I made slides and stuff and provided all the "nice" names |
| 2026-01-23 08:51:16 | <gentauro> | then suddently, you see all those names at "GOTO Conferences" (yeah Trifork also own them) |
| 2026-01-23 08:51:46 | <int-e> | I know it was a typo, but "hole concept" is pretty accurate (think "memory hole") |
| 2026-01-23 08:51:48 | <gentauro> | never EVER trust `corpos`. It's just a matter of if, but when, they will screw you :( |
| 2026-01-23 08:53:04 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-23 08:53:08 | <gentauro> | the good thing? At least they bring "the names" to mainstream -> https://www.youtube.com/watch?v=lg0RYLlmjJM |
| 2026-01-23 08:53:13 | <gentauro> | ;) |
| 2026-01-23 08:53:54 | <gentauro> | and good old Kris -> https://www.youtube.com/watch?v=SOz66dcsuT8 |
| 2026-01-23 08:54:54 | <gentauro> | Elm Evan -> https://www.youtube.com/watch?v=TklYhw0Kl58 (btw, does anybody know if that `lang` is `dead`?) |
| 2026-01-23 09:01:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2026-01-23 09:02:18 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-01-23 09:02:56 | × | acidjnk quits (~acidjnk@p200300d6e7171963e9342c1b23054bda.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-01-23 09:16:08 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-23 09:19:22 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-01-23 09:21:17 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-23 09:23:48 | × | housemate quits (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-01-23 09:24:40 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 09:25:19 | × | housemate quits (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-01-23 09:25:25 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 2026-01-23 09:25:38 | → | chele joins (~chele@user/chele) |
| 2026-01-23 09:26:31 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 09:26:58 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-23 09:27:17 | × | housemate quits (~housemate@202.7.248.67) (Max SendQ exceeded) |
| 2026-01-23 09:27:18 | → | skum joins (~skum@user/skum) |
| 2026-01-23 09:29:30 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 09:30:01 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-01-23 09:30:11 | × | housemate quits (~housemate@202.7.248.67) (Max SendQ exceeded) |
| 2026-01-23 09:30:37 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-01-23 09:30:41 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 09:31:09 | × | housemate quits (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-01-23 09:31:38 | → | housemate joins (~housemate@202.7.248.67) |
| 2026-01-23 09:31:43 | × | housemate quits (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-01-23 09:32:29 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-23 09:33:37 | <bwe> | How can I let wai / warp update an internal data cache regularly by querying some database (no, I don’t mean response cache)? |
| 2026-01-23 09:33:41 | → | XZDX joins (~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) |
| 2026-01-23 09:35:33 | × | XZDX quits (~xzdx@2601:404:ce00:b795:214:51ff:fe83:9855) (Changing host) |
| 2026-01-23 09:35:33 | → | XZDX joins (~xzdx@user/XZDX) |
| 2026-01-23 09:48:07 | × | Googulator quits (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 2026-01-23 09:50:47 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-23 10:04:00 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
All times are in UTC.