Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 560 561 562 563 564 565 566 567 568 569 570 .. 5022
— 502,152 events total
2020-10-10 18:31:04 <bifunc2> sad...
2020-10-10 18:31:09 <bifunc2> hmm
2020-10-10 18:31:17 <bifunc2> even when cereal is "legacy"
2020-10-10 18:32:15 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 18:32:22 × jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2020-10-10 18:34:22 <koz_> dolio: Like basically everything.
2020-10-10 18:34:28 <dolio> Yes.
2020-10-10 18:34:28 <koz_> (which isn't straight-up UB)
2020-10-10 18:35:15 <dolio> But I think whether it works is even independent of whether 'double' is "compatible" with the integer type.
2020-10-10 18:35:41 <dolio> Which is a second implementation-specific behavior.
2020-10-10 18:35:55 <koz_> C: Putting the 'lowest' in 'lowest common denominator' since 1976.
2020-10-10 18:35:56 <dolio> If they are compatible, then pointer casting might work, but I'm unsure.
2020-10-10 18:36:13 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 18:36:23 → cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-10 18:36:44 → romanix joins (~romanix@staticline10864.toya.net.pl)
2020-10-10 18:36:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-10 18:37:27 × romanix quits (~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 18:37:33 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-10 18:38:25 × roconnor quits (~roconnor@host-45-78-205-7.dyn.295.ca) (Ping timeout: 265 seconds)
2020-10-10 18:39:08 → romanix joins (~romanix@staticline10864.toya.net.pl)
2020-10-10 18:41:07 × romanix quits (~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 18:42:57 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-cipijamvzooczchk)
2020-10-10 18:44:27 hackage uncaught-exception 0.1.0 - Customize uncaught exception handling. https://hackage.haskell.org/package/uncaught-exception-0.1.0 (gromak)
2020-10-10 18:45:41 × mirrorbird quits (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 18:46:02 → mirrorbird joins (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 18:46:04 <dolio> I think the only thing that's guaranteed to work with a union (aside from reading back exactly what you put in) is structure subtyping.
2020-10-10 18:46:37 → klabnc joins (~klabnc@83.220.236.102)
2020-10-10 18:47:35 → romanix joins (~romanix@staticline10864.toya.net.pl)
2020-10-10 18:47:54 → geekosaur joins (82659a05@host154-005.vpn.uakron.edu)
2020-10-10 18:48:02 × klabnc quits (~klabnc@83.220.236.102) (Remote host closed the connection)
2020-10-10 18:49:11 → albert_91 joins (~Albert@p200300e5ff0b5b57ac59f094d805fa33.dip0.t-ipconnect.de)
2020-10-10 18:51:17 × albert_99 quits (~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-10 18:51:21 × jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (Remote host closed the connection)
2020-10-10 18:51:23 × romanix quits (~romanix@staticline10864.toya.net.pl) (Client Quit)
2020-10-10 18:51:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 18:51:39 → chaosmasttter joins (~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de)
2020-10-10 18:53:27 × albert_91 quits (~Albert@p200300e5ff0b5b57ac59f094d805fa33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 18:53:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 18:53:50 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-10 18:53:56 → albert_91 joins (~Albert@p200300e5ff0b5b578468bc6274d12650.dip0.t-ipconnect.de)
2020-10-10 18:54:03 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 18:54:39 × rembo10 quits (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-10 18:54:49 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-10-10 18:58:22 → rembo10 joins (~rembo10@wally.codeshy.com)
2020-10-10 18:58:40 × stree quits (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-10 18:58:57 → stree joins (~stree@50-108-75-26.adr01.mskg.mi.frontiernet.net)
2020-10-10 19:00:06 × rembo10 quits (~rembo10@wally.codeshy.com) (Client Quit)
2020-10-10 19:00:31 <koz_> Galaxy brain take: use inline-asm for this. :P
2020-10-10 19:01:09 × solonarv quits (~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Quit: Lost terminal)
2020-10-10 19:01:45 × nyd quits (~lpy@unaffiliated/elysian) (Ping timeout: 240 seconds)
2020-10-10 19:02:16 → rembo10 joins (~rembo10@wally.codeshy.com)
2020-10-10 19:02:57 → Tario joins (~Tario@201.192.165.173)
2020-10-10 19:03:33 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-10 19:03:44 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 19:03:52 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-10 19:04:07 → dcbdan joins (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 19:04:22 ← dcbdan parts (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) ()
2020-10-10 19:04:59 → dcbdan joins (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 19:05:31 ← dcbdan parts (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) ()
2020-10-10 19:05:58 <dolio> I wonder if you can use the 'prim' (or whatever) foreign import to implement it in Haskell.
2020-10-10 19:06:16 <dolio> Or GHC.
2020-10-10 19:06:48 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 19:07:01 × drewolson quits (~drewolson@64.227.24.16) (Quit: The Lounge - https://thelounge.chat)
2020-10-10 19:07:08 → dcbdan joins (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212)
2020-10-10 19:07:31 → drewolson joins (~drewolson@64.227.24.16)
2020-10-10 19:08:08 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 19:08:33 <dolio> Nah, that's probably still too heavy.
2020-10-10 19:10:25 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-10-10 19:10:26 × dcbdan quits (~dcbdan@2601:2c6:4e00:1630:3ad5:47ff:feaf:9212) (Quit: Leaving)
2020-10-10 19:11:27 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 19:12:33 → dcbdan joins (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 19:12:41 × dcbdan quits (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) (Client Quit)
2020-10-10 19:13:04 → dcbdan joins (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 19:14:01 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-10 19:15:39 ← dcbdan parts (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) ()
2020-10-10 19:15:50 → dcbdan joins (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 19:16:25 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-10 19:16:39 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-10 19:17:05 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-10 19:19:05 ← dcbdan parts (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) ()
2020-10-10 19:21:17 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Remote host closed the connection)
2020-10-10 19:22:07 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-10 19:22:24 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 265 seconds)
2020-10-10 19:23:24 → hackyhacker joins (~user@213.219.155.62.adsl.dyn.edpnet.net)
2020-10-10 19:25:52 → dcbdan joins (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6)
2020-10-10 19:26:22 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-10 19:26:37 × geekosaur quits (82659a05@host154-005.vpn.uakron.edu) (Remote host closed the connection)
2020-10-10 19:26:39 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-10 19:27:04 → dcbdan_ joins (~Android@mobile-107-77-188-104.mobile.att.net)
2020-10-10 19:27:07 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 19:27:18 → nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-10 19:27:54 × dcbdan quits (~Android@2601:2c6:4e00:1630:2ce0:88:3bc1:69a6) (Read error: Connection reset by peer)
2020-10-10 19:28:02 → geekosaur joins (82659a05@host154-005.vpn.uakron.edu)
2020-10-10 19:28:09 × dcbdan_ quits (~Android@mobile-107-77-188-104.mobile.att.net) (Read error: Connection reset by peer)
2020-10-10 19:30:59 × hackyhacker quits (~user@213.219.155.62.adsl.dyn.edpnet.net) (Remote host closed the connection)
2020-10-10 19:31:06 × nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds)
2020-10-10 19:37:05 → OscarZ joins (~oscarz@95.175.104.52)
2020-10-10 19:39:25 × mpereira quits (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 19:42:32 <frdg> Would you say this a decent way to express forAll and thereExists? https://dpaste.org/dAXQ
2020-10-10 19:47:44 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 560 561 562 563 564 565 566 567 568 569 570 .. 5022

All times are in UTC.