Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 351 352 353 354 355 356 357 358 359 360 361 .. 5022
— 502,152 events total
2020-10-01 17:10:07 → alp joins (~alp@2a01:e0a:58b:4920:55a8:f0a:ee5d:168a)
2020-10-01 17:10:29 × Amras quits (~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-10-01 17:11:57 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-rtxvrjvmyhuaovrl)
2020-10-01 17:12:06 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-01 17:12:07 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-01 17:12:42 → xcmw joins (~textual@dyn-72-33-0-89.uwnet.wisc.edu)
2020-10-01 17:13:20 <sm[m]> Squarism: show, read ?
2020-10-01 17:14:43 <Squarism> sm[m], but lenses are functions. Will that work... wo too much extra work?
2020-10-01 17:15:22 × supercoven quits (~Supercove@84.251.84.166) (Read error: Connection reset by peer)
2020-10-01 17:15:25 <sm[m]> ah, no. You'd have to reify them as stringly paths like you wrote above
2020-10-01 17:16:04 <sm[m]> serialising general optics functions.. makes my head hurt
2020-10-01 17:16:27 <sm[m]> (to think about)
2020-10-01 17:16:33 <maerwald> optics are not functions though
2020-10-01 17:16:43 <maerwald> but not sure that helps lol
2020-10-01 17:16:48 <maerwald> https://hackage.haskell.org/package/optics-core-0.3/docs/Optics-Optic.html#t:Optic
2020-10-01 17:17:29 <sm[m]> serialise a sequence of keys - sure
2020-10-01 17:17:56 <sm[m]> a "path"
2020-10-01 17:20:07 <dolio> They are functions internally.
2020-10-01 17:20:07 × taurux quits (~taurux@net-188-152-9-4.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-01 17:20:18 <dolio> You just have to follow 6 links.
2020-10-01 17:20:24 <maerwald> hehe
2020-10-01 17:21:08 → taurux joins (~taurux@net-130-25-108-225.cust.vodafonedsl.it)
2020-10-01 17:23:16 <monochrom> This reminds me of "typedef int ___pid; typedef __pid ___pid; typdelf _pid __pid; typedef pid _pid;"
2020-10-01 17:23:48 <dolio> Is that something you've actually seen?
2020-10-01 17:24:13 <monochrom> Yes. I may have botched some detail.
2020-10-01 17:24:37 <dolio> Well, I'm sure there was an excellent reason for it.
2020-10-01 17:24:53 <monochrom> and added one more typedef than I really saw.
2020-10-01 17:25:14 <geekosaur> it looks very glibc. some platform or emulation interface at each layer, which work out to null translations on most modern unixlikes, or something like that
2020-10-01 17:25:50 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-01 17:26:41 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-01 17:27:57 hackage path-dhall-instance 0.2.0.0 - ToDhall and FromDhall instances for Path. https://hackage.haskell.org/package/path-dhall-instance-0.2.0.0 (locallycompact)
2020-10-01 17:29:15 <monochrom> More fairly, it's "typedef int __pid_t;" and later "typedef __pid_t pid_t;"
2020-10-01 17:30:23 <monochrom> probably not in the same file
2020-10-01 17:30:55 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-01 17:31:11 <geekosaur> and there'd be an emulation layer becuase Back In The Day it was actually a (short), then an (unsigned short)
2020-10-01 17:31:47 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-01 17:34:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-01 17:36:16 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-01 17:36:39 × borne quits (~fritjof@200116b864e6dd0007933c164a08810c.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-10-01 17:37:45 × taurux quits (~taurux@net-130-25-108-225.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-01 17:38:05 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-01 17:38:50 → taurux joins (~taurux@net-188-216-0-240.cust.vodafonedsl.it)
2020-10-01 17:39:21 × John20 quits (~John@82.46.59.122) (Ping timeout: 265 seconds)
2020-10-01 17:40:06 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-01 17:42:01 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-01 17:43:20 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-01 17:43:52 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-01 17:46:16 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 272 seconds)
2020-10-01 17:48:25 → conal joins (~conal@64.71.133.70)
2020-10-01 17:48:44 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-01 17:48:49 × geekosaur quits (42d52102@66.213.33.2) (Ping timeout: 245 seconds)
2020-10-01 17:49:02 → irc_user joins (uid423822@gateway/web/irccloud.com/x-ekikuzxknoijafbq)
2020-10-01 17:49:57 hackage acc 0.1.1 - Sequence optimized for monoidal construction and folding https://hackage.haskell.org/package/acc-0.1.1 (NikitaVolkov)
2020-10-01 17:50:26 × jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Ping timeout: 258 seconds)
2020-10-01 17:52:27 hackage th-lego 0.1.0.2 - Template Haskell construction utilities https://hackage.haskell.org/package/th-lego-0.1.0.2 (NikitaVolkov)
2020-10-01 17:54:19 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-01 17:54:33 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-01 17:55:00 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-01 17:55:41 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-01 17:55:49 → LKoen joins (~LKoen@81.255.219.130)
2020-10-01 17:57:28 → madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net)
2020-10-01 17:58:50 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-01 18:00:01 × Alucard quits (~Alucard@185.163.110.116) ()
2020-10-01 18:00:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-01 18:00:57 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (*.net *.split)
2020-10-01 18:00:57 × thc202 quits (~thc202@unaffiliated/thc202) (*.net *.split)
2020-10-01 18:00:57 × whiteline quits (~whiteline@unaffiliated/whiteline) (*.net *.split)
2020-10-01 18:00:57 × thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (*.net *.split)
2020-10-01 18:00:57 × entel quits (uid256215@botters/entel) (*.net *.split)
2020-10-01 18:00:57 × eacameron quits (sid256985@gateway/web/irccloud.com/x-kpwlorbysgtnxhte) (*.net *.split)
2020-10-01 18:00:57 × liff quits (liff@kapsi.fi) (*.net *.split)
2020-10-01 18:00:57 × SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-nikabmyijjgiqeue) (*.net *.split)
2020-10-01 18:00:57 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) (*.net *.split)
2020-10-01 18:00:57 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-thsriowqmdkgjing) (*.net *.split)
2020-10-01 18:00:57 × PoliticsII____ quits (sid193551@gateway/web/irccloud.com/x-nvfqluymqsvazvtl) (*.net *.split)
2020-10-01 18:00:57 × koankeeper quits (sid216950@gateway/web/irccloud.com/x-zrkqcymdfzqfjfqv) (*.net *.split)
2020-10-01 18:00:57 × dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split)
2020-10-01 18:00:57 × simony quits (sid226116@gateway/web/irccloud.com/x-ebcflagagczxghjj) (*.net *.split)
2020-10-01 18:00:57 × teehemkay quits (sid14792@gateway/web/irccloud.com/x-xjwybgbmcxfolzwh) (*.net *.split)
2020-10-01 18:00:57 × benwr__ quits (sid372383@gateway/web/irccloud.com/x-ehohzcwkyjbzpbwl) (*.net *.split)
2020-10-01 18:00:57 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (*.net *.split)
2020-10-01 18:00:57 × mpickering quits (sid78412@gateway/web/irccloud.com/x-ugziboqyrxfitrmv) (*.net *.split)
2020-10-01 18:00:57 × nlofaro quits (sid258233@gateway/web/irccloud.com/x-etxlydyigzmwkiap) (*.net *.split)
2020-10-01 18:00:57 × angerman quits (sid209936@gateway/web/irccloud.com/x-kbnupcpypxlxxlnc) (*.net *.split)
2020-10-01 18:00:57 × unlink__ quits (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) (*.net *.split)
2020-10-01 18:00:57 × srid quits (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr) (*.net *.split)
2020-10-01 18:00:57 × michaelpj1 quits (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc) (*.net *.split)
2020-10-01 18:00:57 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre) (*.net *.split)
2020-10-01 18:00:57 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) (*.net *.split)
2020-10-01 18:00:57 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (*.net *.split)
2020-10-01 18:00:57 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (*.net *.split)
2020-10-01 18:00:57 × barrucadu quits (~barrucadu@fsf/member/barrucadu) (*.net *.split)
2020-10-01 18:00:57 × bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2020-10-01 18:00:57 × noteness quits (~noteness@unaffiliated/nessessary129) (*.net *.split)
2020-10-01 18:00:57 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
2020-10-01 18:00:57 × Velpoman quits (~Velpoman@159.65.76.124) (*.net *.split)
2020-10-01 18:00:57 × dixie quits (~dixie@real.wilbury.sk) (*.net *.split)
2020-10-01 18:00:57 × uwap quits (~uwap@genja.uwap.name) (*.net *.split)
2020-10-01 18:01:52 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Remote host closed the connection)
2020-10-01 18:02:18 → cosimone joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
←Prev  Next→
Page 1 .. 351 352 353 354 355 356 357 358 359 360 361 .. 5022

All times are in UTC.