Logs: freenode/#haskell
| 2021-03-19 18:40:28 | <Uniaika> | hmm, not sure |
| 2021-03-19 18:40:28 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 18:40:29 | → | usr25_tm joins (~usr25@unaffiliated/usr25) |
| 2021-03-19 18:40:53 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 18:40:53 | → | motersen joins (~user@cgn-89-1-214-72.nc.de) |
| 2021-03-19 18:40:56 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-19 18:42:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection) |
| 2021-03-19 18:42:37 | × | knupfer quits (~Thunderbi@200116b82c36b500c18c822e3f769ca6.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-19 18:43:27 | → | fragamus joins (ac3a5c66@172.58.92.102) |
| 2021-03-19 18:43:44 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 240 seconds) |
| 2021-03-19 18:44:16 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-03-19 18:45:06 | × | motersen quits (~user@cgn-89-1-214-72.nc.de) (Read error: Connection reset by peer) |
| 2021-03-19 18:45:28 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-19 18:46:07 | → | motersen joins (~user@cgn-89-1-214-72.nc.de) |
| 2021-03-19 18:48:15 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Quit: WeeChat 2.9) |
| 2021-03-19 18:50:18 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-wezwsdnimqmohosp) (Quit: Connection closed for inactivity) |
| 2021-03-19 18:52:03 | × | conal quits (~conal@192.145.118.147) (Quit: Computer has gone to sleep.) |
| 2021-03-19 18:52:08 | × | malumore quits (~malumore@151.62.118.248) (Ping timeout: 240 seconds) |
| 2021-03-19 18:53:05 | → | conal joins (~conal@192.145.118.147) |
| 2021-03-19 18:53:48 | × | Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0) |
| 2021-03-19 18:54:13 | → | Sathiana joins (~kath@185-113-98-38.cust.bredband2.com) |
| 2021-03-19 18:54:13 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 18:54:28 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 18:58:23 | hackage | skylighting-core 0.10.5 - syntax highlighting library https://hackage.haskell.org/package/skylighting-core-0.10.5 (JohnMacFarlane) |
| 2021-03-19 18:58:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-19 18:58:55 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-19 18:59:23 | hackage | skylighting 0.10.5 - syntax highlighting library https://hackage.haskell.org/package/skylighting-0.10.5 (JohnMacFarlane) |
| 2021-03-19 18:59:30 | × | fragamus quits (ac3a5c66@172.58.92.102) (Quit: Connection closed) |
| 2021-03-19 19:00:39 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 19:00:39 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 19:01:04 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 19:01:37 | × | finBigBoss007 quits (~finBigBos@82-203-189-194.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-03-19 19:02:31 | → | fragamus joins (ac3a5c66@172.58.92.102) |
| 2021-03-19 19:03:38 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-19 19:04:21 | <iphy> | is there a more elegant way to do this? https://www.irccloud.com/pastebin/jmAdr9kt/getVarInt.hs |
| 2021-03-19 19:04:23 | → | jrm2 joins (~jrm@freebsd/developer/jrm) |
| 2021-03-19 19:04:32 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
| 2021-03-19 19:06:28 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-19 19:07:09 | <Uniaika> | iphy: you're trying to go from Integral to Word8 to Word32? |
| 2021-03-19 19:07:18 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 265 seconds) |
| 2021-03-19 19:07:42 | <iphy> | I'm using fromIntegral :: Word8 -> Word32 |
| 2021-03-19 19:08:32 | <iphy> | that's probably fine, because I need to shift the Word8 bytes into the right position in the resulting Word32 |
| 2021-03-19 19:08:39 | <iphy> | I'm just not happy with how much code this takes |
| 2021-03-19 19:09:33 | <Uniaika> | this may not be the most beautiful code ever but I think it does the job |
| 2021-03-19 19:09:39 | <Uniaika> | don't overthink it |
| 2021-03-19 19:10:13 | <iphy> | the code is correct, but I do like to understand whether things can be done in a better way |
| 2021-03-19 19:10:18 | <iphy> | to learn the haskell way :) |
| 2021-03-19 19:10:30 | → | coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-19 19:10:33 | → | nfd joins (~nfd9001@2601:602:77f:1820:88ee:7115:ea57:8fd0) |
| 2021-03-19 19:11:23 | → | ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-03-19 19:12:56 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-03-19 19:13:15 | → | Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com) |
| 2021-03-19 19:13:48 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-19 19:16:45 | <Taneb> | "What's in a name? A semigroup by any other name would be as associative" |
| 2021-03-19 19:17:17 | ← | usr25_tm parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 2021-03-19 19:17:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-19 19:18:04 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-19 19:19:19 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-19 19:19:40 | jrm2 | is now known as jrm |
| 2021-03-19 19:20:00 | → | mastarija joins (~mastarija@31.217.2.101) |
| 2021-03-19 19:21:33 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:a8c8) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-19 19:21:59 | <myShoggoth> | Haskell Foundation official update #1: https://discourse.haskell.org/t/haskell-foundation-update-2021-03-19 |
| 2021-03-19 19:23:42 | <sm[m]> | thanks! |
| 2021-03-19 19:24:08 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-19 19:24:11 | × | Major_Bi1 quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-03-19 19:24:27 | × | conal quits (~conal@192.145.118.147) (Remote host closed the connection) |
| 2021-03-19 19:24:32 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds) |
| 2021-03-19 19:24:33 | × | mastarija quits (~mastarija@31.217.2.101) (Ping timeout: 256 seconds) |
| 2021-03-19 19:24:48 | → | conal joins (~conal@192.145.118.147) |
| 2021-03-19 19:25:51 | → | dcbdnl joins (~dcbdnl@68-74-201-196.lightspeed.hstntx.sbcglobal.net) |
| 2021-03-19 19:26:29 | × | dcbdnl quits (~dcbdnl@68-74-201-196.lightspeed.hstntx.sbcglobal.net) (Client Quit) |
| 2021-03-19 19:26:40 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-19 19:29:18 | × | Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection) |
| 2021-03-19 19:29:55 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 19:33:18 | × | pricly_yellow1 quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Quit: WeeChat 3.1) |
| 2021-03-19 19:33:41 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-03-19 19:35:33 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 244 seconds) |
| 2021-03-19 19:36:03 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-19 19:38:38 | × | jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-19 19:38:49 | → | bitmagie joins (~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) |
| 2021-03-19 19:39:14 | × | forgottenone quits (~forgotten@176.42.16.24) (Remote host closed the connection) |
| 2021-03-19 19:40:08 | → | malumore joins (~malumore@151.62.118.248) |
| 2021-03-19 19:40:18 | → | forgottenone joins (~forgotten@176.42.16.24) |
| 2021-03-19 19:43:43 | × | forgottenone quits (~forgotten@176.42.16.24) (Client Quit) |
| 2021-03-19 19:44:51 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-19 19:45:33 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-19 19:45:44 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-03-19 19:48:09 | → | Vadrigar joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-19 19:48:48 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-19 19:49:27 | → | hexagenic joins (~mattias@2001:2002:51e0:74c9:5b2:64fb:22b7:198c) |
| 2021-03-19 19:49:41 | → | rond_ joins (594021b0@89-64-33-176.dynamic.chello.pl) |
| 2021-03-19 19:55:53 | hackage | exploring-interpreters 0.3.0.0 - A generic exploring interpreter for exploratory programming https://hackage.haskell.org/package/exploring-interpreters-0.3.0.0 (DamianFrolich) |
| 2021-03-19 19:58:21 | → | knupfer joins (~Thunderbi@200116b82c36b500c872befffe95e6e2.dip.versatel-1u1.de) |
| 2021-03-19 19:58:33 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 256 seconds) |
| 2021-03-19 19:58:50 | → | Shiranai joins (beed0df5@gateway/web/cgi-irc/kiwiirc.com/ip.190.237.13.245) |
| 2021-03-19 19:59:28 | × | knupfer quits (~Thunderbi@200116b82c36b500c872befffe95e6e2.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-03-19 19:59:36 | → | knupfer joins (~Thunderbi@200116b82c36b500012af05275aa5516.dip.versatel-1u1.de) |
| 2021-03-19 20:00:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-19 20:00:39 | <Shiranai> | Hello, how am I to interpret curried infixed functions? E.g. if f: a -> b then is (`f` a) well formed? |
| 2021-03-19 20:00:52 | dcoutts_ | is now known as dcoutts |
All times are in UTC.