Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 461 462 463 464 465 466 467 468 469 470 471 .. 18001
— 1,800,046 events total
2021-06-14 19:15:52 → curiousgay joins (~quassel@178.217.208.8)
2021-06-14 19:18:04 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-14 19:18:36 → Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-06-14 19:18:40 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-06-14 19:18:46 → Guest995 joins (~Guest9@103.249.234.176)
2021-06-14 19:20:27 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-14 19:20:28 × Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8)
2021-06-14 19:23:11 × gensyst quits (gensyst@user/gensyst) (Quit: Leaving)
2021-06-14 19:25:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-14 19:25:43 × azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-14 19:25:53 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.204.25) (Quit: EXIT)
2021-06-14 19:26:16 → GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25)
2021-06-14 19:26:22 × bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-14 19:26:24 → azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it)
2021-06-14 19:26:43 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2021-06-14 19:27:49 × kuribas quits (~user@ptr-25vy0ia399rh9n147f5.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-06-14 19:29:02 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-14 19:29:43 → ddellacosta joins (~ddellacos@89.45.224.177)
2021-06-14 19:31:07 × larryba quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-06-14 19:31:10 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-06-14 19:32:08 × xsperry quits (~as@user/xsperry) (Remote host closed the connection)
2021-06-14 19:34:16 × ddellacosta quits (~ddellacos@89.45.224.177) (Ping timeout: 244 seconds)
2021-06-14 19:34:37 × xff0x_ quits (~xff0x@2001:1a81:521f:1b00:f01:e8ca:b853:4d4) (Quit: xff0x_)
2021-06-14 19:34:59 × hololeap quits (hololeap@user/hololeap) (Ping timeout: 244 seconds)
2021-06-14 19:36:28 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Remote host closed the connection)
2021-06-14 19:36:35 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-14 19:37:56 × mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 272 seconds)
2021-06-14 19:40:19 → xff0x joins (~xff0x@2001:1a81:521f:1b00:7e7c:d0a5:c0e1:6eb7)
2021-06-14 19:40:53 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2021-06-14 19:41:07 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-14 19:43:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-14 19:43:58 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
2021-06-14 19:44:17 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2021-06-14 19:44:25 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-14 19:45:19 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
2021-06-14 19:46:49 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-14 19:50:04 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
2021-06-14 19:53:59 → cheater joins (~Username@user/cheater)
2021-06-14 19:55:53 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-14 19:55:55 × xff0x quits (~xff0x@2001:1a81:521f:1b00:7e7c:d0a5:c0e1:6eb7) (Ping timeout: 272 seconds)
2021-06-14 19:56:36 × Schrostfutz_ quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-06-14 19:56:50 → Schrostfutz_ joins (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de)
2021-06-14 19:57:19 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533)
2021-06-14 19:57:31 → xff0x joins (~xff0x@2001:1a81:5224:8900:b094:cc23:ed27:1430)
2021-06-14 19:58:04 → neilfulwiler joins (~neilfulwi@2a02:c7f:821d:4000:a8c6:8b39:4a1f:ba3c)
2021-06-14 19:58:23 → cheater1__ joins (~Username@user/cheater)
2021-06-14 19:59:28 × cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds)
2021-06-14 19:59:28 × killsushi quits (~killsushi@user/killsushi) (Ping timeout: 272 seconds)
2021-06-14 19:59:40 × neilfulwiler quits (~neilfulwi@2a02:c7f:821d:4000:a8c6:8b39:4a1f:ba3c) (Client Quit)
2021-06-14 20:00:23 × BestSteve quits (~beststeve@220-135-3-239.HINET-IP.hinet.net) (*.net *.split)
2021-06-14 20:00:56 → ddellacosta joins (~ddellacos@86.106.121.242)
2021-06-14 20:01:00 → BestSteve joins (~beststeve@220-135-3-239.HINET-IP.hinet.net)
2021-06-14 20:02:25 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-14 20:02:56 → cheater joins (~Username@user/cheater)
2021-06-14 20:03:12 × cheater1__ quits (~Username@user/cheater) (Ping timeout: 244 seconds)
2021-06-14 20:04:00 × niko quits (~niko@libera/staff/niko) (*.net *.split)
2021-06-14 20:04:00 × bcmiller quits (~bm3719@66.42.95.185) (*.net *.split)
2021-06-14 20:04:05 → bcmiller_ joins (~bm3719@66.42.95.185)
2021-06-14 20:04:19 → niko joins (~niko@libera/staff/niko)
2021-06-14 20:05:03 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-14 20:05:28 × juhp quits (~juhp@128.106.188.66) (Ping timeout: 244 seconds)
2021-06-14 20:05:52 → jneira_ joins (~jneira_@5.red-81-39-172.dynamicip.rima-tde.net)
2021-06-14 20:06:30 × awth13 quits (~user@user/awth13) (Read error: Connection reset by peer)
2021-06-14 20:06:32 <eflister> whew, figured it out: check (null . ($/ checkName ((== "LineString") . nameLocalName)))
2021-06-14 20:07:06 → awth13 joins (~user@user/awth13)
2021-06-14 20:07:32 × cheater quits (~Username@user/cheater) (Ping timeout: 244 seconds)
2021-06-14 20:08:08 → juhp joins (~juhp@128.106.188.66)
2021-06-14 20:08:58 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Remote host closed the connection)
2021-06-14 20:09:32 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-14 20:13:48 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2021-06-14 20:15:17 → cheater joins (~Username@user/cheater)
2021-06-14 20:16:00 → bor0 joins (~boro@user/bor0)
2021-06-14 20:16:21 → fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net)
2021-06-14 20:16:31 → fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net)
2021-06-14 20:16:50 × fishfinger quits (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) (Remote host closed the connection)
2021-06-14 20:17:12 × muto quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 268 seconds)
2021-06-14 20:18:10 × fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan)
2021-06-14 20:18:55 → fjmorazan joins (~quassel@user/fjmorazan)
2021-06-14 20:19:19 × Schrostfutz_ quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-06-14 20:19:35 → Schrostfutz_ joins (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de)
2021-06-14 20:19:35 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-14 20:19:40 <eflister> can anyone be frank with me about what's happening to haskell the last few years? it's my favorite but i'm just a hobbyist, so i only do about one project a year, and i have no inside scoop. the community doesn't seem to have the vitality it did 5-10 years ago, there doesn't seem to be the same volume of exciting new discoveries and developments.
2021-06-14 20:19:40 <eflister> did people move on to something else? why?
2021-06-14 20:20:31 <wz1000> is there anything in particular that makes you say that?
2021-06-14 20:21:05 <[exa]> eflister: imo the community is super excited, except many people got haskell jobs which makes them far less radical :D
2021-06-14 20:22:22 <[exa]> (and yeah, stuff is getting stabilized, that's good isn't it?)
2021-06-14 20:22:59 <eflister> well when i was first learning, there were millions of blogs with explainers of recent advances that everyone was buzzing about -- applicative, transformers, lenses, etc. i haven't seen stuff like that in a few years. and spj seems to be way less active?
2021-06-14 20:23:32 <geekosaur> these days type level is the new hotness
2021-06-14 20:23:36 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-14 20:23:53 <geekosaur> but nobody understands it well enough to explain it to the rest of us :þ
2021-06-14 20:23:54 <Vq> We should have avoided success, now we're paying the price for it...
2021-06-14 20:24:08 <Rembane> geekosaur: Sounds like monads ... but on the type level. :)
2021-06-14 20:25:11 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-14 20:25:18 <[exa]> also linear haskell!!111
2021-06-14 20:25:21 <Schrostfutz_> Is there a way to "build" recursive functions not from the top down, but from the bottom up? I'm looking at a problem where a call for `n` requires one call each for `1..n - 1`, which quickly becomes unfeasible
2021-06-14 20:25:57 <wz1000> https://gitlab.haskell.org/simonpj seems quite active to me...
2021-06-14 20:25:57 <[exa]> Schrostfutz_: this is a wild shot but you might refer to "memoization algorithms" or "dynamic programming"
2021-06-14 20:26:05 <bor0> eflister, it just so happens that the same moment I am watching https://www.twitch.tv/videos/1052714670 and it covers some of your questions. I am halfway through but they covered the current community, the proposal system, experimenting with Haskell, etc.
2021-06-14 20:26:54 <geekosaur> there's a lot of effort going into haskell-language-server as IDE support
2021-06-14 20:26:56 <bor0> I am in a similar situation to you (Haskell as a hobby, small projects, advent of code, etc.), but it looks pretty alive to me :)
←Prev  Next→
Page 1 .. 461 462 463 464 465 466 467 468 469 470 471 .. 18001

All times are in UTC.