Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 348 349 350 351 352 353 354 355 356 357 358 .. 5022
502,152 events total
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.