Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 .. 5022
— 502,152 events total
2021-04-10 01:49:42 <wroathe> Here's the relevant section (end of the second paragraph) https://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html#sec-ctxtred
2021-04-10 01:50:26 → drbean_ joins (~drbean@TC210-63-209-182.static.apol.com.tw)
2021-04-10 01:50:56 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-10 01:51:33 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-10 01:52:11 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-10 01:53:09 × aerona quits (~aerona@2600:6c54:4600:f300:d4ec:7c5a:7b7f:f607) (Quit: Leaving)
2021-04-10 01:55:37 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-10 01:56:31 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-04-10 01:58:36 × zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-10 02:00:00 → Alleria joins (~textual@2603-7000-3040-0000-aceb-3e67-a4c2-cf0c.res6.spectrum.com)
2021-04-10 02:00:24 Alleria is now known as Guest55684
2021-04-10 02:04:25 × Guest55684 quits (~textual@2603-7000-3040-0000-aceb-3e67-a4c2-cf0c.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-04-10 02:06:23 × viluon quits (uid453725@gateway/web/irccloud.com/x-hdemopkxvgfbqejd) (Quit: Connection closed for inactivity)
2021-04-10 02:06:53 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-04-10 02:08:07 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-04-10 02:11:26 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-10 02:11:27 × Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds)
2021-04-10 02:13:48 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds)
2021-04-10 02:18:04 → TheWizardTower[m joins (thewizardt@gateway/shell/matrix.org/x-twjxxhlyipcuukha)
2021-04-10 02:21:55 × cemerick quits (sid54985@gateway/web/irccloud.com/x-vkgdxbrllbqgyihu) (Ping timeout: 246 seconds)
2021-04-10 02:22:11 × eruditass quits (uid248673@gateway/web/irccloud.com/x-mnvqqybakyalqldr) (Ping timeout: 248 seconds)
2021-04-10 02:22:12 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-iaepspcpbsfhejei) (Ping timeout: 240 seconds)
2021-04-10 02:22:54 × SrPx quits (sid108780@gateway/web/irccloud.com/x-vkhxtusukeldnkrs) (Ping timeout: 245 seconds)
2021-04-10 02:23:15 × bradparker quits (sid262931@gateway/web/irccloud.com/x-vwcnradingzssljd) (Ping timeout: 248 seconds)
2021-04-10 02:23:15 × ryjm quits (sid383513@gateway/web/irccloud.com/x-iyuwdoaqqyplkeyd) (Ping timeout: 248 seconds)
2021-04-10 02:23:48 × davetapley quits (sid666@gateway/web/irccloud.com/x-yavshbynwfekjiwv) (Ping timeout: 248 seconds)
2021-04-10 02:24:44 × liquorice quits (sid267884@gateway/web/irccloud.com/x-lfdudqudagedznlb) (Ping timeout: 258 seconds)
2021-04-10 02:24:53 → eruditass joins (uid248673@gateway/web/irccloud.com/x-ekrdgfzxhsyyaqwr)
2021-04-10 02:25:30 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds)
2021-04-10 02:26:48 → bradparker joins (sid262931@gateway/web/irccloud.com/x-usqfoiaovgpgwnbj)
2021-04-10 02:26:57 × eruditass quits (uid248673@gateway/web/irccloud.com/x-ekrdgfzxhsyyaqwr) (Max SendQ exceeded)
2021-04-10 02:27:07 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-kcykiaawmgqipkin)
2021-04-10 02:27:20 → davetapley joins (sid666@gateway/web/irccloud.com/x-ohjwsogbmepwkutt)
2021-04-10 02:27:47 × systemfault quits (sid267009@gateway/web/irccloud.com/x-qisnszkdfwtomtbi) (Ping timeout: 260 seconds)
2021-04-10 02:28:20 → liquorice joins (sid267884@gateway/web/irccloud.com/x-txviedjixtylumvd)
2021-04-10 02:29:10 → cemerick joins (sid54985@gateway/web/irccloud.com/x-kwtgvqjjvamnvimg)
2021-04-10 02:30:02 → ryjm joins (sid383513@gateway/web/irccloud.com/x-xahyphcnhjupdxdl)
2021-04-10 02:30:13 → systemfault joins (sid267009@gateway/web/irccloud.com/x-vjyxibauadwbmonn)
2021-04-10 02:30:15 → eruditass joins (uid248673@gateway/web/irccloud.com/x-cfgfoahsmcmnjoib)
2021-04-10 02:30:47 → SrPx joins (sid108780@gateway/web/irccloud.com/x-gzkoamiaphbexrry)
2021-04-10 02:31:51 × mmmattyx quits (uid17782@gateway/web/irccloud.com/x-axdubxgugfspqrfr) (Quit: Connection closed for inactivity)
2021-04-10 02:32:54 × entel quits (uid256215@botters/entel) (Ping timeout: 245 seconds)
2021-04-10 02:34:09 × feepo quits (sid28508@gateway/web/irccloud.com/x-cpoahcglturgadqa) (Ping timeout: 245 seconds)
2021-04-10 02:35:28 → entel joins (uid256215@botters/entel)
2021-04-10 02:35:40 → feepo joins (sid28508@gateway/web/irccloud.com/x-sytyvubetulhexnz)
2021-04-10 02:35:57 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-04-10 02:37:08 × Wuzzy quits (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) (Quit: Wuzzy)
2021-04-10 02:48:00 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection)
2021-04-10 02:50:31 × theDon quits (~td@muedsl-82-207-238-007.citykom.de) (Ping timeout: 260 seconds)
2021-04-10 02:52:10 → theDon joins (~td@muedsl-82-207-238-055.citykom.de)
2021-04-10 02:52:35 → dycan joins (~dycan@101-136-141-121.mobile.dynamic.aptg.com.tw)
2021-04-10 02:54:25 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-10 02:54:35 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-10 02:54:36 finn_elija is now known as Guest93163
2021-04-10 02:54:36 FinnElija is now known as finn_elija
2021-04-10 02:57:33 × Guest93163 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-10 03:01:56 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-10 03:02:03 → Tario joins (~Tario@201.192.165.173)
2021-04-10 03:04:35 → anandprabhu joins (~anand@94.203.250.121)
2021-04-10 03:06:42 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-10 03:07:29 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-10 03:11:12 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-10 03:12:57 × carlomagno quits (~cararell@148.87.23.13) (Quit: Leaving.)
2021-04-10 03:14:46 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-10 03:15:33 → kiweun joins (~kiweun@2607:fea8:2a62:9600:e07b:dc25:41fc:6cb6)
2021-04-10 03:19:31 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-10 03:19:56 × kiweun quits (~kiweun@2607:fea8:2a62:9600:e07b:dc25:41fc:6cb6) (Ping timeout: 258 seconds)
2021-04-10 03:20:08 × tefter quits (~bmaxa@62.240.24.69) (Ping timeout: 265 seconds)
2021-04-10 03:22:07 → tefter joins (~bmaxa@62.240.24.69)
2021-04-10 03:24:43 × hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 268 seconds)
2021-04-10 03:26:55 <hololeap> what does n ³ 0 mean
2021-04-10 03:28:08 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-10 03:29:22 → hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-10 03:29:32 → zaquest joins (~notzaques@5.128.210.178)
2021-04-10 03:31:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-10 03:34:19 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-10 03:34:44 → glaceon joins (~glaceon@117.222.70.34)
2021-04-10 03:34:51 <johnw> maerwald: what is the current recommended AE library?
2021-04-10 03:35:08 → Tario joins (~Tario@201.192.165.173)
2021-04-10 03:36:11 <wroathe> hololeap: That was a copy/paste error. It's n >= 0
2021-04-10 03:36:19 <davean> cccccclknknvedgfneknrijbbrktjdchdbvcuegthilh
2021-04-10 03:36:30 <johnw> ooh, Yubikey user!
2021-04-10 03:36:31 × howdoi quits (uid224@gateway/web/irccloud.com/x-evyyevhnqcscuwmd) (Quit: Connection closed for inactivity)
2021-04-10 03:36:43 <johnw> at work such strings are a running joke
2021-04-10 03:37:04 <davean> Yah, its annoying, I don't use that part of it, but disabling it ...
2021-04-10 03:37:16 <johnw> disabling it is actually very easy; want the steps?
2021-04-10 03:37:32 <davean> I had issues disabling it making touch-to-sign not work
2021-04-10 03:37:35 <johnw> https://gist.github.com/0472119c67eaf701799b99b4db235d43
2021-04-10 03:37:38 <davean> the part I actually use
2021-04-10 03:37:39 <johnw> huh
2021-04-10 03:37:40 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-10 03:37:57 <johnw> I stopped using touch-to-sign, I make too many Git commits per day for that
2021-04-10 03:40:50 <davean> well I was going to ask if theres a particular reason Solo isn't exposed in 'base', just ghc-prim and if there was a reason for that decision
2021-04-10 03:44:26 <johnw> I was wondering what the current "state of the art" is for Haskell algebraic effect libraries
2021-04-10 03:44:35 <johnw> I really like using them, but the landscape seems to change very often
2021-04-10 03:50:26 <edwardk> johnw: clearly the answer is mtl
2021-04-10 03:50:27 <johnw> sounds like fused-effects for the time being?
2021-04-10 03:50:33 <johnw> hah, edwardk
2021-04-10 03:50:38 <johnw> what's up!
2021-04-10 03:50:56 <edwardk> a fair bit. we should catch up
←Prev  Next→
Page 1 .. 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 .. 5022

All times are in UTC.