Home liberachat/#haskell: Logs Calendar

Logs on 2023-09-11 (liberachat/#haskell)

00:00:03 × joel135 quits (sid136450@id-136450.hampstead.irccloud.com) (*.net *.split)
00:00:03 × hexology quits (~hexology@user/hexology) (*.net *.split)
00:00:03 × aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
00:00:04 × joeyh quits (joeyh@kitenet.net) (*.net *.split)
00:00:04 × jil`` quits (~user@vps-15050500.vps.ovh.net) (*.net *.split)
00:00:04 × remexre quits (~remexre@user/remexre) (*.net *.split)
00:00:04 × shailangsa_ quits (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (*.net *.split)
00:00:04 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (*.net *.split)
00:00:04 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (*.net *.split)
00:00:04 × lav quits (~pi@wikipedia/maddy-from-celeste) (*.net *.split)
00:00:05 × adium quits (adium@user/adium) (*.net *.split)
00:00:05 × goober quits (~goober@90-231-13-185-no3430.tbcn.telia.com) (*.net *.split)
00:00:05 × Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split)
00:00:06 × stefan-_ quits (~cri@42dots.de) (*.net *.split)
00:00:06 × kaskal quits (~kaskal@213-147-167-98.nat.highway.webapn.at) (*.net *.split)
00:00:06 × immae quits (~immae@2a01:4f8:141:53e7::) (*.net *.split)
00:00:06 × bionade24 quits (~bionade24@2a03:4000:33:45b::1) (*.net *.split)
00:00:06 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split)
00:00:06 × dtman34 quits (~dtman34@2601:447:d000:93c9:e1b8:a026:e3cf:cdd2) (*.net *.split)
00:00:06 × pointlessslippe1 quits (~pointless@212.82.82.3) (*.net *.split)
00:00:06 × srk quits (~sorki@user/srk) (*.net *.split)
00:00:06 × angerman quits (uid209936@id-209936.ilkley.irccloud.com) (*.net *.split)
00:00:06 × Patternmaster quits (~georg@user/Patternmaster) (*.net *.split)
00:00:06 × liskin quits (~liskin@xmonad/liskin) (*.net *.split)
00:00:06 × anpad quits (~pandeyan@user/anpad) (*.net *.split)
00:00:07 × Philonous quits (~Philonous@user/philonous) (*.net *.split)
00:00:07 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
00:00:07 × thelounge793 quits (~thelounge@95.179.128.119) (*.net *.split)
00:00:07 × drdo quits (~drdo@bl8-38-186.dsl.telepac.pt) (*.net *.split)
00:00:08 × titibandit quits (~titibandi@user/titibandit) (*.net *.split)
00:00:08 × vgtw quits (~vgtw@user/vgtw) (*.net *.split)
00:00:08 × koz quits (~koz@121.99.240.58) (*.net *.split)
00:00:08 × schmoats quits (~thomas@user/oats) (*.net *.split)
00:00:08 × telser quits (~quassel@user/telser) (*.net *.split)
00:00:08 × woffs quits (3cd46299b2@woffs.de) (*.net *.split)
00:00:08 × phileasfogg quits (~phileasfo@user/phileasfogg) (*.net *.split)
00:00:08 × Nikopol quits (nikopol@user/astrorigin) (*.net *.split)
00:00:09 × Athas quits (athas@sigkill.dk) (*.net *.split)
00:00:09 × statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
00:00:09 × g quits (g@libera/staff/glguy) (*.net *.split)
00:00:09 × infinity0 quits (~infinity0@pwned.gg) (*.net *.split)
00:00:09 × remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (*.net *.split)
00:00:09 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (*.net *.split)
00:00:09 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (*.net *.split)
00:00:09 × barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
00:00:10 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
00:00:10 × jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (*.net *.split)
00:00:10 × geekosaur quits (~geekosaur@xmonad/geekosaur) (*.net *.split)
00:00:10 × farn quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
00:00:10 × Alex_test quits (~al_test@178.34.160.172) (*.net *.split)
00:00:10 × cptaffe quits (~ZNC@2600:1700:f08:111f::18e7) (*.net *.split)
00:00:10 × Franciman quits (~Franciman@mx1.fracta.dev) (*.net *.split)
00:00:10 × Pixi quits (~Pixi@user/pixi) (*.net *.split)
00:00:10 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
00:00:10 × robbert-vdh quits (~robbert@robbertvanderhelm.nl) (*.net *.split)
00:00:11 × hays quits (rootvegeta@fsf/member/hays) (*.net *.split)
00:00:11 × caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
00:00:11 × hongminhee quits (sid295@id-295.tinside.irccloud.com) (*.net *.split)
00:00:11 × mjs2600_ quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (*.net *.split)
00:00:11 × tstat quits (~tstat@user/tstat) (*.net *.split)
00:00:11 × heath3 quits (~heath@user/heath) (*.net *.split)
00:00:12 × Ranhir quits (~Ranhir@157.97.53.139) (*.net *.split)
00:00:12 × son0p quits (~ff@186.121.39.74) (*.net *.split)
00:00:12 × Vajb quits (~Vajb@2001:999:500:7771:18aa:c4e5:e7a9:f44b) (*.net *.split)
00:00:12 × mzg quits (mzg@lazy.unconscious.biz) (*.net *.split)
00:00:12 × megaTherion quits (~therion@unix.io) (*.net *.split)
00:00:12 × ph88 quits (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (*.net *.split)
00:00:12 × bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
00:00:12 × bcmiller quits (~bm3719@66.42.95.185) (*.net *.split)
00:00:12 × img quits (~img@user/img) (*.net *.split)
00:00:13 × SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
00:00:13 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (*.net *.split)
00:00:13 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (*.net *.split)
00:00:13 × cawfee quits (~root@2406:3003:2077:2758::babe) (*.net *.split)
00:00:13 × shachaf quits (~shachaf@user/shachaf) (*.net *.split)
00:00:13 × micro quits (~micro@user/micro) (*.net *.split)
00:00:13 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
00:00:13 × gaze___ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
00:00:13 × mxs quits (~mxs@user/mxs) (*.net *.split)
00:00:13 → remexre joins (~remexre@user/remexre)
00:00:15 → megaTherion joins (~therion@2001:470:1f09:68::1)
00:00:15 → micro joins (~micro@178.79.128.27)
00:00:15 → opqdonut joins (opqdonut@pseudo.fixme.fi)
00:00:18 → mzg joins (mzg@37.221.213.54)
00:00:20 × micro quits (~micro@178.79.128.27) (Changing host)
00:00:20 → micro joins (~micro@user/micro)
00:00:20 → edwtjo joins (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se)
00:00:20 → bcmiller joins (~bm3719@66.42.95.185)
00:00:21 → thelounge793 joins (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3)
00:00:21 → mjs2600 joins (~mjs2600@174.169.225.239)
00:00:23 → img joins (~img@2405:6580:b8c0:1400:96c6:91ff:fea5:bc11)
00:00:23 → joel135 joins (sid136450@id-136450.hampstead.irccloud.com)
00:00:24 → g joins (g@libera/staff/glguy)
00:00:25 → SethTisue joins (sid14912@id-14912.ilkley.irccloud.com)
00:00:26 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
00:00:28 → ph88 joins (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de)
00:00:33 → Alex_test joins (~al_test@178.34.160.172)
00:00:36 → angerman joins (uid209936@id-209936.ilkley.irccloud.com)
00:00:36 → liskin joins (~liskin@ackle.nomi.cz)
00:00:38 → farn joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
00:00:38 → immae joins (~immae@2a01:4f8:141:53e7::)
00:00:42 → hongminhee joins (sid295@id-295.tinside.irccloud.com)
00:00:43 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
00:00:44 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
00:00:45 → Nikopol joins (nikopol@yoga.astrorigin.com)
00:00:45 → joeyh joins (~joeyh@kitenet.net)
00:00:47 → aspen joins (sid449115@helmsley.irccloud.com)
00:00:47 × img quits (~img@2405:6580:b8c0:1400:96c6:91ff:fea5:bc11) (Changing host)
00:00:47 → img joins (~img@user/img)
00:00:49 → caasih joins (sid13241@ilkley.irccloud.com)
00:00:54 → shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
00:01:02 × edwtjo quits (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se) (Changing host)
00:01:02 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
00:01:04 → bionade24 joins (~bionade24@2a03:4000:33:45b::1)
00:01:10 → Raito_Bezarius joins (~Raito@82-65-118-1.subs.proxad.net)
00:01:12 → Ranhir joins (~Ranhir@157.97.53.139)
00:01:12 → gaze___ joins (sid387101@id-387101.helmsley.irccloud.com)
00:01:20 → Athas joins (athas@2a01:7c8:aaac:1cf:8ff:b397:bb59:f8cd)
00:01:29 × liskin quits (~liskin@ackle.nomi.cz) (Changing host)
00:01:29 → liskin joins (~liskin@xmonad/liskin)
00:01:45 × Nikopol quits (nikopol@yoga.astrorigin.com) (Changing host)
00:01:45 → Nikopol joins (nikopol@user/astrorigin)
00:01:51 → koz joins (~koz@121.99.240.58)
00:02:10 → infinity0 joins (~infinity0@pwned.gg)
00:02:11 → son0p joins (~ff@186.121.39.74)
00:02:12 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
00:02:24 → statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
00:02:44 → hexology joins (~hexology@user/hexology)
00:02:47 → cawfee joins (~root@2406:3003:2077:2758::babe)
00:03:17 → srk joins (~sorki@user/srk)
00:03:22 → telser joins (~quassel@user/telser)
00:03:48 → pointlessslippe1 joins (~pointless@212.82.82.3)
00:03:49 → Franciman joins (~Franciman@mx1.fracta.dev)
00:03:57 → geekosaur joins (~geekosaur@xmonad/geekosaur)
00:04:11 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
00:04:14 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
00:04:27 → mxs joins (~mxs@user/mxs)
00:04:29 → Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
00:04:31 → stefan-_ joins (~cri@42dots.de)
00:04:31 → oats joins (~thomas@user/oats)
00:04:35 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
00:04:39 → cptaffe joins (~ZNC@2600:1700:f08:111f::18e7)
00:04:40 → dtman34 joins (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
00:04:45 → Vajb joins (~Vajb@2001:999:500:7771:18aa:c4e5:e7a9:f44b)
00:04:57 → geekosaur joins (~geekosaur@xmonad/geekosaur)
00:05:02 → Philonous joins (~Philonous@user/philonous)
00:05:11 → shachaf joins (~shachaf@user/shachaf)
00:05:12 → phileasfogg joins (~phileasfo@user/phileasfogg)
00:05:13 → bwe joins (~bwe@static.72.17.201.195.clients.your-server.de)
00:05:16 → remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz)
00:05:16 → vgtw joins (~vgtw@user/vgtw)
00:05:19 → Patternmaster joins (~georg@li1192-118.members.linode.com)
00:05:23 → Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
00:05:34 → chymera joins (~chymera@ns1000526.ip-51-81-46.us)
00:05:35 × Patternmaster quits (~georg@li1192-118.members.linode.com) (Changing host)
00:05:35 → Patternmaster joins (~georg@user/Patternmaster)
00:05:41 → lav joins (~pi@wikipedia/maddy-from-celeste)
00:05:44 → barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk)
00:05:49 → Pixi joins (~Pixi@user/pixi)
00:05:55 → titibandit joins (~titibandi@user/titibandit)
00:05:59 → tstat joins (~tstat@user/tstat)
00:06:02 → heath3 joins (~heath@user/heath)
00:06:33 → jle` joins (~jle`@cpe-23-240-75-236.socal.res.rr.com)
00:06:41 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit)
00:06:54 → robbert-vdh joins (~robbert@robbertvanderhelm.nl)
00:07:49 → anpad joins (~pandeyan@user/anpad)
00:08:10 → adium joins (adium@user/adium)
00:08:51 → kaskal joins (~kaskal@213-147-167-98.nat.highway.webapn.at)
00:10:30 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.)
00:12:32 × cptaffe quits (~ZNC@2600:1700:f08:111f::18e7) (Quit: ZNC 1.8.2 - https://znc.in)
00:13:27 × habib quits (~habib@91.196.222.95) (Quit: Textual IRC Client: www.textualapp.com)
00:13:28 → cptaffe joins (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
00:17:34 × _leo___ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
00:20:57 ← cptaffe parts (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Textual IRC Client: www.textualapp.com)
00:21:16 → Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
00:23:00 → cptaffe joins (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
00:24:05 ← cptaffe parts (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Textual IRC Client: www.textualapp.com)
00:24:57 → cptaffe joins (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net)
00:26:36 × artem quits (~artem@192.31.0.5) (Ping timeout: 240 seconds)
00:27:44 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
00:27:45 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
00:27:45 → wroathe joins (~wroathe@user/wroathe)
00:28:53 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
00:28:54 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
00:29:39 → ulysses4ever joins (~artem@192.31.0.5)
00:35:30 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
00:38:33 → libertyprime joins (~libertypr@203.96.203.44)
00:39:32 → artem joins (~artem@2601:408:c408:5401:f474:e3f8:9806:671)
00:40:45 × ulysses4ever quits (~artem@192.31.0.5) (Ping timeout: 255 seconds)
00:43:01 → shailangsa joins (~shailangs@host86-186-196-224.range86-186.btcentralplus.com)
00:50:20 × artem quits (~artem@2601:408:c408:5401:f474:e3f8:9806:671) (Ping timeout: 246 seconds)
00:53:00 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds)
00:56:21 → notzmv joins (~zmv@user/notzmv)
00:56:40 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
01:02:06 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
01:09:51 × privacy quits (~privacy@47.219.84.6) (Remote host closed the connection)
01:10:14 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
01:12:47 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
01:13:20 → ulysses4ever joins (~artem@c-73-103-90-145.hsd1.in.comcast.net)
01:16:15 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
01:17:06 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
01:17:09 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
01:19:06 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
01:21:49 × libertyprime quits (~libertypr@203.96.203.44) (Quit: leaving)
01:23:04 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection)
01:23:24 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
01:23:47 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
01:25:05 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 246 seconds)
01:40:33 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
01:48:54 × otto_s quits (~user@p5de2f4a4.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
01:50:27 → otto_s joins (~user@p5de2fddf.dip0.t-ipconnect.de)
01:54:12 → yosef` joins (~yosef`@user/yosef/x-2947716)
01:57:39 → bilegeek joins (~bilegeek@2600:1008:b011:bd78:5daf:c12f:e055:eaf)
02:03:38 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
02:09:40 × hexeme_ quits (~hexeme@user/hexeme) (Server closed connection)
02:10:39 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
02:11:04 → hexeme joins (~hexeme@user/hexeme)
02:13:20 → ursa-major joins (~ursa-majo@static-198-44-128-154.cust.tzulo.com)
02:15:01 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds)
02:15:22 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
02:15:26 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
02:20:29 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
02:20:39 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
02:22:30 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
02:35:35 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
02:44:10 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 252 seconds)
02:44:25 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
02:44:26 → allbery_b joins (~geekosaur@xmonad/geekosaur)
02:44:28 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
02:44:29 × haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer)
02:44:30 allbery_b is now known as geekosaur
02:44:47 → haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com)
02:47:59 × td_ quits (~td@i53870929.versanet.de) (Ping timeout: 250 seconds)
02:50:00 → td_ joins (~td@i53870901.versanet.de)
02:56:58 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
02:56:58 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
02:56:58 finn_elija is now known as FinnElija
03:00:00 × Taneb quits (~Taneb@runciman.hacksoc.org) (Quit: I seem to have stopped.)
03:00:53 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 246 seconds)
03:01:07 → Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
03:02:48 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
03:10:47 × guygastineau quits (~guygastin@137.184.131.156) (Server closed connection)
03:11:08 → RMSBach joins (~guygastin@137.184.131.156)
03:11:43 → aforemny joins (~aforemny@i59F516FF.versanet.de)
03:12:22 × yosef` quits (~yosef`@user/yosef/x-2947716) (Quit: Client closed)
03:12:32 × aforemny_ quits (~aforemny@i59f516c5.versanet.de) (Ping timeout: 246 seconds)
03:14:05 × dsrt^ quits (~cd@c-66-56-7-24.hsd1.ga.comcast.net) (Remote host closed the connection)
03:14:25 → dsrt^ joins (~cd@c-66-56-7-24.hsd1.ga.comcast.net)
03:16:00 → yosef` joins (~yosef`@user/yosef/x-2947716)
03:18:59 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
03:26:13 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
03:26:32 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
03:26:48 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
03:27:19 × dminuoso quits (~dminuoso@user/dminuoso) (Server closed connection)
03:27:38 → dminuoso joins (~dminuoso@user/dminuoso)
03:33:45 × lawt quits (~lawt@129.159.36.129) (Server closed connection)
03:34:08 → lawt joins (~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d)
03:47:15 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
03:56:36 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
04:00:36 → arahael joins (~arahael@1.145.85.113)
04:02:02 × actioninja quits (~actioninj@user/actioninja) (Quit: see ya mane)
04:02:29 → actioninja joins (~actioninj@user/actioninja)
04:05:31 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
04:21:32 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
04:33:00 → brettgilio joins (a35ba67324@2604:bf00:561:2000::260)
04:33:24 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds)
04:40:07 ← brettgilio parts (a35ba67324@2604:bf00:561:2000::260) ()
04:41:25 → brettgilio joins (a35ba67324@2604:bf00:561:2000::260)
04:43:05 ← brettgilio parts (a35ba67324@2604:bf00:561:2000::260) ()
04:43:53 → brettgilio joins (a35ba67324@2604:bf00:561:2000::260)
04:44:09 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
04:47:41 → acidjnk joins (~acidjnk@p200300d6e7072f2408637a15d341feed.dip0.t-ipconnect.de)
04:48:32 × arahael quits (~arahael@1.145.85.113) (Ping timeout: 255 seconds)
04:51:51 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
04:57:55 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
05:06:51 × koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
05:07:02 → koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com)
05:07:32 × angerman quits (uid209936@id-209936.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
05:15:53 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
05:17:20 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:20:54 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
05:24:46 → privacy joins (~privacy@47.219.84.6)
05:36:29 × bilegeek quits (~bilegeek@2600:1008:b011:bd78:5daf:c12f:e055:eaf) (Quit: Leaving)
05:37:46 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
05:37:50 → Lycurgus joins (~juan@user/Lycurgus)
05:38:20 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
05:42:35 → michalz joins (~michalz@185.246.207.193)
06:01:16 × Moyst_ quits (~moyst@user/moyst) (Server closed connection)
06:02:32 → Moyst_ joins (~moyst@user/moyst)
06:13:43 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:23:39 → CiaoSen joins (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef)
06:27:12 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:d23e:afe2:ac44:ca90)
06:31:00 → jackneill__ joins (~Jackneill@20014C4E1E101A00070E63282F89E671.dsl.pool.telekom.hu)
06:39:47 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
06:40:05 → sm joins (~sm@plaintextaccounting/sm)
06:41:59 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
06:43:39 → artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net)
06:43:39 × ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer)
06:50:03 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
06:50:15 → sinbad joins (~sinbad@user/sinbad)
06:50:59 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
06:57:39 <phma> I'm writing a function that consumes a ByteString, turning it into a list of arrays of 32 bytes. I'd prefer a lazy ByteString, but maybe someone would give it an eager ByteString.
06:58:17 <phma> Can I write the function to take both, or even also [Word8]?
07:00:04 <Axman6> you could make a type class (there are plenty of packages which have done similar things). I would probably opt for choosing the one that's most easy to implement, and then helper functions that convert to the that type. strict -> lazy is east, [Word8] -> lazy is also easy
07:01:35 <phma> So should I just take a lazy ByteString and leave it to the caller if he has something else?
07:01:52 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:02:00 <probie> phma: If you want to take both, take a lazy bytestring. The user of your function can handle the conversion (and conversion from strict bytestring to lazy bytestring is pretty much free)
07:02:18 <phma> ok
07:02:42 <jackdk> I would probably use a streaming library and accept a stream of strict bytestrings. But if you're not keen on learning that right now, a lazy bytestring is probably fine. but abstracting over all kinds of "binary-like" things tends to result in me asking "what types are actually in play here?"
07:03:04 → notzmv joins (~zmv@user/notzmv)
07:03:50 × Athas quits (athas@2a01:7c8:aaac:1cf:8ff:b397:bb59:f8cd) (Quit: ZNC 1.8.2 - https://znc.in)
07:04:00 → Athas joins (athas@sigkill.dk)
07:05:02 → fendor joins (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f)
07:05:03 <phma> It's a hash function. The usual use cases that I'm aware of are hashing a string that's in memory and hashing a file. A file can be read into a ByteString, and a String can be turned into one.
07:05:32 <Axman6> a combination of some streaming abstraction, and a parser combinator library for binary data, like attoparsec, sounds like it would avoid a lo9t of the issues you might get wrong if writing the logic for misaligned data yourself
07:06:46 <phma> Axman6: you talking to me? I'm handling a meaningless stream of data, not parsing it.
07:07:18 <Axman6> "a function that consumes a ByteString, turning it into a list of arrays of 32 bytes" is definitely a form of parsing
07:07:59 <phma> no it isn't, it's just blocking. It doesn't care what the bytes are, just how many.
07:08:35 → Unhammer joins (~Unhammer@user/unhammer)
07:08:37 <Axman6> I will respectfully disagree with your narrow view of what parsing is :)
07:09:22 <Axman6> Also, you might want to look at what libraries like... whatever cryptonite turned into, crypton? to see how others implement hash function interfaces
07:10:29 <probie> jackdk: That locks you into a streaming library, which is not a problem for applications, but might be for libraries.
07:11:49 → caryhartline joins (~caryhartl@168.182.58.169)
07:12:03 → cfricke joins (~cfricke@user/cfricke)
07:13:21 <Axman6> you basically just need some generic foldl style interface; IIRC pipes has something that takes in functions similar to fo0ldr, and can be used to convery a pipe into say a conduit or streaming
07:13:53 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
07:15:40 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
07:16:16 <phma> Crypton uses Ptr (Context a), and does not return an updated context, which sounds like it's using the FFI. I'm writing an implementation in pure Haskell (and also one in Rust).
07:16:31 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
07:17:02 <Axman6> it has pure and impure interfaces, the impure one is more efficient since it can just update the hash's state in plpace, but the pure one is definitely safer
07:17:49 <Axman6> see https://hackage.haskell.org/package/crypton-0.33/docs/Crypto-Hash.html#g:4 for the pure interface
07:18:00 → seeg123456 joins (~seeg12345@64.176.64.83)
07:24:12 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
07:24:14 <phma> Hmm, that too initializes, updates, and finalizes the context. What I'm writing doesn't have a context. It has an object containing a set of S-boxes, and a function that takes that object and a bytestring and returns a digest.
07:24:17 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
07:25:05 → dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
07:29:37 × Lycurgus quits (~juan@user/Lycurgus) (Ping timeout: 252 seconds)
07:30:04 <probie> Is there any prior work on state machines in Haskell that emit on transition, where the type of what is emitted is dependent on the transition?
07:34:39 → mmhat joins (~mmh@p200300f1c7178a00ee086bfffe095315.dip0.t-ipconnect.de)
07:34:43 × mmhat quits (~mmh@p200300f1c7178a00ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
07:36:21 <probie> I'm thinking something that looks like `step :: ('Just transitions' ~ LookupTransition s a transitions) => State transitions -> Signal s a -> (a, State transitions')`
07:37:18 <probie> Using `'` for prime as well `'` for promoting data types makes `'Just transitions'` look like some sort of string literal...
07:46:24 × caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline)
07:48:50 → gmg joins (~user@user/gehmehgeh)
07:50:36 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
07:56:07 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
07:56:50 → gmg joins (~user@user/gehmehgeh)
07:57:33 <dminuoso> probie: There is typed-protocols, it explores that design.
07:57:43 <dminuoso> https://github.com/input-output-hk/typed-protocols
07:58:28 <dminuoso> (It's a bit more specific than a generalized state machines, but worth looking at)
08:09:13 → chele joins (~chele@user/chele)
08:10:20 → Guest|29 joins (~Guest|29@127.140.178.217.shared.user.transix.jp)
08:15:06 → kimiamania4 joins (~67afdc47@user/kimiamania)
08:15:11 × kimiamania quits (~67afdc47@user/kimiamania) (Ping timeout: 246 seconds)
08:15:12 kimiamania4 is now known as kimiamania
08:16:22 × acertain_ quits (sid470584@id-470584.hampstead.irccloud.com) (Server closed connection)
08:16:38 → acertain_ joins (sid470584@id-470584.hampstead.irccloud.com)
08:18:10 × kimiamania quits (~67afdc47@user/kimiamania) (Client Quit)
08:19:08 → kimiamania4 joins (~67afdc47@user/kimiamania)
08:21:09 × Guest|29 quits (~Guest|29@127.140.178.217.shared.user.transix.jp) (Quit: Connection closed)
08:22:04 → sm joins (~sm@plaintextaccounting/sm)
08:23:18 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
08:25:38 → random-jellyfish joins (~random-je@user/random-jellyfish)
08:30:37 → azimut joins (~azimut@gateway/tor-sasl/azimut)
08:31:09 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
08:31:39 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
08:35:54 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
08:39:03 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
08:42:04 → dcoutts joins (~duncan@82-69-94-207.dsl.in-addr.zen.co.uk)
08:55:30 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
08:56:09 × privacy quits (~privacy@47.219.84.6) (Remote host closed the connection)
09:01:04 × malte quits (~malte@mal.tc) (Remote host closed the connection)
09:02:01 → malte joins (~malte@mal.tc)
09:09:05 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
09:11:14 → danse-nr3 joins (~francesco@151.57.246.146)
09:13:36 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
09:17:44 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
09:18:52 <albet70> what's the proper way to do exchange variable in async f1 and async f2? for example in f1 there's a variable named var1 and it's changed, how to send it to f2? this is easy in global variable
09:22:55 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
09:24:47 → drdo joins (~drdo@bl8-38-186.dsl.telepac.pt)
09:25:41 → Guest|40 joins (~Guest|40@client-130-32.wifi.elte.hu)
09:25:45 × Guest|40 quits (~Guest|40@client-130-32.wifi.elte.hu) (Client Quit)
09:29:43 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
09:35:46 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
09:37:38 × malte quits (~malte@mal.tc) (Remote host closed the connection)
09:38:41 → malte joins (~malte@mal.tc)
09:43:28 × yosef` quits (~yosef`@user/yosef/x-2947716) (Ping timeout: 245 seconds)
09:49:54 <danse-nr3> albet70, i guess f1 will have to return the variable, and f2 should start with that as a parameter
09:51:14 <dminuoso> albet70: https://docs.python.org/3/library/asyncio-sync.html
09:51:20 <dminuoso> As well as: https://docs.python.org/3/library/asyncio-queue.html
09:52:03 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
09:52:38 <probie> If they actually need to "share", you probably want to use an `TVar`
09:53:50 <dminuoso> Oh wait,
09:53:55 <dminuoso> This is #haskell :)
09:54:00 <dminuoso> Sorry about that. STM indeed.
10:00:54 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds)
10:00:59 <albet70> danse-nr3 , but async f1 is an loop IO ans also f2, so no return
10:02:53 <albet70> let's assume A-> B, and B -> C, B relay A's message to C and C's to A, and they are running in two asyncs
10:04:44 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
10:05:09 → azimut joins (~azimut@gateway/tor-sasl/azimut)
10:12:28 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
10:12:40 × ft quits (~ft@p508dbaa9.dip0.t-ipconnect.de) (Quit: leaving)
10:19:19 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 4.0.2)
10:19:30 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
10:20:11 → sm joins (~sm@plaintextaccounting/sm)
10:20:37 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
10:22:05 × xelxebar quits (~xelxebar@wilsonb.com) (Server closed connection)
10:22:27 → xelxebar joins (~xelxebar@wilsonb.com)
10:24:21 <danse-nr3> albet70, i see, like in a pipeline. I think channels would work well in this case
10:24:39 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
10:25:41 <danse-nr3> albet70, https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Concurrent-Chan.html
10:31:11 → sm joins (~sm@plaintextaccounting/sm)
10:35:00 × sm quits (~sm@plaintextaccounting/sm) (Client Quit)
10:38:22 × m1dnight quits (~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 4.0.2)
10:38:41 → m1dnight joins (~christoph@78-22-4-67.access.telenet.be)
10:40:01 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
10:46:31 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
10:47:59 × CiaoSen quits (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds)
10:56:58 <haskellbridge> <t​ewuzij> Why a separate Haskell IRC room though?
10:59:33 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
11:04:14 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds)
11:05:19 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
11:10:08 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 255 seconds)
11:10:10 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
11:10:47 <haskellbridge> <m​auke> Matrix features like message edits, replies, and code blocks don't work great on IRC
11:12:11 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
11:16:43 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
11:17:20 → ubert joins (~Thunderbi@77.119.175.117.wireless.dyn.drei.com)
11:18:47 → wootehfoot joins (~wootehfoo@user/wootehfoot)
11:26:07 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
11:28:03 × malte quits (~malte@mal.tc) (Remote host closed the connection)
11:28:50 → malte joins (~malte@mal.tc)
11:31:24 × stites quits (~stites@130.44.147.204) (Ping timeout: 240 seconds)
11:32:25 → stites joins (~stites@2607:fb91:dc8:870c:e6db:e0fc:e90f:d41c)
11:35:09 × sinbad quits (~sinbad@user/sinbad) (Quit: Leaving.)
11:42:41 × sudden quits (~cat@user/sudden) (Server closed connection)
11:42:55 → sudden joins (~cat@user/sudden)
11:46:35 × danse-nr3 quits (~francesco@151.57.246.146) (Ping timeout: 255 seconds)
11:49:17 × malte quits (~malte@mal.tc) (Ping timeout: 255 seconds)
11:52:33 → malte joins (~malte@mal.tc)
11:57:23 × malte quits (~malte@mal.tc) (Ping timeout: 255 seconds)
12:04:50 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
12:05:22 → cfricke joins (~cfricke@user/cfricke)
12:10:44 → notzmv joins (~zmv@user/notzmv)
12:13:57 × p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in)
12:14:55 → p3n joins (~p3n@217.198.124.246)
12:17:09 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
12:17:24 × pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 240 seconds)
12:17:37 × Hafydd quits (~Hafydd@user/hafydd) (Server closed connection)
12:17:57 → Hafydd joins (~Hafydd@user/hafydd)
12:23:51 → mmhat joins (~mmh@p200300f1c7178a00ee086bfffe095315.dip0.t-ipconnect.de)
12:26:32 → ulysses4ever joins (~artem@73.145.240.156)
12:26:51 → malte joins (~malte@mal.tc)
12:30:14 × artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 255 seconds)
12:34:20 → danse-nr3 joins (~francesco@151.57.246.146)
12:34:48 × ulysses4ever quits (~artem@73.145.240.156) (Ping timeout: 246 seconds)
12:36:17 → ulysses4ever joins (~artem@73.145.240.156)
12:39:16 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
12:40:29 × acidjnk quits (~acidjnk@p200300d6e7072f2408637a15d341feed.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
12:41:59 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
12:42:37 → CiaoSen joins (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef)
12:44:16 × stites quits (~stites@2607:fb91:dc8:870c:e6db:e0fc:e90f:d41c) (Read error: Connection reset by peer)
12:44:36 → stites joins (~stites@130.44.147.204)
12:48:59 → nullie joins (~nullie@amsterdam.nullie.name)
12:49:10 → artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net)
12:52:04 × ulysses4ever quits (~artem@73.145.240.156) (Read error: Connection reset by peer)
12:52:04 → pointlessslippe1 joins (~pointless@212.82.82.3)
12:54:19 → Lycurgus joins (~juan@user/Lycurgus)
12:55:29 → habib joins (~habib@91.196.222.95)
12:57:41 → danse-nr3_ joins (~francesco@151.43.239.212)
12:59:26 × taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Server closed connection)
12:59:36 → taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
13:00:10 × danse-nr3 quits (~francesco@151.57.246.146) (Ping timeout: 252 seconds)
13:02:55 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
13:02:55 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
13:02:55 → wroathe joins (~wroathe@user/wroathe)
13:02:55 × EsoAlgo81 quits (~EsoAlgo@129.146.136.145) (Server closed connection)
13:03:18 → EsoAlgo81 joins (~EsoAlgo@129.146.136.145)
13:04:46 × ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Quit: WeeChat 4.0.3)
13:07:35 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds)
13:08:30 → Inst joins (~Inst@120.244.192.250)
13:08:37 <Inst> What's a lightweight Sha256 library in Haskell?
13:08:37 → ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net)
13:09:09 <Inst> I'm looking at this library right now, should I switch to something else?
13:09:11 <Inst> https://hackage.haskell.org/package/cryptohash-sha256-0.11.102.1/docs/Crypto-Hash-SHA256.html
13:11:37 → cfricke joins (~cfricke@user/cfricke)
13:12:18 × tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection)
13:12:28 → tnks joins (sid412124@id-412124.helmsley.irccloud.com)
13:14:58 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
13:15:23 → chexum joins (~quassel@gateway/tor-sasl/chexum)
13:19:29 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
13:24:39 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
13:30:19 → bontaq joins (~user@ool-45707d2c.dyn.optonline.net)
13:31:18 × YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 244 seconds)
13:33:06 → YuutaW joins (~YuutaW@mail.yuuta.moe)
13:33:15 <Inst> Ugh, why is Vincent using Data.ByteString.Lazy?
13:35:04 → sinbad joins (~sinbad@user/sinbad)
13:40:19 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds)
13:41:15 × Pent quits (sid313808@id-313808.lymington.irccloud.com) (Server closed connection)
13:41:27 → Pent joins (sid313808@id-313808.lymington.irccloud.com)
13:43:11 <danse-nr3_> you mean the author of https://github.com/nspin/tls-pure?
13:48:43 <jackdk> Why would one use strict bytestrings of unknown length when you want to stream them?
13:49:32 → ystael joins (~ystael@user/ystael)
13:51:32 × Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss)
13:53:47 → acidjnk joins (~acidjnk@p200300d6e7072f24c1fb0bf142d88701.dip0.t-ipconnect.de)
13:54:50 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
13:54:50 × pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 255 seconds)
13:56:10 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
13:56:30 → kalj joins (~kalj@h-158-174-207-174.NA.cust.bahnhof.se)
14:01:08 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
14:02:02 → pointlessslippe1 joins (~pointless@212.82.82.3)
14:11:56 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds)
14:15:31 → chomwitt joins (~chomwitt@2a02:587:7a0c:4d00:1ac0:4dff:fedb:a3f1)
14:15:49 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
14:17:53 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
14:23:11 × CiaoSen quits (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds)
14:23:30 → Inst joins (~Inst@120.244.192.250)
14:23:43 <Inst> I mean that I'm using his sha256 library for want of alternatives.
14:24:52 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:d23e:afe2:ac44:ca90) (Quit: WeeChat 2.8)
14:28:45 <lyxia> What's the etymology for "plate" as in uniplate, multiplate, etc.?
14:29:35 <c_wraith> it looks like it comes from the Scrap Your Boilerplate paper, indirectly.
14:30:17 <lyxia> ohhh boiler-plate
14:30:31 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
14:30:46 <c_wraith> I have no idea what the etymology for *that* is, but I guess I could look it up. :)
14:31:37 → sm joins (~sm@plaintextaccounting/sm)
14:36:25 <darkling> Apparently, it's from text that was supplied to newspapers by (e.g.) advertisers in an easily resuable form. Presumably because the printing plates looked like the rolled plates used for making boilers.
14:36:28 → gmg joins (~user@user/gehmehgeh)
14:39:56 × NinjaTrappeur quits (~ninja@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.0.4)
14:40:01 <danse-nr3_> etymonline.com/word/plate
14:41:05 <Inst> Is Haddock-driven development a thing?
14:41:23 <danse-nr3_> i guess it would be called literate programming
14:41:54 <danse-nr3_> so the oldest root seems to be Greek platys "flat, broad"
14:43:13 → NinjaTrappeur joins (~ninja@about/aquilenet/vodoo/NinjaTrappeur)
14:43:32 <mauke> plato = broad dude, his wrestling name
14:44:17 <sm> documentation-driven development is certainly a thing, a good thing!
14:45:04 <danse-nr3_> after millennia we are still looking at the outside world from our caves
14:45:18 <c_wraith> outside is scary. that's where the sun is.
14:45:35 × random-jellyfish quits (~random-je@user/random-jellyfish) (Quit: Client closed)
14:47:09 <danse-nr3_> is documentation-driven something different from literate? That must be the reason why the last time i tried literal it was a pain to make it play nicely with haddock. If i recall correctly, i started with literal and in the end had to change all the markup to turn it into plain doc
14:49:53 <mauke> https://www.penny-arcade.com/comic/2004/04/30/welcome-to-matrimony-theatre
14:51:39 <sm> yes, those are distinct ideas
14:51:50 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:5332:dce7:7102:62a5)
14:51:50 × kalj quits (~kalj@h-158-174-207-174.NA.cust.bahnhof.se) (Quit: Client closed)
14:52:14 <danse-nr3_> sounds like an opportunity for a clever idea like doctest that gets super-convenient by contaminating two domains
14:52:27 → zer0bitz_ joins (~zer0bitz@user/zer0bitz)
14:52:56 <sm> documentation-driven development: my first step is to write/update the documentation. From this, UX/design/tests/implementation follow.
14:53:20 <danse-nr3_> but literate is also about writing documentation
14:53:57 <sm> literate documentation: I maintain code and related documentation combined in one file, from which I can generate compilable code or renderable docs at any time
14:54:54 <sm> actually "literate programming" is the usual term
14:56:15 <Inst> literate in a haskell context implies use of LHS files and LHS formats
14:56:21 <sm> Haskell's .lhs files are a (weak) form of literate programming
14:56:33 × zer0bitz quits (~zer0bitz@user/zer0bitz) (Ping timeout: 246 seconds)
14:57:18 <danse-nr3_> i argue it is more convenient to do literate using haddock rather than LHS, as the latter does not integrate well with the former
14:58:16 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
14:58:42 → danza joins (~francesco@151.43.239.212)
14:59:29 <mauke> .lhs is more appropriate if you're oleg, posting to usenet
15:04:12 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Ping timeout: 246 seconds)
15:05:29 × danza quits (~francesco@151.43.239.212) (Ping timeout: 246 seconds)
15:05:31 <sm> a better definition of literate programming: I write my programs first as a text document intended to be read by humans, including code excerpts in any convenient order; and from this I can also generate the machine-executable program
15:05:55 <danse-nr3_> which sounds almost the same as doc-driven
15:06:30 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
15:08:12 <sm> LP could certainly be useful when doing DDD, and seems likely to encourage doing DDD. (You could be using a LP tool but choose to write all the code bits first, then you wouldn't be doing DDD.)
15:09:18 <sm> so yes, there's overlap
15:09:24 <haskellbridge> <j​ean-paul.> They differ a bit in the intended audience for what you're writing
15:09:54 <sm> and, they're different ideas
15:10:40 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
15:11:03 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
15:13:36 <dolio> 'Documentation driven' sounds like it's going to waste considerable time in general, unless what you're doing is really boring.
15:14:30 <haskellbridge> <j​ean-paul.> I don't think there is a known programming methodology that guarantees success without lots of wasted time
15:14:49 <dminuoso> sm: Seeing as code is primarily intended to be read by humans and not machines, I like that definition.
15:14:49 <dolio> It's going to waste even more time than normal. :)
15:15:09 <dminuoso> Though in that sense, all programming *should* be literate programming, whether there is special syntactical support or not.
15:15:14 <haskellbridge> <j​ean-paul.> dolio: As usual, I'm sure it depends a lot on the problem and the programmer and a bunch of surprising additional context.
15:16:02 <EvanR> it would be nice if code was readable by humans, instead it's only readable by computers and programmers
15:16:17 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
15:16:34 <sm> dolio: if you're making "code that will never need documentation / nobody will struggle to understand in future", then yes doc-driven sounds wasteful. And if you need to experiment first, then yes it's too soon to write docs.
15:16:54 <sm> in other cases, in general I find writing docs first is the most efficient by far
15:17:02 <dolio> Experimentation was the point.
15:17:24 <dolio> If you always write documentation first, you will write lots of documentation that just needs to be thrown out, because what you were planning didn't work.
15:17:41 <dminuoso> EvanR: Im willing to argue that this is objectively false.
15:17:47 <dolio> Unless you already know exactly what will work before hand, which are the boring problems.
15:17:53 <haskellbridge> <j​ean-paul.> If you always write implementation first, you will write lots of implementation that needs to be thrown out, because what you were planning didn't work.
15:18:03 <dminuoso> If code was meant to be *only* readable by computers and programmers, we might as well just write machine code.
15:18:14 <sm> dolio: I think you're over-generalising, and also using a pejorative word for what other people may be working on :)
15:18:16 <EvanR> that was a thing at one point
15:18:28 <EvanR> but I didn't say anything about "meant to"
15:18:52 <sm> I agree that DDD like any approach would need to be justified in a particular domain / context
15:19:27 <EvanR> I wonder what percent of all current programming tasks are "boring"
15:19:35 <EvanR> 90%? 99%?
15:19:41 <dminuoso> EvanR: Given that programmers tend to look over the code they have written, there's clearly some intent that you yourself read that code at least once or twice.
15:19:58 <haskellbridge> <j​ean-paul.> EvanR: Tasks are not intrinsically boring. Boring is in the eye of the beholder.
15:20:07 <danse-nr3_> maybe the advantages would be clearer if it was called rubberduck-driven dev
15:20:13 <EvanR> dminuoso, I'm not sure if you missed or just willfully ignored the joke aspect of my statement earlier
15:20:17 <dminuoso> Maybe.
15:20:23 <dminuoso> Must have missed it.
15:20:35 <dminuoso> Oh.
15:20:59 <mauke> whenever I don't know exactly how to solve a problem, I just throw code together randomly. that's why I can't write any documentation for it
15:21:16 <sm> dolio: or, maybe we don't disagree - "documenting" certainly means trying to write it, seeing it doesn't make sense, throwing it out, rewriting... that's the point, you can work out many things quicker and cheaper in the user docs than at any other stage
15:21:30 <EvanR> /* no idea wtf this is doing */
15:21:56 <danse-nr3_> {- i forgot but surely felt clever at the time -}
15:22:04 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:5332:dce7:7102:62a5) (Ping timeout: 252 seconds)
15:22:38 <dolio> Okay, so all programming activity is "documentation" under this philosophy?
15:23:08 <danse-nr3_> it is not documentation until you made it a powerpoint
15:23:11 <EvanR> we should invest in hardware accelerated documentation
15:23:17 <EvanR> so the documentation runs faster
15:24:12 <mauke> obviously. how else are my powerpoint transitions going to run smoothly?
15:24:38 → __monty__ joins (~toonn@user/toonn)
15:24:38 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
15:25:09 <danse-nr3_> that's simple mauke, buy a new laptop
15:25:30 <haskellbridge> <t​ewuzij> Humans are stupid to comprehend their own speech anyway
15:26:06 <danse-nr3_> as a programmer i agree and do not feel insulted
15:26:32 <sm> doliio: you could look at it that way. With that lens, I'd say something more general like "work at the cheapest/highest-value level first"
15:27:25 <danse-nr3_> why would anyone care about accessibility to a mine?
15:28:02 <sm> so writing docs (not editing, polishing...) is a vital part of design/development, yes
15:28:02 × Axman6 quits (~Axman6@user/axman6) (Ping timeout: 246 seconds)
15:28:14 <EvanR> I've heard "I don't want anyone to write any code" at the start of a project before, meaning they wanted a plan first. I.e. they didn't want to end up throwing away a bunch of code
15:28:35 <EvanR> the exact opposite philosophy of dolio xD
15:28:47 <danse-nr3_> nah that's just waterfall dinosaurs
15:28:59 <dolio> I usually have a plan before writing code.
15:29:08 <dolio> That doesn't mean I don't have to throw out code.
15:29:12 → Inst joins (~Inst@120.244.192.250)
15:29:30 <dolio> Everyone has a plan before they get punched in the face.
15:29:36 <geekosaur> plans have this annoying tendency to change midstream as requirements change
15:30:04 <c_wraith> I have seen that work great when the goal is to establish how different parts of a system will interchange data, distribute responsibilities, schedule work, etc. It doesn't work so well when the problem isn't understood well enough for that task to be done.
15:30:28 → woffs joins (3cd46299b2@woffs.de)
15:32:27 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
15:33:43 <dolio> @remember edwardk I love boring code.
15:33:43 <lambdabot> Done.
15:33:53 <sm> c_wraith, if you mean document-driven development - I find trying to produce (good, effective) docs is the quickest way to discover I don't understand a problem or system, or don't have the right UX design yet
15:35:14 × dispater quits (~dispater@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
15:35:14 × orcus quits (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in)
15:35:49 <danse-nr3_> dolio, does lambdabot even complain when entries are overwritten? I guess edwardk could point to many other reminders
15:36:06 <c_wraith> sm: What exactly are you documenting? earlier you said "user docs", but do your user docs include what algorithm is necessary to solve a problem efficiently, or what subsystems must interact to provide the high-level result the user is asking for?
15:36:17 <danse-nr3_> agree with sm there
15:36:22 <dolio> I checked, it didn't seem to have that one yet.
15:36:46 <danse-nr3_> thanks for checking
15:36:49 <geekosaur> the quote stuff doesn't overwrite, each quote is distinct
15:36:54 → dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net)
15:36:55 → dispater joins (~dispater@mail.brprice.uk)
15:36:59 <c_wraith> yeah, each name maps to a list of quotes.
15:37:00 <geekosaur> so if you enter it twice it is duplicated
15:37:26 → orcus joins (~orcus@mail.brprice.uk)
15:37:45 <c_wraith> There was a bug in an older version of lambdabot that made that plugin crash if you removed all the quotes from a specific user, as it left the key in the map associated with an empty list, and another part of the plugin assumed the list could never be empty
15:38:07 <geekosaur> oops 😞
15:38:31 <sm> c_wraith: usually end-user/stake-holder docs and UX first. Those are the high order/high value bit from which design/algorithm/implementation choices should follow
15:38:40 <haskellbridge> <t​ewuzij> and as programmers we must strive for precision in our langs, not a Shakespearean play of words
15:39:06 <geekosaur> try being precise with English…
15:39:41 <EvanR> programmers think they are special and can escape the world of corporate doubletalk!
15:40:23 <sm> if "user" means "developers", then sure, document the things they need to know to use it
15:40:30 <c_wraith> sm: ok. Browsers have just changed the rules on how cookies act. The user story is "restore the previous functionality". The actual work is searching through hundreds of ways to sort out state storage such that the changed behavior is imperceptible to users. *all* the work, and whether it's even possible, is outside the scope of user documentation
15:40:31 <EvanR> a necessary skill tbh
15:40:32 × xmachina quits (~xmachina@modemcable048.127-56-74.mc.videotron.ca) (Server closed connection)
15:41:02 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
15:41:02 → xmachina joins (~xmachina@modemcable048.127-56-74.mc.videotron.ca)
15:42:24 <danse-nr3_> sm i love that ... do you have any pointers to companies or open projects following that process?
15:42:49 <danse-nr3_> or do you write about it in any blog?
15:42:53 <Inst> when did kmett say he loves boring code?
15:43:07 <dolio> Don't recall. It's been a few years.
15:43:18 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
15:44:19 <Inst> and I think dolio has a point, i.e, documentation / type driven / not using only gotos constrains your flexibility
15:44:51 <EvanR> goto, now that's some extreme programming
15:44:56 <sm> danse-nr3_ : not to hand - there's a bunch of bloggers talking about it at least. I try to follow it in my projects
15:46:07 <danse-nr3_> sm, not haskellers, i guess (hoping to be wrong)
15:46:14 <Inst> yeah but i'm trying to document this library first, i dropped my ponies project (for now) because I need an exact parser for cabal files, I'm going to have to write it, and there's tons of stuff I'd need to do first
15:46:29 <Inst> in Haskell community, does Haskell need more document-driven development?
15:46:41 <Inst> *documentation-driven development?
15:46:45 <sm> c_wraith I'm having a little trouble digesting that wording, but I see no conflict. If I have some project that involves restoring previous cookie functionality, step 1 is to write - even just for myself - what that means. If I can't, it's research and experimentation time.
15:46:51 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
15:47:14 <c_wraith> ah. so you do in fact do development before writing docs\
15:47:15 <danse-nr3_> Inst, yes please, doc is not great often in haskell land
15:48:24 <sm> c_wraith things necessary to document certainly must be done first - requirements elicitation, research, experimentation as needed. Trying to write the docs flushes them out. (Mentioned above too)
15:51:13 <sm> maybe I sound more fundamentalist/absolute over chat, so please interpret as makes sense - I didn't mean "write and finish all docs before doing anything else" :)
15:51:51 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
15:52:06 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
15:52:25 <sm> short version: "step 1, try to document it" is a good rule of thumb
15:53:42 <danse-nr3_> which i think is also the idea in literate programming, that is why they seem so similar to me
15:53:45 <mauke> it's really just rubberducking
15:54:05 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 255 seconds)
15:54:11 <danse-nr3_> rubberduck-driven for the win
15:55:33 <sm> (yes Haskell needs more document-driven development. Look at our tooling / developer experience)
15:56:11 <danse-nr3_> wait before writing "haskell needs ...", we seem to be a minority here
15:57:19 <haskellbridge> <t​ewuzij> If English were like Haskell, we would be gods today
15:57:52 <danse-nr3_> this reference to myth recalls me of the babel tower ...
15:59:24 → jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
16:07:34 × cptaffe quits (~ZNC@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Remote host closed the connection)
16:08:31 → cptaffe joins (~ZNC@2600:1700:f08:111f::18e7)
16:17:56 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
16:18:25 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
16:22:55 <danse-nr3_> i followed the syntax for type families here but must have got something wrong because the error sounds like the data is not specialised https://paste.tomsmeding.com/O0h8vqy6
16:25:30 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
16:25:49 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
16:27:35 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
16:35:53 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
16:36:35 <segfaultfizzbuzz> is there such thing as a programming language designed to be "isomorphic" to assembly--that is to say that there is a bijection between code written in the language and asm, such that the asm can be inverted to the language?
16:36:56 <segfaultfizzbuzz> (inverted without additional information)
16:39:06 <c_wraith> sure. a non-macro assembler. :P
16:39:53 <segfaultfizzbuzz> well, i mean a reasonably high level language
16:40:23 <c_wraith> As long as there are two different language constructs that map to the same assembly, no.
16:40:27 <mauke> can't be that high-level if you can compile asm to it
16:41:07 <segfaultfizzbuzz> where does the lossiness happen
16:42:29 <c_wraith> whenever you can express the same logic in multiple ways.
16:42:49 → Lycurgus joins (~juan@user/Lycurgus)
16:43:18 → bitmapper joins (uid464869@id-464869.lymington.irccloud.com)
16:43:34 <ncf> if you mean a syntactic bijection then that's essentially just a different syntax for asm. if you mean a semantic bijection, then any turing-complete language
16:43:43 <EvanR> ocaml takes a step in that direction with + is integer math and .+ is float math, but that's not specific enough to reverse from asm
16:44:07 <mauke> ncf: how do you int $42 in any turing-complete language?
16:44:29 <ncf> you define what function this computes and then compute that function
16:44:39 <mauke> what do you mean by function
16:45:03 <mauke> hah, it gets better
16:45:16 <mauke> you have to distinguish between '', 'nop', 'nop; nop', and 'nop; nop; nop'
16:45:28 <geekosaur> I'm tempted to just say FORTRAN
16:45:39 ← Lycurgus parts (~juan@user/Lycurgus) ()
16:46:13 <segfaultfizzbuzz> heh ok well thanks for the answer
16:47:19 <EvanR> also generic ASM which renders to specific ASM, and LLVM
16:47:52 <EvanR> maybe not 100% reversible but each architectures ASM language is huge
16:47:59 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:48:00 <EvanR> lots of corner case functionality
16:48:22 <institor> https://developer.mozilla.org/en-US/docs/WebAssembly/Understanding_the_text_format
16:48:44 <institor> webassembly can be represented as an s-expr
16:48:55 <EvanR> what...
16:48:58 <institor> yes
16:49:13 <EvanR> are they trying to make up for their mistake of not making javascript a lisp
16:49:39 <institor> who knows
16:49:44 <institor> syntactically speaking it doesn't get much simpler though
16:49:57 <segfaultfizzbuzz> haha,... well i suppose i can give a small amount of partial credit for this answer, and i have once glanced at this,... i would say that this is lispy assembly,...
16:50:21 <tomsmeding> it's more like they wanted a human-editable serialisation format
16:50:29 <tomsmeding> and didn't want to invent a whole new syntax
16:50:39 <tomsmeding> so an sexp representation of the basic AST it became
16:50:43 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
16:50:43 <dolio> Just be glad it's not XML.
16:50:51 <tomsmeding> ^
16:51:03 <segfaultfizzbuzz> perhaps a better question is whether it is feasible to have an all consuming high level language,... you dump in anything at one end (asm, obfuscated C, obfuscated lisp, obfuscated haskell, whatever), and something which is rather understandable comes out at the other end
16:51:29 <tomsmeding> no
16:51:30 <tomsmeding> :')
16:52:24 <EvanR> is this another calculus ratiocinator line of reasoning
16:52:45 <EvanR> a machine which computes the answer to any question
16:53:07 <mauke> inb4 babbage
16:53:12 tomsmeding . o O ( 42 )
16:53:18 <geekosaur> "On two occasions I have been asked, – "Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?" ... I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question"
16:53:23 <geekosaur> that yes
16:53:33 <segfaultfizzbuzz> haha
16:53:59 <dolio> geekosaur: Seems pretty common, to be honest. :)
16:54:08 <mauke> asked [by members of parliament]
16:54:21 <EvanR> that was way before "google" solved that one
16:54:28 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
16:54:47 <danse-nr3_> my code worked using `type` rather than `data`, as in https://wiki.haskell.org/GHC/Type_families#An_associated_type_synonym_example, while originally i followed https://wiki.haskell.org/GHC/Type_families#An_associated_data_type_example
16:55:01 → hiredman_ joins (~hiredman@frontier1.downey.family)
16:55:02 <mauke> segfaultfizzbuzz: what would it do with https://raw.githubusercontent.com/mauke/bggp4/main/poly/bggp.lhs ?
16:56:27 hiredman_ is now known as hiredman
16:56:56 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
16:57:40 × danse-nr3_ quits (~francesco@151.43.239.212) (Read error: Connection reset by peer)
16:57:46 → danse-nr3__ joins (~francesco@151.35.238.24)
16:58:09 <segfaultfizzbuzz> haha
16:58:27 <segfaultfizzbuzz> well it can do anything, including running the program and observing what memory does
16:58:39 × hiredman quits (~hiredman@frontier1.downey.family) (Client Quit)
16:58:51 → hiredman joins (~hiredman@frontier1.downey.family)
16:59:04 <mauke> "will this program halt?"
16:59:05 <EvanR> it can do anything, including running the program and showing a blank white screen regardless
16:59:24 <EvanR> like many PHP programs
17:01:19 <segfaultfizzbuzz> haha
17:01:24 × sm quits (~sm@plaintextaccounting/sm) (Quit: sm)
17:02:05 <mauke> most programs are PHP quines
17:02:38 → sm joins (~sm@plaintextaccounting/sm)
17:04:19 × chele quits (~chele@user/chele) (Quit: Leaving)
17:05:04 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:07:07 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
17:08:13 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
17:21:14 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
17:24:05 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds)
17:26:47 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
17:29:40 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 252 seconds)
17:33:08 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:33:34 <haskellbridge> <j​ean-paul.> Therefore, most PHP programmers are quiners?
17:35:22 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
17:37:09 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 245 seconds)
17:49:02 × fweht quits (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
17:49:12 × Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Server closed connection)
17:49:27 → Noinia joins (~Frank@77-162-168-71.fixed.kpn.net)
17:52:02 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
17:54:56 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
18:00:17 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:01:48 → Inst joins (~Inst@120.244.192.250)
18:03:54 → notzmv joins (~zmv@user/notzmv)
18:05:51 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
18:09:06 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
18:09:30 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:09:34 → cfricke joins (~cfricke@user/cfricke)
18:09:49 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
18:16:25 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 252 seconds)
18:17:45 × cfricke quits (~cfricke@user/cfricke) (Read error: Connection reset by peer)
18:18:23 <monochrom> I don't question the possibility that an automaton can guess what's wrong with your code and how to fix it. After all, some of us can do it and even do it for money.
18:19:02 <monochrom> I do question the motivation behind wanting to actually automate it. Like, you want to take away people's jobs?!
18:21:24 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
18:24:14 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
18:24:35 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
18:25:34 × sinbad quits (~sinbad@user/sinbad) (Quit: Leaving.)
18:27:48 × hughjfch1 quits (~hughjfche@vmi556545.contaboserver.net) (Server closed connection)
18:27:50 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
18:28:13 → hughjfch1 joins (~hughjfche@vmi556545.contaboserver.net)
18:32:32 → sm joins (~sm@plaintextaccounting/sm)
18:32:52 <EvanR> monochrom, so you might need to get up to speed with this thing called industrial revolution
18:33:00 <EvanR> it's pretty great
18:33:10 <monochrom> :(
18:33:20 <monochrom> heh
18:33:39 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:33:54 <monochrom> Is that a pun? Industrial revolution and get up to speed? :)
18:34:12 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 240 seconds)
18:34:34 × vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 258 seconds)
18:35:21 → vglfr joins (~vglfr@37.73.29.50)
18:37:41 <EvanR> good question
18:37:59 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
18:40:24 × Logio quits (em@kapsi.fi) (Server closed connection)
18:40:33 → Logio joins (em@kapsi.fi)
18:43:49 × vglfr quits (~vglfr@37.73.29.50) (Ping timeout: 245 seconds)
18:43:56 <mauke> we'd need an industrial revolver
18:44:35 → vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua)
18:49:17 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:49:54 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
18:50:19 × masterbuilder quits (~masterbui@user/masterbuilder) (Server closed connection)
18:50:34 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:50:35 → masterbuilder joins (~masterbui@user/masterbuilder)
18:51:50 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
18:52:00 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:52:09 → sm joins (~sm@plaintextaccounting/sm)
18:52:13 → danza joins (~francesco@151.35.238.24)
18:52:54 × danse-nr3__ quits (~francesco@151.35.238.24) (Ping timeout: 255 seconds)
18:53:28 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
18:55:14 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:55:26 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
18:56:36 → ulysses4ever joins (~artem@73.145.242.83)
18:57:37 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
18:57:44 × ulysses4ever quits (~artem@73.145.242.83) (Read error: Connection reset by peer)
18:57:48 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:57:56 → ulysses4ever joins (~artem@73.145.242.83)
18:59:39 × artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 245 seconds)
18:59:52 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
19:00:30 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
19:00:41 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
19:02:24 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit)
19:02:35 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
19:02:46 → artem joins (~artem@192.31.0.5)
19:03:05 × bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
19:03:07 → sinbad joins (~sinbad@user/sinbad)
19:03:52 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139) (Remote host closed the connection)
19:04:26 × ulysses4ever quits (~artem@73.145.242.83) (Ping timeout: 255 seconds)
19:05:58 → ulysses4ever joins (~artem@73.145.242.83)
19:06:44 → sm joins (~sm@plaintextaccounting/sm)
19:07:09 × artem quits (~artem@192.31.0.5) (Ping timeout: 245 seconds)
19:08:17 → artem joins (~artem@192.31.0.5)
19:09:33 → nailz joins (~email@216.197.238.227)
19:09:33 × artem quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
19:09:38 ← nailz parts (~email@216.197.238.227) ()
19:09:52 → artem joins (~artem@192.31.0.5)
19:10:13 × ulysses4ever quits (~artem@73.145.242.83) (Ping timeout: 255 seconds)
19:10:26 → ulysses4ever joins (~artem@73.145.242.83)
19:10:29 × pointlessslippe1 quits (~pointless@212.82.82.3) (Ping timeout: 245 seconds)
19:10:54 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
19:13:57 → Inst joins (~Inst@120.244.192.250)
19:14:10 × artem quits (~artem@192.31.0.5) (Ping timeout: 252 seconds)
19:16:16 → pointlessslippe1 joins (~pointless@212.82.82.3)
19:17:32 → artem joins (~artem@172.58.126.255)
19:18:32 → sm joins (~sm@plaintextaccounting/sm)
19:18:32 × ulysses4ever quits (~artem@73.145.242.83) (Read error: Connection reset by peer)
19:19:00 × bgamari quits (~bgamari@70.16.98.14) (Server closed connection)
19:19:11 × artem quits (~artem@172.58.126.255) (Read error: Connection reset by peer)
19:19:24 → ulysses4ever joins (~artem@2601:408:c408:6dec:f474:e3f8:9806:671)
19:19:53 → artem joins (~artem@73.145.242.83)
19:19:54 × ulysses4ever quits (~artem@2601:408:c408:6dec:f474:e3f8:9806:671) (Read error: Connection reset by peer)
19:20:16 → bgamari joins (~bgamari@70.16.98.14)
19:20:37 × artem quits (~artem@73.145.242.83) (Read error: Connection reset by peer)
19:20:42 → ulysses4ever joins (~artem@2601:408:c408:6dec:f474:e3f8:9806:671)
19:22:59 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
19:25:04 × ulysses4ever quits (~artem@2601:408:c408:6dec:f474:e3f8:9806:671) (Ping timeout: 245 seconds)
19:26:27 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
19:27:11 → ulysses4ever joins (~artem@192.31.0.5)
19:28:08 → artem joins (~artem@192.31.0.5)
19:28:08 × ulysses4ever quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
19:29:39 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2)
19:30:59 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
19:32:09 × artem quits (~artem@192.31.0.5) (Ping timeout: 245 seconds)
19:33:25 × danza quits (~francesco@151.35.238.24) (Ping timeout: 252 seconds)
19:33:57 → artem joins (~artem@192.31.0.5)
19:35:22 → ulysses4ever joins (~artem@192.31.0.5)
19:35:22 × artem quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
19:37:34 × ulysses4ever quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
19:37:38 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2861:bb9d:e03c:c139)
19:37:41 → artem joins (~artem@192.31.0.5)
19:39:28 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds)
19:40:14 × cafkafk quits (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection)
19:40:56 → cafkafk joins (~cafkafk@fsf/member/cafkafk)
19:50:59 → Square joins (~Square@user/square)
19:52:27 → wootehfoot joins (~wootehfoo@user/wootehfoot)
19:53:51 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
19:55:18 → sm joins (~sm@plaintextaccounting/sm)
19:55:26 → Inst joins (~Inst@120.244.192.250)
19:58:34 × artem quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
19:58:47 → ulysses4ever joins (~artem@192.31.0.5)
19:59:06 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
19:59:39 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
20:05:38 × jackneill__ quits (~Jackneill@20014C4E1E101A00070E63282F89E671.dsl.pool.telekom.hu) (Ping timeout: 255 seconds)
20:09:12 × michalz quits (~michalz@185.246.207.193) (Remote host closed the connection)
20:10:55 × dumptruckman quits (~dumptruck@143-42-184-47.ip.linodeusercontent.com) (Server closed connection)
20:11:22 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 252 seconds)
20:11:27 → CiaoSen joins (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef)
20:12:37 → dumptruckman joins (~dumptruck@143-42-184-47.ip.linodeusercontent.com)
20:13:35 → sm joins (~sm@plaintextaccounting/sm)
20:13:57 × son0p quits (~ff@186.121.39.74) (Quit: Bye)
20:16:45 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
20:16:45 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
20:17:58 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
20:21:48 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
20:22:12 → Sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
20:25:45 → ft joins (~ft@p508dbaa9.dip0.t-ipconnect.de)
20:28:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
20:31:44 → sm joins (~sm@plaintextaccounting/sm)
20:36:07 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
20:38:22 × hiredman quits (~hiredman@frontier1.downey.family) (Quit: Lost terminal)
20:41:34 → hiredman joins (~hiredman@frontier1.downey.family)
20:44:39 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 245 seconds)
20:47:35 → pavonia joins (~user@user/siracusa)
20:48:47 → Inst joins (~Inst@120.244.192.250)
20:49:31 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Server closed connection)
20:49:48 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
20:50:40 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
20:53:07 → son0p joins (~ff@186.121.39.74)
20:56:02 × acidjnk quits (~acidjnk@p200300d6e7072f24c1fb0bf142d88701.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
21:02:39 → waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
21:06:33 → sm joins (~sm@plaintextaccounting/sm)
21:07:33 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
21:08:35 <Inst> question about Cabal / GHC
21:08:49 × waleee quits (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
21:08:49 <Inst> If I move my TH functions to a different file in the same library, can I reduce compile times?
21:08:59 <Inst> Or does TH contaminate everything?
21:10:54 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
21:10:59 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
21:14:07 → hueso joins (~root@user/hueso)
21:15:29 × dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds)
21:16:21 → artem joins (~artem@192.31.0.5)
21:19:00 × ulysses4ever quits (~artem@192.31.0.5) (Ping timeout: 240 seconds)
21:19:56 → shapr joins (~user@c-67-160-55-153.hsd1.wa.comcast.net)
21:20:07 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
21:20:31 → ulysses4ever joins (~artem@192.31.0.5)
21:20:40 × artem quits (~artem@192.31.0.5) (Ping timeout: 252 seconds)
21:20:57 <Square> Inst, I'm curious about TH in terms of compile time too. I use it in a GHCJS project and there it seems to spawn so much extra compiler work.
21:21:50 → artem joins (~artem@192.31.0.5)
21:21:50 × ulysses4ever quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
21:22:59 → nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net)
21:24:27 × jjhoo quits (~jahakala@user/jjhoo) (Server closed connection)
21:24:36 → jjhoo joins (jahakala@user/jjhoo)
21:25:33 → ulysses4ever joins (~artem@192.31.0.5)
21:25:59 × artem quits (~artem@192.31.0.5) (Read error: Connection reset by peer)
21:26:01 <EvanR> definitely consider TH a last resort because of that
21:26:07 × ulysses4ever quits (~artem@192.31.0.5) (Client Quit)
21:26:23 <EvanR> this is haskell not C++
21:27:16 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 252 seconds)
21:27:34 × nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
21:28:13 <Inst> EvanR: so Lens and Optics are verboten? :)
21:28:49 <EvanR> some libraries used TH for stuff that other technically covered but came out later
21:28:58 <EvanR> like Generics and the HasField stuff
21:29:09 <EvanR> other technology*
21:29:54 → sm joins (~sm@plaintextaccounting/sm)
21:30:19 <EvanR> you can define lenses without TH, too. If it's not many types it's not bad
21:30:39 ← sinbad parts (~sinbad@user/sinbad) ()
21:30:43 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
21:31:30 <Inst> My problem is that I'm using file-embed / file-embed-like techniques to pack data into a binary
21:31:32 <Inst> AND
21:31:50 <Inst> it's only one of many options, so I'd like to stuff the TH into the TH quarantine facility and keep it there, but I'm scared it'll leak :(
21:32:22 <EvanR> TH seems like a heavyweight way to do that
21:32:41 <int-e> I don't think it's TH as much as ghc struggling with big data types and expressions. So more of a problem with generated code in general.
21:32:46 × fendor quits (~fendor@2a02:8388:1640:be00:c785:45ab:c70:9d3f) (Remote host closed the connection)
21:33:27 <EvanR> link in a C object file and use FFI to import the data at runtime
21:33:48 <Inst> the lightweight way to do it is just use flatpak
21:33:49 <EvanR> or some less macguyver way to include data in an exe
21:34:23 <Inst> i'm dealing with the problem that GHC-cabal has difficulty distributing .dlls etc when building, apparently data-files stuffs things into a cabal directory so it's less suited for distribution
21:37:09 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
21:40:55 <sclv> data-files is for files that programs compiled with cabal know how to find
21:41:09 <sclv> its for "data files" associated with a package, not dlls or the like that need to go into a fixxed location
21:41:51 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:42:10 <sclv> cabal isn't engineered to install arbitrary binary files in arbitrary system locations
21:43:31 <shapr> sclv: I enjoyed our chat about spying on data structures
21:43:37 × gnyeki quits (~gnyeki@user/gnyeki) (Quit: leaving)
21:44:14 × stites quits (~stites@130.44.147.204) (Ping timeout: 245 seconds)
21:44:47 → stites joins (~stites@2607:fb91:dc9:4b54:4710:ea16:819c:2384)
21:45:46 <sclv> shapr: remembered the lens function name! "upon" https://hackage.haskell.org/package/lens-5.2.3/docs/Data-Data-Lens.html#v:upon
21:46:06 <shapr> hurrah!
21:46:50 <shapr> Ed told me he did a similar thing in one of his posts, but it looks like the sort of thing I'll have to read six times before I have a clue: http://comonad.com/reader/2011/searching-infinity/
21:46:58 × nonzen quits (~nonzen@user/nonzen) (Server closed connection)
21:47:12 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:47:15 → nonzen joins (~nonzen@user/nonzen)
21:47:17 <shapr> That is, similar to the thunk spying cdsmith and I did with trynocular
21:48:54 <shapr> I wish I could find the recording for Haskell Implementor's Workshop, I don't remember all the questions I got at the end of my lightning talk, and some of them were very interesting.
21:49:16 × stites quits (~stites@2607:fb91:dc9:4b54:4710:ea16:819c:2384) (Ping timeout: 252 seconds)
21:50:11 × sajith quits (~sajith@user/sajith) (Server closed connection)
21:50:30 → sajith joins (~sajith@user/sajith)
21:51:31 → sm joins (~sm@plaintextaccounting/sm)
21:52:48 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:54:32 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 255 seconds)
21:59:02 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
22:04:30 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
22:05:20 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:05:46 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
22:10:33 → Inst joins (~Inst@120.244.192.250)
22:14:34 × CiaoSen quits (~Jura@2a05:5800:2a7:700:664b:f0ff:fe37:9ef) (Ping timeout: 252 seconds)
22:16:31 × bontaq quits (~user@ool-45707d2c.dyn.optonline.net) (Remote host closed the connection)
22:20:49 → sm joins (~sm@plaintextaccounting/sm)
22:22:11 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
22:23:26 → powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
22:23:46 <ph88> what does the ~ mean in https://hackage.haskell.org/package/base-4.18.0.0/docs/src/Data.Either.html#partitionEithers ?
22:24:15 <erisco> ph88, it is called an irrefutable pattern
22:24:22 <EvanR> lazy pattern match
22:24:43 <EvanR> the pattern is assumed to match but isn't checked
22:24:56 <EvanR> until absolutely necessary
22:25:21 <ph88> where can i apply that in my own code ?
22:25:29 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds)
22:25:39 <EvanR> in a place where checking the pattern would lead to an infinite loop, in my experience
22:26:01 <EvanR> since it's a pair, it will match anyway, so don't check now
22:26:15 <EvanR> esp if it would cause an infinite loop
22:28:00 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:28:11 <c_wraith> in the case of partitionEithers, it wouldn't be an infinite loop. It's just more efficient.
22:31:44 × segfaultfizzbuzz quits (~segfaultf@12.172.217.142) (Ping timeout: 245 seconds)
22:36:34 → wroathe joins (~wroathe@user/wroathe)
22:36:42 → jmdaemon joins (~jmdaemon@user/jmdaemon)
22:37:43 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
22:38:44 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
22:39:00 → hueso joins (~root@user/hueso)
22:40:52 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
22:40:53 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
22:40:58 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 252 seconds)
22:42:34 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds)
22:42:41 × waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 255 seconds)
22:44:49 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
22:45:22 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:48:17 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
22:50:54 → jmdaemon joins (~jmdaemon@user/jmdaemon)
22:50:58 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
22:54:15 → Sgeo joins (~Sgeo@user/sgeo)
22:55:06 → segfaultfizzbuzz joins (~segfaultf@12.172.217.142)
22:58:53 → merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl)
23:00:53 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
23:05:06 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds)
23:05:43 × arahael quits (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 252 seconds)
23:06:05 × shapr quits (~user@c-67-160-55-153.hsd1.wa.comcast.net) (Ping timeout: 255 seconds)
23:06:32 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
23:06:32 × Inst quits (~Inst@120.244.192.250) (Ping timeout: 255 seconds)
23:08:07 → Inst joins (~Inst@120.244.192.250)
23:08:14 → sm joins (~sm@plaintextaccounting/sm)
23:12:52 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
23:13:32 × powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed)
23:13:45 → powderhorn joins (~powderhor@207-153-12-54.static.fttp.usinternet.com)
23:14:53 → waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
23:15:04 × mmhat quits (~mmh@p200300f1c7178a00ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
23:15:26 → mmhat joins (~mmh@p200300f1c7178aebee086bfffe095315.dip0.t-ipconnect.de)
23:17:45 × xff0x quits (~xff0x@2405:6580:b080:900:9d7a:fcf5:f99f:89f2) (Ping timeout: 246 seconds)
23:19:46 → xff0x joins (~xff0x@178.255.149.135)
23:22:25 → Guest|50 joins (~Guest|50@184.146.40.42)
23:22:59 × wroathe quits (~wroathe@user/wroathe) (Ping timeout: 245 seconds)
23:23:08 × Guest|50 quits (~Guest|50@184.146.40.42) (Client Quit)
23:24:56 → sm joins (~sm@plaintextaccounting/sm)
23:26:33 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
23:27:53 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
23:28:27 → shapr joins (~user@75-172-29-107.tukw.qwest.net)
23:28:49 × ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds)
23:29:55 × merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:31:50 → Axman6 joins (~Axman6@user/axman6)
23:37:04 × sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
23:37:47 × mmhat quits (~mmh@p200300f1c7178aebee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.4)
23:39:12 × powderhorn quits (~powderhor@207-153-12-54.static.fttp.usinternet.com) (Quit: Client closed)
23:40:54 × xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 245 seconds)
23:41:12 × Square quits (~Square@user/square) (Ping timeout: 246 seconds)
23:43:01 → xff0x joins (~xff0x@2405:6580:b080:900:3c1b:8aaf:c8cf:6421)
23:53:49 → arahael joins (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net)
23:54:20 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
23:55:34 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
23:55:34 → sm joins (~sm@plaintextaccounting/sm)
23:56:52 × chomwitt quits (~chomwitt@2a02:587:7a0c:4d00:1ac0:4dff:fedb:a3f1) (Ping timeout: 252 seconds)

All times are in UTC on 2023-09-11.