Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 516 517 518 519 520 521 522 523 524 525 526 .. 5022
— 502,152 events total
2020-10-08 19:42:24 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-08 19:42:29 <proofofme> I've been studying category theory (I'm like 70% of the way through the standard curriculum) and reading some articles. I'm building a very small scraper script to get more familiar
2020-10-08 19:42:33 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-08 19:43:07 <tomsmeding> I say understand >>= first, then understand how do-notation is expressed in terms of it :p
2020-10-08 19:43:19 <monochrom> If you're from category theory, then you already know join, and you just need "m >>= k = join (fmap f m)"
2020-10-08 19:43:49 <monochrom> well, you know join under a Greek name. But it's:
2020-10-08 19:43:53 <monochrom> @type join
2020-10-08 19:43:55 <lambdabot> Monad m => m (m a) -> m a
2020-10-08 19:44:13 <proofofme> hmmm
2020-10-08 19:44:41 × oisdk quits (~oisdk@2001:bb6:3329:d100:7807:4c86:5073:949e) (Quit: oisdk)
2020-10-08 19:44:45 × Guest_46 quits (50ec28e9@ip-233.net-80-236-40.suresnes.rev.numericable.fr) (Remote host closed the connection)
2020-10-08 19:45:36 <monochrom> You probably also already know Kleisli arrows. In that case, that's >=>.
2020-10-08 19:46:13 <monochrom> or rather, >=> is the arrow composition for Kleisli arrows.
2020-10-08 19:46:14 <sbp> lyxia: thanks
2020-10-08 19:46:16 ← sbp parts (~sbp@2001:19f0:6800:1102:5400:ff:fe11:39a1) ("WeeChat 2.8")
2020-10-08 19:46:30 <proofofme> Interesting
2020-10-08 19:47:02 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-08 19:47:22 → geekosaur joins (ac3a3eec@172.58.62.236)
2020-10-08 19:48:29 → isovector1 joins (~isovector@172.103.216.166)
2020-10-08 19:49:56 × isovector1 quits (~isovector@172.103.216.166) (Client Quit)
2020-10-08 19:50:28 ski idly wonders what CT concepts proofofme's covered
2020-10-08 19:50:32 → thir joins (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de)
2020-10-08 19:50:55 <proofofme> I lightly understand what you said above and made a list to refamiliarize myself
2020-10-08 19:51:47 × knupfer quits (~Thunderbi@200116b82ce4df00a0bd07f956f29bb7.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-08 19:52:02 <proofofme> I've watched up to Chapter 7 in Bartosz Milewski's Category Theory playlist
2020-10-08 19:52:35 <proofofme> So "a monad is simply a monoid in the category of endofunctors" makes full sense to me now :)
2020-10-08 19:53:34 <proofofme> I've also been learning abstract algebra and some number theory. I am no expert by any means though.
2020-10-08 19:54:11 <monochrom> err typo. m >>= k = join (fmap k m)
2020-10-08 19:54:47 × thir quits (~thir@p200300f27f0fc60038c1b16891cbfa03.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-08 19:57:26 × int-e quits (~noone@silicon.int-e.eu) (Quit: leaving)
2020-10-08 19:57:42 → int-e joins (~noone@int-e.eu)
2020-10-08 20:01:51 × alp quits (~alp@88.126.45.36) (Ping timeout: 260 seconds)
2020-10-08 20:01:57 hackage neuron 1.0.0.0 - Future-proof system for plain-text notes. https://hackage.haskell.org/package/neuron-1.0.0.0 (sridca)
2020-10-08 20:03:27 hackage lorentz 0.6.2 - EDSL for the Michelson Language https://hackage.haskell.org/package/lorentz-0.6.2 (gromak)
2020-10-08 20:03:31 → MVQq joins (~anja@198.254.202.72)
2020-10-08 20:03:36 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-08 20:03:36 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-08 20:03:36 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-08 20:04:19 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-08 20:06:18 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 256 seconds)
2020-10-08 20:07:14 → rprije joins (~rprije@203.214.95.251)
2020-10-08 20:09:29 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-08 20:09:32 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-08 20:10:38 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-08 20:14:11 → conal joins (~conal@64.71.133.70)
2020-10-08 20:17:09 → ashbreeze joins (~mark@72-161-252-12.dyn.centurytel.net)
2020-10-08 20:18:25 × _ashbreeze_ quits (~mark@72-161-48-15.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 20:18:49 × John20 quits (~John@82.46.59.122) (Ping timeout: 264 seconds)
2020-10-08 20:20:50 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 20:20:57 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-10-08 20:25:47 × ashbreeze quits (~mark@72-161-252-12.dyn.centurytel.net) (Ping timeout: 240 seconds)
2020-10-08 20:27:19 × geekosaur quits (ac3a3eec@172.58.62.236) (Remote host closed the connection)
2020-10-08 20:27:21 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-08 20:27:58 → ashbreeze joins (~mark@72-161-252-12.dyn.centurytel.net)
2020-10-08 20:35:01 × ashbreeze quits (~mark@72-161-252-12.dyn.centurytel.net) (Ping timeout: 264 seconds)
2020-10-08 20:36:40 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 20:37:18 × ryansmccoy quits (~ryansmcco@156.96.151.132) (Ping timeout: 260 seconds)
2020-10-08 20:37:47 → ryansmccoy joins (~ryansmcco@156.96.151.132)
2020-10-08 20:41:22 × coot quits (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 256 seconds)
2020-10-08 20:45:26 → alp joins (~alp@2a01:e0a:58b:4920:ac57:f0c6:c76e:e7d6)
2020-10-08 20:46:10 → phaul joins (~phaul@ruby/staff/phaul)
2020-10-08 20:46:48 × balbirs quits (~balbirs__@bilbo.ozlabs.org) (Quit: ZNC 1.7.5+deb1 - https://znc.in)
2020-10-08 20:47:31 → balbirs joins (~balbirs__@ozlabs.org)
2020-10-08 20:48:53 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-08 20:49:01 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-bssvxoobsmajjsoa) (Quit: Connection closed for inactivity)
2020-10-08 20:54:01 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-08 20:55:20 × cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Remote host closed the connection)
2020-10-08 20:55:50 → cosimone joins (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0)
2020-10-08 21:00:01 × Guest36719 quits (~variable@185.244.214.216) ()
2020-10-08 21:01:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 21:02:07 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-08 21:05:45 × Franciman quits (~francesco@host-95-247-31-62.retail.telecomitalia.it) (Quit: Leaving)
2020-10-08 21:07:00 × mcc2 quits (~pbodev1@5-15-16-231.residential.rdsnet.ro) (Quit: Nettalk6 - www.ntalk.de)
2020-10-08 21:13:04 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-10-08 21:13:17 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-08 21:13:17 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-10-08 21:14:27 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-10-08 21:17:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-08 21:20:27 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2020-10-08 21:21:58 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-08 21:22:16 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 21:22:38 × _vaibhavingale_ quits (~Adium@203.188.228.27) (Quit: Leaving.)
2020-10-08 21:23:15 → psygate joins (~psygate@unaffiliated/psygate)
2020-10-08 21:23:31 × borne quits (~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-08 21:23:51 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Client Quit)
2020-10-08 21:24:08 → justsomeguy joins (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b)
2020-10-08 21:24:08 × justsomeguy quits (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) (Changing host)
2020-10-08 21:24:08 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-08 21:26:45 × Tops21 quits (~Tobias@dyndsl-095-033-023-047.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-08 21:28:22 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-08 21:28:29 × Ariakenom quits (~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-08 21:28:32 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-08 21:28:33 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-08 21:28:33 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-08 21:30:44 → radge joins (~dav@84.45.212.159)
2020-10-08 21:31:56 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-08 21:32:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-08 21:33:34 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-08 21:34:55 × cosimone quits (~cosimone@2001:b07:ae5:db26:a16f:75:586:b3b0) (Quit: cosimone)
2020-10-08 21:36:50 → borne joins (~fritjof@200116b864a02a00739dc2dd650b1f65.dip.versatel-1u1.de)
←Prev  Next→
Page 1 .. 516 517 518 519 520 521 522 523 524 525 526 .. 5022

All times are in UTC.