2024/06/20

Newest at the top

2024-06-20 06:34:27 +0200sam113101(~sam@24.157.253.231)
2024-06-20 06:31:42 +0200sam113101(~sam@24.157.253.231) (Remote host closed the connection)
2024-06-20 06:27:49 +0200philopsos1(~caecilius@user/philopsos)
2024-06-20 06:09:07 +0200iqubic(~sophia@2601:602:9502:c70:f6b8:a053:cf21:deda) (Ping timeout: 246 seconds)
2024-06-20 06:08:23 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-06-20 06:07:21 +0200Square2(~Square4@user/square) (Read error: Connection reset by peer)
2024-06-20 05:44:39 +0200aforemny(~aforemny@2001:9e8:6cc0:df00:949a:33df:9d68:3e31) (Ping timeout: 264 seconds)
2024-06-20 05:43:17 +0200aforemny_(~aforemny@i59F516D3.versanet.de)
2024-06-20 05:33:40 +0200sam113101(~sam@24.157.253.231)
2024-06-20 05:15:38 +0200xdminsy(~xdminsy@117.147.70.231) (Quit: Konversation terminated!)
2024-06-20 05:08:59 +0200sam113101(~sam@24.157.253.231) (Remote host closed the connection)
2024-06-20 05:02:10 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-06-20 04:58:53 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-06-20 04:57:43 +0200td_(~td@i5387090C.versanet.de)
2024-06-20 04:56:00 +0200td_(~td@i53870921.versanet.de) (Ping timeout: 268 seconds)
2024-06-20 04:53:43 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-06-20 04:46:07 +0200euleritian(~euleritia@dynamic-176-007-156-210.176.7.pool.telefonica.de)
2024-06-20 04:44:53 +0200euleritian(~euleritia@dynamic-176-007-145-030.176.7.pool.telefonica.de) (Ping timeout: 240 seconds)
2024-06-20 04:38:33 +0200causal(~eric@50.35.88.207)
2024-06-20 04:33:08 +0200 <probie> That way I could write something like `stutter ::[inferred] [a] -> [a]; stutter = foldr (\x xs -> x:x:xs) []` and the compiler can warn me that I've picked a type more specific than what would have been inferred
2024-06-20 04:29:48 +0200 <probie> Re give everything explicit types: I sometimes wish I had some way to say "should be inferred as having type [α-equivalent to] τ"
2024-06-20 04:25:10 +0200zzz(~yin@user/zero) (Ping timeout: 268 seconds)
2024-06-20 04:14:15 +0200 <geekosaur> (or you can just give everything explicit types)
2024-06-20 04:13:59 +0200 <geekosaur> but if it does typecheck, you're fine
2024-06-20 04:13:47 +0200 <geekosaur> right, that warning says that you may get unexpected type checking failures because type inference might not work
2024-06-20 04:12:22 +0200 <monochrom> Intent requires true AI (not even today's LLM). But if type checking succeeds, it's sound, i.e., as correct as the type system can tell.
2024-06-20 04:06:31 +0200euleritian(~euleritia@dynamic-176-007-145-030.176.7.pool.telefonica.de)
2024-06-20 04:04:11 +0200xff0x(~xff0x@ai068022.d.east.v6connect.net) (Ping timeout: 264 seconds)
2024-06-20 04:03:29 +0200petrichor(~znc-user@user/petrichor)
2024-06-20 04:02:06 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-06-20 04:01:41 +0200euleritian(~euleritia@dynamic-176-006-011-015.176.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2024-06-20 03:53:56 +0200kyborg2011(~kyborg201@host-176-36-215-61.b024.la.net.ua)
2024-06-20 03:53:11 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-06-20 03:51:30 +0200talismanick(~user@2601:644:937c:ed10::ae5)
2024-06-20 03:50:59 +0200kyborg2011(~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 264 seconds)
2024-06-20 03:42:31 +0200madhavanmiui(~madhavanm@2409:40f4:ae:dd09:8000::) (Client Quit)
2024-06-20 03:41:01 +0200madhavanmiui(~madhavanm@2409:40f4:ae:dd09:8000::)
2024-06-20 03:36:10 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
2024-06-20 03:32:47 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-06-20 03:26:54 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Remote host closed the connection)
2024-06-20 03:23:39 +0200danza(~francesco@151.37.122.33) (Ping timeout: 264 seconds)
2024-06-20 03:15:25 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-06-20 03:14:16 +0200bionade24(~quassel@2a03:4000:33:45b::1) (Remote host closed the connection)
2024-06-20 03:09:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2024-06-20 03:07:02 +0200euleritian(~euleritia@dynamic-176-006-011-015.176.6.pool.telefonica.de)
2024-06-20 03:05:39 +0200euleritian(~euleritia@dynamic-176-006-000-101.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-06-20 03:00:03 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-06-20 02:53:28 +0200kyborg2011(~kyborg201@host-176-36-215-61.b024.la.net.ua)
2024-06-20 02:50:10 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-06-20 02:47:10 +0200kyborg2011(~kyborg201@host-176-36-215-61.b024.la.net.ua) (Ping timeout: 246 seconds)