Logs: freenode/#haskell
| 2020-10-01 13:39:30 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-pdkqlqfnwurchqja) |
| 2020-10-01 13:41:03 | × | murphy_ quits (~murphy_@2604:2000:1281:8a9e:d2e4:da3f:de8a:c9c9) (Ping timeout: 272 seconds) |
| 2020-10-01 13:41:22 | → | murphy_ joins (~murphy_@2604:2000:1281:8a9e:79f9:b15f:8bb9:7d0e) |
| 2020-10-01 13:46:21 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2020-10-01 13:46:27 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2020-10-01 13:48:27 | hackage | aeson-value-parser 0.19.4 - API for parsing "aeson" JSON tree into Haskell types https://hackage.haskell.org/package/aeson-value-parser-0.19.4 (NikitaVolkov) |
| 2020-10-01 13:48:49 | → | darjeeling_ joins (~darjeelin@39.190.13.84) |
| 2020-10-01 13:49:09 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Remote host closed the connection) |
| 2020-10-01 13:52:37 | × | kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer) |
| 2020-10-01 13:52:58 | hackage | invariant 0.5.4 - Haskell98 invariant functors https://hackage.haskell.org/package/invariant-0.5.4 (ryanglscott) |
| 2020-10-01 13:53:02 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 2020-10-01 13:53:12 | × | drbean quits (~drbean@TC210-63-209-67.static.apol.com.tw) (Ping timeout: 272 seconds) |
| 2020-10-01 13:53:41 | × | Smaczny quits (~Smaczny@178.162.204.238) (Remote host closed the connection) |
| 2020-10-01 13:54:38 | × | darjeeling_ quits (~darjeelin@39.190.13.84) (Quit: WeeChat 2.9) |
| 2020-10-01 13:55:56 | → | darjeeling_ joins (~darjeelin@39.190.13.84) |
| 2020-10-01 13:56:34 | × | jgt quits (~jgt@188.239.64.32) (Ping timeout: 256 seconds) |
| 2020-10-01 13:56:47 | × | toorevitimirp quits (~tooreviti@117.182.181.38) (Ping timeout: 240 seconds) |
| 2020-10-01 13:57:08 | <shapr> | @quote dons |
| 2020-10-01 13:57:08 | <lambdabot> | dons says: Oleg: A unit of measurement of type system complexity. Also, a famous computer scientist. |
| 2020-10-01 13:57:12 | <shapr> | :-D |
| 2020-10-01 13:57:29 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 2020-10-01 13:57:46 | <lemmih> | shapr: Long time, no see. |
| 2020-10-01 13:58:01 | shapr | hugs lemmih |
| 2020-10-01 13:58:09 | <shapr> | lemmih: I like your animation project! |
| 2020-10-01 13:58:22 | <shapr> | lemmih: which continent are you on these days? |
| 2020-10-01 13:58:47 | <shapr> | lemmih: I have a job writing Haskell! My brain is stretching! |
| 2020-10-01 13:59:20 | <shapr> | Also, haskell-language-server is amazing, it's a huge speed up to my coding workflow. The instant type checking feedback is the best thing ever. |
| 2020-10-01 13:59:26 | <lemmih> | Thank! It's keeping me sane in these unusual times. I'm live in Singapore now. |
| 2020-10-01 13:59:55 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-10-01 14:00:43 | <lemmih> | shapr: Wonderful. Is it remote work? |
| 2020-10-01 14:02:18 | → | Saukk joins (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) |
| 2020-10-01 14:02:58 | hackage | th-lego 0.1.0.1 - Template Haskell construction utilities https://hackage.haskell.org/package/th-lego-0.1.0.1 (NikitaVolkov) |
| 2020-10-01 14:04:03 | → | knupfer joins (~Thunderbi@dynamic-046-114-145-216.46.114.pool.telefonica.de) |
| 2020-10-01 14:04:25 | × | raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2020-10-01 14:05:03 | → | dhil joins (~dhil@11.29.39.217.dyn.plus.net) |
| 2020-10-01 14:05:07 | × | alp quits (~alp@2a01:e0a:58b:4920:905c:27a5:4384:bd6e) (Ping timeout: 240 seconds) |
| 2020-10-01 14:06:08 | → | tzh joins (~tzh@2601:448:c500:5300::4b20) |
| 2020-10-01 14:06:14 | → | raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-10-01 14:07:14 | <lemmih> | shapr: The Haskell ecosystem sure has changed a lot. Better tooling, everything a bit more professional. Although I do miss gatherings being so weird and informal that John Hughes would ride your unicycle. :) |
| 2020-10-01 14:09:08 | ski | remembers that :) |
| 2020-10-01 14:12:46 | → | son0p joins (~son0p@181.136.122.143) |
| 2020-10-01 14:13:56 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2020-10-01 14:14:59 | → | mmynsted[m] joins (mmynstedko@gateway/shell/matrix.org/x-bkszosvvokirdutd) |
| 2020-10-01 14:15:18 | → | st8less joins (~st8less@ip72-204-59-82.fv.ks.cox.net) |
| 2020-10-01 14:15:20 | → | todda7 joins (~torstein@athedsl-4367507.home.otenet.gr) |
| 2020-10-01 14:15:32 | <kindaro> | What I am looking for is more like `Type → Q Bool` than `String → Q (Maybe Name)`. |
| 2020-10-01 14:16:05 | × | darjeeling_ quits (~darjeelin@39.190.13.84) (Ping timeout: 240 seconds) |
| 2020-10-01 14:16:35 | <kindaro> | Something else than `fmap isJust ∘ lookupTypeName ∘ ppr`. |
| 2020-10-01 14:17:13 | <maerwald> | shapr: backend? |
| 2020-10-01 14:18:32 | × | gienah quits (~mwright@gentoo/developer/gienah) (Read error: No route to host) |
| 2020-10-01 14:18:53 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 2020-10-01 14:19:06 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-113-44.w86-198.abo.wanadoo.fr) |
| 2020-10-01 14:20:06 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-83-94.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-10-01 14:21:28 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-01 14:22:05 | → | alp joins (~alp@2a01:e0a:58b:4920:c113:2588:2f2f:3e46) |
| 2020-10-01 14:22:47 | → | clynamen joins (~clynamen@109.116.4.71) |
| 2020-10-01 14:24:54 | × | Sigyn quits (sigyn@freenode/utility-bot/sigyn) (Quit: i've seen things you people wouldn't believe. spam bots on fire off the shoulder of sigyn. i watched k-line beams glitter in the dark near the Tannhäuser Gate. all these moments will be lost in time, like tears in rain. time to /die) |
| 2020-10-01 14:25:27 | → | Sigyn joins (sigyn@freenode/utility-bot/sigyn) |
| 2020-10-01 14:25:27 | ChanServ | sets mode +o Sigyn |
| 2020-10-01 14:27:09 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de) |
| 2020-10-01 14:27:39 | → | Tops22 joins (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de) |
| 2020-10-01 14:28:55 | → | xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu) |
| 2020-10-01 14:29:55 | × | acidjnk_new quits (~acidjnk@p200300d0c723785465f167aafe8fcf1d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-01 14:30:04 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de) (Ping timeout: 246 seconds) |
| 2020-10-01 14:30:23 | × | DataComp_ quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 2020-10-01 14:30:27 | hackage | http-io-streams 0.1.5.0 - HTTP and WebSocket client based on io-streams https://hackage.haskell.org/package/http-io-streams-0.1.5.0 (HerbertValerioRiedel) |
| 2020-10-01 14:31:23 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-070.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 2020-10-01 14:36:38 | → | avdb joins (~avdb@ip-62-235-13-127.dsl.scarlet.be) |
| 2020-10-01 14:36:59 | → | bayashi joins (~bayashi@178.162.204.238) |
| 2020-10-01 14:37:23 | → | acidjnk_new joins (~acidjnk@p200300d0c72378548d78178f4051abec.dip0.t-ipconnect.de) |
| 2020-10-01 14:40:29 | → | machinedgod joins (~machinedg@45.78.189.122) |
| 2020-10-01 14:40:34 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-01 14:41:13 | × | alp quits (~alp@2a01:e0a:58b:4920:c113:2588:2f2f:3e46) (Ping timeout: 272 seconds) |
| 2020-10-01 14:43:17 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-10-01 14:44:42 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1) |
| 2020-10-01 14:46:47 | × | xff0x quits (~fox@2001:1a81:5220:1600:f180:f194:ac6e:4ac8) (Ping timeout: 240 seconds) |
| 2020-10-01 14:47:46 | × | tzh quits (~tzh@2601:448:c500:5300::4b20) (Ping timeout: 244 seconds) |
| 2020-10-01 14:47:46 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-impnfldsswehocvz) |
| 2020-10-01 14:48:44 | → | argent0 joins (~argent0@168.227.96.2) |
| 2020-10-01 14:49:09 | → | kuribas joins (~user@ptr-25vy0i78se1i01mm5ri.18120a2.ip6.access.telenet.be) |
| 2020-10-01 14:49:27 | hackage | bound 2.0.2 - Making de Bruijn Succ Less https://hackage.haskell.org/package/bound-2.0.2 (ryanglscott) |
| 2020-10-01 14:49:38 | → | Silox|_ joins (uid11617@gateway/web/irccloud.com/x-gmrlywdstkzjmwkt) |
| 2020-10-01 14:50:26 | → | alp joins (~alp@2a01:e0a:58b:4920:a0d1:174f:c86a:a9d0) |
| 2020-10-01 14:52:09 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-01 14:52:56 | → | jgt joins (~jgt@188.239.64.32) |
| 2020-10-01 14:53:03 | × | Saukk quits (~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection) |
| 2020-10-01 14:56:43 | <shapr> | lemmih: yeah, I still have those pictures somewhere. I think chunks of the community are still that informal! I'm glad the tooling is improving. |
| 2020-10-01 14:56:59 | <shapr> | lemmih: yes, it's a remote work job. The company is in Boston, I'm in the DC adjacent part of Maryland |
| 2020-10-01 14:58:50 | <mmaruseacph2> | oh, this sounds interesting |
| 2020-10-01 14:58:57 | <mmaruseacph2> | may I ask which company? |
| 2020-10-01 14:59:48 | × | elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2020-10-01 15:00:01 | × | bayashi quits (~bayashi@178.162.204.238) () |
| 2020-10-01 15:00:43 | → | elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) |
| 2020-10-01 15:01:45 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 2020-10-01 15:04:20 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-01 15:04:35 | × | tchouri quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: tchouri) |
| 2020-10-01 15:05:01 | → | tchouri joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-10-01 15:05:27 | tchouri | is now known as hekkaidekapus |
| 2020-10-01 15:05:36 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-10-01 15:07:14 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-nrjrerspdzjidqfs) |
All times are in UTC.