Logs: liberachat/#haskell
| 2021-06-05 21:50:27 | → | pieguy128_ joins (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) |
| 2021-06-05 21:50:59 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 21:51:09 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-05 21:51:38 | × | echoreply quits (~echoreply@45.32.163.16) (Client Quit) |
| 2021-06-05 21:51:55 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-161-178.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2021-06-05 21:51:59 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2021-06-05 21:52:12 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-05 21:54:41 | <_73> | are there any hexadecimal libraries that come with some Hex type that derives Integral and has functions for creating Hex's out of strings? |
| 2021-06-05 21:55:38 | → | ddellacosta joins (~ddellacos@89.46.62.235) |
| 2021-06-05 21:56:57 | <_73> | err derives Num as well |
| 2021-06-05 21:57:38 | <c_wraith> | uhh. that seems weird to me. Hex isn't a different behavior for a number. It's just a different output format |
| 2021-06-05 21:57:46 | <unyu> | If your Hex type derives Num, this means that you want to do arithmetic using it, right? |
| 2021-06-05 21:57:59 | <unyu> | Why would you use anything other than ordinary numeric types for that? |
| 2021-06-05 21:58:36 | <enikar> | % read @Int "0x3b" |
| 2021-06-05 21:58:36 | <yahb> | enikar: 59 |
| 2021-06-05 21:58:45 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2021-06-05 21:58:57 | → | ddellaco_ joins (~ddellacos@89.46.62.89) |
| 2021-06-05 21:59:14 | <geekosaur> | there's also Numeric.readHex |
| 2021-06-05 21:59:55 | × | ddellacosta quits (~ddellacos@89.46.62.235) (Ping timeout: 245 seconds) |
| 2021-06-05 22:00:13 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-05 22:00:39 | <_73> | Ok I got it now thanks |
| 2021-06-05 22:02:20 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-05 22:03:31 | × | ddellaco_ quits (~ddellacos@89.46.62.89) (Ping timeout: 244 seconds) |
| 2021-06-05 22:03:51 | <monochrom> | "Here's a bonus note with Java performance tips": "perform loop invariant code motion yourself", "perform common subexpression elimination yourself", "perform induction variable optimization yourself", "while you can't perform register allocation yourself, you can nudge it by copying data to local variables yourself", "perform TC->loop optimization yourself" |
| 2021-06-05 22:04:53 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 22:07:25 | × | ikex quits (~ash@user/ikex) (Ping timeout: 245 seconds) |
| 2021-06-05 22:09:10 | <boxscape> | fun |
| 2021-06-05 22:09:52 | <Cajun> | and java still doesnt have TCO/TCE lol |
| 2021-06-05 22:10:30 | × | fendor quits (~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-06-05 22:11:29 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
| 2021-06-05 22:13:40 | → | Guest6926 joins (~Guest69@p4fee78f5.dip0.t-ipconnect.de) |
| 2021-06-05 22:14:00 | × | Guest6926 quits (~Guest69@p4fee78f5.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-05 22:14:32 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-06-05 22:14:56 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Client Quit) |
| 2021-06-05 22:16:45 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-06-05 22:19:33 | × | derelict quits (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-06-05 22:20:50 | <unyu> | What is the current blessed way to use databases in Haskell? I mean, while avoiding the extremes of “stringly typed queries” and “need to use a lot of Template Haskell magic to generate types for every single table and view”. |
| 2021-06-05 22:21:44 | → | egoist joins (~egoist@186.235.82.52) |
| 2021-06-05 22:23:08 | → | blizzard joins (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-06-05 22:24:58 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2021-06-05 22:28:01 | → | ddellacosta joins (~ddellacos@107.182.237.14) |
| 2021-06-05 22:28:36 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 2021-06-05 22:28:50 | <[exa]> | unyu: we used selda, it was cool |
| 2021-06-05 22:29:35 | <unyu> | Thanks, checking it out. |
| 2021-06-05 22:29:50 | <[exa]> | it works with overloaded labels and generics, pretty good imho |
| 2021-06-05 22:30:47 | <jiribenes> | yeah, selda is pretty cool (not too basic, not too advanced IMO) |
| 2021-06-05 22:30:57 | <[exa]> | honestly the labels are mildly scary for the first time |
| 2021-06-05 22:31:15 | <[exa]> | but you can chew through it |
| 2021-06-05 22:31:33 | <[exa]> | (I didn't even look up what the # really does yet, it just worked) |
| 2021-06-05 22:32:33 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-06-05 22:33:00 | × | ddellacosta quits (~ddellacos@107.182.237.14) (Ping timeout: 268 seconds) |
| 2021-06-05 22:33:12 | <unyu> | Thanks. :-) |
| 2021-06-05 22:44:39 | ← | danidiaz1 parts (~ESDPC@137.101.155.105) () |
| 2021-06-05 22:47:03 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-05 22:49:05 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
| 2021-06-05 22:49:40 | → | pierrot joins (~pi@user/pierrot) |
| 2021-06-05 22:53:06 | × | xff0x quits (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds) |
| 2021-06-05 22:53:25 | → | xff0x joins (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) |
| 2021-06-05 22:58:02 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-05 23:03:27 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-05 23:03:44 | × | pritambaral quits (~pritam@user/pritambaral) (Ping timeout: 252 seconds) |
| 2021-06-05 23:05:15 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:09:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 264 seconds) |
| 2021-06-05 23:11:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-05 23:12:10 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-05 23:13:22 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
| 2021-06-05 23:15:21 | × | amahl quits (~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2021-06-05 23:16:50 | → | dkeohane joins (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
| 2021-06-05 23:17:05 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:17:15 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-06-05 23:18:26 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
| 2021-06-05 23:30:21 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-05 23:33:20 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-05 23:33:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-05 23:37:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-05 23:38:57 | × | Core5474 quits (~Core5474@2600:1700:7720:cf80:e124:f2c6:8838:3b4c) (Ping timeout: 272 seconds) |
| 2021-06-05 23:38:58 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-05 23:43:14 | × | dhil quits (~dhil@195.213.192.47) (Ping timeout: 244 seconds) |
| 2021-06-05 23:50:42 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-05 23:51:00 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-05 23:53:48 | × | Guest33 quits (~Guest33@d24-141-46-200.home.cgocable.net) (Ping timeout: 250 seconds) |
| 2021-06-05 23:58:48 | → | smunix joins (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) |
| 2021-06-05 23:59:20 | × | smunix quits (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) (Remote host closed the connection) |
| 2021-06-06 00:04:02 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-06-06 00:04:36 | × | pierrot quits (~pi@user/pierrot) (Remote host closed the connection) |
| 2021-06-06 00:06:29 | × | xff0x quits (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) (Ping timeout: 244 seconds) |
| 2021-06-06 00:07:40 | → | xff0x joins (~xff0x@2001:1a81:53f2:9700:8751:d09f:3a3:681c) |
| 2021-06-06 00:07:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-06 00:09:35 | × | hololeap quits (hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-06-06 00:10:38 | → | pierrot joins (~pi@user/pierrot) |
| 2021-06-06 00:12:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-06 00:17:14 | → | Guest33 joins (~Guest33@69.158.246.217) |
| 2021-06-06 00:17:20 | × | altern quits (~Sergii@altern.corbina.com.ua) (Ping timeout: 272 seconds) |
| 2021-06-06 00:17:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-06 00:23:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-06-06 00:28:33 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: Lost terminal) |
| 2021-06-06 00:29:56 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Read error: Connection reset by peer) |
| 2021-06-06 00:30:01 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-06 00:30:21 | → | ddellacosta joins (~ddellacos@89.46.62.108) |
| 2021-06-06 00:32:01 | → | jaevanko joins (~jaevanko@2600:1700:1330:2bef:3811:9ded:8910:1357) |
All times are in UTC.