Logs: liberachat/#haskell
| 2021-05-23 14:13:42 | qb | is now known as qbt |
| 2021-05-23 14:14:06 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-23 14:15:32 | → | alx741 joins (~alx741@186.178.109.193) |
| 2021-05-23 14:15:40 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 14:16:05 | → | edun joins (~edun@user/edun) |
| 2021-05-23 14:16:52 | × | edun quits (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:17:40 | → | edun joins (~edun@user/edun) |
| 2021-05-23 14:18:02 | × | edun quits (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:18:47 | → | edun joins (~edun@user/edun) |
| 2021-05-23 14:18:51 | → | ixlun joins (~user@195.213.99.113) |
| 2021-05-23 14:19:15 | × | edun quits (~edun@user/edun) (Client Quit) |
| 2021-05-23 14:19:39 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-05-23 14:20:41 | → | qbt joins (~edun@user/edun) |
| 2021-05-23 14:20:49 | bsima1 | is now known as bsima |
| 2021-05-23 14:25:21 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-23 14:26:06 | → | Reisen joins (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:26:07 | → | kilolympus joins (~kilolympu@5.151.5.180) |
| 2021-05-23 14:26:50 | × | Reisen quits (2d53dcc0@107.161.19.109) (Client Quit) |
| 2021-05-23 14:27:43 | → | Restle joins (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:28:15 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03) |
| 2021-05-23 14:28:32 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-23 14:28:36 | → | Reisen joins (2d53dcc0@107.161.19.109) |
| 2021-05-23 14:32:49 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:a57b:d14a:ecd6:6d03) (Ping timeout: 265 seconds) |
| 2021-05-23 14:33:00 | zfnmxt_ | is now known as zfnmxt |
| 2021-05-23 14:33:41 | → | xwx joins (~george@user/george) |
| 2021-05-23 14:34:14 | → | ku joins (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) |
| 2021-05-23 14:36:19 | → | haskman joins (~haskman@106.215.24.177) |
| 2021-05-23 14:37:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-23 14:40:14 | → | WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-23 14:42:39 | <Restle> | Are there any idiomatic/nice ways to compose smart constructors? I'm imagining something like `mkA . mkB . mkC $ n` where the result is a nest of newtypes but using typeclasses to peel them off later on |
| 2021-05-23 14:42:56 | → | xff0x joins (~xff0x@2001:1a81:52b2:9700:e0dc:1f9b:63de:5b34) |
| 2021-05-23 14:42:58 | → | shiraeeshi joins (~shiraeesh@109.166.58.83) |
| 2021-05-23 14:43:05 | → | moistoreos joins (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-23 14:43:10 | × | moistoreos quits (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Client Quit) |
| 2021-05-23 14:43:50 | WikiLycurgus | is now known as RealLycurgus |
| 2021-05-23 14:44:14 | RealLycurgus | is now known as WikiLycurgus |
| 2021-05-23 14:45:13 | <Restle> | Something like, `instance (Unwrap a) => Unwrap f a where`, so that no matter how I nest them I can get to the `n` |
| 2021-05-23 14:46:01 | × | exzeta__ quits (~exzeta@client-8-84.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-05-23 14:46:15 | × | qbt quits (~edun@user/edun) (Quit: WeeChat 3.1) |
| 2021-05-23 14:46:18 | → | exzeta__ joins (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-23 14:47:02 | → | pretty_dumm_guy joins (~trottel@188.241.83.100) |
| 2021-05-23 14:50:46 | × | river quits (~river@user/river) (Read error: Connection reset by peer) |
| 2021-05-23 14:52:48 | × | haskman quits (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…) |
| 2021-05-23 14:53:25 | → | river joins (~river@user/river) |
| 2021-05-23 14:55:03 | → | Guest92 joins (521cae2a@107.161.19.109) |
| 2021-05-23 14:55:32 | × | Guest92 quits (521cae2a@107.161.19.109) (Client Quit) |
| 2021-05-23 14:55:59 | → | Guest98 joins (~textual@47.203.170.49) |
| 2021-05-23 15:02:55 | <WikiLycurgus> | tactic observed in another channel to force users here: set a low limit on the freenode channel |
| 2021-05-23 15:03:08 | → | mrtbbr joins (~mrtbbr@159.146.113.223) |
| 2021-05-23 15:03:46 | × | mrtbbr quits (~mrtbbr@159.146.113.223) (Client Quit) |
| 2021-05-23 15:04:28 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-23 15:07:26 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-23 15:08:19 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 2021-05-23 15:08:21 | ← | Heffalump parts (~ganesh@urchin.earth.li) () |
| 2021-05-23 15:09:17 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-23 15:09:59 | → | Sakura- joins (uid413071@user/scp-2000) |
| 2021-05-23 15:10:36 | <Guest98> | those tactics don't necessarily force users here, they simply force them off freenode |
| 2021-05-23 15:10:50 | ← | Sakura- parts (uid413071@user/scp-2000) () |
| 2021-05-23 15:11:03 | <ski> | Restle : question is unclear. elaborate ? |
| 2021-05-23 15:12:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-23 15:12:58 | × | jess quits (~jess@libera/staff/jess) (Quit: Reconnecting) |
| 2021-05-23 15:13:28 | → | jess joins (~jess@libera/staff/jess) |
| 2021-05-23 15:13:43 | <hpc> | it does prevent splitting the community, at least |
| 2021-05-23 15:14:34 | × | ku quits (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Ping timeout: 264 seconds) |
| 2021-05-23 15:14:38 | <dmwit> | Restle: Is `coerce` good enough for you? |
| 2021-05-23 15:18:09 | → | moistoreos joins (~moistoreo@2600:1700:1884:90:7408:f8f4:ab1a:e0d2) |
| 2021-05-23 15:19:37 | <Hafydd> | It seems better to set the channel to +m and state in the topic that the channel has moved to liberachat. |
| 2021-05-23 15:21:06 | × | Tomurb quits (~tom@92-17.net.optinet.cz) (Remote host closed the connection) |
| 2021-05-23 15:24:06 | → | Tomurb joins (~tom@92-17.net.optinet.cz) |
| 2021-05-23 15:25:07 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-23 15:25:09 | <ski> | Hafydd : all of those were employed |
| 2021-05-23 15:27:42 | <Hafydd> | Oh, good. |
| 2021-05-23 15:29:06 | <ski> | @hoogle stToIO |
| 2021-05-23 15:29:06 | <lambdabot> | Error, database does not exist (run 'hoogle generate' first) |
| 2021-05-23 15:29:06 | <lambdabot> | Filename: /home/lambda/libera/.hoogle/default-haskell-5.0.18.hoo |
| 2021-05-23 15:30:25 | <ChaiTRex> | Who owns lambdabot? |
| 2021-05-23 15:31:58 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds) |
| 2021-05-23 15:32:50 | → | oxide joins (~lambda@user/oxide) |
| 2021-05-23 15:34:13 | → | gambpang joins (~ian@c-69-246-197-46.hsd1.il.comcast.net) |
| 2021-05-23 15:35:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-23 15:39:22 | → | pbrisbin joins (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) |
| 2021-05-23 15:39:37 | <dmwit> | int-e: ^ |
| 2021-05-23 15:39:58 | <hpc> | Hafydd: scroll back a bit in freenode #haskell, saying the channel has moved in the topic is against the rules now |
| 2021-05-23 15:40:09 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-23 15:41:04 | → | saturn2 joins (~visitant@user/clone-of-saturn/x-1551297) |
| 2021-05-23 15:43:18 | <mmaruseacph2> | :o |
| 2021-05-23 15:43:44 | <Hafydd> | hpc: I'm not surprised they implemented such a rule (but it might be worth Disobeying the rule). I've dropped my account on freenode, though, so I'm no longer frequenting that channel. |
| 2021-05-23 15:44:10 | <hpc> | ah |
| 2021-05-23 15:44:36 | <hpc> | the current phrasing of the topic is that this channel exists and is "very active" |
| 2021-05-23 15:44:43 | <hpc> | basically a wink wink nudge nudge kind of thing |
| 2021-05-23 15:45:04 | <Hafydd> | This kind of reminds me of the partition of Berlin. |
| 2021-05-23 15:45:10 | × | Patternmaster quits (~georg@li1192-118.members.linode.com) (Quit: leaving) |
| 2021-05-23 15:46:48 | × | pretty_dumm_guy quits (~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev) |
| 2021-05-23 15:46:54 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-23 15:47:14 | <Hafydd> | (Would it also be illegal for a liberachat channel to state it has moved to freenode?) |
| 2021-05-23 15:47:28 | <hpc> | nope |
| 2021-05-23 15:47:42 | <hpc> | this is west berlin |
| 2021-05-23 15:48:36 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 2021-05-23 15:49:26 | <dmwit> | I would certainly find it a bit odd for a liberachat channel to move, given that liberachat is only days old. |
| 2021-05-23 15:49:42 | <juri_> | https://github.com/freenode/web-7.0/commit/1194a3e71a427a669ccdddee22006416d46eeb43 |
All times are in UTC.