Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17986 17987 17988 17989 17990 17991 17992
— 1,799,113 events total
2026-04-23 07:02:12 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-23 07:04:32 × Vizious quits (~bes@user/Vizious) (Read error: Connection reset by peer)
2026-04-23 07:06:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-04-23 07:15:14 → Square2 joins (~Square4@user/square)
2026-04-23 07:17:35 → merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-23 07:21:15 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
2026-04-23 07:21:25 × rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer)
2026-04-23 07:22:18 → rainbyte joins (~rainbyte@181.47.219.3)
2026-04-23 07:22:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-23 07:23:41 × emmanuelux quits (~em@user/emmanuelux) (Quit: bye)
2026-04-23 07:24:03 → fp1 joins (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi)
2026-04-23 07:34:06 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-04-23 07:38:12 → Vizious joins (~bes@user/Vizious)
2026-04-23 07:48:16 × vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2026-04-23 07:54:17 → oskarw joins (~user@user/oskarw)
2026-04-23 08:01:38 → merijn joins (~merijn@77.242.116.146)
2026-04-23 08:01:56 → karenw joins (~karenw@user/karenw)
2026-04-23 08:05:36 → vgtw joins (~vgtw@user/vgtw)
2026-04-23 08:11:08 → tnt1 joins (~Thunderbi@user/tnt1)
2026-04-23 08:14:47 <haskellbridge> <ozkutuk> dibblego: there is also ReifiedPrism' if you prefer using that
2026-04-23 08:15:18 <dibblego> I do, but that is back to a type-alias
2026-04-23 08:16:41 <haskellbridge> <ozkutuk> yes, but it is an alias for ReifiedPrism and not the underlying optic type, so in a sense it is still opaque
2026-04-23 08:16:48 <haskellbridge> <ozkutuk> or maybe I misunderstood your use case
2026-04-23 08:23:13 <dibblego> I want a value that can use in a position (p :: * -> * -> *) and type-aliases cannot appear there
2026-04-23 08:25:36 <haskellbridge> <ozkutuk> in that case I think wrapping with a newtype of your own is your only choice
2026-04-23 08:40:42 <dibblego> ok thanks
2026-04-23 08:48:00 × CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-04-23 08:48:23 jreicher is now known as Guest5730
2026-04-23 08:48:23 × Guest5730 quits (~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services)))
2026-04-23 08:48:56 → jreicher joins (~joelr@user/jreicher)
2026-04-23 08:51:34 × fp1 quits (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) (Ping timeout: 245 seconds)
2026-04-23 08:51:44 → bggd__ joins (~bgg@2a01:e0a:fd5:f510:a8fb:b82b:2a5:62ab)
2026-04-23 08:52:57 × tnt1 quits (~Thunderbi@user/tnt1) (Quit: tnt1)
2026-04-23 08:55:36 → srazkvt joins (~sarah@user/srazkvt)
2026-04-23 08:56:00 → tnt1 joins (~Thunderbi@user/tnt1)
2026-04-23 09:01:10 <haskellbridge> <Liamzee> hey, is servant dead? their hackage page now has brokne links :(
2026-04-23 09:11:09 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2026-04-23 09:13:39 <mauke> https://docs.servant.dev/en/0.20.3.0/tutorial/index.html ?
2026-04-23 09:16:39 <merijn> Liamzee which broken links?
2026-04-23 09:17:03 <haskellbridge> <Liamzee> https://docs.servant.dev/en/stable/tutorial/index.html
2026-04-23 09:17:07 <haskellbridge> <Liamzee> https://hackage.haskell.org/package/servant-server
2026-04-23 09:17:53 <merijn> Liamzee: I mean, the hackage page only updates when they publish a new version (assuming they remember to check that link)
2026-04-23 09:19:16 <gentauro> % lenght (Just [])
2026-04-23 09:19:16 <yahb2> <interactive>:37:1: error: [GHC-88464] ; Variable not in scope: lenght :: Maybe [a0] -> t ; Suggested fix: Perhaps use ‘length’ (imported from Prelude)
2026-04-23 09:19:26 <gentauro> % length (Just [])
2026-04-23 09:19:26 <yahb2> 1
2026-04-23 09:19:33 <gentauro> % length (Just [1])
2026-04-23 09:19:33 <yahb2> 1
2026-04-23 09:19:37 <gentauro> % length (Just [])
2026-04-23 09:19:37 <yahb2> 1
2026-04-23 09:19:44 <gentauro> Huh?
2026-04-23 09:20:15 <mauke> % length Nothing
2026-04-23 09:20:15 <yahb2> 0
2026-04-23 09:20:38 <mauke> Maybe = a list of at most one element
2026-04-23 09:20:41 <humasect> vector[1] == scalar ?
2026-04-23 09:20:49 <humasect> oh
2026-04-23 09:21:04 <humasect> % length Nothing
2026-04-23 09:21:04 <yahb2> 0
2026-04-23 09:21:16 <gentauro> mauke: lucky to have the LSP point that out :o
2026-04-23 09:28:43 × vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in)
2026-04-23 09:29:20 <haskellbridge> <Liamzee> merijn, sorry
2026-04-23 09:29:28 <haskellbridge> <Liamzee> i'm sort of depressed, AI is going to eat everything
2026-04-23 09:29:40 <haskellbridge> <Liamzee> i lost my faith
2026-04-23 09:32:28 <merijn> I'm still not convinced :p
2026-04-23 09:33:53 <merijn> Uptime of everyone is in the dumps since the AI hype in silicon valley, Windows is a dumpster fire, seems a direct correlation between things going to shit and AI usage
2026-04-23 09:35:37 × myme quits (~myme@2a01:799:d5e:5f00:170f:167e:539:9415) (Ping timeout: 248 seconds)
2026-04-23 09:36:51 → myme joins (~myme@2a01:799:d5e:5f00:35e0:fff9:f0bb:6422)
2026-04-23 09:37:32 → misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net)
2026-04-23 09:37:55 ← oskarw parts (~user@user/oskarw) (ERC 5.6.1 (IRC client for GNU Emacs 30.2))
2026-04-23 09:41:12 <haskellbridge> <Liamzee> Windows is dying, albeit quite slowly
2026-04-23 09:45:56 → acidjnk_new joins (~acidjnk@p200300d6e700e5373152bf0fe7dd1216.dip0.t-ipconnect.de)
2026-04-23 09:46:09 × karenw quits (~karenw@user/karenw) (Ping timeout: 245 seconds)
2026-04-23 09:48:08 → vgtw joins (~vgtw@user/vgtw)
2026-04-23 09:48:39 × acidjnk_new3 quits (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-04-23 09:58:35 <merijn> I mean, adoption of 11 is in the dumps and with 12 being "a proper agentic OS" I suspsect that's not gonna be better :P
2026-04-23 10:00:44 × misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 245 seconds)
2026-04-23 10:02:35 → misterfish joins (~misterfis@89.205.247.219)
2026-04-23 10:03:08 deveng is now known as fernando-basso
2026-04-23 10:08:44 → __monty__ joins (~toonn@user/toonn)
2026-04-23 10:09:04 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds)
2026-04-23 10:23:23 → Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2026-04-23 10:32:58 → tok joins (~user@user/tok)
2026-04-23 10:45:16 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds)
2026-04-23 10:45:40 → GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
2026-04-23 10:50:16 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-04-23 10:50:25 <gentauro> Liamzee: «Windows is dying» and that's a good thing (Y)
2026-04-23 10:50:31 → divlamir joins (~divlamir@user/divlamir)
2026-04-23 10:51:01 <gentauro> meanwhile in EUrope (specifically France) -> https://github.com/cloud-gouv/securix
2026-04-23 10:51:22 gentauro I aint even mad. OS built on lambdas? What's not to like
2026-04-23 10:52:23 → arandombit joins (~arandombi@user/arandombit)
2026-04-23 11:00:36 → craunts795335385 joins (~craunts@152.32.100.66)
2026-04-23 11:03:03 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-04-23 11:10:32 → user363627 joins (~user@user/user363627)
2026-04-23 11:10:44 × weary-traveler quits (~user@user/user363627) (Ping timeout: 245 seconds)
2026-04-23 11:13:57 → xff0x joins (~xff0x@2405:6580:b080:900:ef2d:650d:209c:a61)
2026-04-23 11:17:19 → weary-traveler joins (~user@user/user363627)
2026-04-23 11:17:42 × user363627 quits (~user@user/user363627) (Read error: Connection reset by peer)
2026-04-23 11:27:24 → CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de)
2026-04-23 11:28:30 → Googulator72 joins (~Googulato@78-131-16-66.pool.digikabel.hu)
2026-04-23 11:29:30 → arandombit joins (~arandombi@2a02:2455:8656:7100:a1d8:57d9:a02:f1ad)
←Prev  Next→
Page 1 .. 17986 17987 17988 17989 17990 17991 17992

All times are in UTC.