Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 683 684 685 686 687 688 689 690 691 692 693 .. 18015
1,801,457 events total
2021-06-28 10:00:34 <Profpatsch> Probably some language that is made for number things
2021-06-28 10:00:56 <kuribas> Profpatsch: which one?
2021-06-28 10:01:06 <Profpatsch> > idk, not a number thing person
2021-06-28 10:01:08 <lambdabot> <hint>:1:4: error: parse error on input ‘,’
2021-06-28 10:01:30 <Profpatsch> Ada looks pretty cool for number things
2021-06-28 10:01:33 <Profpatsch> GNAT is at hing
2021-06-28 10:01:40 pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-06-28 10:02:20 <kuribas> I'd like to know of a language that allows me to operate on a (chunked) list of numbers, and emit very efficient assembly code for it.
2021-06-28 10:02:51 <kuribas> for example: delta x = zipWith (-) (0:x) x
2021-06-28 10:03:06 × Feuermagier quits (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2021-06-28 10:03:44 <Rembane> kuribas: APL
2021-06-28 10:04:18 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-28 10:04:29 × xsperry quits (~as@user/xsperry) (Remote host closed the connection)
2021-06-28 10:04:30 <Profpatsch> i mean I guess if you just need to *generate* said number code then Haskell sounds like a sweet deal
2021-06-28 10:04:50 <Profpatsch> Unless there’s some frameworks that do that for you in other languages
2021-06-28 10:04:52 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-06-28 10:04:53 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2021-06-28 10:05:06 adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
2021-06-28 10:05:23 ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-28 10:11:35 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Read error: Connection reset by peer)
2021-06-28 10:12:10 × juhp quits (~juhp@bb116-14-48-29.singnet.com.sg) (Quit: juhp)
2021-06-28 10:12:14 × azeem quits (~azeem@176.201.40.58) (Ping timeout: 272 seconds)
2021-06-28 10:12:23 juhp joins (~juhp@bb116-14-48-29.singnet.com.sg)
2021-06-28 10:15:24 azeem joins (~azeem@176.201.40.58)
2021-06-28 10:15:35 × neurocyte57 quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-06-28 10:16:25 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-06-28 10:16:46 ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-06-28 10:17:29 neurocyte57 joins (~neurocyte@92.119.8.247)
2021-06-28 10:17:29 × neurocyte57 quits (~neurocyte@92.119.8.247) (Changing host)
2021-06-28 10:17:29 neurocyte57 joins (~neurocyte@user/neurocyte)
2021-06-28 10:22:35 amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-06-28 10:23:00 × azeem quits (~azeem@176.201.40.58) (Ping timeout: 272 seconds)
2021-06-28 10:23:14 azeem joins (~azeem@176.201.40.58)
2021-06-28 10:25:49 × amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-06-28 10:31:36 Feuermagier joins (~Feuermagi@user/feuermagier)
2021-06-28 10:36:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-28 10:37:00 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-28 10:42:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-28 10:42:53 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-28 10:44:06 × phma quits (phma@2001:5b0:210b:cb38:f3d6:7570:d8d:dd96) (Read error: Connection reset by peer)
2021-06-28 10:45:00 phma joins (phma@2001:5b0:211c:8948:6f8b:5fd0:dc14:21f2)
2021-06-28 10:50:23 × neurocyte57 quits (~neurocyte@user/neurocyte) (Quit: Ping timeout (120 seconds))
2021-06-28 10:50:52 × azeem quits (~azeem@176.201.40.58) (Ping timeout: 272 seconds)
2021-06-28 10:53:00 eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e)
2021-06-28 10:56:45 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-28 10:57:36 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Ping timeout: 272 seconds)
2021-06-28 10:57:36 azeem joins (~azeem@176.201.40.58)
2021-06-28 10:58:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-28 10:59:11 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-28 11:02:06 DNH joins (~DNH@8.43.122.6)
2021-06-28 11:02:24 TranquilEcho joins (~grom@user/tranquilecho)
2021-06-28 11:03:02 × HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
2021-06-28 11:03:12 neurocyte57 joins (~neurocyte@92.119.8.247)
2021-06-28 11:03:12 × neurocyte57 quits (~neurocyte@92.119.8.247) (Changing host)
2021-06-28 11:03:12 neurocyte57 joins (~neurocyte@user/neurocyte)
2021-06-28 11:03:33 neurocyte57 is now known as neurocyte
2021-06-28 11:03:34 lavaman joins (~lavaman@98.38.249.169)
2021-06-28 11:03:35 HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-06-28 11:04:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-06-28 11:05:00 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-28 11:06:30 AlexNoo_ joins (~AlexNoo@178.34.161.92)
2021-06-28 11:08:08 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-06-28 11:08:25 × Alex_test quits (~al_test@178.34.163.142) (Ping timeout: 250 seconds)
2021-06-28 11:09:00 × AlexZenon quits (~alzenon@178.34.163.142) (Ping timeout: 272 seconds)
2021-06-28 11:09:44 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-06-28 11:10:03 × AlexNoo quits (~AlexNoo@178.34.163.142) (Ping timeout: 258 seconds)
2021-06-28 11:11:07 wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-06-28 11:13:06 matsurago joins (~matsurago@p0446064-vcngn.tkyo.nt.ngn.ppp.ocn.ne.jp)
2021-06-28 11:13:52 Alex_test joins (~al_test@178.34.161.92)
2021-06-28 11:14:05 AlexZenon joins (~alzenon@178.34.161.92)
2021-06-28 11:16:35 × amk quits (~amk@176.61.106.150) (Remote host closed the connection)
2021-06-28 11:20:37 delYsid parts (~user@user/delYsid) (ERC (IRC client for Emacs 27.1.50))
2021-06-28 11:23:30 × neurocyte quits (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-06-28 11:24:51 neo joins (~neo3@cpe-292712.ip.primehome.com)
2021-06-28 11:25:42 hegstal joins (~hegstal@2a02:c7f:7604:8a00:ac06:25a4:7233:bcc6)
2021-06-28 11:26:50 neo1 joins (~neo3@cpe-292712.ip.primehome.com)
2021-06-28 11:27:10 × neo quits (~neo3@cpe-292712.ip.primehome.com) (Client Quit)
2021-06-28 11:27:42 fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-28 11:31:18 tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-28 11:32:40 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds)
2021-06-28 11:32:44 neurocyte joins (~neurocyte@92.119.8.247)
2021-06-28 11:32:44 × neurocyte quits (~neurocyte@92.119.8.247) (Changing host)
2021-06-28 11:32:44 neurocyte joins (~neurocyte@user/neurocyte)
2021-06-28 11:34:01 sekun_ joins (~sekun@180.190.223.119)
2021-06-28 11:35:44 × sekun quits (~sekun@180.190.208.125) (Ping timeout: 258 seconds)
2021-06-28 11:36:45 × fendor quits (~fendor@178.165.168.249.wireless.dyn.drei.com) (Remote host closed the connection)
2021-06-28 11:37:30 mastarija joins (~mastarija@31.217.22.187)
2021-06-28 11:38:07 × boxscape_ quits (~boxscape_@user/boxscape) (Quit: Connection closed)
2021-06-28 11:39:20 waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-28 11:39:52 fendor joins (~fendor@178.165.168.249.wireless.dyn.drei.com)
2021-06-28 11:40:10 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-06-28 11:41:37 × dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds)
2021-06-28 11:43:43 dunkeln joins (~dunkeln@188.71.193.140)
2021-06-28 11:46:30 Guest33 joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net)
2021-06-28 11:54:25 eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e)
2021-06-28 11:56:56 × ubert quits (~Thunderbi@p200300ecdf259d13a4bb62e26735ec02.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-06-28 11:57:14 ubert joins (~Thunderbi@p200300ecdf259d13a4bb62e26735ec02.dip0.t-ipconnect.de)
2021-06-28 11:59:00 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Ping timeout: 268 seconds)
2021-06-28 12:04:56 renzhi joins (~xp@2607:fa49:655f:a700::3902)
2021-06-28 12:06:24 × azeem quits (~azeem@176.201.40.58) (Ping timeout: 258 seconds)

All times are in UTC.