Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 .. 5022
— 502,152 events total
2020-11-13 16:47:43 <ski> > do n <- [1 .. 9]; d <- [2 .. n-1]; guard (n `mod` d == 0); return (n,d)
2020-11-13 16:47:45 <lambdabot> [(4,2),(6,2),(6,3),(8,2),(8,4),(9,3)]
2020-11-13 16:48:09 <motte> hekkaidekapus: the list i was talking about was more like replicate 9 [1..4]
2020-11-13 16:48:26 <ski> (it computes composite numbers less than ten, paired with possible proper divisors)
2020-11-13 16:49:45 <motte> hekkaidekapus: so main = print $ length $ traverse permutations $ replicate 9 [1..4] , which quickly eats all my ram, even with -O2
2020-11-13 16:50:09 → knupfer joins (~Thunderbi@200116b8249e5f0024d540c2b38d8e9b.dip.versatel-1u1.de)
2020-11-13 16:50:32 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-13 16:51:13 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 260 seconds)
2020-11-13 16:53:38 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-13 16:55:50 → kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-11-13 16:58:11 → alp joins (~alp@2a01:e0a:58b:4920:888e:a635:2469:ca8a)
2020-11-13 16:58:50 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-13 16:58:55 → christo joins (~chris@81.96.113.213)
2020-11-13 16:59:16 × raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-11-13 16:59:42 × comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-13 16:59:46 → Martinsos_ joins (uid473568@gateway/web/irccloud.com/x-ofadbekegfkzcelc)
2020-11-13 17:00:42 → dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-13 17:02:00 hackage beam-automigrate 0.1.0.0 - DB migration library for beam, targeting Postgres. https://hackage.haskell.org/package/beam-automigrate-0.1.0.0 (abrar)
2020-11-13 17:03:30 × christo quits (~chris@81.96.113.213) (Ping timeout: 258 seconds)
2020-11-13 17:04:06 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-tcyoqfqkxtjwjlrv)
2020-11-13 17:07:31 → LKoen_ joins (~LKoen@9.253.88.92.rev.sfr.net)
2020-11-13 17:07:49 → Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-13 17:08:24 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-11-13 17:09:19 → gproto023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 17:09:26 <Martinsos> join /nickserv
2020-11-13 17:10:21 × gproto0023 quits (~gproto23@unaffiliated/gproto23) (Read error: Connection reset by peer)
2020-11-13 17:10:25 × LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-13 17:11:44 → gproto0023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 17:12:37 × Martinsos quits (~user@cpe-188-129-116-164.dynamic.amis.hr) (Quit: ERC (IRC client for Emacs 27.1))
2020-11-13 17:12:37 Martinsos_ is now known as Martinsos
2020-11-13 17:13:56 → Martinso` joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-13 17:14:05 × gproto023 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 240 seconds)
2020-11-13 17:14:40 Martinso` is now known as Martinsos`
2020-11-13 17:14:52 → conal joins (~conal@66.115.157.159)
2020-11-13 17:14:59 × Martinsos` quits (~user@cpe-188-129-116-164.dynamic.amis.hr) (Client Quit)
2020-11-13 17:15:39 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-13 17:15:46 × Martinsos quits (uid473568@gateway/web/irccloud.com/x-ofadbekegfkzcelc) ()
2020-11-13 17:16:17 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-11-13 17:17:19 → crdrost joins (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net)
2020-11-13 17:17:48 → gproto023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 17:20:23 → conal_ joins (~conal@64.71.133.70)
2020-11-13 17:20:23 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-13 17:20:23 × gproto0023 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds)
2020-11-13 17:20:58 × conal quits (~conal@66.115.157.159) (Ping timeout: 260 seconds)
2020-11-13 17:27:31 × texasmynsted quits (~texasmyns@2600:6c40:700:5fb3:e17e:7475:52b9:a754) ()
2020-11-13 17:28:14 → Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-13 17:28:23 ← Martinsos parts (~user@cpe-188-129-116-164.dynamic.amis.hr) ("ERC (IRC client for Emacs 27.1)")
2020-11-13 17:29:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-13 17:34:27 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-13 17:35:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-13 17:35:03 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-13 17:35:45 → gproto0023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 17:35:57 → machined1od joins (~machinedg@207.253.244.210)
2020-11-13 17:36:07 × machinedgod quits (~machinedg@207.253.244.210) (Remote host closed the connection)
2020-11-13 17:38:12 × gproto023 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds)
2020-11-13 17:40:10 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-13 17:41:30 hackage stack-all 0.1 - CLI tool for building across Stackage major versions https://hackage.haskell.org/package/stack-all-0.1 (JensPetersen)
2020-11-13 17:44:50 × jespada quits (~jespada@90.254.245.49) (Quit: Leaving)
2020-11-13 17:51:41 → jakob_ joins (~textual@p57b0eae0.dip0.t-ipconnect.de)
2020-11-13 17:51:42 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-13 17:52:51 → Tario joins (~Tario@201.192.165.173)
2020-11-13 17:54:44 → kwantuM joins (1f971d5a@31-151-29-90.dynamic.upc.nl)
2020-11-13 17:55:11 <kwantuM> hey, I was wondering if someone could explain what the (I# x#) syntax means. I was looking at the data.bits source
2020-11-13 17:55:44 <glguy> kwantuM: in that context # is just another letter
2020-11-13 17:56:11 <glguy> I# is a constructor and x# is a variable there.
2020-11-13 17:56:31 <glguy> The convention is that unboxed things have a # in their names
2020-11-13 17:56:31 <kwantuM> so why is the # used?
2020-11-13 17:56:38 <kwantuM> oh okay, thanks!
2020-11-13 17:57:25 × kwantuM quits (1f971d5a@31-151-29-90.dynamic.upc.nl) (Remote host closed the connection)
2020-11-13 17:59:26 → raichoo joins (~raichoo@dslb-178-001-022-086.178.001.pools.vodafone-ip.de)
2020-11-13 17:59:49 × alp quits (~alp@2a01:e0a:58b:4920:888e:a635:2469:ca8a) (Ping timeout: 272 seconds)
2020-11-13 18:00:22 → gproto023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 18:00:56 × todda7 quits (~torstein@ppp-2-84-17-169.home.otenet.gr) (Ping timeout: 265 seconds)
2020-11-13 18:01:34 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-11-13 18:01:51 × gproto023 quits (~gproto23@unaffiliated/gproto23) (Remote host closed the connection)
2020-11-13 18:01:55 <hekkaidekapus> motte: Yeah, that will blow up quickly. The oneliner we are using is useful for short lists. Perhaps approach your problem from another perspective. Define a list (a set, really) and build up permutations σ₁, σ₂, σ₃… based only on indices. Then work on those σs to pick elements from the set as you like.
2020-11-13 18:02:19 → gproto023 joins (~gproto23@unaffiliated/gproto23)
2020-11-13 18:02:21 × vilpan quits (~0@212.117.1.172) (Quit: Leaving.)
2020-11-13 18:02:32 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
2020-11-13 18:02:43 × gproto0023 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-13 18:03:37 → texasmynsted joins (~texasmyns@2600:6c40:700:5fb3:f092:e5c5:68d2:d761)
2020-11-13 18:06:29 × APic quits (apic@apic.name) (Ping timeout: 268 seconds)
2020-11-13 18:06:41 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-13 18:06:46 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-13 18:06:49 × w1gz quits (~do@159.89.11.133) (Quit: WeeChat 2.8)
2020-11-13 18:07:22 → APic joins (apic@apic.name)
2020-11-13 18:08:12 × texasmynsted quits (~texasmyns@2600:6c40:700:5fb3:f092:e5c5:68d2:d761) (Remote host closed the connection)
2020-11-13 18:08:23 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 256 seconds)
2020-11-13 18:08:47 → texasmynsted joins (~texasmyns@64.44.55.44)
2020-11-13 18:09:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-13 18:13:45 × TommyC quits (~TommyC@unaffiliated/sepulchralbloom) (Ping timeout: 240 seconds)
2020-11-13 18:13:55 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-11-13 18:15:12 → todda7 joins (~torstein@ppp-2-84-17-169.home.otenet.gr)
2020-11-13 18:18:51 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep)
2020-11-13 18:22:01 hackage telegram-bot-simple 0.3.4 - Easy to use library for building Telegram bots. https://hackage.haskell.org/package/telegram-bot-simple-0.3.4 (swamp_agr)
2020-11-13 18:22:24 × LKoen_ quits (~LKoen@9.253.88.92.rev.sfr.net) (Remote host closed the connection)
2020-11-13 18:22:57 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-13 18:26:18 → TommyC joins (~TommyC@unaffiliated/sepulchralbloom)
2020-11-13 18:27:45 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-13 18:35:09 → jneira joins (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192)
←Prev  Next→
Page 1 .. 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 .. 5022

All times are in UTC.