Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17418 17419 17420 17421 17422 17423 17424 17425 17426 17427 17428 .. 17998
— 1,799,780 events total
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)
←Prev  Next→
Page 1 .. 17418 17419 17420 17421 17422 17423 17424 17425 17426 17427 17428 .. 17998

All times are in UTC.